Fix type-check-strict compiler match + deploy HS to WASM

- Compiler match for type-check-strict was still using old name type-check!
- Deploy updated HS source files to shared/static/wasm/sx/
- Sandbox runner validates 16/16 hard cases pass with cek-eval
  (no runtime let-binding hacks needed in WASM context)

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
This commit is contained in:
2026-04-08 21:25:23 +00:00
parent 7a1af7a80a
commit 67d2f32512
5 changed files with 2341 additions and 6 deletions

View File

@@ -597,7 +597,7 @@
(quote hs-type-check)
(hs-to-sx (nth ast 1))
(nth ast 2)))
((= head (quote type-check!))
((= head (quote type-check-strict))
(list
(quote hs-type-check-strict)
(hs-to-sx (nth ast 1))