Brummel/AILang
1
0
Fork 0
Code Issues 29 Pull Requests Actions Packages Projects Releases Wiki Activity

design-md-consolidation 1.4 fixup: strip non-Iter-N iter anchors (14b sketch, pre-19b, pre-22a)

Browse Source
This commit is contained in:
Brummel
2026-05-10 12:00:03 +02:00
parent ba94d7240f
commit 008b7924e3
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/DESIGN.md
+4 -4
View File
@@ -453,13 +453,13 @@ on the shelf for a future iter only if both fail.
### Form refinements during implementation ### Form refinements during implementation
Two productions in the original 14b sketch had to be widened Two productions in the original sketch had to be widened
during implementation to round-trip the existing AST faithfully. during implementation to round-trip the existing AST faithfully.
Captured here for the spec record: Captured here for the spec record:
1. **`lam-term` carries types and effects.** The AST's `Term::Lam` 1. **`lam-term` carries types and effects.** The AST's `Term::Lam`
stores parallel `params`, `param_tys`, `ret_ty`, and `effects` stores parallel `params`, `param_tys`, `ret_ty`, and `effects`
fields. The 14b sketch had only names. The implemented form is fields. The original sketch had only names. The implemented form is
``` ```
lam-term ::= "(" "lam" "(" "params" typed-param* ")" lam-term ::= "(" "lam" "(" "params" typed-param* ")"
@@ -1203,7 +1203,7 @@ per entry. Form-B (prose) renders one
`// @suppress <code>: <because>` line per entry above the doc `// @suppress <code>: <because>` line per entry above the doc
string — lossless, contract metadata. string — lossless, contract metadata.
Skipped from serialisation when empty so pre-19b fixtures keep Skipped from serialisation when empty so existing fixtures keep
bit-identical canonical-JSON hashes (regression-pinned by bit-identical canonical-JSON hashes (regression-pinned by
`iter19b_empty_suppress_preserves_pre_19b_hashes` and `iter19b_empty_suppress_preserves_pre_19b_hashes` and
`iter19b_schema_extension_preserves_pre_19b_hashes`). `iter19b_schema_extension_preserves_pre_19b_hashes`).
@@ -1538,7 +1538,7 @@ of default-bearing methods.
``` ```
When `forall` is empty, `constraints` is also empty (and may be When `forall` is empty, `constraints` is also empty (and may be
omitted for hash stability of pre-22a definitions). Each constraint's omitted for hash stability of older definitions). Each constraint's
`type` field MUST reference a type variable bound by the surrounding `type` field MUST reference a type variable bound by the surrounding
`forall`. `forall`.