git.iko.soy/jibb
on master help sign in
Add source-backed text conversion wrappers
ab6fdc1iko
docs/compiler.md+1−1
compare with master
unifiedsplit
@@ -132,7 +132,7 @@ Each case's canonical API identity and source-derived schema travel across impor
132
132
133`+golden-types-with-prelude` accepts case-local Jibb module sources alongside `/sur` and mark results and the vendored prelude source. It resolves reachable ordinary library modules in dependency order, caching completed interfaces per invocation and exporting supported closed value schemes, direct generic unions, and simple or nonrecursive generic mold aliases whose bodies the fragment supports. It detects missing sources and cycles and rejects a dependency if its interface cannot be inferred by the fragment. Qualified wings can also read nested fields of an imported value, instantiating that value’s scheme independently at each use; missing, ambiguous and non-record fields remain unsupported.
133`+golden-types-with-prelude` accepts case-local Jibb module sources alongside `/sur` and mark results and the vendored prelude source. It resolves reachable ordinary library modules in dependency order, caching completed interfaces per invocation and exporting supported closed value schemes, direct generic unions, and simple or nonrecursive generic mold aliases whose bodies the fragment supports. It detects missing sources and cycles and rejects a dependency if its interface cannot be inferred by the fragment. Qualified wings can also read nested fields of an imported value, instantiating that value’s scheme independently at each use; missing, ambiguous and non-record fields remain unsupported.
134
134
135−The supplied prelude is parsed into a **partial interface**: all names actually declared in the source are reserved, while only the molds and values this fragment can infer are available. These include the validated standard `list` mold, `unit`, the doc-exact generic `cmd` union, `same`, `fall`, `need`, `bond`, `lure`, `weld`, `snoc`, `turn`, `lent`, `zing`, `flop`, `rear`, `drop`, `skim`, `skip`, `murn`, `join`, `snip`, `levy`, `lien`, `cork`, `corl`, `cury`, `curr`, `lead` and `late`; unsupported entries remain unavailable. The validated `list` is injected while the prelude’s gates are inferred; `weld` and `turn` use ordinary explicit result casts. An absent or altered `list` is not injected, and an altered declaration cannot leak through a direct or transitive mold alias. The same validated template is available when prelude mold aliases are prepared, so supported direct and transitive aliases can use it. A named prelude union keeps the fixed `/lib/jibb/prelude/jibb` origin in every module, and its name remains unqualified when a library exports a type containing it. The prelude inventory is incomplete, so reserving the names in this source does not establish complete shadowing coverage. The source-backed internal prelude defines `poke`, which the public prelude re-exports as an ordinary transparent type. A dedicated trusted internal-prelude preparation path also supplies private comparison and arithmetic schemes for the Jibb-written `gth`, `add` and `dec` wrappers. Ordinary module resolution rejects that primitive path even if a caller supplies a spoofed root or bundle. The low-level prepared interface is still trusted host input; the host must select the vendored sources and canonicalize paths. Primitive execution and shape-based jet recognition are not implemented. The Jibb-written `lth`, `gte` and `lte` gates compose the source-backed `gth` and `not` gates; supported calls infer a shared atom constraint and return `?`. Their execution and jet recognition await the backend. The source-backed `add` and `dec` wrappers use private arithmetic interfaces whose shared atom variable excludes loobeans; the partial checker preserves that constraint through supported inference and prints `where A is an atom other than ?`. The partial checker resolves the supported `poke` source shape, preserves its public name, and rejects ordinary imports of the private internal path. The Jibb-written `lent` recursively counts a list using `add`; the partial checker infers its generic list argument and `@ud` result. Its execution and jet recognition remain unverified until the backend exists. The Jibb-written `zing` concatenates homogeneous lists in order using `weld`; the checker infers `(list (list A))` to `(list A)`, including for gate elements. Hoon `zing` also accepts heterogeneous noun lists, which this type does not express. `tools/hoon --raw -f tools/testdata/zing-hoon-reference.hoon` compares an equivalent Hoon recursion with Hoon `zing` on selected finite inputs; it does not execute Jibb or verify lowering or jet recognition. The Jibb-written `lead` and `late` are curried pair constructors: `((lead a) b)` returns `[a b]`, while `((late a) b)` returns `[b a]`. The checker infers independent argument types and accepts gates as ordinary values; neither helper invokes an input gate. A Hoon translation is compared with Hoon’s helpers by `tools/hoon --raw -f tools/testdata/lead-late-hoon-reference.hoon`. This does not execute Jibb or verify lowering or jet recognition. An imported API with one mark and a matching direct `+$ poke` declaration can export a derived constructor and retain agent/mark metadata when the source representation has the supported agent case. Other API shapes, complete private module checking, root API and kind checking, stores, complete `ask` and `pure` checking, lowering and runtime effects remain unfinished. A possible store or root API declaring `+$ poke` reports that kind or scope needs unsupported inference; definite duplicate declarations and unrelated shadowing still report conflicts. Prepared interfaces and caches are trusted caller inputs; the future host and linker must ensure the private source validated during preparation is the same version used to lower derived constructors. A `*` payload may contain gates, so the fragment treats it conservatively; full gate-free checks are unfinished. The shared module-scope fixture compares the prepared and source-taking paths against the real prelude and a two-module golden under eval and on the ship.
135+The supplied prelude is parsed into a **partial interface**: all names actually declared in the source are reserved, while only the molds and values this fragment can infer are available. These include the validated standard `list` mold, `unit`, the doc-exact generic `cmd` union, `same`, `fall`, `need`, `bond`, `lure`, `weld`, `snoc`, `turn`, `lent`, `zing`, `flop`, `rear`, `drop`, `skim`, `skip`, `murn`, `join`, `snip`, `levy`, `lien`, `cork`, `corl`, `cury`, `curr`, `lead`, `late`, `trip` and `tuba`; unsupported entries remain unavailable. The validated `list` is injected while the prelude’s gates are inferred; `weld` and `turn` use ordinary explicit result casts. An absent or altered `list` is not injected, and an altered declaration cannot leak through a direct or transitive mold alias. The same validated template is available when prelude mold aliases are prepared, so supported direct and transitive aliases can use it. A named prelude union keeps the fixed `/lib/jibb/prelude/jibb` origin in every module, and its name remains unqualified when a library exports a type containing it. The prelude inventory is incomplete, so reserving the names in this source does not establish complete shadowing coverage. The source-backed internal prelude defines `poke`, which the public prelude re-exports as an ordinary transparent type. A dedicated trusted internal-prelude preparation path also supplies private comparison, arithmetic and text-conversion schemes for the Jibb-written `gth`, `add`, `dec`, `trip` and `tuba` wrappers. Ordinary module resolution rejects that primitive path even if a caller supplies a spoofed root or bundle. The low-level prepared interface is still trusted host input; the host must select the vendored sources and canonicalize paths. Primitive execution and shape-based jet recognition are not implemented. The Jibb-written `lth`, `gte` and `lte` gates compose the source-backed `gth` and `not` gates; supported calls infer a shared atom constraint and return `?`. Their execution and jet recognition await the backend. The source-backed `add` and `dec` wrappers use private arithmetic interfaces whose shared atom variable excludes loobeans; the partial checker preserves that constraint through supported inference and prints `where A is an atom other than ?`. The partial checker resolves the supported `poke` source shape, preserves its public name, and rejects ordinary imports of the private internal path. The Jibb-written `lent` recursively counts a list using `add`; the partial checker infers its generic list argument and `@ud` result. Its execution and jet recognition remain unverified until the backend exists. The Jibb-written `zing` concatenates homogeneous lists in order using `weld`; the checker infers `(list (list A))` to `(list A)`, including for gate elements. Hoon `zing` also accepts heterogeneous noun lists, which this type does not express. `tools/hoon --raw -f tools/testdata/zing-hoon-reference.hoon` compares an equivalent Hoon recursion with Hoon `zing` on selected finite inputs; it does not execute Jibb or verify lowering or jet recognition. The Jibb-written `lead` and `late` are curried pair constructors: `((lead a) b)` returns `[a b]`, while `((late a) b)` returns `[b a]`. The checker infers independent argument types and accepts gates as ordinary values; neither helper invokes an input gate. A Hoon translation is compared with Hoon’s helpers by `tools/hoon --raw -f tools/testdata/lead-late-hoon-reference.hoon`. This does not execute Jibb or verify lowering or jet recognition. An imported API with one mark and a matching direct `+$ poke` declaration can export a derived constructor and retain agent/mark metadata when the source representation has the supported agent case. Other API shapes, complete private module checking, root API and kind checking, stores, complete `ask` and `pure` checking, lowering and runtime effects remain unfinished. A possible store or root API declaring `+$ poke` reports that kind or scope needs unsupported inference; definite duplicate declarations and unrelated shadowing still report conflicts. Prepared interfaces and caches are trusted caller inputs; the future host and linker must ensure the private source validated during preparation is the same version used to lower derived constructors. A `*` payload may contain gates, so the fragment treats it conservatively; full gate-free checks are unfinished. The shared module-scope fixture compares the prepared and source-taking paths against the real prelude and a two-module golden under eval and on the ship.
136
136
137`+prepare-prelude` derives the interface and declared-name inventory from the trusted vendored source. Hosts can reuse its result with `+golden-types-with-prepared-prelude`; they must pass the unchanged result of preparation, not an independently constructed value. Empty, malformed and duplicate-name prelude sources fail closed. The source-taking `+prepare-prelude` and `+golden-types-with-prelude` do not supply the internal module; their `-and-internal` or `-with-internal` variants accept its source for the supported private import. API files, modules with `main`, unsupported definitions and many other features remain outside this subset. The older `+golden-types-with-modules` entry point fails closed for imports because it has no prelude scope. None of these partial reports claims the module has been checked.
137`+prepare-prelude` derives the interface and declared-name inventory from the trusted vendored source. Hosts can reuse its result with `+golden-types-with-prepared-prelude`; they must pass the unchanged result of preparation, not an independently constructed value. Empty, malformed and duplicate-name prelude sources fail closed. The source-taking `+prepare-prelude` and `+golden-types-with-prelude` do not supply the internal module; their `-and-internal` or `-with-internal` variants accept its source for the supported private import. API files, modules with `main`, unsupported definitions and many other features remain outside this subset. The older `+golden-types-with-modules` entry point fails closed for imports because it has no prelude scope. None of these partial reports claims the module has been checked.
138
138
docs/prelude-inventory.md+2
@@ -162,6 +162,8 @@ The compiler-result `tone.hoon` has the three cases listed above; the qualified
162
162
163`at`, `cass`, `cuss`, `crip`, `mesc`, `runt`, `sand`, `sane`, `ruth`, `trim`, `trip`, `teff`, `taft`, `tuba`, `tufa`, `tuft`, `wack`, `wick`, `woad`, `wood`.
163`at`, `cass`, `cuss`, `crip`, `mesc`, `runt`, `sand`, `sane`, `ruth`, `trim`, `trip`, `teff`, `taft`, `tuba`, `tufa`, `tuft`, `wack`, `wick`, `woad`, `wood`.
164
164
165+The prelude writes `trip` and `tuba` over private primitives. Their inferred types are `$-(@t (list @tD))` and `$-((list @tD) (list @c))`, matching the target ship's Hoon 135 definitions. Composition with `lent` and invalid argument controls pass in the partial checker; primitive lowering, execution and jet recognition remain unfinished.
166+
165## 4k
167## 4k
166
168
167`co`.
169`co`.
docs/status.md+8−5
@@ -69,6 +69,8 @@ An eval and ship fixture now reports partial inference for the unchanged todo is
69
69
70The prelude now writes `lth`, `gte` and `lte` in Jibb using `gth` and `not`. Supported generic and concrete calls infer, including loobeans; mismatched explicit auras fail. Execution, jet recognition and complete import checking remain unfinished.
70The prelude now writes `lth`, `gte` and `lte` in Jibb using `gth` and `not`. Supported generic and concrete calls infer, including loobeans; mismatched explicit auras fail. Execution, jet recognition and complete import checking remain unfinished.
71
71
72+The prelude also writes `trip` and `tuba` over private primitives, with inferred cord, tape and UTF-32 list types matching the target ship's Hoon 135 definitions. Their composition with `lent` and invalid argument controls pass under eval and on the ship; primitive lowering, execution and jet recognition remain unfinished. In the unchanged todo report, `update` now reaches its remaining branch-context limitation instead of failing on missing text names.
73+
72The Hoon reader can prove overlaps among supported original `$?` source cases, including nested cells and unions with more than two cases, and report them at a Jibb use site. It evaluates each case independently and compares runtime noun values. Other overlaps, Hoon case locations and mark-reader overlap diagnostics remain unfinished. The source screen allows at most 128 cases and 4,096 source noun nodes; dependency checking and pairwise witness analysis each have a separate 4,096-node budget. These budgets do not bound chapter lookup, Hoon evaluation or graph walks.
74The Hoon reader can prove overlaps among supported original `$?` source cases, including nested cells and unions with more than two cases, and report them at a Jibb use site. It evaluates each case independently and compares runtime noun values. Other overlaps, Hoon case locations and mark-reader overlap diagnostics remain unfinished. The source screen allows at most 128 cases and 4,096 source noun nodes; dependency checking and pairwise witness analysis each have a separate 4,096-node budget. These budgets do not bound chapter lookup, Hoon evaluation or graph walks.
73
75
74Restricted-number promotion now skips an environment scan when a definition has no written capitals. In a single startup-inclusive pair on 2,000 independent gates, output was identical and user CPU fell from 71.67 to 38.26 seconds; wall time was 72.80 versus 51.66 seconds with other checks running. This is a partial-inference measurement, not a complete checker or a bound on dependent modules.
76Restricted-number promotion now skips an environment scan when a definition has no written capitals. In a single startup-inclusive pair on 2,000 independent gates, output was identical and user CPU fell from 71.67 to 38.26 seconds; wall time was 72.80 versus 51.66 seconds with other checks running. This is a partial-inference measurement, not a complete checker or a bound on dependent modules.
@@ -89,8 +91,8 @@ What the plan asks for, and where it is:
89
91
90Besides the plan's list:
92Besides the plan's list:
91
93
92−- 658 golden cases: 438 that parse and 220 that fail, each failure at a stated line and column. One failing case has an unclear expectation (corpus question 3). The newer type-output cases exercise only the partial inference fragment. Each case's `about.txt` quotes the doc's words it tests.
94+- 659 golden cases: 439 that parse and 220 that fail, each failure at a stated line and column. One failing case has an unclear expectation (corpus question 3). The newer type-output cases exercise only the partial inference fragment. Each case's `about.txt` quotes the doc's words it tests.
93−- The 658-case corpus passed under `urbit eval` in 116.7 s while other checks were running. The fake ship passed all 704 tests, including the source-overlap, structural-overlap, generic-union source and alias-overlap, full-module overlap, deferred-context, generic-recursion, generic-construction, generic-pattern, deferred-inference, empty-mold and cell-branch fixtures, importer, importer/checker and mark/checker bridges, module scope, unification, hole, qath, ask, default-wrapper importer, projection, arithmetic, generic-alias, positional-face, API-evidence, request, closed-gate, todo API, constructor, sub, nested-union, gate-free and direct-gate guards and the unchanged todo report. Desk sync took 107.6 s while other checks were running. The importer golden compares 221 projections; `tools/clay-fixtures` builds the example Hoon fixtures through Clay, checks a recursive Ford import's origin, and passes Clay-built types through the Clay-built importer and partial checker.
95+- The 659-case corpus passed under `urbit eval` in 103.2 s while other checks were running. The fake ship passed all 705 tests, including the source-overlap, structural-overlap, generic-union source and alias-overlap, full-module overlap, deferred-context, generic-recursion, generic-construction, generic-pattern, deferred-inference, empty-mold and cell-branch fixtures, importer, importer/checker and mark/checker bridges, module scope, unification, hole, qath, ask, default-wrapper importer, projection, arithmetic, generic-alias, positional-face, API-evidence, request, closed-gate, todo API, constructor, sub, nested-union, gate-free and direct-gate guards and the unchanged todo report. Desk sync took 99.8 s while other checks were running. The importer golden compares 221 projections; `tools/clay-fixtures` builds the example Hoon fixtures through Clay, checks a recursive Ford import's origin, and passes Clay-built types through the Clay-built importer and partial checker.
94- `tools/testdata/selftest` (22 checks), `tools/testdata/ship-selftest` and `tools/testdata/clay-fixtures-selftest` test the tools themselves; the last checks temporary Clay fixture cleanup and signal handling without a ship.
96- `tools/testdata/selftest` (22 checks), `tools/testdata/ship-selftest` and `tools/testdata/clay-fixtures-selftest` test the tools themselves; the last checks temporary Clay fixture cleanup and signal handling without a ship.
95- Two independent audits before 7c739b7, one of which compared the library with a reference parser written in Python from the doc over about 19,000 generated programs. Before ab797a9, a second Python parser, written from the decisions, agreed with the library on 8,000 generated programs and 900 hand-written probes.
97- Two independent audits before 7c739b7, one of which compared the library with a reference parser written in Python from the doc over about 19,000 generated programs. Before ab797a9, a second Python parser, written from the decisions, agreed with the library on 8,000 generated programs and 900 hand-written probes.
96- Speed: starting `urbit eval` and building the library takes about 8 s. After that, a 2,000-line module of 400 definitions parses in about a second. Loops over definitions, arms, lines and items grow no stack; nesting costs a few stack frames a level, and 100,000 nested brackets still parse (library section 3).
98- Speed: starting `urbit eval` and building the library takes about 8 s. After that, a 2,000-line module of 400 definitions parses in about a second. Loops over definitions, arms, lines and items grow no stack; nesting costs a few stack frames a level, and 100,000 nested brackets still parse (library section 3).
@@ -202,14 +204,15 @@ Besides the plan's list:
202| 341bcb4 | 2026-10-31 | Keep deferred fits stable under later substitutions |
204| 341bcb4 | 2026-10-31 | Keep deferred fits stable under later substitutions |
203| b93a94b | 2026-10-31 | Prove local generic-alias union tags and add successor |
205| b93a94b | 2026-10-31 | Prove local generic-alias union tags and add successor |
204| 2826c93 | 2026-10-31 | Report generic-alias overlaps and retain deferred branch contexts |
206| 2826c93 | 2026-10-31 | Report generic-alias overlaps and retain deferred branch contexts |
205−| This change | 2026-10-31 | Preserve full-module overlap source evidence |
207+| b5cdc80 | 2026-10-31 | Preserve full-module overlap source evidence |
208+| This change | 2026-10-31 | Add source-backed text conversion wrappers |
206
209
207## Checking it
210## Checking it
208
211
209On a machine set up as [development.md](development.md) says:
212On a machine set up as [development.md](development.md) says:
210
213
211```
214```
212−tools/golden # 658 cases under urbit eval
215+tools/golden # 659 cases under urbit eval
213tools/importer-test # the Hoon importer fixture projection
216tools/importer-test # the Hoon importer fixture projection
214tools/type-import-default-test # default-wrapped source proof golden
217tools/type-import-default-test # default-wrapped source proof golden
215tools/type-import-test # the importer/checker bridge fixture
218tools/type-import-test # the importer/checker bridge fixture
@@ -244,7 +247,7 @@ tools/testdata/selftest # the tools themselves
244tools/doc-blocks docs/spec # the doc's examples are golden cases
247tools/doc-blocks docs/spec # the doc's examples are golden cases
245tools/ship start
248tools/ship start
246tools/ship gen-tests --check # tests/lib/jibb.hoon is up to date
249tools/ship gen-tests --check # tests/lib/jibb.hoon is up to date
247−tools/ship test # the same 658 cases as -test arms on the ship
250+tools/ship test # the same 659 cases as -test arms on the ship
248tools/testdata/ship-selftest
251tools/testdata/ship-selftest
249tools/testdata/clay-fixtures-selftest # scratch fixture cleanup without a ship
252tools/testdata/clay-fixtures-selftest # scratch fixture cleanup without a ship
250tools/ship check-commit # |commit stores .jibb files
253tools/ship check-commit # |commit stores .jibb files
jibb-dev/lib/jibb.hoon+6−1
@@ -11419,7 +11419,12 @@
11419 =/ plus=ischeme [[%fn [%cell b b] b] ~[0]]
11419 =/ plus=ischeme [[%fn [%cell b b] b] ~[0]]
11420 =/ minus=ischeme [[%fn b b] ~[0]]
11420 =/ minus=ischeme [[%fn b b] ~[0]]
11421 =/ greater=ischeme [[%fn pair [%flag ~]] ~[0]]
11421 =/ greater=ischeme [[%fn pair [%flag ~]] ~[0]]
11422+ =/ utf8=itype [%atom 'tD']
11423+ =/ tape=itype [%collection %list ~[utf8]]
11424+ =/ codepoints=itype [%collection %list ~[[%atom %c]]]
11425+ =/ text-trip=ischeme [[%fn [%atom %t] tape] ~]
11426+ =/ text-tuba=ischeme [[%fn tape codepoints] ~]
11422− [~[[%raw-add plus] [%raw-dec minus] [%raw-gth greater]] ~ /lib/jibb/primitives/jibb ~ ~ ~ ~ ~]
11427+ [~[[%raw-add plus] [%raw-dec minus] [%raw-gth greater] [%raw-trip text-trip] [%raw-tuba text-tuba]] ~ /lib/jibb/primitives/jibb ~ ~ ~ ~ ~]
11423::
11428::
11424++ infer-private-internal
11429++ infer-private-internal
11425 |= [src=@t public-source=@t]
11430 |= [src=@t public-source=@t]
jibb-dev/lib/jibb/internal.jibb+2
@@ -18,6 +18,8 @@
18:: Private compiler primitive wrappers; execution is a later milestone.
18:: Private compiler primitive wrappers; execution is a later milestone.
19++ add-atom |= args=[A A] (raw-add.core args)
19++ add-atom |= args=[A A] (raw-add.core args)
20++ dec-atom |= atom=A (raw-dec.core atom)
20++ dec-atom |= atom=A (raw-dec.core atom)
21+++ trip-text |= value=@t (raw-trip.core value)
22+++ tuba-text |= values (raw-tuba.core values)
21
23
22:: Transparent request data. Identity and path fields are writable and do not
24:: Transparent request data. Identity and path fields are writable and do not
23:: prove a schema or watchability. A future executor must bind them to checked
25:: prove a schema or watchability. A future executor must bind them to checked
jibb-dev/lib/jibb/prelude.jibb+3
@@ -373,3 +373,6 @@
373++ late |= second=B |= first=A [first second]
373++ late |= second=B |= first=A [first second]
374
374
375++ succ |= x=A (add x 1)
375++ succ |= x=A (add x 1)
376+
377+++ trip |= value=@t (trip-text.internal value)
378+++ tuba |= values=(list @tD) (tuba-text.internal values)
tests/golden/types-prelude-text/about.txtnew file+4
@@ -0,0 +1,4 @@
1+source: docs/spec/overview.md, Prelude: "Text ... crip, trip, cass, cuss, trim, tufa, tuba"; the target ship's Hoon 135 definitions give trip and tuba their tape and UTF-32 types.
2+tests: Source-backed trip and tuba wrappers preserve cord, tape and UTF-32 list types through composition and generic list length. Empty input infers; non-cord and non-tape arguments fail. Primitive lowering and execution remain unfinished. The module report is partial.
3+expect: parses
4+expect-types: a partial inference report
tests/golden/types-prelude-text/modules.txtnew file+1
@@ -0,0 +1 @@
1+# no module fixtures
tests/golden/types-prelude-text/source.jibbnew file+8
@@ -0,0 +1,8 @@
1+++ to-tape (trip "abc")
2+++ to-codepoints (tuba (trip "abc"))
3+++ empty-codepoints (tuba ~)
4+++ count-codepoints |= value=@t
5+ (lent (tuba (trip value)))
6+++ bad-trip (trip ~zod)
7+++ bad-tuba (tuba "abc")
8+++ bad-tuba-items (tuba ~[~zod])
tests/golden/types-prelude-text/tokens.txtnew file+66
@@ -0,0 +1,66 @@
1+1:1 glyph ++
2+1:4 name to-tape
3+1:12 glyph (
4+1:13 tight name trip
5+1:18 str "abc"
6+1:23 tight glyph )
7+2:1 NEWLINE
8+2:1 glyph ++
9+2:4 name to-codepoints
10+2:18 glyph (
11+2:19 tight name tuba
12+2:24 glyph (
13+2:25 tight name trip
14+2:30 str "abc"
15+2:35 tight glyph )
16+2:36 tight glyph )
17+3:1 NEWLINE
18+3:1 glyph ++
19+3:4 name empty-codepoints
20+3:21 glyph (
21+3:22 tight name tuba
22+3:27 lit ~
23+3:28 tight glyph )
24+4:1 NEWLINE
25+4:1 glyph ++
26+4:4 name count-codepoints
27+4:21 glyph |=
28+4:24 name value
29+4:29 tight glyph =
30+4:30 tight aura @t
31+5:3 INDENT
32+5:3 glyph (
33+5:4 tight name lent
34+5:9 glyph (
35+5:10 tight name tuba
36+5:15 glyph (
37+5:16 tight name trip
38+5:21 name value
39+5:26 tight glyph )
40+5:27 tight glyph )
41+5:28 tight glyph )
42+6:1 DEDENT
43+6:1 NEWLINE
44+6:1 glyph ++
45+6:4 name bad-trip
46+6:13 glyph (
47+6:14 tight name trip
48+6:19 lit ~zod
49+6:23 tight glyph )
50+7:1 NEWLINE
51+7:1 glyph ++
52+7:4 name bad-tuba
53+7:13 glyph (
54+7:14 tight name tuba
55+7:19 str "abc"
56+7:24 tight glyph )
57+8:1 NEWLINE
58+8:1 glyph ++
59+8:4 name bad-tuba-items
60+8:19 glyph (
61+8:20 tight name tuba
62+8:25 glyph ~[
63+8:27 tight lit ~zod
64+8:31 tight glyph ]
65+8:32 tight glyph )
66+8:33 NEWLINE
tests/golden/types-prelude-text/tree.txtnew file+36
@@ -0,0 +1,36 @@
1+(module
2+ (value 1:1 to-tape
3+ (group 1:12
4+ (call 1:13 (wing 1:13 trip) (str 1:18 "abc"))))
5+ (value 2:1 to-codepoints
6+ (group 2:18
7+ (call 2:19
8+ (wing 2:19 tuba)
9+ (group 2:24
10+ (call 2:25 (wing 2:25 trip) (str 2:30 "abc"))))))
11+ (value 3:1 empty-codepoints
12+ (group 3:21
13+ (call 3:22 (wing 3:22 tuba) (lit 3:27 ~))))
14+ (value 4:1 count-codepoints
15+ (gate 4:21
16+ (face 4:24 value (aura 4:30 @t))
17+ (body 5:3
18+ (group 5:3
19+ (call 5:4
20+ (wing 5:4 lent)
21+ (group 5:9
22+ (call 5:10
23+ (wing 5:10 tuba)
24+ (group 5:15
25+ (call 5:16 (wing 5:16 trip) (wing 5:21 value))))))))))
26+ (value 6:1 bad-trip
27+ (group 6:13
28+ (call 6:14 (wing 6:14 trip) (lit 6:19 ~zod))))
29+ (value 7:1 bad-tuba
30+ (group 7:13
31+ (call 7:14 (wing 7:14 tuba) (str 7:19 "abc"))))
32+ (value 8:1 bad-tuba-items
33+ (group 8:19
34+ (call 8:20
35+ (wing 8:20 tuba)
36+ (list 8:25 (lit 8:27 ~zod))))))
tests/golden/types-prelude-text/types.txtnew file+26
@@ -0,0 +1,26 @@
1+partial inference; module not checked
2+++ to-tape: (list @tD)
3+++ to-codepoints: (list @c)
4+++ empty-codepoints: (list @c)
5+++ count-codepoints: $-(@t @ud)
6+++ bad-trip: call's sample and argument types do not unify
7+/tests/golden/types-prelude-text/source.jibb:6:14: called gate has type $-(@t (list @tD))
8+++ bad-trip (trip ~zod)
9+ ^
10+/tests/golden/types-prelude-text/source.jibb:6:19: argument has type @p
11+++ bad-trip (trip ~zod)
12+ ^
13+++ bad-tuba: call's sample and argument types do not unify
14+/tests/golden/types-prelude-text/source.jibb:7:14: called gate has type $-((list @tD) (list @c))
15+++ bad-tuba (tuba "abc")
16+ ^
17+/tests/golden/types-prelude-text/source.jibb:7:19: argument has type @t
18+++ bad-tuba (tuba "abc")
19+ ^
20+++ bad-tuba-items: list item does not fit its expected type
21+/tests/golden/types-prelude-text/source.jibb:8:20: expected item has type @tD
22+++ bad-tuba-items (tuba ~[~zod])
23+ ^
24+/tests/golden/types-prelude-text/source.jibb:8:27: list item has type @p
25+++ bad-tuba-items (tuba ~[~zod])
26+ ^
tests/lib/jibb.hoon+571−565
@@ -1990,466 +1990,470 @@
1990/* tok-553 %txt /tests/golden/types-prelude-succ/tokens/txt
1990/* tok-553 %txt /tests/golden/types-prelude-succ/tokens/txt
1991/* tre-553 %txt /tests/golden/types-prelude-succ/tree/txt
1991/* tre-553 %txt /tests/golden/types-prelude-succ/tree/txt
1992/* typ-553 %txt /tests/golden/types-prelude-succ/types/txt
1992/* typ-553 %txt /tests/golden/types-prelude-succ/types/txt
1993−/* src-554 %jibb /tests/golden/types-prelude-unit-helpers/source/jibb
1993+/* src-554 %jibb /tests/golden/types-prelude-text/source/jibb
1994−/* tok-554 %txt /tests/golden/types-prelude-unit-helpers/tokens/txt
1994+/* tok-554 %txt /tests/golden/types-prelude-text/tokens/txt
1995−/* tre-554 %txt /tests/golden/types-prelude-unit-helpers/tree/txt
1995+/* tre-554 %txt /tests/golden/types-prelude-text/tree/txt
1996−/* typ-554 %txt /tests/golden/types-prelude-unit-helpers/types/txt
1996+/* typ-554 %txt /tests/golden/types-prelude-text/types/txt
1997−/* src-555 %jibb /tests/golden/types-prelude-zing/source/jibb
1997+/* src-555 %jibb /tests/golden/types-prelude-unit-helpers/source/jibb
1998−/* tok-555 %txt /tests/golden/types-prelude-zing/tokens/txt
1998+/* tok-555 %txt /tests/golden/types-prelude-unit-helpers/tokens/txt
1999−/* tre-555 %txt /tests/golden/types-prelude-zing/tree/txt
1999+/* tre-555 %txt /tests/golden/types-prelude-unit-helpers/tree/txt
2000−/* typ-555 %txt /tests/golden/types-prelude-zing/types/txt
2000+/* typ-555 %txt /tests/golden/types-prelude-unit-helpers/types/txt
2001−/* src-556 %jibb /tests/golden/types-proj-explicit-context/source/jibb
2001+/* src-556 %jibb /tests/golden/types-prelude-zing/source/jibb
2002−/* tok-556 %txt /tests/golden/types-proj-explicit-context/tokens/txt
2002+/* tok-556 %txt /tests/golden/types-prelude-zing/tokens/txt
2003−/* tre-556 %txt /tests/golden/types-proj-explicit-context/tree/txt
2003+/* tre-556 %txt /tests/golden/types-prelude-zing/tree/txt
2004−/* typ-556 %txt /tests/golden/types-proj-explicit-context/types/txt
2004+/* typ-556 %txt /tests/golden/types-prelude-zing/types/txt
2005−/* src-557 %jibb /tests/golden/types-proj-nested-no-implicit/source/jibb
2005+/* src-557 %jibb /tests/golden/types-proj-explicit-context/source/jibb
2006−/* tok-557 %txt /tests/golden/types-proj-nested-no-implicit/tokens/txt
2006+/* tok-557 %txt /tests/golden/types-proj-explicit-context/tokens/txt
2007−/* tre-557 %txt /tests/golden/types-proj-nested-no-implicit/tree/txt
2007+/* tre-557 %txt /tests/golden/types-proj-explicit-context/tree/txt
2008−/* typ-557 %txt /tests/golden/types-proj-nested-no-implicit/types/txt
2008+/* typ-557 %txt /tests/golden/types-proj-explicit-context/types/txt
2009−/* src-558 %jibb /tests/golden/types-proj-reserved-imported-definition/source/jibb
2009+/* src-558 %jibb /tests/golden/types-proj-nested-no-implicit/source/jibb
2010−/* tok-558 %txt /tests/golden/types-proj-reserved-imported-definition/tokens/txt
2010+/* tok-558 %txt /tests/golden/types-proj-nested-no-implicit/tokens/txt
2011−/* tre-558 %txt /tests/golden/types-proj-reserved-imported-definition/tree/txt
2011+/* tre-558 %txt /tests/golden/types-proj-nested-no-implicit/tree/txt
2012−/* mod-558-1 %jibb /tests/golden/types-proj-reserved-imported-definition/modules/ui/lib/jibb
2012+/* typ-558 %txt /tests/golden/types-proj-nested-no-implicit/types/txt
2013−/* typ-558 %txt /tests/golden/types-proj-reserved-imported-definition/types/txt
2013+/* src-559 %jibb /tests/golden/types-proj-reserved-imported-definition/source/jibb
2014−/* mtre-558 %txt /tests/golden/types-proj-reserved-imported-definition/module-trees/txt
2014+/* tok-559 %txt /tests/golden/types-proj-reserved-imported-definition/tokens/txt
2015−/* src-559 %jibb /tests/golden/types-proj-reserved-jibb-import/source/jibb
2015+/* tre-559 %txt /tests/golden/types-proj-reserved-imported-definition/tree/txt
2016−/* tok-559 %txt /tests/golden/types-proj-reserved-jibb-import/tokens/txt
2016+/* mod-559-1 %jibb /tests/golden/types-proj-reserved-imported-definition/modules/ui/lib/jibb
2017−/* tre-559 %txt /tests/golden/types-proj-reserved-jibb-import/tree/txt
2017+/* typ-559 %txt /tests/golden/types-proj-reserved-imported-definition/types/txt
2018−/* mod-559-1 %jibb /tests/golden/types-proj-reserved-jibb-import/modules/ui/lib/jibb
2018+/* mtre-559 %txt /tests/golden/types-proj-reserved-imported-definition/module-trees/txt
2019−/* typ-559 %txt /tests/golden/types-proj-reserved-jibb-import/types/txt
2019+/* src-560 %jibb /tests/golden/types-proj-reserved-jibb-import/source/jibb
2020−/* mtre-559 %txt /tests/golden/types-proj-reserved-jibb-import/module-trees/txt
2020+/* tok-560 %txt /tests/golden/types-proj-reserved-jibb-import/tokens/txt
2021−/* src-560 %jibb /tests/golden/types-proj-reserved-local/source/jibb
2021+/* tre-560 %txt /tests/golden/types-proj-reserved-jibb-import/tree/txt
2022−/* tok-560 %txt /tests/golden/types-proj-reserved-local/tokens/txt
2022+/* mod-560-1 %jibb /tests/golden/types-proj-reserved-jibb-import/modules/ui/lib/jibb
2023−/* tre-560 %txt /tests/golden/types-proj-reserved-local/tree/txt
2023+/* typ-560 %txt /tests/golden/types-proj-reserved-jibb-import/types/txt
2024−/* typ-560 %txt /tests/golden/types-proj-reserved-local/types/txt
2024+/* mtre-560 %txt /tests/golden/types-proj-reserved-jibb-import/module-trees/txt
2025−/* src-561 %jibb /tests/golden/types-proj-reserved-local-mold/source/jibb
2025+/* src-561 %jibb /tests/golden/types-proj-reserved-local/source/jibb
2026−/* tok-561 %txt /tests/golden/types-proj-reserved-local-mold/tokens/txt
2026+/* tok-561 %txt /tests/golden/types-proj-reserved-local/tokens/txt
2027−/* tre-561 %txt /tests/golden/types-proj-reserved-local-mold/tree/txt
2027+/* tre-561 %txt /tests/golden/types-proj-reserved-local/tree/txt
2028−/* typ-561 %txt /tests/golden/types-proj-reserved-local-mold/types/txt
2028+/* typ-561 %txt /tests/golden/types-proj-reserved-local/types/txt
2029−/* src-562 %jibb /tests/golden/types-proj-reserved-mark-import/source/jibb
2029+/* src-562 %jibb /tests/golden/types-proj-reserved-local-mold/source/jibb
2030−/* tok-562 %txt /tests/golden/types-proj-reserved-mark-import/tokens/txt
2030+/* tok-562 %txt /tests/golden/types-proj-reserved-local-mold/tokens/txt
2031−/* tre-562 %txt /tests/golden/types-proj-reserved-mark-import/tree/txt
2031+/* tre-562 %txt /tests/golden/types-proj-reserved-local-mold/tree/txt
2032−/* typ-562 %txt /tests/golden/types-proj-reserved-mark-import/types/txt
2032+/* typ-562 %txt /tests/golden/types-proj-reserved-local-mold/types/txt
2033−/* src-563 %jibb /tests/golden/types-proj-reserved-mold/source/jibb
2033+/* src-563 %jibb /tests/golden/types-proj-reserved-mark-import/source/jibb
2034−/* tok-563 %txt /tests/golden/types-proj-reserved-mold/tokens/txt
2034+/* tok-563 %txt /tests/golden/types-proj-reserved-mark-import/tokens/txt
2035−/* tre-563 %txt /tests/golden/types-proj-reserved-mold/tree/txt
2035+/* tre-563 %txt /tests/golden/types-proj-reserved-mark-import/tree/txt
2036−/* typ-563 %txt /tests/golden/types-proj-reserved-mold/types/txt
2036+/* typ-563 %txt /tests/golden/types-proj-reserved-mark-import/types/txt
2037−/* src-564 %jibb /tests/golden/types-proj-reserved-pattern/source/jibb
2037+/* src-564 %jibb /tests/golden/types-proj-reserved-mold/source/jibb
2038−/* tok-564 %txt /tests/golden/types-proj-reserved-pattern/tokens/txt
2038+/* tok-564 %txt /tests/golden/types-proj-reserved-mold/tokens/txt
2039−/* tre-564 %txt /tests/golden/types-proj-reserved-pattern/tree/txt
2039+/* tre-564 %txt /tests/golden/types-proj-reserved-mold/tree/txt
2040−/* typ-564 %txt /tests/golden/types-proj-reserved-pattern/types/txt
2040+/* typ-564 %txt /tests/golden/types-proj-reserved-mold/types/txt
2041−/* src-565 %jibb /tests/golden/types-proj-reserved-positive/source/jibb
2041+/* src-565 %jibb /tests/golden/types-proj-reserved-pattern/source/jibb
2042−/* tok-565 %txt /tests/golden/types-proj-reserved-positive/tokens/txt
2042+/* tok-565 %txt /tests/golden/types-proj-reserved-pattern/tokens/txt
2043−/* tre-565 %txt /tests/golden/types-proj-reserved-positive/tree/txt
2043+/* tre-565 %txt /tests/golden/types-proj-reserved-pattern/tree/txt
2044−/* typ-565 %txt /tests/golden/types-proj-reserved-positive/types/txt
2044+/* typ-565 %txt /tests/golden/types-proj-reserved-pattern/types/txt
2045−/* src-566 %jibb /tests/golden/types-proj-reserved-sample/source/jibb
2045+/* src-566 %jibb /tests/golden/types-proj-reserved-positive/source/jibb
2046−/* tok-566 %txt /tests/golden/types-proj-reserved-sample/tokens/txt
2046+/* tok-566 %txt /tests/golden/types-proj-reserved-positive/tokens/txt
2047−/* tre-566 %txt /tests/golden/types-proj-reserved-sample/tree/txt
2047+/* tre-566 %txt /tests/golden/types-proj-reserved-positive/tree/txt
2048−/* typ-566 %txt /tests/golden/types-proj-reserved-sample/types/txt
2048+/* typ-566 %txt /tests/golden/types-proj-reserved-positive/types/txt
2049−/* src-567 %jibb /tests/golden/types-proj-reserved-sur-import/source/jibb
2049+/* src-567 %jibb /tests/golden/types-proj-reserved-sample/source/jibb
2050−/* tok-567 %txt /tests/golden/types-proj-reserved-sur-import/tokens/txt
2050+/* tok-567 %txt /tests/golden/types-proj-reserved-sample/tokens/txt
2051−/* tre-567 %txt /tests/golden/types-proj-reserved-sur-import/tree/txt
2051+/* tre-567 %txt /tests/golden/types-proj-reserved-sample/tree/txt
2052−/* typ-567 %txt /tests/golden/types-proj-reserved-sur-import/types/txt
2052+/* typ-567 %txt /tests/golden/types-proj-reserved-sample/types/txt
2053−/* src-568 %jibb /tests/golden/types-proj-reserved-unused-pattern/source/jibb
2053+/* src-568 %jibb /tests/golden/types-proj-reserved-sur-import/source/jibb
2054−/* tok-568 %txt /tests/golden/types-proj-reserved-unused-pattern/tokens/txt
2054+/* tok-568 %txt /tests/golden/types-proj-reserved-sur-import/tokens/txt
2055−/* tre-568 %txt /tests/golden/types-proj-reserved-unused-pattern/tree/txt
2055+/* tre-568 %txt /tests/golden/types-proj-reserved-sur-import/tree/txt
2056−/* typ-568 %txt /tests/golden/types-proj-reserved-unused-pattern/types/txt
2056+/* typ-568 %txt /tests/golden/types-proj-reserved-sur-import/types/txt
2057−/* src-569 %jibb /tests/golden/types-proj-reserved-unused-sample/source/jibb
2057+/* src-569 %jibb /tests/golden/types-proj-reserved-unused-pattern/source/jibb
2058−/* tok-569 %txt /tests/golden/types-proj-reserved-unused-sample/tokens/txt
2058+/* tok-569 %txt /tests/golden/types-proj-reserved-unused-pattern/tokens/txt
2059−/* tre-569 %txt /tests/golden/types-proj-reserved-unused-sample/tree/txt
2059+/* tre-569 %txt /tests/golden/types-proj-reserved-unused-pattern/tree/txt
2060−/* typ-569 %txt /tests/golden/types-proj-reserved-unused-sample/types/txt
2060+/* typ-569 %txt /tests/golden/types-proj-reserved-unused-pattern/types/txt
2061−/* src-570 %jibb /tests/golden/types-proj-reserved-unused-value/source/jibb
2061+/* src-570 %jibb /tests/golden/types-proj-reserved-unused-sample/source/jibb
2062−/* tok-570 %txt /tests/golden/types-proj-reserved-unused-value/tokens/txt
2062+/* tok-570 %txt /tests/golden/types-proj-reserved-unused-sample/tokens/txt
2063−/* tre-570 %txt /tests/golden/types-proj-reserved-unused-value/tree/txt
2063+/* tre-570 %txt /tests/golden/types-proj-reserved-unused-sample/tree/txt
2064−/* typ-570 %txt /tests/golden/types-proj-reserved-unused-value/types/txt
2064+/* typ-570 %txt /tests/golden/types-proj-reserved-unused-sample/types/txt
2065−/* src-571 %jibb /tests/golden/types-proj-reserved-value/source/jibb
2065+/* src-571 %jibb /tests/golden/types-proj-reserved-unused-value/source/jibb
2066−/* tok-571 %txt /tests/golden/types-proj-reserved-value/tokens/txt
2066+/* tok-571 %txt /tests/golden/types-proj-reserved-unused-value/tokens/txt
2067−/* tre-571 %txt /tests/golden/types-proj-reserved-value/tree/txt
2067+/* tre-571 %txt /tests/golden/types-proj-reserved-unused-value/tree/txt
2068−/* typ-571 %txt /tests/golden/types-proj-reserved-value/types/txt
2068+/* typ-571 %txt /tests/golden/types-proj-reserved-unused-value/types/txt
2069−/* src-572 %jibb /tests/golden/types-proj-single-duplicate/source/jibb
2069+/* src-572 %jibb /tests/golden/types-proj-reserved-value/source/jibb
2070−/* tok-572 %txt /tests/golden/types-proj-single-duplicate/tokens/txt
2070+/* tok-572 %txt /tests/golden/types-proj-reserved-value/tokens/txt
2071−/* tre-572 %txt /tests/golden/types-proj-single-duplicate/tree/txt
2071+/* tre-572 %txt /tests/golden/types-proj-reserved-value/tree/txt
2072−/* typ-572 %txt /tests/golden/types-proj-single-duplicate/types/txt
2072+/* typ-572 %txt /tests/golden/types-proj-reserved-value/types/txt
2073−/* src-573 %jibb /tests/golden/types-proj-single-field/source/jibb
2073+/* src-573 %jibb /tests/golden/types-proj-single-duplicate/source/jibb
2074−/* tok-573 %txt /tests/golden/types-proj-single-field/tokens/txt
2074+/* tok-573 %txt /tests/golden/types-proj-single-duplicate/tokens/txt
2075−/* tre-573 %txt /tests/golden/types-proj-single-field/tree/txt
2075+/* tre-573 %txt /tests/golden/types-proj-single-duplicate/tree/txt
2076−/* typ-573 %txt /tests/golden/types-proj-single-field/types/txt
2076+/* typ-573 %txt /tests/golden/types-proj-single-duplicate/types/txt
2077−/* src-574 %jibb /tests/golden/types-proj-single-sample-face/source/jibb
2077+/* src-574 %jibb /tests/golden/types-proj-single-field/source/jibb
2078−/* tok-574 %txt /tests/golden/types-proj-single-sample-face/tokens/txt
2078+/* tok-574 %txt /tests/golden/types-proj-single-field/tokens/txt
2079−/* tre-574 %txt /tests/golden/types-proj-single-sample-face/tree/txt
2079+/* tre-574 %txt /tests/golden/types-proj-single-field/tree/txt
2080−/* typ-574 %txt /tests/golden/types-proj-single-sample-face/types/txt
2080+/* typ-574 %txt /tests/golden/types-proj-single-field/types/txt
2081−/* src-575 %jibb /tests/golden/types-proj-single-wrapped/source/jibb
2081+/* src-575 %jibb /tests/golden/types-proj-single-sample-face/source/jibb
2082−/* tok-575 %txt /tests/golden/types-proj-single-wrapped/tokens/txt
2082+/* tok-575 %txt /tests/golden/types-proj-single-sample-face/tokens/txt
2083−/* tre-575 %txt /tests/golden/types-proj-single-wrapped/tree/txt
2083+/* tre-575 %txt /tests/golden/types-proj-single-sample-face/tree/txt
2084−/* typ-575 %txt /tests/golden/types-proj-single-wrapped/types/txt
2084+/* typ-575 %txt /tests/golden/types-proj-single-sample-face/types/txt
2085−/* src-576 %jibb /tests/golden/types-qath-faces/source/jibb
2085+/* src-576 %jibb /tests/golden/types-proj-single-wrapped/source/jibb
2086−/* tok-576 %txt /tests/golden/types-qath-faces/tokens/txt
2086+/* tok-576 %txt /tests/golden/types-proj-single-wrapped/tokens/txt
2087−/* tre-576 %txt /tests/golden/types-qath-faces/tree/txt
2087+/* tre-576 %txt /tests/golden/types-proj-single-wrapped/tree/txt
2088−/* typ-576 %txt /tests/golden/types-qath-faces/types/txt
2088+/* typ-576 %txt /tests/golden/types-proj-single-wrapped/types/txt
2089−/* src-577 %jibb /tests/golden/types-qath-holes/source/jibb
2089+/* src-577 %jibb /tests/golden/types-qath-faces/source/jibb
2090−/* tok-577 %txt /tests/golden/types-qath-holes/tokens/txt
2090+/* tok-577 %txt /tests/golden/types-qath-faces/tokens/txt
2091−/* tre-577 %txt /tests/golden/types-qath-holes/tree/txt
2091+/* tre-577 %txt /tests/golden/types-qath-faces/tree/txt
2092−/* typ-577 %txt /tests/golden/types-qath-holes/types/txt
2092+/* typ-577 %txt /tests/golden/types-qath-faces/types/txt
2093−/* src-578 %jibb /tests/golden/types-qath-module-identity/source/jibb
2093+/* src-578 %jibb /tests/golden/types-qath-holes/source/jibb
2094−/* tok-578 %txt /tests/golden/types-qath-module-identity/tokens/txt
2094+/* tok-578 %txt /tests/golden/types-qath-holes/tokens/txt
2095−/* tre-578 %txt /tests/golden/types-qath-module-identity/tree/txt
2095+/* tre-578 %txt /tests/golden/types-qath-holes/tree/txt
2096−/* mod-578-1 %jibb /tests/golden/types-qath-module-identity/modules/ui/one/jibb
2096+/* typ-578 %txt /tests/golden/types-qath-holes/types/txt
2097−/* mod-578-2 %jibb /tests/golden/types-qath-module-identity/modules/ui/two/jibb
2097+/* src-579 %jibb /tests/golden/types-qath-module-identity/source/jibb
2098−/* mod-578-3 %jibb /tests/golden/types-qath-module-identity/modules/ui/mid/jibb
2098+/* tok-579 %txt /tests/golden/types-qath-module-identity/tokens/txt
2099−/* typ-578 %txt /tests/golden/types-qath-module-identity/types/txt
2099+/* tre-579 %txt /tests/golden/types-qath-module-identity/tree/txt
2100−/* mtre-578 %txt /tests/golden/types-qath-module-identity/module-trees/txt
2100+/* mod-579-1 %jibb /tests/golden/types-qath-module-identity/modules/ui/one/jibb
2101−/* src-579 %jibb /tests/golden/types-qath-recursive/source/jibb
2101+/* mod-579-2 %jibb /tests/golden/types-qath-module-identity/modules/ui/two/jibb
2102−/* tok-579 %txt /tests/golden/types-qath-recursive/tokens/txt
2102+/* mod-579-3 %jibb /tests/golden/types-qath-module-identity/modules/ui/mid/jibb
2103−/* tre-579 %txt /tests/golden/types-qath-recursive/tree/txt
2103+/* typ-579 %txt /tests/golden/types-qath-module-identity/types/txt
2104−/* typ-579 %txt /tests/golden/types-qath-recursive/types/txt
2104+/* mtre-579 %txt /tests/golden/types-qath-module-identity/module-trees/txt
2105−/* src-580 %jibb /tests/golden/types-record-bound-variable/source/jibb
2105+/* src-580 %jibb /tests/golden/types-qath-recursive/source/jibb
2106−/* tok-580 %txt /tests/golden/types-record-bound-variable/tokens/txt
2106+/* tok-580 %txt /tests/golden/types-qath-recursive/tokens/txt
2107−/* tre-580 %txt /tests/golden/types-record-bound-variable/tree/txt
2107+/* tre-580 %txt /tests/golden/types-qath-recursive/tree/txt
2108−/* typ-580 %txt /tests/golden/types-record-bound-variable/types/txt
2108+/* typ-580 %txt /tests/golden/types-qath-recursive/types/txt
2109−/* src-581 %jibb /tests/golden/types-record-cast-context/source/jibb
2109+/* src-581 %jibb /tests/golden/types-record-bound-variable/source/jibb
2110−/* tok-581 %txt /tests/golden/types-record-cast-context/tokens/txt
2110+/* tok-581 %txt /tests/golden/types-record-bound-variable/tokens/txt
2111−/* tre-581 %txt /tests/golden/types-record-cast-context/tree/txt
2111+/* tre-581 %txt /tests/golden/types-record-bound-variable/tree/txt
2112−/* typ-581 %txt /tests/golden/types-record-cast-context/types/txt
2112+/* typ-581 %txt /tests/golden/types-record-bound-variable/types/txt
2113−/* src-582 %jibb /tests/golden/types-record-change/source/jibb
2113+/* src-582 %jibb /tests/golden/types-record-cast-context/source/jibb
2114−/* tok-582 %txt /tests/golden/types-record-change/tokens/txt
2114+/* tok-582 %txt /tests/golden/types-record-cast-context/tokens/txt
2115−/* tre-582 %txt /tests/golden/types-record-change/tree/txt
2115+/* tre-582 %txt /tests/golden/types-record-cast-context/tree/txt
2116−/* typ-582 %txt /tests/golden/types-record-change/types/txt
2116+/* typ-582 %txt /tests/golden/types-record-cast-context/types/txt
2117−/* src-583 %jibb /tests/golden/types-record-change-generic/source/jibb
2117+/* src-583 %jibb /tests/golden/types-record-change/source/jibb
2118−/* tok-583 %txt /tests/golden/types-record-change-generic/tokens/txt
2118+/* tok-583 %txt /tests/golden/types-record-change/tokens/txt
2119−/* tre-583 %txt /tests/golden/types-record-change-generic/tree/txt
2119+/* tre-583 %txt /tests/golden/types-record-change/tree/txt
2120−/* typ-583 %txt /tests/golden/types-record-change-generic/types/txt
2120+/* typ-583 %txt /tests/golden/types-record-change/types/txt
2121−/* src-584 %jibb /tests/golden/types-record-faces/source/jibb
2121+/* src-584 %jibb /tests/golden/types-record-change-generic/source/jibb
2122−/* tok-584 %txt /tests/golden/types-record-faces/tokens/txt
2122+/* tok-584 %txt /tests/golden/types-record-change-generic/tokens/txt
2123−/* tre-584 %txt /tests/golden/types-record-faces/tree/txt
2123+/* tre-584 %txt /tests/golden/types-record-change-generic/tree/txt
2124−/* typ-584 %txt /tests/golden/types-record-faces/types/txt
2124+/* typ-584 %txt /tests/golden/types-record-change-generic/types/txt
2125−/* src-585 %jibb /tests/golden/types-record-field-edit-separate/source/jibb
2125+/* src-585 %jibb /tests/golden/types-record-faces/source/jibb
2126−/* tok-585 %txt /tests/golden/types-record-field-edit-separate/tokens/txt
2126+/* tok-585 %txt /tests/golden/types-record-faces/tokens/txt
2127−/* tre-585 %txt /tests/golden/types-record-field-edit-separate/tree/txt
2127+/* tre-585 %txt /tests/golden/types-record-faces/tree/txt
2128−/* typ-585 %txt /tests/golden/types-record-field-edit-separate/types/txt
2128+/* typ-585 %txt /tests/golden/types-record-faces/types/txt
2129−/* src-586 %jibb /tests/golden/types-record-field-expr-duplicate/source/jibb
2129+/* src-586 %jibb /tests/golden/types-record-field-edit-separate/source/jibb
2130−/* tok-586 %txt /tests/golden/types-record-field-expr-duplicate/tokens/txt
2130+/* tok-586 %txt /tests/golden/types-record-field-edit-separate/tokens/txt
2131−/* tre-586 %txt /tests/golden/types-record-field-expr-duplicate/tree/txt
2131+/* tre-586 %txt /tests/golden/types-record-field-edit-separate/tree/txt
2132−/* typ-586 %txt /tests/golden/types-record-field-expr-duplicate/types/txt
2132+/* typ-586 %txt /tests/golden/types-record-field-edit-separate/types/txt
2133−/* src-587 %jibb /tests/golden/types-record-field-expr-separate/source/jibb
2133+/* src-587 %jibb /tests/golden/types-record-field-expr-duplicate/source/jibb
2134−/* tok-587 %txt /tests/golden/types-record-field-expr-separate/tokens/txt
2134+/* tok-587 %txt /tests/golden/types-record-field-expr-duplicate/tokens/txt
2135−/* tre-587 %txt /tests/golden/types-record-field-expr-separate/tree/txt
2135+/* tre-587 %txt /tests/golden/types-record-field-expr-duplicate/tree/txt
2136−/* typ-587 %txt /tests/golden/types-record-field-expr-separate/types/txt
2136+/* typ-587 %txt /tests/golden/types-record-field-expr-duplicate/types/txt
2137−/* src-588 %jibb /tests/golden/types-record-field-module-reachable/source/jibb
2137+/* src-588 %jibb /tests/golden/types-record-field-expr-separate/source/jibb
2138−/* tok-588 %txt /tests/golden/types-record-field-module-reachable/tokens/txt
2138+/* tok-588 %txt /tests/golden/types-record-field-expr-separate/tokens/txt
2139−/* tre-588 %txt /tests/golden/types-record-field-module-reachable/tree/txt
2139+/* tre-588 %txt /tests/golden/types-record-field-expr-separate/tree/txt
2140−/* mod-588-1 %jibb /tests/golden/types-record-field-module-reachable/modules/ui/lib/jibb
2140+/* typ-588 %txt /tests/golden/types-record-field-expr-separate/types/txt
2141−/* typ-588 %txt /tests/golden/types-record-field-module-reachable/types/txt
2141+/* src-589 %jibb /tests/golden/types-record-field-module-reachable/source/jibb
2142−/* mtre-588 %txt /tests/golden/types-record-field-module-reachable/module-trees/txt
2142+/* tok-589 %txt /tests/golden/types-record-field-module-reachable/tokens/txt
2143−/* src-589 %jibb /tests/golden/types-record-field-module-unused/source/jibb
2143+/* tre-589 %txt /tests/golden/types-record-field-module-reachable/tree/txt
2144−/* tok-589 %txt /tests/golden/types-record-field-module-unused/tokens/txt
2144+/* mod-589-1 %jibb /tests/golden/types-record-field-module-reachable/modules/ui/lib/jibb
2145−/* tre-589 %txt /tests/golden/types-record-field-module-unused/tree/txt
2145+/* typ-589 %txt /tests/golden/types-record-field-module-reachable/types/txt
2146−/* mod-589-1 %jibb /tests/golden/types-record-field-module-unused/modules/ui/good/jibb
2146+/* mtre-589 %txt /tests/golden/types-record-field-module-reachable/module-trees/txt
2147−/* mod-589-2 %jibb /tests/golden/types-record-field-module-unused/modules/ui/unused/jibb
2147+/* src-590 %jibb /tests/golden/types-record-field-module-unused/source/jibb
2148−/* typ-589 %txt /tests/golden/types-record-field-module-unused/types/txt
2148+/* tok-590 %txt /tests/golden/types-record-field-module-unused/tokens/txt
2149−/* mtre-589 %txt /tests/golden/types-record-field-module-unused/module-trees/txt
2149+/* tre-590 %txt /tests/golden/types-record-field-module-unused/tree/txt
2150−/* src-590 %jibb /tests/golden/types-record-field-nested-mold/source/jibb
2150+/* mod-590-1 %jibb /tests/golden/types-record-field-module-unused/modules/ui/good/jibb
2151−/* tok-590 %txt /tests/golden/types-record-field-nested-mold/tokens/txt
2151+/* mod-590-2 %jibb /tests/golden/types-record-field-module-unused/modules/ui/unused/jibb
2152−/* tre-590 %txt /tests/golden/types-record-field-nested-mold/tree/txt
2152+/* typ-590 %txt /tests/golden/types-record-field-module-unused/types/txt
2153−/* typ-590 %txt /tests/golden/types-record-field-nested-mold/types/txt
2153+/* mtre-590 %txt /tests/golden/types-record-field-module-unused/module-trees/txt
2154−/* src-591 %jibb /tests/golden/types-record-field-outer-inner/source/jibb
2154+/* src-591 %jibb /tests/golden/types-record-field-nested-mold/source/jibb
2155−/* tok-591 %txt /tests/golden/types-record-field-outer-inner/tokens/txt
2155+/* tok-591 %txt /tests/golden/types-record-field-nested-mold/tokens/txt
2156−/* tre-591 %txt /tests/golden/types-record-field-outer-inner/tree/txt
2156+/* tre-591 %txt /tests/golden/types-record-field-nested-mold/tree/txt
2157−/* typ-591 %txt /tests/golden/types-record-field-outer-inner/types/txt
2157+/* typ-591 %txt /tests/golden/types-record-field-nested-mold/types/txt
2158−/* src-592 %jibb /tests/golden/types-record-field-sample-duplicate/source/jibb
2158+/* src-592 %jibb /tests/golden/types-record-field-outer-inner/source/jibb
2159−/* tok-592 %txt /tests/golden/types-record-field-sample-duplicate/tokens/txt
2159+/* tok-592 %txt /tests/golden/types-record-field-outer-inner/tokens/txt
2160−/* tre-592 %txt /tests/golden/types-record-field-sample-duplicate/tree/txt
2160+/* tre-592 %txt /tests/golden/types-record-field-outer-inner/tree/txt
2161−/* typ-592 %txt /tests/golden/types-record-field-sample-duplicate/types/txt
2161+/* typ-592 %txt /tests/golden/types-record-field-outer-inner/types/txt
2162−/* src-593 %jibb /tests/golden/types-record-field-separate-molds/source/jibb
2162+/* src-593 %jibb /tests/golden/types-record-field-sample-duplicate/source/jibb
2163−/* tok-593 %txt /tests/golden/types-record-field-separate-molds/tokens/txt
2163+/* tok-593 %txt /tests/golden/types-record-field-sample-duplicate/tokens/txt
2164−/* tre-593 %txt /tests/golden/types-record-field-separate-molds/tree/txt
2164+/* tre-593 %txt /tests/golden/types-record-field-sample-duplicate/tree/txt
2165−/* typ-593 %txt /tests/golden/types-record-field-separate-molds/types/txt
2165+/* typ-593 %txt /tests/golden/types-record-field-sample-duplicate/types/txt
2166−/* src-594 %jibb /tests/golden/types-record-field-unused-mold/source/jibb
2166+/* src-594 %jibb /tests/golden/types-record-field-separate-molds/source/jibb
2167−/* tok-594 %txt /tests/golden/types-record-field-unused-mold/tokens/txt
2167+/* tok-594 %txt /tests/golden/types-record-field-separate-molds/tokens/txt
2168−/* tre-594 %txt /tests/golden/types-record-field-unused-mold/tree/txt
2168+/* tre-594 %txt /tests/golden/types-record-field-separate-molds/tree/txt
2169−/* typ-594 %txt /tests/golden/types-record-field-unused-mold/types/txt
2169+/* typ-594 %txt /tests/golden/types-record-field-separate-molds/types/txt
2170−/* src-595 %jibb /tests/golden/types-record-import/source/jibb
2170+/* src-595 %jibb /tests/golden/types-record-field-unused-mold/source/jibb
2171−/* tok-595 %txt /tests/golden/types-record-import/tokens/txt
2171+/* tok-595 %txt /tests/golden/types-record-field-unused-mold/tokens/txt
2172−/* tre-595 %txt /tests/golden/types-record-import/tree/txt
2172+/* tre-595 %txt /tests/golden/types-record-field-unused-mold/tree/txt
2173−/* mod-595-1 %jibb /tests/golden/types-record-import/modules/ui/lib/jibb
2173+/* typ-595 %txt /tests/golden/types-record-field-unused-mold/types/txt
2174−/* typ-595 %txt /tests/golden/types-record-import/types/txt
2174+/* src-596 %jibb /tests/golden/types-record-import/source/jibb
2175−/* mtre-595 %txt /tests/golden/types-record-import/module-trees/txt
2175+/* tok-596 %txt /tests/golden/types-record-import/tokens/txt
2176−/* src-596 %jibb /tests/golden/types-record-local-scheme/source/jibb
2176+/* tre-596 %txt /tests/golden/types-record-import/tree/txt
2177−/* tok-596 %txt /tests/golden/types-record-local-scheme/tokens/txt
2177+/* mod-596-1 %jibb /tests/golden/types-record-import/modules/ui/lib/jibb
2178−/* tre-596 %txt /tests/golden/types-record-local-scheme/tree/txt
2178+/* typ-596 %txt /tests/golden/types-record-import/types/txt
2179−/* typ-596 %txt /tests/golden/types-record-local-scheme/types/txt
2179+/* mtre-596 %txt /tests/golden/types-record-import/module-trees/txt
2180−/* src-597 %jibb /tests/golden/types-record-nested/source/jibb
2180+/* src-597 %jibb /tests/golden/types-record-local-scheme/source/jibb
2181−/* tok-597 %txt /tests/golden/types-record-nested/tokens/txt
2181+/* tok-597 %txt /tests/golden/types-record-local-scheme/tokens/txt
2182−/* tre-597 %txt /tests/golden/types-record-nested/tree/txt
2182+/* tre-597 %txt /tests/golden/types-record-local-scheme/tree/txt
2183−/* typ-597 %txt /tests/golden/types-record-nested/types/txt
2183+/* typ-597 %txt /tests/golden/types-record-local-scheme/types/txt
2184−/* src-598 %jibb /tests/golden/types-record-to-tuple/source/jibb
2184+/* src-598 %jibb /tests/golden/types-record-nested/source/jibb
2185−/* tok-598 %txt /tests/golden/types-record-to-tuple/tokens/txt
2185+/* tok-598 %txt /tests/golden/types-record-nested/tokens/txt
2186−/* tre-598 %txt /tests/golden/types-record-to-tuple/tree/txt
2186+/* tre-598 %txt /tests/golden/types-record-nested/tree/txt
2187−/* typ-598 %txt /tests/golden/types-record-to-tuple/types/txt
2187+/* typ-598 %txt /tests/golden/types-record-nested/types/txt
2188−/* src-599 %jibb /tests/golden/types-recursion-scc-failures/source/jibb
2188+/* src-599 %jibb /tests/golden/types-record-to-tuple/source/jibb
2189−/* tok-599 %txt /tests/golden/types-recursion-scc-failures/tokens/txt
2189+/* tok-599 %txt /tests/golden/types-record-to-tuple/tokens/txt
2190−/* tre-599 %txt /tests/golden/types-recursion-scc-failures/tree/txt
2190+/* tre-599 %txt /tests/golden/types-record-to-tuple/tree/txt
2191−/* typ-599 %txt /tests/golden/types-recursion-scc-failures/types/txt
2191+/* typ-599 %txt /tests/golden/types-record-to-tuple/types/txt
2192−/* src-600 %jibb /tests/golden/types-recursion-scc-groups/source/jibb
2192+/* src-600 %jibb /tests/golden/types-recursion-scc-failures/source/jibb
2193−/* tok-600 %txt /tests/golden/types-recursion-scc-groups/tokens/txt
2193+/* tok-600 %txt /tests/golden/types-recursion-scc-failures/tokens/txt
2194−/* tre-600 %txt /tests/golden/types-recursion-scc-groups/tree/txt
2194+/* tre-600 %txt /tests/golden/types-recursion-scc-failures/tree/txt
2195−/* typ-600 %txt /tests/golden/types-recursion-scc-groups/types/txt
2195+/* typ-600 %txt /tests/golden/types-recursion-scc-failures/types/txt
2196−/* src-601 %jibb /tests/golden/types-recursion-scc-import/source/jibb
2196+/* src-601 %jibb /tests/golden/types-recursion-scc-groups/source/jibb
2197−/* tok-601 %txt /tests/golden/types-recursion-scc-import/tokens/txt
2197+/* tok-601 %txt /tests/golden/types-recursion-scc-groups/tokens/txt
2198−/* tre-601 %txt /tests/golden/types-recursion-scc-import/tree/txt
2198+/* tre-601 %txt /tests/golden/types-recursion-scc-groups/tree/txt
2199−/* mod-601-1 %jibb /tests/golden/types-recursion-scc-import/modules/ui/lib/jibb
2199+/* typ-601 %txt /tests/golden/types-recursion-scc-groups/types/txt
2200−/* typ-601 %txt /tests/golden/types-recursion-scc-import/types/txt
2200+/* src-602 %jibb /tests/golden/types-recursion-scc-import/source/jibb
2201−/* mtre-601 %txt /tests/golden/types-recursion-scc-import/module-trees/txt
2201+/* tok-602 %txt /tests/golden/types-recursion-scc-import/tokens/txt
2202−/* src-602 %jibb /tests/golden/types-recursion-scc-import-bad/source/jibb
2202+/* tre-602 %txt /tests/golden/types-recursion-scc-import/tree/txt
2203−/* tok-602 %txt /tests/golden/types-recursion-scc-import-bad/tokens/txt
2203+/* mod-602-1 %jibb /tests/golden/types-recursion-scc-import/modules/ui/lib/jibb
2204−/* tre-602 %txt /tests/golden/types-recursion-scc-import-bad/tree/txt
2204+/* typ-602 %txt /tests/golden/types-recursion-scc-import/types/txt
2205−/* mod-602-1 %jibb /tests/golden/types-recursion-scc-import-bad/modules/ui/lib/jibb
2205+/* mtre-602 %txt /tests/golden/types-recursion-scc-import/module-trees/txt
2206−/* typ-602 %txt /tests/golden/types-recursion-scc-import-bad/types/txt
2206+/* src-603 %jibb /tests/golden/types-recursion-scc-import-bad/source/jibb
2207−/* mtre-602 %txt /tests/golden/types-recursion-scc-import-bad/module-trees/txt
2207+/* tok-603 %txt /tests/golden/types-recursion-scc-import-bad/tokens/txt
2208−/* src-603 %jibb /tests/golden/types-recursion-scc-local/source/jibb
2208+/* tre-603 %txt /tests/golden/types-recursion-scc-import-bad/tree/txt
2209−/* tok-603 %txt /tests/golden/types-recursion-scc-local/tokens/txt
2209+/* mod-603-1 %jibb /tests/golden/types-recursion-scc-import-bad/modules/ui/lib/jibb
2210−/* tre-603 %txt /tests/golden/types-recursion-scc-local/tree/txt
2210+/* typ-603 %txt /tests/golden/types-recursion-scc-import-bad/types/txt
2211−/* typ-603 %txt /tests/golden/types-recursion-scc-local/types/txt
2211+/* mtre-603 %txt /tests/golden/types-recursion-scc-import-bad/module-trees/txt
2212−/* src-604 %jibb /tests/golden/types-recursion-scc-order/source/jibb
2212+/* src-604 %jibb /tests/golden/types-recursion-scc-local/source/jibb
2213−/* tok-604 %txt /tests/golden/types-recursion-scc-order/tokens/txt
2213+/* tok-604 %txt /tests/golden/types-recursion-scc-local/tokens/txt
2214−/* tre-604 %txt /tests/golden/types-recursion-scc-order/tree/txt
2214+/* tre-604 %txt /tests/golden/types-recursion-scc-local/tree/txt
2215−/* typ-604 %txt /tests/golden/types-recursion-scc-order/types/txt
2215+/* typ-604 %txt /tests/golden/types-recursion-scc-local/types/txt
2216−/* src-605 %jibb /tests/golden/types-recursion-scc-shadow/source/jibb
2216+/* src-605 %jibb /tests/golden/types-recursion-scc-order/source/jibb
2217−/* tok-605 %txt /tests/golden/types-recursion-scc-shadow/tokens/txt
2217+/* tok-605 %txt /tests/golden/types-recursion-scc-order/tokens/txt
2218−/* tre-605 %txt /tests/golden/types-recursion-scc-shadow/tree/txt
2218+/* tre-605 %txt /tests/golden/types-recursion-scc-order/tree/txt
2219−/* typ-605 %txt /tests/golden/types-recursion-scc-shadow/types/txt
2219+/* typ-605 %txt /tests/golden/types-recursion-scc-order/types/txt
2220−/* src-606 %jibb /tests/golden/types-recursive-branch/source/jibb
2220+/* src-606 %jibb /tests/golden/types-recursion-scc-shadow/source/jibb
2221−/* tok-606 %txt /tests/golden/types-recursive-branch/tokens/txt
2221+/* tok-606 %txt /tests/golden/types-recursion-scc-shadow/tokens/txt
2222−/* tre-606 %txt /tests/golden/types-recursive-branch/tree/txt
2222+/* tre-606 %txt /tests/golden/types-recursion-scc-shadow/tree/txt
2223−/* typ-606 %txt /tests/golden/types-recursive-branch/types/txt
2223+/* typ-606 %txt /tests/golden/types-recursion-scc-shadow/types/txt
2224−/* src-607 %jibb /tests/golden/types-recursive-gate/source/jibb
2224+/* src-607 %jibb /tests/golden/types-recursive-branch/source/jibb
2225−/* tok-607 %txt /tests/golden/types-recursive-gate/tokens/txt
2225+/* tok-607 %txt /tests/golden/types-recursive-branch/tokens/txt
2226−/* tre-607 %txt /tests/golden/types-recursive-gate/tree/txt
2226+/* tre-607 %txt /tests/golden/types-recursive-branch/tree/txt
2227−/* typ-607 %txt /tests/golden/types-recursive-gate/types/txt
2227+/* typ-607 %txt /tests/golden/types-recursive-branch/types/txt
2228−/* src-608 %jibb /tests/golden/types-recursive-sample/source/jibb
2228+/* src-608 %jibb /tests/golden/types-recursive-gate/source/jibb
2229−/* tok-608 %txt /tests/golden/types-recursive-sample/tokens/txt
2229+/* tok-608 %txt /tests/golden/types-recursive-gate/tokens/txt
2230−/* tre-608 %txt /tests/golden/types-recursive-sample/tree/txt
2230+/* tre-608 %txt /tests/golden/types-recursive-gate/tree/txt
2231−/* typ-608 %txt /tests/golden/types-recursive-sample/types/txt
2231+/* typ-608 %txt /tests/golden/types-recursive-gate/types/txt
2232−/* src-609 %jibb /tests/golden/types-request-normal/source/jibb
2232+/* src-609 %jibb /tests/golden/types-recursive-sample/source/jibb
2233−/* tok-609 %txt /tests/golden/types-request-normal/tokens/txt
2233+/* tok-609 %txt /tests/golden/types-recursive-sample/tokens/txt
2234−/* tre-609 %txt /tests/golden/types-request-normal/tree/txt
2234+/* tre-609 %txt /tests/golden/types-recursive-sample/tree/txt
2235−/* mod-609-1 %jibb /tests/golden/types-request-normal/modules/ui/api/demo/jibb
2235+/* typ-609 %txt /tests/golden/types-recursive-sample/types/txt
2236−/* typ-609 %txt /tests/golden/types-request-normal/types/txt
2236+/* src-610 %jibb /tests/golden/types-request-normal/source/jibb
2237−/* mark-609-1 %txt /tests/golden/types-request-normal/mar/full/txt
2237+/* tok-610 %txt /tests/golden/types-request-normal/tokens/txt
2238−/* mtre-609 %txt /tests/golden/types-request-normal/module-trees/txt
2238+/* tre-610 %txt /tests/golden/types-request-normal/tree/txt
2239−/* src-610 %jibb /tests/golden/types-scope-library-poke/source/jibb
2239+/* mod-610-1 %jibb /tests/golden/types-request-normal/modules/ui/api/demo/jibb
2240−/* tok-610 %txt /tests/golden/types-scope-library-poke/tokens/txt
2240+/* typ-610 %txt /tests/golden/types-request-normal/types/txt
2241−/* tre-610 %txt /tests/golden/types-scope-library-poke/tree/txt
2241+/* mark-610-1 %txt /tests/golden/types-request-normal/mar/full/txt
2242−/* typ-610 %txt /tests/golden/types-scope-library-poke/types/txt
2242+/* mtre-610 %txt /tests/golden/types-request-normal/module-trees/txt
2243−/* src-611 %jibb /tests/golden/types-scope-root-api/source/jibb
2243+/* src-611 %jibb /tests/golden/types-scope-library-poke/source/jibb
2244−/* tok-611 %txt /tests/golden/types-scope-root-api/tokens/txt
2244+/* tok-611 %txt /tests/golden/types-scope-library-poke/tokens/txt
2245−/* tre-611 %txt /tests/golden/types-scope-root-api/tree/txt
2245+/* tre-611 %txt /tests/golden/types-scope-library-poke/tree/txt
2246−/* typ-611 %txt /tests/golden/types-scope-root-api/types/txt
2246+/* typ-611 %txt /tests/golden/types-scope-library-poke/types/txt
2247−/* src-612 %jibb /tests/golden/types-scope-store-duplicate/source/jibb
2247+/* src-612 %jibb /tests/golden/types-scope-root-api/source/jibb
2248−/* tok-612 %txt /tests/golden/types-scope-store-duplicate/tokens/txt
2248+/* tok-612 %txt /tests/golden/types-scope-root-api/tokens/txt
2249−/* tre-612 %txt /tests/golden/types-scope-store-duplicate/tree/txt
2249+/* tre-612 %txt /tests/golden/types-scope-root-api/tree/txt
2250−/* typ-612 %txt /tests/golden/types-scope-store-duplicate/types/txt
2250+/* typ-612 %txt /tests/golden/types-scope-root-api/types/txt
2251−/* src-613 %jibb /tests/golden/types-scope-store-shadow/source/jibb
2251+/* src-613 %jibb /tests/golden/types-scope-store-duplicate/source/jibb
2252−/* tok-613 %txt /tests/golden/types-scope-store-shadow/tokens/txt
2252+/* tok-613 %txt /tests/golden/types-scope-store-duplicate/tokens/txt
2253−/* tre-613 %txt /tests/golden/types-scope-store-shadow/tree/txt
2253+/* tre-613 %txt /tests/golden/types-scope-store-duplicate/tree/txt
2254−/* typ-613 %txt /tests/golden/types-scope-store-shadow/types/txt
2254+/* typ-613 %txt /tests/golden/types-scope-store-duplicate/types/txt
2255−/* src-614 %jibb /tests/golden/types-single-case-pattern/source/jibb
2255+/* src-614 %jibb /tests/golden/types-scope-store-shadow/source/jibb
2256−/* tok-614 %txt /tests/golden/types-single-case-pattern/tokens/txt
2256+/* tok-614 %txt /tests/golden/types-scope-store-shadow/tokens/txt
2257−/* tre-614 %txt /tests/golden/types-single-case-pattern/tree/txt
2257+/* tre-614 %txt /tests/golden/types-scope-store-shadow/tree/txt
2258−/* typ-614 %txt /tests/golden/types-single-case-pattern/types/txt
2258+/* typ-614 %txt /tests/golden/types-scope-store-shadow/types/txt
2259−/* src-615 %jibb /tests/golden/types-string-interpolation/source/jibb
2259+/* src-615 %jibb /tests/golden/types-single-case-pattern/source/jibb
2260−/* tok-615 %txt /tests/golden/types-string-interpolation/tokens/txt
2260+/* tok-615 %txt /tests/golden/types-single-case-pattern/tokens/txt
2261−/* tre-615 %txt /tests/golden/types-string-interpolation/tree/txt
2261+/* tre-615 %txt /tests/golden/types-single-case-pattern/tree/txt
2262−/* typ-615 %txt /tests/golden/types-string-interpolation/types/txt
2262+/* typ-615 %txt /tests/golden/types-single-case-pattern/types/txt
2263−/* src-616 %jibb /tests/golden/types-tuple-context/source/jibb
2263+/* src-616 %jibb /tests/golden/types-string-interpolation/source/jibb
2264−/* tok-616 %txt /tests/golden/types-tuple-context/tokens/txt
2264+/* tok-616 %txt /tests/golden/types-string-interpolation/tokens/txt
2265−/* tre-616 %txt /tests/golden/types-tuple-context/tree/txt
2265+/* tre-616 %txt /tests/golden/types-string-interpolation/tree/txt
2266−/* typ-616 %txt /tests/golden/types-tuple-context/types/txt
2266+/* typ-616 %txt /tests/golden/types-string-interpolation/types/txt
2267−/* src-617 %jibb /tests/golden/types-tuple-context-nested/source/jibb
2267+/* src-617 %jibb /tests/golden/types-tuple-context/source/jibb
2268−/* tok-617 %txt /tests/golden/types-tuple-context-nested/tokens/txt
2268+/* tok-617 %txt /tests/golden/types-tuple-context/tokens/txt
2269−/* tre-617 %txt /tests/golden/types-tuple-context-nested/tree/txt
2269+/* tre-617 %txt /tests/golden/types-tuple-context/tree/txt
2270−/* typ-617 %txt /tests/golden/types-tuple-context-nested/types/txt
2270+/* typ-617 %txt /tests/golden/types-tuple-context/types/txt
2271−/* src-618 %jibb /tests/golden/types-union-alias/source/jibb
2271+/* src-618 %jibb /tests/golden/types-tuple-context-nested/source/jibb
2272−/* tok-618 %txt /tests/golden/types-union-alias/tokens/txt
2272+/* tok-618 %txt /tests/golden/types-tuple-context-nested/tokens/txt
2273−/* tre-618 %txt /tests/golden/types-union-alias/tree/txt
2273+/* tre-618 %txt /tests/golden/types-tuple-context-nested/tree/txt
2274−/* typ-618 %txt /tests/golden/types-union-alias/types/txt
2274+/* typ-618 %txt /tests/golden/types-tuple-context-nested/types/txt
2275−/* src-619 %jibb /tests/golden/types-union-branch-context/source/jibb
2275+/* src-619 %jibb /tests/golden/types-union-alias/source/jibb
2276−/* tok-619 %txt /tests/golden/types-union-branch-context/tokens/txt
2276+/* tok-619 %txt /tests/golden/types-union-alias/tokens/txt
2277−/* tre-619 %txt /tests/golden/types-union-branch-context/tree/txt
2277+/* tre-619 %txt /tests/golden/types-union-alias/tree/txt
2278−/* typ-619 %txt /tests/golden/types-union-branch-context/types/txt
2278+/* typ-619 %txt /tests/golden/types-union-alias/types/txt
2279−/* src-620 %jibb /tests/golden/types-union-branch-pending/source/jibb
2279+/* src-620 %jibb /tests/golden/types-union-branch-context/source/jibb
2280−/* tok-620 %txt /tests/golden/types-union-branch-pending/tokens/txt
2280+/* tok-620 %txt /tests/golden/types-union-branch-context/tokens/txt
2281−/* tre-620 %txt /tests/golden/types-union-branch-pending/tree/txt
2281+/* tre-620 %txt /tests/golden/types-union-branch-context/tree/txt
2282−/* typ-620 %txt /tests/golden/types-union-branch-pending/types/txt
2282+/* typ-620 %txt /tests/golden/types-union-branch-context/types/txt
2283−/* src-621 %jibb /tests/golden/types-union-constructor-shape/source/jibb
2283+/* src-621 %jibb /tests/golden/types-union-branch-pending/source/jibb
2284−/* tok-621 %txt /tests/golden/types-union-constructor-shape/tokens/txt
2284+/* tok-621 %txt /tests/golden/types-union-branch-pending/tokens/txt
2285−/* tre-621 %txt /tests/golden/types-union-constructor-shape/tree/txt
2285+/* tre-621 %txt /tests/golden/types-union-branch-pending/tree/txt
2286−/* typ-621 %txt /tests/golden/types-union-constructor-shape/types/txt
2286+/* typ-621 %txt /tests/golden/types-union-branch-pending/types/txt
2287−/* src-622 %jibb /tests/golden/types-union-context-flow/source/jibb
2287+/* src-622 %jibb /tests/golden/types-union-constructor-shape/source/jibb
2288−/* tok-622 %txt /tests/golden/types-union-context-flow/tokens/txt
2288+/* tok-622 %txt /tests/golden/types-union-constructor-shape/tokens/txt
2289−/* tre-622 %txt /tests/golden/types-union-context-flow/tree/txt
2289+/* tre-622 %txt /tests/golden/types-union-constructor-shape/tree/txt
2290−/* typ-622 %txt /tests/golden/types-union-context-flow/types/txt
2290+/* typ-622 %txt /tests/golden/types-union-constructor-shape/types/txt
2291−/* src-623 %jibb /tests/golden/types-union-finite/source/jibb
2291+/* src-623 %jibb /tests/golden/types-union-context-flow/source/jibb
2292−/* tok-623 %txt /tests/golden/types-union-finite/tokens/txt
2292+/* tok-623 %txt /tests/golden/types-union-context-flow/tokens/txt
2293−/* tre-623 %txt /tests/golden/types-union-finite/tree/txt
2293+/* tre-623 %txt /tests/golden/types-union-context-flow/tree/txt
2294−/* typ-623 %txt /tests/golden/types-union-finite/types/txt
2294+/* typ-623 %txt /tests/golden/types-union-context-flow/types/txt
2295−/* src-624 %jibb /tests/golden/types-union-finite-context/source/jibb
2295+/* src-624 %jibb /tests/golden/types-union-finite/source/jibb
2296−/* tok-624 %txt /tests/golden/types-union-finite-context/tokens/txt
2296+/* tok-624 %txt /tests/golden/types-union-finite/tokens/txt
2297−/* tre-624 %txt /tests/golden/types-union-finite-context/tree/txt
2297+/* tre-624 %txt /tests/golden/types-union-finite/tree/txt
2298−/* typ-624 %txt /tests/golden/types-union-finite-context/types/txt
2298+/* typ-624 %txt /tests/golden/types-union-finite/types/txt
2299−/* src-625 %jibb /tests/golden/types-union-finite-generic/source/jibb
2299+/* src-625 %jibb /tests/golden/types-union-finite-context/source/jibb
2300−/* tok-625 %txt /tests/golden/types-union-finite-generic/tokens/txt
2300+/* tok-625 %txt /tests/golden/types-union-finite-context/tokens/txt
2301−/* tre-625 %txt /tests/golden/types-union-finite-generic/tree/txt
2301+/* tre-625 %txt /tests/golden/types-union-finite-context/tree/txt
2302−/* typ-625 %txt /tests/golden/types-union-finite-generic/types/txt
2302+/* typ-625 %txt /tests/golden/types-union-finite-context/types/txt
2303−/* src-626 %jibb /tests/golden/types-union-finite-limit/source/jibb
2303+/* src-626 %jibb /tests/golden/types-union-finite-generic/source/jibb
2304−/* tok-626 %txt /tests/golden/types-union-finite-limit/tokens/txt
2304+/* tok-626 %txt /tests/golden/types-union-finite-generic/tokens/txt
2305−/* tre-626 %txt /tests/golden/types-union-finite-limit/tree/txt
2305+/* tre-626 %txt /tests/golden/types-union-finite-generic/tree/txt
2306−/* typ-626 %txt /tests/golden/types-union-finite-limit/types/txt
2306+/* typ-626 %txt /tests/golden/types-union-finite-generic/types/txt
2307−/* src-627 %jibb /tests/golden/types-union-import/source/jibb
2307+/* src-627 %jibb /tests/golden/types-union-finite-limit/source/jibb
2308−/* tok-627 %txt /tests/golden/types-union-import/tokens/txt
2308+/* tok-627 %txt /tests/golden/types-union-finite-limit/tokens/txt
2309−/* tre-627 %txt /tests/golden/types-union-import/tree/txt
2309+/* tre-627 %txt /tests/golden/types-union-finite-limit/tree/txt
2310−/* mod-627-1 %jibb /tests/golden/types-union-import/modules/ui/lib/jibb
2310+/* typ-627 %txt /tests/golden/types-union-finite-limit/types/txt
2311−/* typ-627 %txt /tests/golden/types-union-import/types/txt
2311+/* src-628 %jibb /tests/golden/types-union-import/source/jibb
2312−/* mtre-627 %txt /tests/golden/types-union-import/module-trees/txt
2312+/* tok-628 %txt /tests/golden/types-union-import/tokens/txt
2313−/* src-628 %jibb /tests/golden/types-union-local-pending/source/jibb
2313+/* tre-628 %txt /tests/golden/types-union-import/tree/txt
2314−/* tok-628 %txt /tests/golden/types-union-local-pending/tokens/txt
2314+/* mod-628-1 %jibb /tests/golden/types-union-import/modules/ui/lib/jibb
2315−/* tre-628 %txt /tests/golden/types-union-local-pending/tree/txt
2315+/* typ-628 %txt /tests/golden/types-union-import/types/txt
2316−/* typ-628 %txt /tests/golden/types-union-local-pending/types/txt
2316+/* mtre-628 %txt /tests/golden/types-union-import/module-trees/txt
2317−/* src-629 %jibb /tests/golden/types-union-nonwing-subject/source/jibb
2317+/* src-629 %jibb /tests/golden/types-union-local-pending/source/jibb
2318−/* tok-629 %txt /tests/golden/types-union-nonwing-subject/tokens/txt
2318+/* tok-629 %txt /tests/golden/types-union-local-pending/tokens/txt
2319−/* tre-629 %txt /tests/golden/types-union-nonwing-subject/tree/txt
2319+/* tre-629 %txt /tests/golden/types-union-local-pending/tree/txt
2320−/* typ-629 %txt /tests/golden/types-union-nonwing-subject/types/txt
2320+/* typ-629 %txt /tests/golden/types-union-local-pending/types/txt
2321−/* src-630 %jibb /tests/golden/types-union-overlap/source/jibb
2321+/* src-630 %jibb /tests/golden/types-union-nonwing-subject/source/jibb
2322−/* tok-630 %txt /tests/golden/types-union-overlap/tokens/txt
2322+/* tok-630 %txt /tests/golden/types-union-nonwing-subject/tokens/txt
2323−/* tre-630 %txt /tests/golden/types-union-overlap/tree/txt
2323+/* tre-630 %txt /tests/golden/types-union-nonwing-subject/tree/txt
2324−/* typ-630 %txt /tests/golden/types-union-overlap/types/txt
2324+/* typ-630 %txt /tests/golden/types-union-nonwing-subject/types/txt
2325−/* src-631 %jibb /tests/golden/types-union-overlap-nested/source/jibb
2325+/* src-631 %jibb /tests/golden/types-union-overlap/source/jibb
2326−/* tok-631 %txt /tests/golden/types-union-overlap-nested/tokens/txt
2326+/* tok-631 %txt /tests/golden/types-union-overlap/tokens/txt
2327−/* tre-631 %txt /tests/golden/types-union-overlap-nested/tree/txt
2327+/* tre-631 %txt /tests/golden/types-union-overlap/tree/txt
2328−/* typ-631 %txt /tests/golden/types-union-overlap-nested/types/txt
2328+/* typ-631 %txt /tests/golden/types-union-overlap/types/txt
2329−/* src-632 %jibb /tests/golden/types-union-pattern-result-context/source/jibb
2329+/* src-632 %jibb /tests/golden/types-union-overlap-nested/source/jibb
2330−/* tok-632 %txt /tests/golden/types-union-pattern-result-context/tokens/txt
2330+/* tok-632 %txt /tests/golden/types-union-overlap-nested/tokens/txt
2331−/* tre-632 %txt /tests/golden/types-union-pattern-result-context/tree/txt
2331+/* tre-632 %txt /tests/golden/types-union-overlap-nested/tree/txt
2332−/* typ-632 %txt /tests/golden/types-union-pattern-result-context/types/txt
2332+/* typ-632 %txt /tests/golden/types-union-overlap-nested/types/txt
2333−/* src-633 %jibb /tests/golden/types-union-pattern-result-controls/source/jibb
2333+/* src-633 %jibb /tests/golden/types-union-pattern-result-context/source/jibb
2334−/* tok-633 %txt /tests/golden/types-union-pattern-result-controls/tokens/txt
2334+/* tok-633 %txt /tests/golden/types-union-pattern-result-context/tokens/txt
2335−/* tre-633 %txt /tests/golden/types-union-pattern-result-controls/tree/txt
2335+/* tre-633 %txt /tests/golden/types-union-pattern-result-context/tree/txt
2336−/* typ-633 %txt /tests/golden/types-union-pattern-result-controls/types/txt
2336+/* typ-633 %txt /tests/golden/types-union-pattern-result-context/types/txt
2337−/* src-634 %jibb /tests/golden/types-union-patterns/source/jibb
2337+/* src-634 %jibb /tests/golden/types-union-pattern-result-controls/source/jibb
2338−/* tok-634 %txt /tests/golden/types-union-patterns/tokens/txt
2338+/* tok-634 %txt /tests/golden/types-union-pattern-result-controls/tokens/txt
2339−/* tre-634 %txt /tests/golden/types-union-patterns/tree/txt
2339+/* tre-634 %txt /tests/golden/types-union-pattern-result-controls/tree/txt
2340−/* typ-634 %txt /tests/golden/types-union-patterns/types/txt
2340+/* typ-634 %txt /tests/golden/types-union-pattern-result-controls/types/txt
2341−/* src-635 %jibb /tests/golden/types-union-patterns-generic/source/jibb
2341+/* src-635 %jibb /tests/golden/types-union-patterns/source/jibb
2342−/* tok-635 %txt /tests/golden/types-union-patterns-generic/tokens/txt
2342+/* tok-635 %txt /tests/golden/types-union-patterns/tokens/txt
2343−/* tre-635 %txt /tests/golden/types-union-patterns-generic/tree/txt
2343+/* tre-635 %txt /tests/golden/types-union-patterns/tree/txt
2344−/* typ-635 %txt /tests/golden/types-union-patterns-generic/types/txt
2344+/* typ-635 %txt /tests/golden/types-union-patterns/types/txt
2345−/* src-636 %jibb /tests/golden/types-union-patterns-import/source/jibb
2345+/* src-636 %jibb /tests/golden/types-union-patterns-generic/source/jibb
2346−/* tok-636 %txt /tests/golden/types-union-patterns-import/tokens/txt
2346+/* tok-636 %txt /tests/golden/types-union-patterns-generic/tokens/txt
2347−/* tre-636 %txt /tests/golden/types-union-patterns-import/tree/txt
2347+/* tre-636 %txt /tests/golden/types-union-patterns-generic/tree/txt
2348−/* mod-636-1 %jibb /tests/golden/types-union-patterns-import/modules/ui/lib/jibb
2348+/* typ-636 %txt /tests/golden/types-union-patterns-generic/types/txt
2349−/* typ-636 %txt /tests/golden/types-union-patterns-import/types/txt
2349+/* src-637 %jibb /tests/golden/types-union-patterns-import/source/jibb
2350−/* mtre-636 %txt /tests/golden/types-union-patterns-import/module-trees/txt
2350+/* tok-637 %txt /tests/golden/types-union-patterns-import/tokens/txt
2351−/* src-637 %jibb /tests/golden/types-union-phantom-generic/source/jibb
2351+/* tre-637 %txt /tests/golden/types-union-patterns-import/tree/txt
2352−/* tok-637 %txt /tests/golden/types-union-phantom-generic/tokens/txt
2352+/* mod-637-1 %jibb /tests/golden/types-union-patterns-import/modules/ui/lib/jibb
2353−/* tre-637 %txt /tests/golden/types-union-phantom-generic/tree/txt
2353+/* typ-637 %txt /tests/golden/types-union-patterns-import/types/txt
2354−/* typ-637 %txt /tests/golden/types-union-phantom-generic/types/txt
2354+/* mtre-637 %txt /tests/golden/types-union-patterns-import/module-trees/txt
2355−/* src-638 %jibb /tests/golden/types-union-polymorphic-identity/source/jibb
2355+/* src-638 %jibb /tests/golden/types-union-phantom-generic/source/jibb
2356−/* tok-638 %txt /tests/golden/types-union-polymorphic-identity/tokens/txt
2356+/* tok-638 %txt /tests/golden/types-union-phantom-generic/tokens/txt
2357−/* tre-638 %txt /tests/golden/types-union-polymorphic-identity/tree/txt
2357+/* tre-638 %txt /tests/golden/types-union-phantom-generic/tree/txt
2358−/* mod-638-1 %jibb /tests/golden/types-union-polymorphic-identity/modules/ui/one/jibb
2358+/* typ-638 %txt /tests/golden/types-union-phantom-generic/types/txt
2359−/* mod-638-2 %jibb /tests/golden/types-union-polymorphic-identity/modules/ui/two/jibb
2359+/* src-639 %jibb /tests/golden/types-union-polymorphic-identity/source/jibb
2360−/* typ-638 %txt /tests/golden/types-union-polymorphic-identity/types/txt
2360+/* tok-639 %txt /tests/golden/types-union-polymorphic-identity/tokens/txt
2361−/* mtre-638 %txt /tests/golden/types-union-polymorphic-identity/module-trees/txt
2361+/* tre-639 %txt /tests/golden/types-union-polymorphic-identity/tree/txt
2362−/* src-639 %jibb /tests/golden/types-union-print-cross-namespace/source/jibb
2362+/* mod-639-1 %jibb /tests/golden/types-union-polymorphic-identity/modules/ui/one/jibb
2363−/* tok-639 %txt /tests/golden/types-union-print-cross-namespace/tokens/txt
2363+/* mod-639-2 %jibb /tests/golden/types-union-polymorphic-identity/modules/ui/two/jibb
2364−/* tre-639 %txt /tests/golden/types-union-print-cross-namespace/tree/txt
2364+/* typ-639 %txt /tests/golden/types-union-polymorphic-identity/types/txt
2365−/* mod-639-1 %jibb /tests/golden/types-union-print-cross-namespace/modules/ui/lib/jibb
2365+/* mtre-639 %txt /tests/golden/types-union-polymorphic-identity/module-trees/txt
2366−/* typ-639 %txt /tests/golden/types-union-print-cross-namespace/types/txt
2366+/* src-640 %jibb /tests/golden/types-union-print-cross-namespace/source/jibb
2367−/* mtre-639 %txt /tests/golden/types-union-print-cross-namespace/module-trees/txt
2367+/* tok-640 %txt /tests/golden/types-union-print-cross-namespace/tokens/txt
2368−/* src-640 %jibb /tests/golden/types-union-print-distinct/source/jibb
2368+/* tre-640 %txt /tests/golden/types-union-print-cross-namespace/tree/txt
2369−/* tok-640 %txt /tests/golden/types-union-print-distinct/tokens/txt
2369+/* mod-640-1 %jibb /tests/golden/types-union-print-cross-namespace/modules/ui/lib/jibb
2370−/* tre-640 %txt /tests/golden/types-union-print-distinct/tree/txt
2370+/* typ-640 %txt /tests/golden/types-union-print-cross-namespace/types/txt
2371−/* mod-640-1 %jibb /tests/golden/types-union-print-distinct/modules/ui/left/jibb
2371+/* mtre-640 %txt /tests/golden/types-union-print-cross-namespace/module-trees/txt
2372−/* mod-640-2 %jibb /tests/golden/types-union-print-distinct/modules/ui/right/jibb
2372+/* src-641 %jibb /tests/golden/types-union-print-distinct/source/jibb
2373−/* mod-640-3 %jibb /tests/golden/types-union-print-distinct/modules/ui/twin/jibb
2373+/* tok-641 %txt /tests/golden/types-union-print-distinct/tokens/txt
2374−/* typ-640 %txt /tests/golden/types-union-print-distinct/types/txt
2374+/* tre-641 %txt /tests/golden/types-union-print-distinct/tree/txt
2375−/* mtre-640 %txt /tests/golden/types-union-print-distinct/module-trees/txt
2375+/* mod-641-1 %jibb /tests/golden/types-union-print-distinct/modules/ui/left/jibb
2376−/* src-641 %jibb /tests/golden/types-union-print-escape/source/jibb
2376+/* mod-641-2 %jibb /tests/golden/types-union-print-distinct/modules/ui/right/jibb
2377−/* tok-641 %txt /tests/golden/types-union-print-escape/tokens/txt
2377+/* mod-641-3 %jibb /tests/golden/types-union-print-distinct/modules/ui/twin/jibb
2378−/* tre-641 %txt /tests/golden/types-union-print-escape/tree/txt
2378+/* typ-641 %txt /tests/golden/types-union-print-distinct/types/txt
2379−/* typ-641 %txt /tests/golden/types-union-print-escape/types/txt
2379+/* mtre-641 %txt /tests/golden/types-union-print-distinct/module-trees/txt
2380−/* src-642 %jibb /tests/golden/types-union-print-local/source/jibb
2380+/* src-642 %jibb /tests/golden/types-union-print-escape/source/jibb
2381−/* tok-642 %txt /tests/golden/types-union-print-local/tokens/txt
2381+/* tok-642 %txt /tests/golden/types-union-print-escape/tokens/txt
2382−/* tre-642 %txt /tests/golden/types-union-print-local/tree/txt
2382+/* tre-642 %txt /tests/golden/types-union-print-escape/tree/txt
2383−/* typ-642 %txt /tests/golden/types-union-print-local/types/txt
2383+/* typ-642 %txt /tests/golden/types-union-print-escape/types/txt
2384−/* src-643 %jibb /tests/golden/types-union-print-nested/source/jibb
2384+/* src-643 %jibb /tests/golden/types-union-print-local/source/jibb
2385−/* tok-643 %txt /tests/golden/types-union-print-nested/tokens/txt
2385+/* tok-643 %txt /tests/golden/types-union-print-local/tokens/txt
2386−/* tre-643 %txt /tests/golden/types-union-print-nested/tree/txt
2386+/* tre-643 %txt /tests/golden/types-union-print-local/tree/txt
2387−/* typ-643 %txt /tests/golden/types-union-print-nested/types/txt
2387+/* typ-643 %txt /tests/golden/types-union-print-local/types/txt
2388−/* src-644 %jibb /tests/golden/types-union-print-same-origin/source/jibb
2388+/* src-644 %jibb /tests/golden/types-union-print-nested/source/jibb
2389−/* tok-644 %txt /tests/golden/types-union-print-same-origin/tokens/txt
2389+/* tok-644 %txt /tests/golden/types-union-print-nested/tokens/txt
2390−/* tre-644 %txt /tests/golden/types-union-print-same-origin/tree/txt
2390+/* tre-644 %txt /tests/golden/types-union-print-nested/tree/txt
2391−/* mod-644-1 %jibb /tests/golden/types-union-print-same-origin/modules/ui/shared/jibb
2391+/* typ-644 %txt /tests/golden/types-union-print-nested/types/txt
2392−/* typ-644 %txt /tests/golden/types-union-print-same-origin/types/txt
2392+/* src-645 %jibb /tests/golden/types-union-print-same-origin/source/jibb
2393−/* mtre-644 %txt /tests/golden/types-union-print-same-origin/module-trees/txt
2393+/* tok-645 %txt /tests/golden/types-union-print-same-origin/tokens/txt
2394−/* src-645 %jibb /tests/golden/types-union-print-transitive/source/jibb
2394+/* tre-645 %txt /tests/golden/types-union-print-same-origin/tree/txt
2395−/* tok-645 %txt /tests/golden/types-union-print-transitive/tokens/txt
2395+/* mod-645-1 %jibb /tests/golden/types-union-print-same-origin/modules/ui/shared/jibb
2396−/* tre-645 %txt /tests/golden/types-union-print-transitive/tree/txt
2396+/* typ-645 %txt /tests/golden/types-union-print-same-origin/types/txt
2397−/* mod-645-1 %jibb /tests/golden/types-union-print-transitive/modules/ui/mid/jibb
2397+/* mtre-645 %txt /tests/golden/types-union-print-same-origin/module-trees/txt
2398−/* mod-645-2 %jibb /tests/golden/types-union-print-transitive/modules/ui/base/jibb
2398+/* src-646 %jibb /tests/golden/types-union-print-transitive/source/jibb
2399−/* typ-645 %txt /tests/golden/types-union-print-transitive/types/txt
2399+/* tok-646 %txt /tests/golden/types-union-print-transitive/tokens/txt
2400−/* mtre-645 %txt /tests/golden/types-union-print-transitive/module-trees/txt
2400+/* tre-646 %txt /tests/golden/types-union-print-transitive/tree/txt
2401−/* src-646 %jibb /tests/golden/types-union-runtime-equality/source/jibb
2401+/* mod-646-1 %jibb /tests/golden/types-union-print-transitive/modules/ui/mid/jibb
2402−/* tok-646 %txt /tests/golden/types-union-runtime-equality/tokens/txt
2402+/* mod-646-2 %jibb /tests/golden/types-union-print-transitive/modules/ui/base/jibb
2403−/* tre-646 %txt /tests/golden/types-union-runtime-equality/tree/txt
2403+/* typ-646 %txt /tests/golden/types-union-print-transitive/types/txt
2404−/* typ-646 %txt /tests/golden/types-union-runtime-equality/types/txt
2404+/* mtre-646 %txt /tests/golden/types-union-print-transitive/module-trees/txt
2405−/* src-647 %jibb /tests/golden/types-union-singleton/source/jibb
2405+/* src-647 %jibb /tests/golden/types-union-runtime-equality/source/jibb
2406−/* tok-647 %txt /tests/golden/types-union-singleton/tokens/txt
2406+/* tok-647 %txt /tests/golden/types-union-runtime-equality/tokens/txt
2407−/* tre-647 %txt /tests/golden/types-union-singleton/tree/txt
2407+/* tre-647 %txt /tests/golden/types-union-runtime-equality/tree/txt
2408−/* typ-647 %txt /tests/golden/types-union-singleton/types/txt
2408+/* typ-647 %txt /tests/golden/types-union-runtime-equality/types/txt
2409−/* src-648 %jibb /tests/golden/types-union-source-alias/source/jibb
2409+/* src-648 %jibb /tests/golden/types-union-singleton/source/jibb
2410−/* tok-648 %txt /tests/golden/types-union-source-alias/tokens/txt
2410+/* tok-648 %txt /tests/golden/types-union-singleton/tokens/txt
2411−/* tre-648 %txt /tests/golden/types-union-source-alias/tree/txt
2411+/* tre-648 %txt /tests/golden/types-union-singleton/tree/txt
2412−/* typ-648 %txt /tests/golden/types-union-source-alias/types/txt
2412+/* typ-648 %txt /tests/golden/types-union-singleton/types/txt
2413−/* src-649 %jibb /tests/golden/types-union-tag-atoms/source/jibb
2413+/* src-649 %jibb /tests/golden/types-union-source-alias/source/jibb
2414−/* tok-649 %txt /tests/golden/types-union-tag-atoms/tokens/txt
2414+/* tok-649 %txt /tests/golden/types-union-source-alias/tokens/txt
2415−/* tre-649 %txt /tests/golden/types-union-tag-atoms/tree/txt
2415+/* tre-649 %txt /tests/golden/types-union-source-alias/tree/txt
2416−/* typ-649 %txt /tests/golden/types-union-tag-atoms/types/txt
2416+/* typ-649 %txt /tests/golden/types-union-source-alias/types/txt
2417−/* src-650 %jibb /tests/golden/types-union-tags/source/jibb
2417+/* src-650 %jibb /tests/golden/types-union-tag-atoms/source/jibb
2418−/* tok-650 %txt /tests/golden/types-union-tags/tokens/txt
2418+/* tok-650 %txt /tests/golden/types-union-tag-atoms/tokens/txt
2419−/* tre-650 %txt /tests/golden/types-union-tags/tree/txt
2419+/* tre-650 %txt /tests/golden/types-union-tag-atoms/tree/txt
2420−/* typ-650 %txt /tests/golden/types-union-tags/types/txt
2420+/* typ-650 %txt /tests/golden/types-union-tag-atoms/types/txt
2421−/* src-651 %jibb /tests/golden/types-union-unresolved/source/jibb
2421+/* src-651 %jibb /tests/golden/types-union-tags/source/jibb
2422−/* tok-651 %txt /tests/golden/types-union-unresolved/tokens/txt
2422+/* tok-651 %txt /tests/golden/types-union-tags/tokens/txt
2423−/* tre-651 %txt /tests/golden/types-union-unresolved/tree/txt
2423+/* tre-651 %txt /tests/golden/types-union-tags/tree/txt
2424−/* typ-651 %txt /tests/golden/types-union-unresolved/types/txt
2424+/* typ-651 %txt /tests/golden/types-union-tags/types/txt
2425−/* src-652 %jibb /tests/golden/types-union-unresolved-flow/source/jibb
2425+/* src-652 %jibb /tests/golden/types-union-unresolved/source/jibb
2426−/* tok-652 %txt /tests/golden/types-union-unresolved-flow/tokens/txt
2426+/* tok-652 %txt /tests/golden/types-union-unresolved/tokens/txt
2427−/* tre-652 %txt /tests/golden/types-union-unresolved-flow/tree/txt
2427+/* tre-652 %txt /tests/golden/types-union-unresolved/tree/txt
2428−/* typ-652 %txt /tests/golden/types-union-unresolved-flow/types/txt
2428+/* typ-652 %txt /tests/golden/types-union-unresolved/types/txt
2429−/* src-653 %jibb /tests/golden/types-unit-construction/source/jibb
2429+/* src-653 %jibb /tests/golden/types-union-unresolved-flow/source/jibb
2430−/* tok-653 %txt /tests/golden/types-unit-construction/tokens/txt
2430+/* tok-653 %txt /tests/golden/types-union-unresolved-flow/tokens/txt
2431−/* tre-653 %txt /tests/golden/types-unit-construction/tree/txt
2431+/* tre-653 %txt /tests/golden/types-union-unresolved-flow/tree/txt
2432−/* typ-653 %txt /tests/golden/types-unit-construction/types/txt
2432+/* typ-653 %txt /tests/golden/types-union-unresolved-flow/types/txt
2433−/* src-654 %jibb /tests/golden/types-unit-context/source/jibb
2433+/* src-654 %jibb /tests/golden/types-unit-construction/source/jibb
2434−/* tok-654 %txt /tests/golden/types-unit-context/tokens/txt
2434+/* tok-654 %txt /tests/golden/types-unit-construction/tokens/txt
2435−/* tre-654 %txt /tests/golden/types-unit-context/tree/txt
2435+/* tre-654 %txt /tests/golden/types-unit-construction/tree/txt
2436−/* typ-654 %txt /tests/golden/types-unit-context/types/txt
2436+/* typ-654 %txt /tests/golden/types-unit-construction/types/txt
2437−/* src-655 %jibb /tests/golden/types-unit-patterns/source/jibb
2437+/* src-655 %jibb /tests/golden/types-unit-context/source/jibb
2438−/* tok-655 %txt /tests/golden/types-unit-patterns/tokens/txt
2438+/* tok-655 %txt /tests/golden/types-unit-context/tokens/txt
2439−/* tre-655 %txt /tests/golden/types-unit-patterns/tree/txt
2439+/* tre-655 %txt /tests/golden/types-unit-context/tree/txt
2440−/* typ-655 %txt /tests/golden/types-unit-patterns/types/txt
2440+/* typ-655 %txt /tests/golden/types-unit-context/types/txt
2441−/* src-656 %jibb /tests/golden/types-value-cycle-shadow/source/jibb
2441+/* src-656 %jibb /tests/golden/types-unit-patterns/source/jibb
2442−/* tok-656 %txt /tests/golden/types-value-cycle-shadow/tokens/txt
2442+/* tok-656 %txt /tests/golden/types-unit-patterns/tokens/txt
2443−/* tre-656 %txt /tests/golden/types-value-cycle-shadow/tree/txt
2443+/* tre-656 %txt /tests/golden/types-unit-patterns/tree/txt
2444−/* typ-656 %txt /tests/golden/types-value-cycle-shadow/types/txt
2444+/* typ-656 %txt /tests/golden/types-unit-patterns/types/txt
2445−/* src-657 %jibb /tests/golden/types-value-cycle-unsupported/source/jibb
2445+/* src-657 %jibb /tests/golden/types-value-cycle-shadow/source/jibb
2446−/* tok-657 %txt /tests/golden/types-value-cycle-unsupported/tokens/txt
2446+/* tok-657 %txt /tests/golden/types-value-cycle-shadow/tokens/txt
2447−/* tre-657 %txt /tests/golden/types-value-cycle-unsupported/tree/txt
2447+/* tre-657 %txt /tests/golden/types-value-cycle-shadow/tree/txt
2448−/* typ-657 %txt /tests/golden/types-value-cycle-unsupported/types/txt
2448+/* typ-657 %txt /tests/golden/types-value-cycle-shadow/types/txt
2449−/* src-658 %jibb /tests/golden/types-value-cycles/source/jibb
2449+/* src-658 %jibb /tests/golden/types-value-cycle-unsupported/source/jibb
2450−/* tok-658 %txt /tests/golden/types-value-cycles/tokens/txt
2450+/* tok-658 %txt /tests/golden/types-value-cycle-unsupported/tokens/txt
2451−/* tre-658 %txt /tests/golden/types-value-cycles/tree/txt
2451+/* tre-658 %txt /tests/golden/types-value-cycle-unsupported/tree/txt
2452−/* typ-658 %txt /tests/golden/types-value-cycles/types/txt
2452+/* typ-658 %txt /tests/golden/types-value-cycle-unsupported/types/txt
2453+/* src-659 %jibb /tests/golden/types-value-cycles/source/jibb
2454+/* tok-659 %txt /tests/golden/types-value-cycles/tokens/txt
2455+/* tre-659 %txt /tests/golden/types-value-cycles/tree/txt
2456+/* typ-659 %txt /tests/golden/types-value-cycles/types/txt
2453=/ prepared-prelude (prepare-prelude-with-internal:jibb prelude-source internal-source)
2457=/ prepared-prelude (prepare-prelude-with-internal:jibb prelude-source internal-source)
2454|%
2458|%
2455:: one arm per case
2459:: one arm per case
@@ -3560,216 +3564,218 @@
3560 (weld (check ~.types-prelude-sub-nested src-552 `tok-552 `tre-552) (check-module-types ~.types-prelude-sub-nested ~[%tests %golden ~.types-prelude-sub-nested %source %jibb] src-552 `typ-552 ~ ~ ~))
3564 (weld (check ~.types-prelude-sub-nested src-552 `tok-552 `tre-552) (check-module-types ~.types-prelude-sub-nested ~[%tests %golden ~.types-prelude-sub-nested %source %jibb] src-552 `typ-552 ~ ~ ~))
3561++ test-types-prelude-succ
3565++ test-types-prelude-succ
3562 (weld (check ~.types-prelude-succ src-553 `tok-553 `tre-553) (check-module-types ~.types-prelude-succ ~[%tests %golden ~.types-prelude-succ %source %jibb] src-553 `typ-553 ~ ~ ~))
3566 (weld (check ~.types-prelude-succ src-553 `tok-553 `tre-553) (check-module-types ~.types-prelude-succ ~[%tests %golden ~.types-prelude-succ %source %jibb] src-553 `typ-553 ~ ~ ~))
3567+++ test-types-prelude-text
3568+ (weld (check ~.types-prelude-text src-554 `tok-554 `tre-554) (check-module-types ~.types-prelude-text ~[%tests %golden ~.types-prelude-text %source %jibb] src-554 `typ-554 ~ ~ ~))
3563++ test-types-prelude-unit-helpers
3569++ test-types-prelude-unit-helpers
3564− (weld (check ~.types-prelude-unit-helpers src-554 `tok-554 `tre-554) (check-module-types ~.types-prelude-unit-helpers ~[%tests %golden ~.types-prelude-unit-helpers %source %jibb] src-554 `typ-554 ~ ~ ~))
3570+ (weld (check ~.types-prelude-unit-helpers src-555 `tok-555 `tre-555) (check-module-types ~.types-prelude-unit-helpers ~[%tests %golden ~.types-prelude-unit-helpers %source %jibb] src-555 `typ-555 ~ ~ ~))
3565++ test-types-prelude-zing
3571++ test-types-prelude-zing
3566− (weld (check ~.types-prelude-zing src-555 `tok-555 `tre-555) (check-module-types ~.types-prelude-zing ~[%tests %golden ~.types-prelude-zing %source %jibb] src-555 `typ-555 ~ ~ ~))
3572+ (weld (check ~.types-prelude-zing src-556 `tok-556 `tre-556) (check-module-types ~.types-prelude-zing ~[%tests %golden ~.types-prelude-zing %source %jibb] src-556 `typ-556 ~ ~ ~))
3567++ test-types-proj-explicit-context
3573++ test-types-proj-explicit-context
3568− (weld (check ~.types-proj-explicit-context src-556 `tok-556 `tre-556) (check-module-types ~.types-proj-explicit-context ~[%tests %golden ~.types-proj-explicit-context %source %jibb] src-556 `typ-556 ~ ~ ~))
3574+ (weld (check ~.types-proj-explicit-context src-557 `tok-557 `tre-557) (check-module-types ~.types-proj-explicit-context ~[%tests %golden ~.types-proj-explicit-context %source %jibb] src-557 `typ-557 ~ ~ ~))
3569++ test-types-proj-nested-no-implicit
3575++ test-types-proj-nested-no-implicit
3570− (weld (check ~.types-proj-nested-no-implicit src-557 `tok-557 `tre-557) (check-module-types ~.types-proj-nested-no-implicit ~[%tests %golden ~.types-proj-nested-no-implicit %source %jibb] src-557 `typ-557 ~ ~ ~))
3576+ (weld (check ~.types-proj-nested-no-implicit src-558 `tok-558 `tre-558) (check-module-types ~.types-proj-nested-no-implicit ~[%tests %golden ~.types-proj-nested-no-implicit %source %jibb] src-558 `typ-558 ~ ~ ~))
3571++ test-types-proj-reserved-imported-definition
3577++ test-types-proj-reserved-imported-definition
3572− (weld (weld (check ~.types-proj-reserved-imported-definition src-558 `tok-558 `tre-558) (check-module-types ~.types-proj-reserved-imported-definition ~[%tests %golden ~.types-proj-reserved-imported-definition %source %jibb] src-558 `typ-558 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-558-1]])) (check-module-trees ~.types-proj-reserved-imported-definition `mtre-558 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-558-1]]))
3578+ (weld (weld (check ~.types-proj-reserved-imported-definition src-559 `tok-559 `tre-559) (check-module-types ~.types-proj-reserved-imported-definition ~[%tests %golden ~.types-proj-reserved-imported-definition %source %jibb] src-559 `typ-559 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-559-1]])) (check-module-trees ~.types-proj-reserved-imported-definition `mtre-559 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-559-1]]))
3573++ test-types-proj-reserved-jibb-import
3579++ test-types-proj-reserved-jibb-import
3574− (weld (weld (check ~.types-proj-reserved-jibb-import src-559 `tok-559 `tre-559) (check-module-types ~.types-proj-reserved-jibb-import ~[%tests %golden ~.types-proj-reserved-jibb-import %source %jibb] src-559 `typ-559 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-559-1]])) (check-module-trees ~.types-proj-reserved-jibb-import `mtre-559 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-559-1]]))
3580+ (weld (weld (check ~.types-proj-reserved-jibb-import src-560 `tok-560 `tre-560) (check-module-types ~.types-proj-reserved-jibb-import ~[%tests %golden ~.types-proj-reserved-jibb-import %source %jibb] src-560 `typ-560 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-560-1]])) (check-module-trees ~.types-proj-reserved-jibb-import `mtre-560 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-560-1]]))
3575++ test-types-proj-reserved-local
3581++ test-types-proj-reserved-local
3576− (weld (check ~.types-proj-reserved-local src-560 `tok-560 `tre-560) (check-module-types ~.types-proj-reserved-local ~[%tests %golden ~.types-proj-reserved-local %source %jibb] src-560 `typ-560 ~ ~ ~))
3582+ (weld (check ~.types-proj-reserved-local src-561 `tok-561 `tre-561) (check-module-types ~.types-proj-reserved-local ~[%tests %golden ~.types-proj-reserved-local %source %jibb] src-561 `typ-561 ~ ~ ~))
3577++ test-types-proj-reserved-local-mold
3583++ test-types-proj-reserved-local-mold
3578− (weld (check ~.types-proj-reserved-local-mold src-561 `tok-561 `tre-561) (check-module-types ~.types-proj-reserved-local-mold ~[%tests %golden ~.types-proj-reserved-local-mold %source %jibb] src-561 `typ-561 ~ ~ ~))
3584+ (weld (check ~.types-proj-reserved-local-mold src-562 `tok-562 `tre-562) (check-module-types ~.types-proj-reserved-local-mold ~[%tests %golden ~.types-proj-reserved-local-mold %source %jibb] src-562 `typ-562 ~ ~ ~))
3579++ test-types-proj-reserved-mark-import
3585++ test-types-proj-reserved-mark-import
3580− (weld (check ~.types-proj-reserved-mark-import src-562 `tok-562 `tre-562) (check-module-types ~.types-proj-reserved-mark-import ~[%tests %golden ~.types-proj-reserved-mark-import %source %jibb] src-562 `typ-562 ~ ~ ~))
3586+ (weld (check ~.types-proj-reserved-mark-import src-563 `tok-563 `tre-563) (check-module-types ~.types-proj-reserved-mark-import ~[%tests %golden ~.types-proj-reserved-mark-import %source %jibb] src-563 `typ-563 ~ ~ ~))
3581++ test-types-proj-reserved-mold
3587++ test-types-proj-reserved-mold
3582− (weld (check ~.types-proj-reserved-mold src-563 `tok-563 `tre-563) (check-module-types ~.types-proj-reserved-mold ~[%tests %golden ~.types-proj-reserved-mold %source %jibb] src-563 `typ-563 ~ ~ ~))
3588+ (weld (check ~.types-proj-reserved-mold src-564 `tok-564 `tre-564) (check-module-types ~.types-proj-reserved-mold ~[%tests %golden ~.types-proj-reserved-mold %source %jibb] src-564 `typ-564 ~ ~ ~))
3583++ test-types-proj-reserved-pattern
3589++ test-types-proj-reserved-pattern
3584− (weld (check ~.types-proj-reserved-pattern src-564 `tok-564 `tre-564) (check-module-types ~.types-proj-reserved-pattern ~[%tests %golden ~.types-proj-reserved-pattern %source %jibb] src-564 `typ-564 ~ ~ ~))
3590+ (weld (check ~.types-proj-reserved-pattern src-565 `tok-565 `tre-565) (check-module-types ~.types-proj-reserved-pattern ~[%tests %golden ~.types-proj-reserved-pattern %source %jibb] src-565 `typ-565 ~ ~ ~))
3585++ test-types-proj-reserved-positive
3591++ test-types-proj-reserved-positive
3586− (weld (check ~.types-proj-reserved-positive src-565 `tok-565 `tre-565) (check-module-types ~.types-proj-reserved-positive ~[%tests %golden ~.types-proj-reserved-positive %source %jibb] src-565 `typ-565 ~ ~ ~))
3592+ (weld (check ~.types-proj-reserved-positive src-566 `tok-566 `tre-566) (check-module-types ~.types-proj-reserved-positive ~[%tests %golden ~.types-proj-reserved-positive %source %jibb] src-566 `typ-566 ~ ~ ~))
3587++ test-types-proj-reserved-sample
3593++ test-types-proj-reserved-sample
3588− (weld (check ~.types-proj-reserved-sample src-566 `tok-566 `tre-566) (check-module-types ~.types-proj-reserved-sample ~[%tests %golden ~.types-proj-reserved-sample %source %jibb] src-566 `typ-566 ~ ~ ~))
3594+ (weld (check ~.types-proj-reserved-sample src-567 `tok-567 `tre-567) (check-module-types ~.types-proj-reserved-sample ~[%tests %golden ~.types-proj-reserved-sample %source %jibb] src-567 `typ-567 ~ ~ ~))
3589++ test-types-proj-reserved-sur-import
3595++ test-types-proj-reserved-sur-import
3590− (weld (check ~.types-proj-reserved-sur-import src-567 `tok-567 `tre-567) (check-module-types ~.types-proj-reserved-sur-import ~[%tests %golden ~.types-proj-reserved-sur-import %source %jibb] src-567 `typ-567 ~ ~ ~))
3596+ (weld (check ~.types-proj-reserved-sur-import src-568 `tok-568 `tre-568) (check-module-types ~.types-proj-reserved-sur-import ~[%tests %golden ~.types-proj-reserved-sur-import %source %jibb] src-568 `typ-568 ~ ~ ~))
3591++ test-types-proj-reserved-unused-pattern
3597++ test-types-proj-reserved-unused-pattern
3592− (weld (check ~.types-proj-reserved-unused-pattern src-568 `tok-568 `tre-568) (check-module-types ~.types-proj-reserved-unused-pattern ~[%tests %golden ~.types-proj-reserved-unused-pattern %source %jibb] src-568 `typ-568 ~ ~ ~))
3598+ (weld (check ~.types-proj-reserved-unused-pattern src-569 `tok-569 `tre-569) (check-module-types ~.types-proj-reserved-unused-pattern ~[%tests %golden ~.types-proj-reserved-unused-pattern %source %jibb] src-569 `typ-569 ~ ~ ~))
3593++ test-types-proj-reserved-unused-sample
3599++ test-types-proj-reserved-unused-sample
3594− (weld (check ~.types-proj-reserved-unused-sample src-569 `tok-569 `tre-569) (check-module-types ~.types-proj-reserved-unused-sample ~[%tests %golden ~.types-proj-reserved-unused-sample %source %jibb] src-569 `typ-569 ~ ~ ~))
3600+ (weld (check ~.types-proj-reserved-unused-sample src-570 `tok-570 `tre-570) (check-module-types ~.types-proj-reserved-unused-sample ~[%tests %golden ~.types-proj-reserved-unused-sample %source %jibb] src-570 `typ-570 ~ ~ ~))
3595++ test-types-proj-reserved-unused-value
3601++ test-types-proj-reserved-unused-value
3596− (weld (check ~.types-proj-reserved-unused-value src-570 `tok-570 `tre-570) (check-module-types ~.types-proj-reserved-unused-value ~[%tests %golden ~.types-proj-reserved-unused-value %source %jibb] src-570 `typ-570 ~ ~ ~))
3602+ (weld (check ~.types-proj-reserved-unused-value src-571 `tok-571 `tre-571) (check-module-types ~.types-proj-reserved-unused-value ~[%tests %golden ~.types-proj-reserved-unused-value %source %jibb] src-571 `typ-571 ~ ~ ~))
3597++ test-types-proj-reserved-value
3603++ test-types-proj-reserved-value
3598− (weld (check ~.types-proj-reserved-value src-571 `tok-571 `tre-571) (check-module-types ~.types-proj-reserved-value ~[%tests %golden ~.types-proj-reserved-value %source %jibb] src-571 `typ-571 ~ ~ ~))
3604+ (weld (check ~.types-proj-reserved-value src-572 `tok-572 `tre-572) (check-module-types ~.types-proj-reserved-value ~[%tests %golden ~.types-proj-reserved-value %source %jibb] src-572 `typ-572 ~ ~ ~))
3599++ test-types-proj-single-duplicate
3605++ test-types-proj-single-duplicate
3600− (weld (check ~.types-proj-single-duplicate src-572 `tok-572 `tre-572) (check-module-types ~.types-proj-single-duplicate ~[%tests %golden ~.types-proj-single-duplicate %source %jibb] src-572 `typ-572 ~ ~ ~))
3606+ (weld (check ~.types-proj-single-duplicate src-573 `tok-573 `tre-573) (check-module-types ~.types-proj-single-duplicate ~[%tests %golden ~.types-proj-single-duplicate %source %jibb] src-573 `typ-573 ~ ~ ~))
3601++ test-types-proj-single-field
3607++ test-types-proj-single-field
3602− (weld (check ~.types-proj-single-field src-573 `tok-573 `tre-573) (check-module-types ~.types-proj-single-field ~[%tests %golden ~.types-proj-single-field %source %jibb] src-573 `typ-573 ~ ~ ~))
3608+ (weld (check ~.types-proj-single-field src-574 `tok-574 `tre-574) (check-module-types ~.types-proj-single-field ~[%tests %golden ~.types-proj-single-field %source %jibb] src-574 `typ-574 ~ ~ ~))
3603++ test-types-proj-single-sample-face
3609++ test-types-proj-single-sample-face
3604− (weld (check ~.types-proj-single-sample-face src-574 `tok-574 `tre-574) (check-module-types ~.types-proj-single-sample-face ~[%tests %golden ~.types-proj-single-sample-face %source %jibb] src-574 `typ-574 ~ ~ ~))
3610+ (weld (check ~.types-proj-single-sample-face src-575 `tok-575 `tre-575) (check-module-types ~.types-proj-single-sample-face ~[%tests %golden ~.types-proj-single-sample-face %source %jibb] src-575 `typ-575 ~ ~ ~))
3605++ test-types-proj-single-wrapped
3611++ test-types-proj-single-wrapped
3606− (weld (check ~.types-proj-single-wrapped src-575 `tok-575 `tre-575) (check-module-types ~.types-proj-single-wrapped ~[%tests %golden ~.types-proj-single-wrapped %source %jibb] src-575 `typ-575 ~ ~ ~))
3612+ (weld (check ~.types-proj-single-wrapped src-576 `tok-576 `tre-576) (check-module-types ~.types-proj-single-wrapped ~[%tests %golden ~.types-proj-single-wrapped %source %jibb] src-576 `typ-576 ~ ~ ~))
3607++ test-types-qath-faces
3613++ test-types-qath-faces
3608− (weld (check ~.types-qath-faces src-576 `tok-576 `tre-576) (check-module-types ~.types-qath-faces ~[%tests %golden ~.types-qath-faces %source %jibb] src-576 `typ-576 ~ ~ ~))
3614+ (weld (check ~.types-qath-faces src-577 `tok-577 `tre-577) (check-module-types ~.types-qath-faces ~[%tests %golden ~.types-qath-faces %source %jibb] src-577 `typ-577 ~ ~ ~))
3609++ test-types-qath-holes
3615++ test-types-qath-holes
3610− (weld (check ~.types-qath-holes src-577 `tok-577 `tre-577) (check-module-types ~.types-qath-holes ~[%tests %golden ~.types-qath-holes %source %jibb] src-577 `typ-577 ~ ~ ~))
3616+ (weld (check ~.types-qath-holes src-578 `tok-578 `tre-578) (check-module-types ~.types-qath-holes ~[%tests %golden ~.types-qath-holes %source %jibb] src-578 `typ-578 ~ ~ ~))
3611++ test-types-qath-module-identity
3617++ test-types-qath-module-identity
3612− (weld (weld (check ~.types-qath-module-identity src-578 `tok-578 `tre-578) (check-module-types ~.types-qath-module-identity ~[%tests %golden ~.types-qath-module-identity %source %jibb] src-578 `typ-578 ~ ~ ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-578-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-578-2] ['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-578-3]])) (check-module-trees ~.types-qath-module-identity `mtre-578 ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-578-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-578-2] ['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-578-3]]))
3618+ (weld (weld (check ~.types-qath-module-identity src-579 `tok-579 `tre-579) (check-module-types ~.types-qath-module-identity ~[%tests %golden ~.types-qath-module-identity %source %jibb] src-579 `typ-579 ~ ~ ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-579-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-579-2] ['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-579-3]])) (check-module-trees ~.types-qath-module-identity `mtre-579 ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-579-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-579-2] ['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-579-3]]))
3613++ test-types-qath-recursive
3619++ test-types-qath-recursive
3614− (weld (check ~.types-qath-recursive src-579 `tok-579 `tre-579) (check-module-types ~.types-qath-recursive ~[%tests %golden ~.types-qath-recursive %source %jibb] src-579 `typ-579 ~ ~ ~))
3620+ (weld (check ~.types-qath-recursive src-580 `tok-580 `tre-580) (check-module-types ~.types-qath-recursive ~[%tests %golden ~.types-qath-recursive %source %jibb] src-580 `typ-580 ~ ~ ~))
3615++ test-types-record-bound-variable
3621++ test-types-record-bound-variable
3616− (weld (check ~.types-record-bound-variable src-580 `tok-580 `tre-580) (check-types ~.types-record-bound-variable ~[%tests %golden ~.types-record-bound-variable %source %jibb] src-580 `typ-580))
3622+ (weld (check ~.types-record-bound-variable src-581 `tok-581 `tre-581) (check-types ~.types-record-bound-variable ~[%tests %golden ~.types-record-bound-variable %source %jibb] src-581 `typ-581))
3617++ test-types-record-cast-context
3623++ test-types-record-cast-context
3618− (weld (check ~.types-record-cast-context src-581 `tok-581 `tre-581) (check-module-types ~.types-record-cast-context ~[%tests %golden ~.types-record-cast-context %source %jibb] src-581 `typ-581 ~ ~ ~))
3624+ (weld (check ~.types-record-cast-context src-582 `tok-582 `tre-582) (check-module-types ~.types-record-cast-context ~[%tests %golden ~.types-record-cast-context %source %jibb] src-582 `typ-582 ~ ~ ~))
3619++ test-types-record-change
3625++ test-types-record-change
3620− (weld (check ~.types-record-change src-582 `tok-582 `tre-582) (check-module-types ~.types-record-change ~[%tests %golden ~.types-record-change %source %jibb] src-582 `typ-582 ~ ~ ~))
3626+ (weld (check ~.types-record-change src-583 `tok-583 `tre-583) (check-module-types ~.types-record-change ~[%tests %golden ~.types-record-change %source %jibb] src-583 `typ-583 ~ ~ ~))
3621++ test-types-record-change-generic
3627++ test-types-record-change-generic
3622− (weld (check ~.types-record-change-generic src-583 `tok-583 `tre-583) (check-module-types ~.types-record-change-generic ~[%tests %golden ~.types-record-change-generic %source %jibb] src-583 `typ-583 ~ ~ ~))
3628+ (weld (check ~.types-record-change-generic src-584 `tok-584 `tre-584) (check-module-types ~.types-record-change-generic ~[%tests %golden ~.types-record-change-generic %source %jibb] src-584 `typ-584 ~ ~ ~))
3623++ test-types-record-faces
3629++ test-types-record-faces
3624− (weld (check ~.types-record-faces src-584 `tok-584 `tre-584) (check-types ~.types-record-faces ~[%tests %golden ~.types-record-faces %source %jibb] src-584 `typ-584))
3630+ (weld (check ~.types-record-faces src-585 `tok-585 `tre-585) (check-types ~.types-record-faces ~[%tests %golden ~.types-record-faces %source %jibb] src-585 `typ-585))
3625++ test-types-record-field-edit-separate
3631++ test-types-record-field-edit-separate
3626− (weld (check ~.types-record-field-edit-separate src-585 `tok-585 `tre-585) (check-types ~.types-record-field-edit-separate ~[%tests %golden ~.types-record-field-edit-separate %source %jibb] src-585 `typ-585))
3632+ (weld (check ~.types-record-field-edit-separate src-586 `tok-586 `tre-586) (check-types ~.types-record-field-edit-separate ~[%tests %golden ~.types-record-field-edit-separate %source %jibb] src-586 `typ-586))
3627++ test-types-record-field-expr-duplicate
3633++ test-types-record-field-expr-duplicate
3628− (weld (check ~.types-record-field-expr-duplicate src-586 `tok-586 `tre-586) (check-types ~.types-record-field-expr-duplicate ~[%tests %golden ~.types-record-field-expr-duplicate %source %jibb] src-586 `typ-586))
3634+ (weld (check ~.types-record-field-expr-duplicate src-587 `tok-587 `tre-587) (check-types ~.types-record-field-expr-duplicate ~[%tests %golden ~.types-record-field-expr-duplicate %source %jibb] src-587 `typ-587))
3629++ test-types-record-field-expr-separate
3635++ test-types-record-field-expr-separate
3630− (weld (check ~.types-record-field-expr-separate src-587 `tok-587 `tre-587) (check-types ~.types-record-field-expr-separate ~[%tests %golden ~.types-record-field-expr-separate %source %jibb] src-587 `typ-587))
3636+ (weld (check ~.types-record-field-expr-separate src-588 `tok-588 `tre-588) (check-types ~.types-record-field-expr-separate ~[%tests %golden ~.types-record-field-expr-separate %source %jibb] src-588 `typ-588))
3631++ test-types-record-field-module-reachable
3637++ test-types-record-field-module-reachable
3632− (weld (weld (check ~.types-record-field-module-reachable src-588 `tok-588 `tre-588) (check-module-types ~.types-record-field-module-reachable ~[%tests %golden ~.types-record-field-module-reachable %source %jibb] src-588 `typ-588 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-588-1]])) (check-module-trees ~.types-record-field-module-reachable `mtre-588 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-588-1]]))
3638+ (weld (weld (check ~.types-record-field-module-reachable src-589 `tok-589 `tre-589) (check-module-types ~.types-record-field-module-reachable ~[%tests %golden ~.types-record-field-module-reachable %source %jibb] src-589 `typ-589 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-589-1]])) (check-module-trees ~.types-record-field-module-reachable `mtre-589 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-589-1]]))
3633++ test-types-record-field-module-unused
3639++ test-types-record-field-module-unused
3634− (weld (weld (check ~.types-record-field-module-unused src-589 `tok-589 `tre-589) (check-module-types ~.types-record-field-module-unused ~[%tests %golden ~.types-record-field-module-unused %source %jibb] src-589 `typ-589 ~ ~ ~[['/ui/good.jibb' ~[~.ui ~.good ~.jibb] mod-589-1] ['/ui/unused.jibb' ~[~.ui ~.unused ~.jibb] mod-589-2]])) (check-module-trees ~.types-record-field-module-unused `mtre-589 ~[['/ui/good.jibb' ~[~.ui ~.good ~.jibb] mod-589-1] ['/ui/unused.jibb' ~[~.ui ~.unused ~.jibb] mod-589-2]]))
3640+ (weld (weld (check ~.types-record-field-module-unused src-590 `tok-590 `tre-590) (check-module-types ~.types-record-field-module-unused ~[%tests %golden ~.types-record-field-module-unused %source %jibb] src-590 `typ-590 ~ ~ ~[['/ui/good.jibb' ~[~.ui ~.good ~.jibb] mod-590-1] ['/ui/unused.jibb' ~[~.ui ~.unused ~.jibb] mod-590-2]])) (check-module-trees ~.types-record-field-module-unused `mtre-590 ~[['/ui/good.jibb' ~[~.ui ~.good ~.jibb] mod-590-1] ['/ui/unused.jibb' ~[~.ui ~.unused ~.jibb] mod-590-2]]))
3635++ test-types-record-field-nested-mold
3641++ test-types-record-field-nested-mold
3636− (weld (check ~.types-record-field-nested-mold src-590 `tok-590 `tre-590) (check-types ~.types-record-field-nested-mold ~[%tests %golden ~.types-record-field-nested-mold %source %jibb] src-590 `typ-590))
3642+ (weld (check ~.types-record-field-nested-mold src-591 `tok-591 `tre-591) (check-types ~.types-record-field-nested-mold ~[%tests %golden ~.types-record-field-nested-mold %source %jibb] src-591 `typ-591))
3637++ test-types-record-field-outer-inner
3643++ test-types-record-field-outer-inner
3638− (weld (check ~.types-record-field-outer-inner src-591 `tok-591 `tre-591) (check-types ~.types-record-field-outer-inner ~[%tests %golden ~.types-record-field-outer-inner %source %jibb] src-591 `typ-591))
3644+ (weld (check ~.types-record-field-outer-inner src-592 `tok-592 `tre-592) (check-types ~.types-record-field-outer-inner ~[%tests %golden ~.types-record-field-outer-inner %source %jibb] src-592 `typ-592))
3639++ test-types-record-field-sample-duplicate
3645++ test-types-record-field-sample-duplicate
3640− (weld (check ~.types-record-field-sample-duplicate src-592 `tok-592 `tre-592) (check-types ~.types-record-field-sample-duplicate ~[%tests %golden ~.types-record-field-sample-duplicate %source %jibb] src-592 `typ-592))
3646+ (weld (check ~.types-record-field-sample-duplicate src-593 `tok-593 `tre-593) (check-types ~.types-record-field-sample-duplicate ~[%tests %golden ~.types-record-field-sample-duplicate %source %jibb] src-593 `typ-593))
3641++ test-types-record-field-separate-molds
3647++ test-types-record-field-separate-molds
3642− (weld (check ~.types-record-field-separate-molds src-593 `tok-593 `tre-593) (check-types ~.types-record-field-separate-molds ~[%tests %golden ~.types-record-field-separate-molds %source %jibb] src-593 `typ-593))
3648+ (weld (check ~.types-record-field-separate-molds src-594 `tok-594 `tre-594) (check-types ~.types-record-field-separate-molds ~[%tests %golden ~.types-record-field-separate-molds %source %jibb] src-594 `typ-594))
3643++ test-types-record-field-unused-mold
3649++ test-types-record-field-unused-mold
3644− (weld (check ~.types-record-field-unused-mold src-594 `tok-594 `tre-594) (check-types ~.types-record-field-unused-mold ~[%tests %golden ~.types-record-field-unused-mold %source %jibb] src-594 `typ-594))
3650+ (weld (check ~.types-record-field-unused-mold src-595 `tok-595 `tre-595) (check-types ~.types-record-field-unused-mold ~[%tests %golden ~.types-record-field-unused-mold %source %jibb] src-595 `typ-595))
3645++ test-types-record-import
3651++ test-types-record-import
3646− (weld (weld (check ~.types-record-import src-595 `tok-595 `tre-595) (check-module-types ~.types-record-import ~[%tests %golden ~.types-record-import %source %jibb] src-595 `typ-595 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-595-1]])) (check-module-trees ~.types-record-import `mtre-595 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-595-1]]))
3652+ (weld (weld (check ~.types-record-import src-596 `tok-596 `tre-596) (check-module-types ~.types-record-import ~[%tests %golden ~.types-record-import %source %jibb] src-596 `typ-596 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-596-1]])) (check-module-trees ~.types-record-import `mtre-596 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-596-1]]))
3647++ test-types-record-local-scheme
3653++ test-types-record-local-scheme
3648− (weld (check ~.types-record-local-scheme src-596 `tok-596 `tre-596) (check-types ~.types-record-local-scheme ~[%tests %golden ~.types-record-local-scheme %source %jibb] src-596 `typ-596))
3654+ (weld (check ~.types-record-local-scheme src-597 `tok-597 `tre-597) (check-types ~.types-record-local-scheme ~[%tests %golden ~.types-record-local-scheme %source %jibb] src-597 `typ-597))
3649++ test-types-record-nested
3655++ test-types-record-nested
3650− (weld (check ~.types-record-nested src-597 `tok-597 `tre-597) (check-types ~.types-record-nested ~[%tests %golden ~.types-record-nested %source %jibb] src-597 `typ-597))
3656+ (weld (check ~.types-record-nested src-598 `tok-598 `tre-598) (check-types ~.types-record-nested ~[%tests %golden ~.types-record-nested %source %jibb] src-598 `typ-598))
3651++ test-types-record-to-tuple
3657++ test-types-record-to-tuple
3652− (weld (check ~.types-record-to-tuple src-598 `tok-598 `tre-598) (check-types ~.types-record-to-tuple ~[%tests %golden ~.types-record-to-tuple %source %jibb] src-598 `typ-598))
3658+ (weld (check ~.types-record-to-tuple src-599 `tok-599 `tre-599) (check-types ~.types-record-to-tuple ~[%tests %golden ~.types-record-to-tuple %source %jibb] src-599 `typ-599))
3653++ test-types-recursion-scc-failures
3659++ test-types-recursion-scc-failures
3654− (weld (check ~.types-recursion-scc-failures src-599 `tok-599 `tre-599) (check-module-types ~.types-recursion-scc-failures ~[%tests %golden ~.types-recursion-scc-failures %source %jibb] src-599 `typ-599 ~ ~ ~))
3660+ (weld (check ~.types-recursion-scc-failures src-600 `tok-600 `tre-600) (check-module-types ~.types-recursion-scc-failures ~[%tests %golden ~.types-recursion-scc-failures %source %jibb] src-600 `typ-600 ~ ~ ~))
3655++ test-types-recursion-scc-groups
3661++ test-types-recursion-scc-groups
3656− (weld (check ~.types-recursion-scc-groups src-600 `tok-600 `tre-600) (check-module-types ~.types-recursion-scc-groups ~[%tests %golden ~.types-recursion-scc-groups %source %jibb] src-600 `typ-600 ~ ~ ~))
3662+ (weld (check ~.types-recursion-scc-groups src-601 `tok-601 `tre-601) (check-module-types ~.types-recursion-scc-groups ~[%tests %golden ~.types-recursion-scc-groups %source %jibb] src-601 `typ-601 ~ ~ ~))
3657++ test-types-recursion-scc-import
3663++ test-types-recursion-scc-import
3658− (weld (weld (check ~.types-recursion-scc-import src-601 `tok-601 `tre-601) (check-module-types ~.types-recursion-scc-import ~[%tests %golden ~.types-recursion-scc-import %source %jibb] src-601 `typ-601 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-601-1]])) (check-module-trees ~.types-recursion-scc-import `mtre-601 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-601-1]]))
3664+ (weld (weld (check ~.types-recursion-scc-import src-602 `tok-602 `tre-602) (check-module-types ~.types-recursion-scc-import ~[%tests %golden ~.types-recursion-scc-import %source %jibb] src-602 `typ-602 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-602-1]])) (check-module-trees ~.types-recursion-scc-import `mtre-602 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-602-1]]))
3659++ test-types-recursion-scc-import-bad
3665++ test-types-recursion-scc-import-bad
3660− (weld (weld (check ~.types-recursion-scc-import-bad src-602 `tok-602 `tre-602) (check-module-types ~.types-recursion-scc-import-bad ~[%tests %golden ~.types-recursion-scc-import-bad %source %jibb] src-602 `typ-602 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-602-1]])) (check-module-trees ~.types-recursion-scc-import-bad `mtre-602 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-602-1]]))
3666+ (weld (weld (check ~.types-recursion-scc-import-bad src-603 `tok-603 `tre-603) (check-module-types ~.types-recursion-scc-import-bad ~[%tests %golden ~.types-recursion-scc-import-bad %source %jibb] src-603 `typ-603 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-603-1]])) (check-module-trees ~.types-recursion-scc-import-bad `mtre-603 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-603-1]]))
3661++ test-types-recursion-scc-local
3667++ test-types-recursion-scc-local
3662− (weld (check ~.types-recursion-scc-local src-603 `tok-603 `tre-603) (check-module-types ~.types-recursion-scc-local ~[%tests %golden ~.types-recursion-scc-local %source %jibb] src-603 `typ-603 ~ ~ ~))
3668+ (weld (check ~.types-recursion-scc-local src-604 `tok-604 `tre-604) (check-module-types ~.types-recursion-scc-local ~[%tests %golden ~.types-recursion-scc-local %source %jibb] src-604 `typ-604 ~ ~ ~))
3663++ test-types-recursion-scc-order
3669++ test-types-recursion-scc-order
3664− (weld (check ~.types-recursion-scc-order src-604 `tok-604 `tre-604) (check-module-types ~.types-recursion-scc-order ~[%tests %golden ~.types-recursion-scc-order %source %jibb] src-604 `typ-604 ~ ~ ~))
3670+ (weld (check ~.types-recursion-scc-order src-605 `tok-605 `tre-605) (check-module-types ~.types-recursion-scc-order ~[%tests %golden ~.types-recursion-scc-order %source %jibb] src-605 `typ-605 ~ ~ ~))
3665++ test-types-recursion-scc-shadow
3671++ test-types-recursion-scc-shadow
3666− (weld (check ~.types-recursion-scc-shadow src-605 `tok-605 `tre-605) (check-module-types ~.types-recursion-scc-shadow ~[%tests %golden ~.types-recursion-scc-shadow %source %jibb] src-605 `typ-605 ~ ~ ~))
3672+ (weld (check ~.types-recursion-scc-shadow src-606 `tok-606 `tre-606) (check-module-types ~.types-recursion-scc-shadow ~[%tests %golden ~.types-recursion-scc-shadow %source %jibb] src-606 `typ-606 ~ ~ ~))
3667++ test-types-recursive-branch
3673++ test-types-recursive-branch
3668− (weld (check ~.types-recursive-branch src-606 `tok-606 `tre-606) (check-module-types ~.types-recursive-branch ~[%tests %golden ~.types-recursive-branch %source %jibb] src-606 `typ-606 ~ ~ ~))
3674+ (weld (check ~.types-recursive-branch src-607 `tok-607 `tre-607) (check-module-types ~.types-recursive-branch ~[%tests %golden ~.types-recursive-branch %source %jibb] src-607 `typ-607 ~ ~ ~))
3669++ test-types-recursive-gate
3675++ test-types-recursive-gate
3670− (weld (check ~.types-recursive-gate src-607 `tok-607 `tre-607) (check-types ~.types-recursive-gate ~[%tests %golden ~.types-recursive-gate %source %jibb] src-607 `typ-607))
3676+ (weld (check ~.types-recursive-gate src-608 `tok-608 `tre-608) (check-types ~.types-recursive-gate ~[%tests %golden ~.types-recursive-gate %source %jibb] src-608 `typ-608))
3671++ test-types-recursive-sample
3677++ test-types-recursive-sample
3672− (weld (check ~.types-recursive-sample src-608 `tok-608 `tre-608) (check-types ~.types-recursive-sample ~[%tests %golden ~.types-recursive-sample %source %jibb] src-608 `typ-608))
3678+ (weld (check ~.types-recursive-sample src-609 `tok-609 `tre-609) (check-types ~.types-recursive-sample ~[%tests %golden ~.types-recursive-sample %source %jibb] src-609 `typ-609))
3673++ test-types-request-normal
3679++ test-types-request-normal
3674− (weld (weld (check ~.types-request-normal src-609 `tok-609 `tre-609) (check-module-types ~.types-request-normal ~[%tests %golden ~.types-request-normal %source %jibb] src-609 `typ-609 ~ ~[[%full mark-609-1]] ~[['/ui/api/demo.jibb' ~[~.ui ~.api ~.demo ~.jibb] mod-609-1]])) (check-module-trees ~.types-request-normal `mtre-609 ~[['/ui/api/demo.jibb' ~[~.ui ~.api ~.demo ~.jibb] mod-609-1]]))
3680+ (weld (weld (check ~.types-request-normal src-610 `tok-610 `tre-610) (check-module-types ~.types-request-normal ~[%tests %golden ~.types-request-normal %source %jibb] src-610 `typ-610 ~ ~[[%full mark-610-1]] ~[['/ui/api/demo.jibb' ~[~.ui ~.api ~.demo ~.jibb] mod-610-1]])) (check-module-trees ~.types-request-normal `mtre-610 ~[['/ui/api/demo.jibb' ~[~.ui ~.api ~.demo ~.jibb] mod-610-1]]))
3675++ test-types-scope-library-poke
3681++ test-types-scope-library-poke
3676− (weld (check-at ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-610 `tok-610 `tre-610) (check-module-types ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-610 `typ-610 ~ ~ ~))
3682+ (weld (check-at ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-611 `tok-611 `tre-611) (check-module-types ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-611 `typ-611 ~ ~ ~))
3677++ test-types-scope-root-api
3683++ test-types-scope-root-api
3678− (weld (check-at ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-611 `tok-611 `tre-611) (check-module-types ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-611 `typ-611 ~ ~ ~))
3684+ (weld (check-at ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-612 `tok-612 `tre-612) (check-module-types ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-612 `typ-612 ~ ~ ~))
3679++ test-types-scope-store-duplicate
3685++ test-types-scope-store-duplicate
3680− (weld (check-at ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-612 `tok-612 `tre-612) (check-module-types ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-612 `typ-612 ~ ~ ~))
3686+ (weld (check-at ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-613 `tok-613 `tre-613) (check-module-types ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-613 `typ-613 ~ ~ ~))
3681++ test-types-scope-store-shadow
3687++ test-types-scope-store-shadow
3682− (weld (check-at ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-613 `tok-613 `tre-613) (check-module-types ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-613 `typ-613 ~ ~ ~))
3688+ (weld (check-at ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-614 `tok-614 `tre-614) (check-module-types ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-614 `typ-614 ~ ~ ~))
3683++ test-types-single-case-pattern
3689++ test-types-single-case-pattern
3684− (weld (check ~.types-single-case-pattern src-614 `tok-614 `tre-614) (check-module-types ~.types-single-case-pattern ~[%tests %golden ~.types-single-case-pattern %source %jibb] src-614 `typ-614 ~ ~ ~))
3690+ (weld (check ~.types-single-case-pattern src-615 `tok-615 `tre-615) (check-module-types ~.types-single-case-pattern ~[%tests %golden ~.types-single-case-pattern %source %jibb] src-615 `typ-615 ~ ~ ~))
3685++ test-types-string-interpolation
3691++ test-types-string-interpolation
3686− (weld (check ~.types-string-interpolation src-615 `tok-615 `tre-615) (check-module-types ~.types-string-interpolation ~[%tests %golden ~.types-string-interpolation %source %jibb] src-615 `typ-615 ~ ~ ~))
3692+ (weld (check ~.types-string-interpolation src-616 `tok-616 `tre-616) (check-module-types ~.types-string-interpolation ~[%tests %golden ~.types-string-interpolation %source %jibb] src-616 `typ-616 ~ ~ ~))
3687++ test-types-tuple-context
3693++ test-types-tuple-context
3688− (weld (check ~.types-tuple-context src-616 `tok-616 `tre-616) (check-module-types ~.types-tuple-context ~[%tests %golden ~.types-tuple-context %source %jibb] src-616 `typ-616 ~ ~ ~))
3694+ (weld (check ~.types-tuple-context src-617 `tok-617 `tre-617) (check-module-types ~.types-tuple-context ~[%tests %golden ~.types-tuple-context %source %jibb] src-617 `typ-617 ~ ~ ~))
3689++ test-types-tuple-context-nested
3695++ test-types-tuple-context-nested
3690− (weld (check ~.types-tuple-context-nested src-617 `tok-617 `tre-617) (check-module-types ~.types-tuple-context-nested ~[%tests %golden ~.types-tuple-context-nested %source %jibb] src-617 `typ-617 ~ ~ ~))
3696+ (weld (check ~.types-tuple-context-nested src-618 `tok-618 `tre-618) (check-module-types ~.types-tuple-context-nested ~[%tests %golden ~.types-tuple-context-nested %source %jibb] src-618 `typ-618 ~ ~ ~))
3691++ test-types-union-alias
3697++ test-types-union-alias
3692− (weld (check ~.types-union-alias src-618 `tok-618 `tre-618) (check-types ~.types-union-alias ~[%tests %golden ~.types-union-alias %source %jibb] src-618 `typ-618))
3698+ (weld (check ~.types-union-alias src-619 `tok-619 `tre-619) (check-types ~.types-union-alias ~[%tests %golden ~.types-union-alias %source %jibb] src-619 `typ-619))
3693++ test-types-union-branch-context
3699++ test-types-union-branch-context
3694− (weld (check ~.types-union-branch-context src-619 `tok-619 `tre-619) (check-types ~.types-union-branch-context ~[%tests %golden ~.types-union-branch-context %source %jibb] src-619 `typ-619))
3700+ (weld (check ~.types-union-branch-context src-620 `tok-620 `tre-620) (check-types ~.types-union-branch-context ~[%tests %golden ~.types-union-branch-context %source %jibb] src-620 `typ-620))
3695++ test-types-union-branch-pending
3701++ test-types-union-branch-pending
3696− (weld (check ~.types-union-branch-pending src-620 `tok-620 `tre-620) (check-types ~.types-union-branch-pending ~[%tests %golden ~.types-union-branch-pending %source %jibb] src-620 `typ-620))
3702+ (weld (check ~.types-union-branch-pending src-621 `tok-621 `tre-621) (check-types ~.types-union-branch-pending ~[%tests %golden ~.types-union-branch-pending %source %jibb] src-621 `typ-621))
3697++ test-types-union-constructor-shape
3703++ test-types-union-constructor-shape
3698− (weld (check ~.types-union-constructor-shape src-621 `tok-621 `tre-621) (check-types ~.types-union-constructor-shape ~[%tests %golden ~.types-union-constructor-shape %source %jibb] src-621 `typ-621))
3704+ (weld (check ~.types-union-constructor-shape src-622 `tok-622 `tre-622) (check-types ~.types-union-constructor-shape ~[%tests %golden ~.types-union-constructor-shape %source %jibb] src-622 `typ-622))
3699++ test-types-union-context-flow
3705++ test-types-union-context-flow
3700− (weld (check ~.types-union-context-flow src-622 `tok-622 `tre-622) (check-types ~.types-union-context-flow ~[%tests %golden ~.types-union-context-flow %source %jibb] src-622 `typ-622))
3706+ (weld (check ~.types-union-context-flow src-623 `tok-623 `tre-623) (check-types ~.types-union-context-flow ~[%tests %golden ~.types-union-context-flow %source %jibb] src-623 `typ-623))
3701++ test-types-union-finite
3707++ test-types-union-finite
3702− (weld (check ~.types-union-finite src-623 `tok-623 `tre-623) (check-module-types ~.types-union-finite ~[%tests %golden ~.types-union-finite %source %jibb] src-623 `typ-623 ~ ~ ~))
3708+ (weld (check ~.types-union-finite src-624 `tok-624 `tre-624) (check-module-types ~.types-union-finite ~[%tests %golden ~.types-union-finite %source %jibb] src-624 `typ-624 ~ ~ ~))
3703++ test-types-union-finite-context
3709++ test-types-union-finite-context
3704− (weld (check ~.types-union-finite-context src-624 `tok-624 `tre-624) (check-module-types ~.types-union-finite-context ~[%tests %golden ~.types-union-finite-context %source %jibb] src-624 `typ-624 ~ ~ ~))
3710+ (weld (check ~.types-union-finite-context src-625 `tok-625 `tre-625) (check-module-types ~.types-union-finite-context ~[%tests %golden ~.types-union-finite-context %source %jibb] src-625 `typ-625 ~ ~ ~))
3705++ test-types-union-finite-generic
3711++ test-types-union-finite-generic
3706− (weld (check ~.types-union-finite-generic src-625 `tok-625 `tre-625) (check-module-types ~.types-union-finite-generic ~[%tests %golden ~.types-union-finite-generic %source %jibb] src-625 `typ-625 ~ ~ ~))
3712+ (weld (check ~.types-union-finite-generic src-626 `tok-626 `tre-626) (check-module-types ~.types-union-finite-generic ~[%tests %golden ~.types-union-finite-generic %source %jibb] src-626 `typ-626 ~ ~ ~))
3707++ test-types-union-finite-limit
3713++ test-types-union-finite-limit
3708− (weld (check ~.types-union-finite-limit src-626 `tok-626 `tre-626) (check-module-types ~.types-union-finite-limit ~[%tests %golden ~.types-union-finite-limit %source %jibb] src-626 `typ-626 ~ ~ ~))
3714+ (weld (check ~.types-union-finite-limit src-627 `tok-627 `tre-627) (check-module-types ~.types-union-finite-limit ~[%tests %golden ~.types-union-finite-limit %source %jibb] src-627 `typ-627 ~ ~ ~))
3709++ test-types-union-import
3715++ test-types-union-import
3710− (weld (weld (check ~.types-union-import src-627 `tok-627 `tre-627) (check-module-types ~.types-union-import ~[%tests %golden ~.types-union-import %source %jibb] src-627 `typ-627 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-627-1]])) (check-module-trees ~.types-union-import `mtre-627 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-627-1]]))
3716+ (weld (weld (check ~.types-union-import src-628 `tok-628 `tre-628) (check-module-types ~.types-union-import ~[%tests %golden ~.types-union-import %source %jibb] src-628 `typ-628 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-628-1]])) (check-module-trees ~.types-union-import `mtre-628 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-628-1]]))
3711++ test-types-union-local-pending
3717++ test-types-union-local-pending
3712− (weld (check ~.types-union-local-pending src-628 `tok-628 `tre-628) (check-types ~.types-union-local-pending ~[%tests %golden ~.types-union-local-pending %source %jibb] src-628 `typ-628))
3718+ (weld (check ~.types-union-local-pending src-629 `tok-629 `tre-629) (check-types ~.types-union-local-pending ~[%tests %golden ~.types-union-local-pending %source %jibb] src-629 `typ-629))
3713++ test-types-union-nonwing-subject
3719++ test-types-union-nonwing-subject
3714− (weld (check ~.types-union-nonwing-subject src-629 `tok-629 `tre-629) (check-module-types ~.types-union-nonwing-subject ~[%tests %golden ~.types-union-nonwing-subject %source %jibb] src-629 `typ-629 ~ ~ ~))
3720+ (weld (check ~.types-union-nonwing-subject src-630 `tok-630 `tre-630) (check-module-types ~.types-union-nonwing-subject ~[%tests %golden ~.types-union-nonwing-subject %source %jibb] src-630 `typ-630 ~ ~ ~))
3715++ test-types-union-overlap
3721++ test-types-union-overlap
3716− (weld (check ~.types-union-overlap src-630 `tok-630 `tre-630) (check-types ~.types-union-overlap ~[%tests %golden ~.types-union-overlap %source %jibb] src-630 `typ-630))
3722+ (weld (check ~.types-union-overlap src-631 `tok-631 `tre-631) (check-types ~.types-union-overlap ~[%tests %golden ~.types-union-overlap %source %jibb] src-631 `typ-631))
3717++ test-types-union-overlap-nested
3723++ test-types-union-overlap-nested
3718− (weld (check ~.types-union-overlap-nested src-631 `tok-631 `tre-631) (check-types ~.types-union-overlap-nested ~[%tests %golden ~.types-union-overlap-nested %source %jibb] src-631 `typ-631))
3724+ (weld (check ~.types-union-overlap-nested src-632 `tok-632 `tre-632) (check-types ~.types-union-overlap-nested ~[%tests %golden ~.types-union-overlap-nested %source %jibb] src-632 `typ-632))
3719++ test-types-union-pattern-result-context
3725++ test-types-union-pattern-result-context
3720− (weld (check ~.types-union-pattern-result-context src-632 `tok-632 `tre-632) (check-module-types ~.types-union-pattern-result-context ~[%tests %golden ~.types-union-pattern-result-context %source %jibb] src-632 `typ-632 ~ ~ ~))
3726+ (weld (check ~.types-union-pattern-result-context src-633 `tok-633 `tre-633) (check-module-types ~.types-union-pattern-result-context ~[%tests %golden ~.types-union-pattern-result-context %source %jibb] src-633 `typ-633 ~ ~ ~))
3721++ test-types-union-pattern-result-controls
3727++ test-types-union-pattern-result-controls
3722− (weld (check ~.types-union-pattern-result-controls src-633 `tok-633 `tre-633) (check-module-types ~.types-union-pattern-result-controls ~[%tests %golden ~.types-union-pattern-result-controls %source %jibb] src-633 `typ-633 ~ ~ ~))
3728+ (weld (check ~.types-union-pattern-result-controls src-634 `tok-634 `tre-634) (check-module-types ~.types-union-pattern-result-controls ~[%tests %golden ~.types-union-pattern-result-controls %source %jibb] src-634 `typ-634 ~ ~ ~))
3723++ test-types-union-patterns
3729++ test-types-union-patterns
3724− (weld (check ~.types-union-patterns src-634 `tok-634 `tre-634) (check-module-types ~.types-union-patterns ~[%tests %golden ~.types-union-patterns %source %jibb] src-634 `typ-634 ~ ~ ~))
3730+ (weld (check ~.types-union-patterns src-635 `tok-635 `tre-635) (check-module-types ~.types-union-patterns ~[%tests %golden ~.types-union-patterns %source %jibb] src-635 `typ-635 ~ ~ ~))
3725++ test-types-union-patterns-generic
3731++ test-types-union-patterns-generic
3726− (weld (check ~.types-union-patterns-generic src-635 `tok-635 `tre-635) (check-module-types ~.types-union-patterns-generic ~[%tests %golden ~.types-union-patterns-generic %source %jibb] src-635 `typ-635 ~ ~ ~))
3732+ (weld (check ~.types-union-patterns-generic src-636 `tok-636 `tre-636) (check-module-types ~.types-union-patterns-generic ~[%tests %golden ~.types-union-patterns-generic %source %jibb] src-636 `typ-636 ~ ~ ~))
3727++ test-types-union-patterns-import
3733++ test-types-union-patterns-import
3728− (weld (weld (check ~.types-union-patterns-import src-636 `tok-636 `tre-636) (check-module-types ~.types-union-patterns-import ~[%tests %golden ~.types-union-patterns-import %source %jibb] src-636 `typ-636 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-636-1]])) (check-module-trees ~.types-union-patterns-import `mtre-636 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-636-1]]))
3734+ (weld (weld (check ~.types-union-patterns-import src-637 `tok-637 `tre-637) (check-module-types ~.types-union-patterns-import ~[%tests %golden ~.types-union-patterns-import %source %jibb] src-637 `typ-637 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-637-1]])) (check-module-trees ~.types-union-patterns-import `mtre-637 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-637-1]]))
3729++ test-types-union-phantom-generic
3735++ test-types-union-phantom-generic
3730− (weld (check ~.types-union-phantom-generic src-637 `tok-637 `tre-637) (check-types ~.types-union-phantom-generic ~[%tests %golden ~.types-union-phantom-generic %source %jibb] src-637 `typ-637))
3736+ (weld (check ~.types-union-phantom-generic src-638 `tok-638 `tre-638) (check-types ~.types-union-phantom-generic ~[%tests %golden ~.types-union-phantom-generic %source %jibb] src-638 `typ-638))
3731++ test-types-union-polymorphic-identity
3737++ test-types-union-polymorphic-identity
3732− (weld (weld (check ~.types-union-polymorphic-identity src-638 `tok-638 `tre-638) (check-module-types ~.types-union-polymorphic-identity ~[%tests %golden ~.types-union-polymorphic-identity %source %jibb] src-638 `typ-638 ~ ~ ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-638-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-638-2]])) (check-module-trees ~.types-union-polymorphic-identity `mtre-638 ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-638-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-638-2]]))
3738+ (weld (weld (check ~.types-union-polymorphic-identity src-639 `tok-639 `tre-639) (check-module-types ~.types-union-polymorphic-identity ~[%tests %golden ~.types-union-polymorphic-identity %source %jibb] src-639 `typ-639 ~ ~ ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-639-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-639-2]])) (check-module-trees ~.types-union-polymorphic-identity `mtre-639 ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-639-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-639-2]]))
3733++ test-types-union-print-cross-namespace
3739++ test-types-union-print-cross-namespace
3734− (weld (weld (check ~.types-union-print-cross-namespace src-639 `tok-639 `tre-639) (check-module-types ~.types-union-print-cross-namespace ~[%tests %golden ~.types-union-print-cross-namespace %source %jibb] src-639 `typ-639 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-639-1]])) (check-module-trees ~.types-union-print-cross-namespace `mtre-639 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-639-1]]))
3740+ (weld (weld (check ~.types-union-print-cross-namespace src-640 `tok-640 `tre-640) (check-module-types ~.types-union-print-cross-namespace ~[%tests %golden ~.types-union-print-cross-namespace %source %jibb] src-640 `typ-640 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-640-1]])) (check-module-trees ~.types-union-print-cross-namespace `mtre-640 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-640-1]]))
3735++ test-types-union-print-distinct
3741++ test-types-union-print-distinct
3736− (weld (weld (check ~.types-union-print-distinct src-640 `tok-640 `tre-640) (check-module-types ~.types-union-print-distinct ~[%tests %golden ~.types-union-print-distinct %source %jibb] src-640 `typ-640 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-640-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-640-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-640-3]])) (check-module-trees ~.types-union-print-distinct `mtre-640 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-640-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-640-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-640-3]]))
3742+ (weld (weld (check ~.types-union-print-distinct src-641 `tok-641 `tre-641) (check-module-types ~.types-union-print-distinct ~[%tests %golden ~.types-union-print-distinct %source %jibb] src-641 `typ-641 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-641-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-641-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-641-3]])) (check-module-trees ~.types-union-print-distinct `mtre-641 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-641-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-641-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-641-3]]))
3737++ test-types-union-print-escape
3743++ test-types-union-print-escape
3738− (weld (check ~.types-union-print-escape src-641 `tok-641 `tre-641) (check-types ~.types-union-print-escape ~[%tests %golden ~.types-union-print-escape %source %jibb] src-641 `typ-641))
3744+ (weld (check ~.types-union-print-escape src-642 `tok-642 `tre-642) (check-types ~.types-union-print-escape ~[%tests %golden ~.types-union-print-escape %source %jibb] src-642 `typ-642))
3739++ test-types-union-print-local
3745++ test-types-union-print-local
3740− (weld (check ~.types-union-print-local src-642 `tok-642 `tre-642) (check-types ~.types-union-print-local ~[%tests %golden ~.types-union-print-local %source %jibb] src-642 `typ-642))
3746+ (weld (check ~.types-union-print-local src-643 `tok-643 `tre-643) (check-types ~.types-union-print-local ~[%tests %golden ~.types-union-print-local %source %jibb] src-643 `typ-643))
3741++ test-types-union-print-nested
3747++ test-types-union-print-nested
3742− (weld (check ~.types-union-print-nested src-643 `tok-643 `tre-643) (check-types ~.types-union-print-nested ~[%tests %golden ~.types-union-print-nested %source %jibb] src-643 `typ-643))
3748+ (weld (check ~.types-union-print-nested src-644 `tok-644 `tre-644) (check-types ~.types-union-print-nested ~[%tests %golden ~.types-union-print-nested %source %jibb] src-644 `typ-644))
3743++ test-types-union-print-same-origin
3749++ test-types-union-print-same-origin
3744− (weld (weld (check ~.types-union-print-same-origin src-644 `tok-644 `tre-644) (check-module-types ~.types-union-print-same-origin ~[%tests %golden ~.types-union-print-same-origin %source %jibb] src-644 `typ-644 ~ ~ ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-644-1]])) (check-module-trees ~.types-union-print-same-origin `mtre-644 ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-644-1]]))
3750+ (weld (weld (check ~.types-union-print-same-origin src-645 `tok-645 `tre-645) (check-module-types ~.types-union-print-same-origin ~[%tests %golden ~.types-union-print-same-origin %source %jibb] src-645 `typ-645 ~ ~ ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-645-1]])) (check-module-trees ~.types-union-print-same-origin `mtre-645 ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-645-1]]))
3745++ test-types-union-print-transitive
3751++ test-types-union-print-transitive
3746− (weld (weld (check ~.types-union-print-transitive src-645 `tok-645 `tre-645) (check-module-types ~.types-union-print-transitive ~[%tests %golden ~.types-union-print-transitive %source %jibb] src-645 `typ-645 ~ ~ ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-645-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-645-2]])) (check-module-trees ~.types-union-print-transitive `mtre-645 ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-645-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-645-2]]))
3752+ (weld (weld (check ~.types-union-print-transitive src-646 `tok-646 `tre-646) (check-module-types ~.types-union-print-transitive ~[%tests %golden ~.types-union-print-transitive %source %jibb] src-646 `typ-646 ~ ~ ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-646-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-646-2]])) (check-module-trees ~.types-union-print-transitive `mtre-646 ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-646-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-646-2]]))
3747++ test-types-union-runtime-equality
3753++ test-types-union-runtime-equality
3748− (weld (check ~.types-union-runtime-equality src-646 `tok-646 `tre-646) (check-types ~.types-union-runtime-equality ~[%tests %golden ~.types-union-runtime-equality %source %jibb] src-646 `typ-646))
3754+ (weld (check ~.types-union-runtime-equality src-647 `tok-647 `tre-647) (check-types ~.types-union-runtime-equality ~[%tests %golden ~.types-union-runtime-equality %source %jibb] src-647 `typ-647))
3749++ test-types-union-singleton
3755++ test-types-union-singleton
3750− (weld (check ~.types-union-singleton src-647 `tok-647 `tre-647) (check-types ~.types-union-singleton ~[%tests %golden ~.types-union-singleton %source %jibb] src-647 `typ-647))
3756+ (weld (check ~.types-union-singleton src-648 `tok-648 `tre-648) (check-types ~.types-union-singleton ~[%tests %golden ~.types-union-singleton %source %jibb] src-648 `typ-648))
3751++ test-types-union-source-alias
3757++ test-types-union-source-alias
3752− (weld (check ~.types-union-source-alias src-648 `tok-648 `tre-648) (check-types ~.types-union-source-alias ~[%tests %golden ~.types-union-source-alias %source %jibb] src-648 `typ-648))
3758+ (weld (check ~.types-union-source-alias src-649 `tok-649 `tre-649) (check-types ~.types-union-source-alias ~[%tests %golden ~.types-union-source-alias %source %jibb] src-649 `typ-649))
3753++ test-types-union-tag-atoms
3759++ test-types-union-tag-atoms
3754− (weld (check ~.types-union-tag-atoms src-649 `tok-649 `tre-649) (check-types ~.types-union-tag-atoms ~[%tests %golden ~.types-union-tag-atoms %source %jibb] src-649 `typ-649))
3760+ (weld (check ~.types-union-tag-atoms src-650 `tok-650 `tre-650) (check-types ~.types-union-tag-atoms ~[%tests %golden ~.types-union-tag-atoms %source %jibb] src-650 `typ-650))
3755++ test-types-union-tags
3761++ test-types-union-tags
3756− (weld (check ~.types-union-tags src-650 `tok-650 `tre-650) (check-types ~.types-union-tags ~[%tests %golden ~.types-union-tags %source %jibb] src-650 `typ-650))
3762+ (weld (check ~.types-union-tags src-651 `tok-651 `tre-651) (check-types ~.types-union-tags ~[%tests %golden ~.types-union-tags %source %jibb] src-651 `typ-651))
3757++ test-types-union-unresolved
3763++ test-types-union-unresolved
3758− (weld (check ~.types-union-unresolved src-651 `tok-651 `tre-651) (check-types ~.types-union-unresolved ~[%tests %golden ~.types-union-unresolved %source %jibb] src-651 `typ-651))
3764+ (weld (check ~.types-union-unresolved src-652 `tok-652 `tre-652) (check-types ~.types-union-unresolved ~[%tests %golden ~.types-union-unresolved %source %jibb] src-652 `typ-652))
3759++ test-types-union-unresolved-flow
3765++ test-types-union-unresolved-flow
3760− (weld (check ~.types-union-unresolved-flow src-652 `tok-652 `tre-652) (check-types ~.types-union-unresolved-flow ~[%tests %golden ~.types-union-unresolved-flow %source %jibb] src-652 `typ-652))
3766+ (weld (check ~.types-union-unresolved-flow src-653 `tok-653 `tre-653) (check-types ~.types-union-unresolved-flow ~[%tests %golden ~.types-union-unresolved-flow %source %jibb] src-653 `typ-653))
3761++ test-types-unit-construction
3767++ test-types-unit-construction
3762− (weld (check ~.types-unit-construction src-653 `tok-653 `tre-653) (check-module-types ~.types-unit-construction ~[%tests %golden ~.types-unit-construction %source %jibb] src-653 `typ-653 ~ ~ ~))
3768+ (weld (check ~.types-unit-construction src-654 `tok-654 `tre-654) (check-module-types ~.types-unit-construction ~[%tests %golden ~.types-unit-construction %source %jibb] src-654 `typ-654 ~ ~ ~))
3763++ test-types-unit-context
3769++ test-types-unit-context
3764− (weld (check ~.types-unit-context src-654 `tok-654 `tre-654) (check-module-types ~.types-unit-context ~[%tests %golden ~.types-unit-context %source %jibb] src-654 `typ-654 ~ ~ ~))
3770+ (weld (check ~.types-unit-context src-655 `tok-655 `tre-655) (check-module-types ~.types-unit-context ~[%tests %golden ~.types-unit-context %source %jibb] src-655 `typ-655 ~ ~ ~))
3765++ test-types-unit-patterns
3771++ test-types-unit-patterns
3766− (weld (check ~.types-unit-patterns src-655 `tok-655 `tre-655) (check-types ~.types-unit-patterns ~[%tests %golden ~.types-unit-patterns %source %jibb] src-655 `typ-655))
3772+ (weld (check ~.types-unit-patterns src-656 `tok-656 `tre-656) (check-types ~.types-unit-patterns ~[%tests %golden ~.types-unit-patterns %source %jibb] src-656 `typ-656))
3767++ test-types-value-cycle-shadow
3773++ test-types-value-cycle-shadow
3768− (weld (check ~.types-value-cycle-shadow src-656 `tok-656 `tre-656) (check-module-types ~.types-value-cycle-shadow ~[%tests %golden ~.types-value-cycle-shadow %source %jibb] src-656 `typ-656 ~ ~ ~))
3774+ (weld (check ~.types-value-cycle-shadow src-657 `tok-657 `tre-657) (check-module-types ~.types-value-cycle-shadow ~[%tests %golden ~.types-value-cycle-shadow %source %jibb] src-657 `typ-657 ~ ~ ~))
3769++ test-types-value-cycle-unsupported
3775++ test-types-value-cycle-unsupported
3770− (weld (check ~.types-value-cycle-unsupported src-657 `tok-657 `tre-657) (check-module-types ~.types-value-cycle-unsupported ~[%tests %golden ~.types-value-cycle-unsupported %source %jibb] src-657 `typ-657 ~ ~ ~))
3776+ (weld (check ~.types-value-cycle-unsupported src-658 `tok-658 `tre-658) (check-module-types ~.types-value-cycle-unsupported ~[%tests %golden ~.types-value-cycle-unsupported %source %jibb] src-658 `typ-658 ~ ~ ~))
3771++ test-types-value-cycles
3777++ test-types-value-cycles
3772− (weld (check ~.types-value-cycles src-658 `tok-658 `tre-658) (check-module-types ~.types-value-cycles ~[%tests %golden ~.types-value-cycles %source %jibb] src-658 `typ-658 ~ ~ ~))
3778+ (weld (check ~.types-value-cycles src-659 `tok-659 `tre-659) (check-module-types ~.types-value-cycles ~[%tests %golden ~.types-value-cycles %source %jibb] src-659 `typ-659 ~ ~ ~))
3773::
3779::
3774:: +check: run golden:jibb on a case and compare both outputs
3780:: +check: run golden:jibb on a case and compare both outputs
3775::
3781::
tests/type-todo-partial/expected.txt+1−1
@@ -4,7 +4,7 @@ partial inference; module not checked
4+$ model: not checked
4+$ model: not checked
5+$ msg: cases proven disjoint; mold not checked
5+$ msg: cases proven disjoint; mold not checked
6++ init: `~` needs context in partial inference
6++ init: `~` needs context in partial inference
7−++ update: name is not available to partial inference
7+++ update: branch tag or union context is not supported by partial inference
8++ subs: call constraint is not supported by partial inference
8++ subs: call constraint is not supported by partial inference
9++ view: name is not available to partial inference
9++ view: name is not available to partial inference
10++ row-of: name is not available to partial inference
10++ row-of: name is not available to partial inference