Skip to content

Add expectFail and expectCrash DocSpec combinators - #45

Merged
russwyte merged 1 commit into
mainfrom
fail-examples-42-43
Jul 29, 2026
Merged

Add expectFail and expectCrash DocSpec combinators#45
russwyte merged 1 commit into
mainfrom
fail-examples-42-43

Conversation

@russwyte

Copy link
Copy Markdown
Contributor

Summary

  • Add FailExample / CrashExample DocNodes with expectFail (Saferis-style typeCheckErrors on string literals) and expectCrash (fallible ZIO effects).
  • Wire test and site interpreters so CI asserts failures and HTML renders source plus diagnostics / crash output.
  • Dogfood on Concepts and Showcase; close the Saferis cutover gaps for compile-fail and runtime-fail examples.

Closes #42
Closes #43

Test plan

  • sbt 'core/test; zioTest/test; site/testOnly specular.site.SiteBuilderSpec; docs/test'
  • Spot-check Showcase compile-fail / runtime-fail panels on a local docs/specularSite build

Ship compile-fail (typeCheckErrors string snippets) and runtime-fail examples so guide docs can show real diagnostics and failures in CI and on the site.
@russwyte
russwyte merged commit 7e9b84a into main Jul 29, 2026
4 checks passed
@russwyte
russwyte deleted the fail-examples-42-43 branch July 29, 2026 20:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Runtime-fail examples with rendered error output Compile-fail examples with rendered diagnostics

1 participant