git.iko.soy/jibb
on master help sign in
Add source-backed comparison gates

Define lth, gte and lte in Jibb using gth and not, and exercise shared atom constraints, loobeans and mismatched auras. Add source-aware Hoon reader controls for nested equal-runtime cases and disjoint controls. The reader and checker remain partial, and backend execution and jet recognition are not yet implemented.

commit4da6891f44191704d0881c2155e7330c4f5eed33 authoriko <mail@iko.soy> dateSat 31 Oct 2026, 12:44 (11 hours ago) parentcc8e389
16 files changed+969−625
compare with master
unifiedsplit
docs/compiler.md+1−1 docs/prelude-inventory.md+1−1 docs/status.md+6−3 jibb-dev/lib/jibb/prelude.jibb+12 tests/golden/types-prelude-comparison/about.txt+4 tests/golden/types-prelude-comparison/modules.txt+1 tests/golden/types-prelude-comparison/source.jibb+18 tests/golden/types-prelude-comparison/tokens.txt+175 tests/golden/types-prelude-comparison/tree.txt+71 tests/golden/types-prelude-comparison/types.txt+31 tests/lib/jibb-bridge.hoon+4−1 tests/lib/jibb.hoon+623−617 tests/type-import/about.txt+8−2 tests/type-import/expected.txt+6 tests/type-import/source.txt+5 tests/type-import/sur.txt+3
docs/compiler.md+1−1
@@ -120,7 +120,7 @@ Each case's canonical API identity and source-derived schema travel across impor
120120
121121`+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.
122122
123−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`, `flop`, `rear`, `drop`, `skim`, `skip`, `murn`, `join`, `snip`, `levy`, `lien`, `cork`, `corl`, `cury` and `curr`; 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 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. 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.
123+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`, `flop`, `rear`, `drop`, `skim`, `skip`, `murn`, `join`, `snip`, `levy`, `lien`, `cork`, `corl`, `cury` and `curr`; 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. 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.
124124
125125`+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.
126126
docs/prelude-inventory.md+1−1
@@ -14,7 +14,7 @@ Hoon `+$` arms are marked **mold** below; `++` arms can be gates, doors or mold
1414
1515`add`, `dec`, `div`, `dvr`, `gte`, `gth`, `lte`, `lth`, `max`, `min`, `mod`, `mul`, `sub`.
1616
17−The source-backed `gth` gate calls a compiler-supplied private comparison interface. The partial checker accepts supported equal-aura atom arguments, including loobeans, and returns `?`; lowering, jet recognition and execution remain unfinished. The public `add` and `dec` gates are written in Jibb over private primitive interfaces. The partial checker infers a shared atom type that excludes loobeans, including through supported generic calls. Primitive execution and jet recognition remain unfinished.
17+The source-backed `gth` gate calls a compiler-supplied private comparison interface. The partial checker accepts supported equal-aura atom arguments, including loobeans, and returns `?`; lowering, jet recognition and execution remain unfinished. The public `add` and `dec` gates are written in Jibb over private primitive interfaces. The partial checker infers a shared atom type that excludes loobeans, including through supported generic calls. The Jibb-written `lth`, `gte` and `lte` gates compose `gth` and `not`; supported calls infer a shared atom constraint and return `?`. Primitive execution and jet recognition remain unfinished.
1818
1919## 1c
2020
docs/status.md+6−3
@@ -49,6 +49,8 @@ The shared prelude interface reserves every name present in the supplied vendore
4949
5050An eval and ship fixture now reports partial inference for the unchanged todo island with its real API and Hoon readers. It verifies that the source fixtures match `my-app` and exercises missing or duplicate imports; the report does not claim the module or island has been checked. The prelude also has a Jibb-written recursive `lent` whose supported generic calls infer `@ud`. Execution and shape-based jet recognition remain future backend work. Nested union tests check equal runtime nouns, different nested tags, empty fields and unknown inhabitation.
5151
52+The 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. A source-aware Hoon import fixture records that nested mixed-zero overlaps are rejected conservatively and that some disjoint flag cases also remain unsupported. Execution, jet recognition and complete import checking remain unfinished.
53+
5254## Milestone 1: parser and mark
5355
5456What the plan asks for, and where it is:
@@ -65,8 +67,8 @@ What the plan asks for, and where it is:
6567
6668Besides the plan's list:
6769
68−- 651 golden cases: 431 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.
69−- The 651-case corpus passed under `urbit eval` in 106.1 s while other checks were running. The fake ship passed all 683 tests, including the 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, with 77.1 s for sync and 77.3 s for tests. 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.
70+- 652 golden cases: 432 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.
71+- The 652-case corpus passed under `urbit eval` in 122.4 s while other checks were running. The fake ship passed all 684 tests, including the 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, with 107.1 s for sync and 75.9 s for tests. 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.
7072- `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.
7173- 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.
7274- 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).
@@ -164,7 +166,8 @@ Besides the plan's list:
164166| 72acdb3 | 2026-10-31 | Infer selected nested union payloads from context |
165167| 706035c | 2026-10-31 | Analyze gate-free source molds with field witnesses |
166168| 651b8ec | 2026-10-31 | Match source-proven gate samples in direct calls |
167−| This change | 2026-10-31 | Add source-backed list length and real todo regression |
169+| cc8e389 | 2026-10-31 | Add source-backed list length and real todo regression |
170+| This change | 2026-10-31 | Add source-backed comparisons and nested Hoon union controls |
168171
169172## Checking it
170173
jibb-dev/lib/jibb/prelude.jibb+12
@@ -350,3 +350,15 @@
350350 ?- xs
351351 ~ 0
352352 [item rest] (add 1 (lent rest))
353+
354+++ lth |= args=[A A]
355+ ?- args
356+ [x y] (gth y x)
357+
358+++ gte |= args=[A A]
359+ ?- args
360+ [x y] (not (gth y x))
361+
362+++ lte |= args=[A A]
363+ ?- args
364+ [x y] (not (gth x y))
tests/golden/types-prelude-comparison/about.txtnew file+4
@@ -0,0 +1,4 @@
1+source: docs/spec/grammar.md, Molds, Atoms: "Comparison may take loobeans and returns `?`." The prelude inventory includes `lth`, `gte`, and `lte`.
2+tests: Source-backed comparisons infer for less, greater and equal ordered operands, both loobean orders, a shared generic atom type and matching hex auras. Distinct explicit auras fail closed. The report is partial; backend lowering, execution and jet recognition remain unverified.
3+expect: parses
4+expect-types: a partial inference report
tests/golden/types-prelude-comparison/modules.txtnew file+1
@@ -0,0 +1 @@
1+# no module fixtures
tests/golden/types-prelude-comparison/source.jibbnew file+18
@@ -0,0 +1,18 @@
1+++ less (lth 1 2)
2+++ greater (lth 2 1)
3+++ equal (lth 1 1)
4+++ gte-less (gte 1 2)
5+++ gte-greater (gte 2 1)
6+++ gte-equal (gte 1 1)
7+++ lte-less (lte 1 2)
8+++ lte-greater (lte 2 1)
9+++ lte-equal (lte 1 1)
10+++ flags-forward (gte %.y %.n)
11+++ flags-reverse (lte %.n %.y)
12+++ flags-equal (lth %.y %.y)
13+++ hex (lth 0x1 0x2)
14+++ generic-lth |= [a=A b=A] (lth a b)
15+++ generic-gte |= [a=A b=A] (gte a b)
16+++ generic-lte |= [a=A b=A] (lte a b)
17+++ bad-aura (lth 0x1 (^- @ud 1))
18+++ bad-kind (gte ~zod "text")
tests/golden/types-prelude-comparison/tokens.txtnew file+175
@@ -0,0 +1,175 @@
1+1:1 glyph ++
2+1:4 name less
3+1:9 glyph (
4+1:10 tight name lth
5+1:14 lit 1
6+1:16 lit 2
7+1:17 tight glyph )
8+2:1 NEWLINE
9+2:1 glyph ++
10+2:4 name greater
11+2:12 glyph (
12+2:13 tight name lth
13+2:17 lit 2
14+2:19 lit 1
15+2:20 tight glyph )
16+3:1 NEWLINE
17+3:1 glyph ++
18+3:4 name equal
19+3:10 glyph (
20+3:11 tight name lth
21+3:15 lit 1
22+3:17 lit 1
23+3:18 tight glyph )
24+4:1 NEWLINE
25+4:1 glyph ++
26+4:4 name gte-less
27+4:13 glyph (
28+4:14 tight name gte
29+4:18 lit 1
30+4:20 lit 2
31+4:21 tight glyph )
32+5:1 NEWLINE
33+5:1 glyph ++
34+5:4 name gte-greater
35+5:16 glyph (
36+5:17 tight name gte
37+5:21 lit 2
38+5:23 lit 1
39+5:24 tight glyph )
40+6:1 NEWLINE
41+6:1 glyph ++
42+6:4 name gte-equal
43+6:14 glyph (
44+6:15 tight name gte
45+6:19 lit 1
46+6:21 lit 1
47+6:22 tight glyph )
48+7:1 NEWLINE
49+7:1 glyph ++
50+7:4 name lte-less
51+7:13 glyph (
52+7:14 tight name lte
53+7:18 lit 1
54+7:20 lit 2
55+7:21 tight glyph )
56+8:1 NEWLINE
57+8:1 glyph ++
58+8:4 name lte-greater
59+8:16 glyph (
60+8:17 tight name lte
61+8:21 lit 2
62+8:23 lit 1
63+8:24 tight glyph )
64+9:1 NEWLINE
65+9:1 glyph ++
66+9:4 name lte-equal
67+9:14 glyph (
68+9:15 tight name lte
69+9:19 lit 1
70+9:21 lit 1
71+9:22 tight glyph )
72+10:1 NEWLINE
73+10:1 glyph ++
74+10:4 name flags-forward
75+10:18 glyph (
76+10:19 tight name gte
77+10:23 lit %.y
78+10:27 lit %.n
79+10:30 tight glyph )
80+11:1 NEWLINE
81+11:1 glyph ++
82+11:4 name flags-reverse
83+11:18 glyph (
84+11:19 tight name lte
85+11:23 lit %.n
86+11:27 lit %.y
87+11:30 tight glyph )
88+12:1 NEWLINE
89+12:1 glyph ++
90+12:4 name flags-equal
91+12:16 glyph (
92+12:17 tight name lth
93+12:21 lit %.y
94+12:25 lit %.y
95+12:28 tight glyph )
96+13:1 NEWLINE
97+13:1 glyph ++
98+13:4 name hex
99+13:8 glyph (
100+13:9 tight name lth
101+13:13 lit 0x1
102+13:17 lit 0x2
103+13:20 tight glyph )
104+14:1 NEWLINE
105+14:1 glyph ++
106+14:4 name generic-lth
107+14:16 glyph |=
108+14:19 glyph [
109+14:20 tight name a
110+14:21 tight glyph =
111+14:22 tight tvar A
112+14:24 name b
113+14:25 tight glyph =
114+14:26 tight tvar A
115+14:27 tight glyph ]
116+14:29 glyph (
117+14:30 tight name lth
118+14:34 name a
119+14:36 name b
120+14:37 tight glyph )
121+15:1 NEWLINE
122+15:1 glyph ++
123+15:4 name generic-gte
124+15:16 glyph |=
125+15:19 glyph [
126+15:20 tight name a
127+15:21 tight glyph =
128+15:22 tight tvar A
129+15:24 name b
130+15:25 tight glyph =
131+15:26 tight tvar A
132+15:27 tight glyph ]
133+15:29 glyph (
134+15:30 tight name gte
135+15:34 name a
136+15:36 name b
137+15:37 tight glyph )
138+16:1 NEWLINE
139+16:1 glyph ++
140+16:4 name generic-lte
141+16:16 glyph |=
142+16:19 glyph [
143+16:20 tight name a
144+16:21 tight glyph =
145+16:22 tight tvar A
146+16:24 name b
147+16:25 tight glyph =
148+16:26 tight tvar A
149+16:27 tight glyph ]
150+16:29 glyph (
151+16:30 tight name lte
152+16:34 name a
153+16:36 name b
154+16:37 tight glyph )
155+17:1 NEWLINE
156+17:1 glyph ++
157+17:4 name bad-aura
158+17:13 glyph (
159+17:14 tight name lth
160+17:18 lit 0x1
161+17:22 glyph (
162+17:23 tight glyph ^-
163+17:26 aura @ud
164+17:30 lit 1
165+17:31 tight glyph )
166+17:32 tight glyph )
167+18:1 NEWLINE
168+18:1 glyph ++
169+18:4 name bad-kind
170+18:13 glyph (
171+18:14 tight name gte
172+18:18 lit ~zod
173+18:23 str "text"
174+18:29 tight glyph )
175+18:30 NEWLINE
tests/golden/types-prelude-comparison/tree.txtnew file+71
@@ -0,0 +1,71 @@
1+(module
2+ (value 1:1 less
3+ (group 1:9
4+ (call 1:10 (wing 1:10 lth) (lit 1:14 1) (lit 1:16 2))))
5+ (value 2:1 greater
6+ (group 2:12
7+ (call 2:13 (wing 2:13 lth) (lit 2:17 2) (lit 2:19 1))))
8+ (value 3:1 equal
9+ (group 3:10
10+ (call 3:11 (wing 3:11 lth) (lit 3:15 1) (lit 3:17 1))))
11+ (value 4:1 gte-less
12+ (group 4:13
13+ (call 4:14 (wing 4:14 gte) (lit 4:18 1) (lit 4:20 2))))
14+ (value 5:1 gte-greater
15+ (group 5:16
16+ (call 5:17 (wing 5:17 gte) (lit 5:21 2) (lit 5:23 1))))
17+ (value 6:1 gte-equal
18+ (group 6:14
19+ (call 6:15 (wing 6:15 gte) (lit 6:19 1) (lit 6:21 1))))
20+ (value 7:1 lte-less
21+ (group 7:13
22+ (call 7:14 (wing 7:14 lte) (lit 7:18 1) (lit 7:20 2))))
23+ (value 8:1 lte-greater
24+ (group 8:16
25+ (call 8:17 (wing 8:17 lte) (lit 8:21 2) (lit 8:23 1))))
26+ (value 9:1 lte-equal
27+ (group 9:14
28+ (call 9:15 (wing 9:15 lte) (lit 9:19 1) (lit 9:21 1))))
29+ (value 10:1 flags-forward
30+ (group 10:18
31+ (call 10:19 (wing 10:19 gte) (lit 10:23 %.y) (lit 10:27 %.n))))
32+ (value 11:1 flags-reverse
33+ (group 11:18
34+ (call 11:19 (wing 11:19 lte) (lit 11:23 %.n) (lit 11:27 %.y))))
35+ (value 12:1 flags-equal
36+ (group 12:16
37+ (call 12:17 (wing 12:17 lth) (lit 12:21 %.y) (lit 12:25 %.y))))
38+ (value 13:1 hex
39+ (group 13:8
40+ (call 13:9 (wing 13:9 lth) (lit 13:13 0x1) (lit 13:17 0x2))))
41+ (value 14:1 generic-lth
42+ (gate 14:16
43+ (cell 14:19
44+ (face 14:20 a (tvar 14:22 A))
45+ (face 14:24 b (tvar 14:26 A)))
46+ (group 14:29
47+ (call 14:30 (wing 14:30 lth) (wing 14:34 a) (wing 14:36 b)))))
48+ (value 15:1 generic-gte
49+ (gate 15:16
50+ (cell 15:19
51+ (face 15:20 a (tvar 15:22 A))
52+ (face 15:24 b (tvar 15:26 A)))
53+ (group 15:29
54+ (call 15:30 (wing 15:30 gte) (wing 15:34 a) (wing 15:36 b)))))
55+ (value 16:1 generic-lte
56+ (gate 16:16
57+ (cell 16:19
58+ (face 16:20 a (tvar 16:22 A))
59+ (face 16:24 b (tvar 16:26 A)))
60+ (group 16:29
61+ (call 16:30 (wing 16:30 lte) (wing 16:34 a) (wing 16:36 b)))))
62+ (value 17:1 bad-aura
63+ (group 17:13
64+ (call 17:14
65+ (wing 17:14 lth)
66+ (lit 17:18 0x1)
67+ (group 17:22
68+ (cast 17:23 (aura 17:26 @ud) (lit 17:30 1))))))
69+ (value 18:1 bad-kind
70+ (group 18:13
71+ (call 18:14 (wing 18:14 gte) (lit 18:18 ~zod) (str 18:23 "text")))))
tests/golden/types-prelude-comparison/types.txtnew file+31
@@ -0,0 +1,31 @@
1+partial inference; module not checked
2+++ less: ?
3+++ greater: ?
4+++ equal: ?
5+++ gte-less: ?
6+++ gte-greater: ?
7+++ gte-equal: ?
8+++ lte-less: ?
9+++ lte-greater: ?
10+++ lte-equal: ?
11+++ flags-forward: ?
12+++ flags-reverse: ?
13+++ flags-equal: ?
14+++ hex: ?
15+++ generic-lth: $-([a=A b=A] ?) where A is an atom
16+++ generic-gte: $-([a=A b=A] ?) where A is an atom
17+++ generic-lte: $-([a=A b=A] ?) where A is an atom
18+++ bad-aura: call's sample and argument types do not unify
19+/tests/golden/types-prelude-comparison/source.jibb:17:14: called gate has type $-([A A] ?) where A is an atom
20+++ bad-aura (lth 0x1 (^- @ud 1))
21+ ^
22+/tests/golden/types-prelude-comparison/source.jibb:17:18: argument has type [@ux @ud]
23+++ bad-aura (lth 0x1 (^- @ud 1))
24+ ^
25+++ bad-kind: call's sample and argument types do not unify
26+/tests/golden/types-prelude-comparison/source.jibb:18:14: called gate has type $-([A A] ?) where A is an atom
27+++ bad-kind (gte ~zod "text")
28+ ^
29+/tests/golden/types-prelude-comparison/source.jibb:18:18: argument has type [@p @t]
30+++ bad-kind (gte ~zod "text")
31+ ^
tests/lib/jibb-bridge.hoon+4−1
@@ -136,6 +136,9 @@
136136 [%fixture %raw-rec [%& [%ref %fixture %chain]]]
137137 [%fixture %bad-arity [%& [%apply %list ~[[%atom %t ~] [%atom %ud ~]]]]]
138138 [%fixture %bad-argument [%& [%apply %list ~[[%fork ~[[%atom %tas [~ %a]] [%atom %tas [~ %a]]]]]]]]
139+ [%fixture %mixed-zero (read %mixed-zero)]
140+ [%fixture %separate-tags (read %separate-tags)]
141+ [%fixture %separate-terms (read %separate-terms)]
139142 [%fixture %nested-choice (read %nested-choice)]
140143 [%fixture %collapsed (read %collapsed)]
141144 [%fixture %dollar (read %dollar)]
@@ -161,5 +164,5 @@
161164 (crip "/- fixture\0a++ canonical ^- (unit @t) `\"hi\"\0a++ lookalike ^- zero-lookalike.fixture `\"hi\"\0a")
162165 =/ unit-report=@t
163166 (golden-types-with-prelude:jibb /ui/unit-client/jibb unit-client external ~ ~ unit-prelude)
164− (cat 3 report (cat 3 (crip "\0areader-collapsed: {(show-result:jibb-import (read %collapsed))}\0a") (cat 3 hidden (cat 3 '\0a' (cat 3 unit-report (cat 3 '\0a' (cat 3 noun-synthetic (cat 3 '\0a' (cat 3 recursive-list-synthetic (cat 3 '\0a' named-recursive-synthetic))))))))))
167+ (cat 3 report (cat 3 (crip "\0areader-collapsed: {(show-result:jibb-import (read %collapsed))}\0areader-mixed-zero: {(show-result:jibb-import (read %mixed-zero))}\0areader-separate-tags: {(show-result:jibb-import (read %separate-tags))}\0areader-separate-terms: {(show-result:jibb-import (read %separate-terms))}\0a") (cat 3 hidden (cat 3 '\0a' (cat 3 unit-report (cat 3 '\0a' (cat 3 noun-synthetic (cat 3 '\0a' (cat 3 recursive-list-synthetic (cat 3 '\0a' named-recursive-synthetic))))))))))
165168--
tests/lib/jibb.hoon+623−617
@@ -1919,509 +1919,513 @@
19191919/* tok-537 %txt /tests/golden/types-prelude-cmd/tokens/txt
19201920/* tre-537 %txt /tests/golden/types-prelude-cmd/tree/txt
19211921/* typ-537 %txt /tests/golden/types-prelude-cmd/types/txt
1922−/* src-538 %jibb /tests/golden/types-prelude-direct/source/jibb
1923−/* tok-538 %txt /tests/golden/types-prelude-direct/tokens/txt
1924−/* tre-538 %txt /tests/golden/types-prelude-direct/tree/txt
1925−/* typ-538 %txt /tests/golden/types-prelude-direct/types/txt
1926−/* src-539 %jibb /tests/golden/types-prelude-functional/source/jibb
1927−/* tok-539 %txt /tests/golden/types-prelude-functional/tokens/txt
1928−/* tre-539 %txt /tests/golden/types-prelude-functional/tree/txt
1929−/* typ-539 %txt /tests/golden/types-prelude-functional/types/txt
1930−/* src-540 %jibb /tests/golden/types-prelude-generic-alias/source/jibb
1931−/* tok-540 %txt /tests/golden/types-prelude-generic-alias/tokens/txt
1932−/* tre-540 %txt /tests/golden/types-prelude-generic-alias/tree/txt
1933−/* mod-540-1 %jibb /tests/golden/types-prelude-generic-alias/modules/ui/alias-helper/jibb
1934−/* typ-540 %txt /tests/golden/types-prelude-generic-alias/types/txt
1935−/* mtre-540 %txt /tests/golden/types-prelude-generic-alias/module-trees/txt
1936−/* src-541 %jibb /tests/golden/types-prelude-interface/source/jibb
1937−/* tok-541 %txt /tests/golden/types-prelude-interface/tokens/txt
1938−/* tre-541 %txt /tests/golden/types-prelude-interface/tree/txt
1939−/* mod-541-1 %jibb /tests/golden/types-prelude-interface/modules/ui/left/jibb
1940−/* mod-541-2 %jibb /tests/golden/types-prelude-interface/modules/ui/right/jibb
1941−/* typ-541 %txt /tests/golden/types-prelude-interface/types/txt
1942−/* mtre-541 %txt /tests/golden/types-prelude-interface/module-trees/txt
1943−/* src-542 %jibb /tests/golden/types-prelude-lent/source/jibb
1944−/* tok-542 %txt /tests/golden/types-prelude-lent/tokens/txt
1945−/* tre-542 %txt /tests/golden/types-prelude-lent/tree/txt
1946−/* typ-542 %txt /tests/golden/types-prelude-lent/types/txt
1947−/* src-543 %jibb /tests/golden/types-prelude-like/source/jibb
1948−/* tok-543 %txt /tests/golden/types-prelude-like/tokens/txt
1949−/* tre-543 %txt /tests/golden/types-prelude-like/tree/txt
1950−/* typ-543 %txt /tests/golden/types-prelude-like/types/txt
1951−/* src-544 %jibb /tests/golden/types-prelude-list-alias/source/jibb
1952−/* tok-544 %txt /tests/golden/types-prelude-list-alias/tokens/txt
1953−/* tre-544 %txt /tests/golden/types-prelude-list-alias/tree/txt
1954−/* typ-544 %txt /tests/golden/types-prelude-list-alias/types/txt
1955−/* src-545 %jibb /tests/golden/types-prelude-list-functions/source/jibb
1956−/* tok-545 %txt /tests/golden/types-prelude-list-functions/tokens/txt
1957−/* tre-545 %txt /tests/golden/types-prelude-list-functions/tree/txt
1958−/* mod-545-1 %jibb /tests/golden/types-prelude-list-functions/modules/ui/lib/jibb
1959−/* typ-545 %txt /tests/golden/types-prelude-list-functions/types/txt
1960−/* mtre-545 %txt /tests/golden/types-prelude-list-functions/module-trees/txt
1961−/* src-546 %jibb /tests/golden/types-prelude-list-helpers/source/jibb
1962−/* tok-546 %txt /tests/golden/types-prelude-list-helpers/tokens/txt
1963−/* tre-546 %txt /tests/golden/types-prelude-list-helpers/tree/txt
1964−/* typ-546 %txt /tests/golden/types-prelude-list-helpers/types/txt
1965−/* src-547 %jibb /tests/golden/types-prelude-predicates/source/jibb
1966−/* tok-547 %txt /tests/golden/types-prelude-predicates/tokens/txt
1967−/* tre-547 %txt /tests/golden/types-prelude-predicates/tree/txt
1968−/* typ-547 %txt /tests/golden/types-prelude-predicates/types/txt
1969−/* src-548 %jibb /tests/golden/types-prelude-sub/source/jibb
1970−/* tok-548 %txt /tests/golden/types-prelude-sub/tokens/txt
1971−/* tre-548 %txt /tests/golden/types-prelude-sub/tree/txt
1972−/* typ-548 %txt /tests/golden/types-prelude-sub/types/txt
1973−/* src-549 %jibb /tests/golden/types-prelude-sub-nested/source/jibb
1974−/* tok-549 %txt /tests/golden/types-prelude-sub-nested/tokens/txt
1975−/* tre-549 %txt /tests/golden/types-prelude-sub-nested/tree/txt
1976−/* typ-549 %txt /tests/golden/types-prelude-sub-nested/types/txt
1977−/* src-550 %jibb /tests/golden/types-prelude-unit-helpers/source/jibb
1978−/* tok-550 %txt /tests/golden/types-prelude-unit-helpers/tokens/txt
1979−/* tre-550 %txt /tests/golden/types-prelude-unit-helpers/tree/txt
1980−/* typ-550 %txt /tests/golden/types-prelude-unit-helpers/types/txt
1981−/* src-551 %jibb /tests/golden/types-proj-explicit-context/source/jibb
1982−/* tok-551 %txt /tests/golden/types-proj-explicit-context/tokens/txt
1983−/* tre-551 %txt /tests/golden/types-proj-explicit-context/tree/txt
1984−/* typ-551 %txt /tests/golden/types-proj-explicit-context/types/txt
1985−/* src-552 %jibb /tests/golden/types-proj-nested-no-implicit/source/jibb
1986−/* tok-552 %txt /tests/golden/types-proj-nested-no-implicit/tokens/txt
1987−/* tre-552 %txt /tests/golden/types-proj-nested-no-implicit/tree/txt
1988−/* typ-552 %txt /tests/golden/types-proj-nested-no-implicit/types/txt
1989−/* src-553 %jibb /tests/golden/types-proj-reserved-imported-definition/source/jibb
1990−/* tok-553 %txt /tests/golden/types-proj-reserved-imported-definition/tokens/txt
1991−/* tre-553 %txt /tests/golden/types-proj-reserved-imported-definition/tree/txt
1992−/* mod-553-1 %jibb /tests/golden/types-proj-reserved-imported-definition/modules/ui/lib/jibb
1993−/* typ-553 %txt /tests/golden/types-proj-reserved-imported-definition/types/txt
1994−/* mtre-553 %txt /tests/golden/types-proj-reserved-imported-definition/module-trees/txt
1995−/* src-554 %jibb /tests/golden/types-proj-reserved-jibb-import/source/jibb
1996−/* tok-554 %txt /tests/golden/types-proj-reserved-jibb-import/tokens/txt
1997−/* tre-554 %txt /tests/golden/types-proj-reserved-jibb-import/tree/txt
1998−/* mod-554-1 %jibb /tests/golden/types-proj-reserved-jibb-import/modules/ui/lib/jibb
1999−/* typ-554 %txt /tests/golden/types-proj-reserved-jibb-import/types/txt
2000−/* mtre-554 %txt /tests/golden/types-proj-reserved-jibb-import/module-trees/txt
2001−/* src-555 %jibb /tests/golden/types-proj-reserved-local/source/jibb
2002−/* tok-555 %txt /tests/golden/types-proj-reserved-local/tokens/txt
2003−/* tre-555 %txt /tests/golden/types-proj-reserved-local/tree/txt
2004−/* typ-555 %txt /tests/golden/types-proj-reserved-local/types/txt
2005−/* src-556 %jibb /tests/golden/types-proj-reserved-local-mold/source/jibb
2006−/* tok-556 %txt /tests/golden/types-proj-reserved-local-mold/tokens/txt
2007−/* tre-556 %txt /tests/golden/types-proj-reserved-local-mold/tree/txt
2008−/* typ-556 %txt /tests/golden/types-proj-reserved-local-mold/types/txt
2009−/* src-557 %jibb /tests/golden/types-proj-reserved-mark-import/source/jibb
2010−/* tok-557 %txt /tests/golden/types-proj-reserved-mark-import/tokens/txt
2011−/* tre-557 %txt /tests/golden/types-proj-reserved-mark-import/tree/txt
2012−/* typ-557 %txt /tests/golden/types-proj-reserved-mark-import/types/txt
2013−/* src-558 %jibb /tests/golden/types-proj-reserved-mold/source/jibb
2014−/* tok-558 %txt /tests/golden/types-proj-reserved-mold/tokens/txt
2015−/* tre-558 %txt /tests/golden/types-proj-reserved-mold/tree/txt
2016−/* typ-558 %txt /tests/golden/types-proj-reserved-mold/types/txt
2017−/* src-559 %jibb /tests/golden/types-proj-reserved-pattern/source/jibb
2018−/* tok-559 %txt /tests/golden/types-proj-reserved-pattern/tokens/txt
2019−/* tre-559 %txt /tests/golden/types-proj-reserved-pattern/tree/txt
2020−/* typ-559 %txt /tests/golden/types-proj-reserved-pattern/types/txt
2021−/* src-560 %jibb /tests/golden/types-proj-reserved-positive/source/jibb
2022−/* tok-560 %txt /tests/golden/types-proj-reserved-positive/tokens/txt
2023−/* tre-560 %txt /tests/golden/types-proj-reserved-positive/tree/txt
2024−/* typ-560 %txt /tests/golden/types-proj-reserved-positive/types/txt
2025−/* src-561 %jibb /tests/golden/types-proj-reserved-sample/source/jibb
2026−/* tok-561 %txt /tests/golden/types-proj-reserved-sample/tokens/txt
2027−/* tre-561 %txt /tests/golden/types-proj-reserved-sample/tree/txt
2028−/* typ-561 %txt /tests/golden/types-proj-reserved-sample/types/txt
2029−/* src-562 %jibb /tests/golden/types-proj-reserved-sur-import/source/jibb
2030−/* tok-562 %txt /tests/golden/types-proj-reserved-sur-import/tokens/txt
2031−/* tre-562 %txt /tests/golden/types-proj-reserved-sur-import/tree/txt
2032−/* typ-562 %txt /tests/golden/types-proj-reserved-sur-import/types/txt
2033−/* src-563 %jibb /tests/golden/types-proj-reserved-unused-pattern/source/jibb
2034−/* tok-563 %txt /tests/golden/types-proj-reserved-unused-pattern/tokens/txt
2035−/* tre-563 %txt /tests/golden/types-proj-reserved-unused-pattern/tree/txt
2036−/* typ-563 %txt /tests/golden/types-proj-reserved-unused-pattern/types/txt
2037−/* src-564 %jibb /tests/golden/types-proj-reserved-unused-sample/source/jibb
2038−/* tok-564 %txt /tests/golden/types-proj-reserved-unused-sample/tokens/txt
2039−/* tre-564 %txt /tests/golden/types-proj-reserved-unused-sample/tree/txt
2040−/* typ-564 %txt /tests/golden/types-proj-reserved-unused-sample/types/txt
2041−/* src-565 %jibb /tests/golden/types-proj-reserved-unused-value/source/jibb
2042−/* tok-565 %txt /tests/golden/types-proj-reserved-unused-value/tokens/txt
2043−/* tre-565 %txt /tests/golden/types-proj-reserved-unused-value/tree/txt
2044−/* typ-565 %txt /tests/golden/types-proj-reserved-unused-value/types/txt
2045−/* src-566 %jibb /tests/golden/types-proj-reserved-value/source/jibb
2046−/* tok-566 %txt /tests/golden/types-proj-reserved-value/tokens/txt
2047−/* tre-566 %txt /tests/golden/types-proj-reserved-value/tree/txt
2048−/* typ-566 %txt /tests/golden/types-proj-reserved-value/types/txt
2049−/* src-567 %jibb /tests/golden/types-proj-single-duplicate/source/jibb
2050−/* tok-567 %txt /tests/golden/types-proj-single-duplicate/tokens/txt
2051−/* tre-567 %txt /tests/golden/types-proj-single-duplicate/tree/txt
2052−/* typ-567 %txt /tests/golden/types-proj-single-duplicate/types/txt
2053−/* src-568 %jibb /tests/golden/types-proj-single-field/source/jibb
2054−/* tok-568 %txt /tests/golden/types-proj-single-field/tokens/txt
2055−/* tre-568 %txt /tests/golden/types-proj-single-field/tree/txt
2056−/* typ-568 %txt /tests/golden/types-proj-single-field/types/txt
2057−/* src-569 %jibb /tests/golden/types-proj-single-sample-face/source/jibb
2058−/* tok-569 %txt /tests/golden/types-proj-single-sample-face/tokens/txt
2059−/* tre-569 %txt /tests/golden/types-proj-single-sample-face/tree/txt
2060−/* typ-569 %txt /tests/golden/types-proj-single-sample-face/types/txt
2061−/* src-570 %jibb /tests/golden/types-proj-single-wrapped/source/jibb
2062−/* tok-570 %txt /tests/golden/types-proj-single-wrapped/tokens/txt
2063−/* tre-570 %txt /tests/golden/types-proj-single-wrapped/tree/txt
2064−/* typ-570 %txt /tests/golden/types-proj-single-wrapped/types/txt
2065−/* src-571 %jibb /tests/golden/types-qath-faces/source/jibb
2066−/* tok-571 %txt /tests/golden/types-qath-faces/tokens/txt
2067−/* tre-571 %txt /tests/golden/types-qath-faces/tree/txt
2068−/* typ-571 %txt /tests/golden/types-qath-faces/types/txt
2069−/* src-572 %jibb /tests/golden/types-qath-holes/source/jibb
2070−/* tok-572 %txt /tests/golden/types-qath-holes/tokens/txt
2071−/* tre-572 %txt /tests/golden/types-qath-holes/tree/txt
2072−/* typ-572 %txt /tests/golden/types-qath-holes/types/txt
2073−/* src-573 %jibb /tests/golden/types-qath-module-identity/source/jibb
2074−/* tok-573 %txt /tests/golden/types-qath-module-identity/tokens/txt
2075−/* tre-573 %txt /tests/golden/types-qath-module-identity/tree/txt
2076−/* mod-573-1 %jibb /tests/golden/types-qath-module-identity/modules/ui/one/jibb
2077−/* mod-573-2 %jibb /tests/golden/types-qath-module-identity/modules/ui/two/jibb
2078−/* mod-573-3 %jibb /tests/golden/types-qath-module-identity/modules/ui/mid/jibb
2079−/* typ-573 %txt /tests/golden/types-qath-module-identity/types/txt
2080−/* mtre-573 %txt /tests/golden/types-qath-module-identity/module-trees/txt
2081−/* src-574 %jibb /tests/golden/types-qath-recursive/source/jibb
2082−/* tok-574 %txt /tests/golden/types-qath-recursive/tokens/txt
2083−/* tre-574 %txt /tests/golden/types-qath-recursive/tree/txt
2084−/* typ-574 %txt /tests/golden/types-qath-recursive/types/txt
2085−/* src-575 %jibb /tests/golden/types-record-bound-variable/source/jibb
2086−/* tok-575 %txt /tests/golden/types-record-bound-variable/tokens/txt
2087−/* tre-575 %txt /tests/golden/types-record-bound-variable/tree/txt
2088−/* typ-575 %txt /tests/golden/types-record-bound-variable/types/txt
2089−/* src-576 %jibb /tests/golden/types-record-cast-context/source/jibb
2090−/* tok-576 %txt /tests/golden/types-record-cast-context/tokens/txt
2091−/* tre-576 %txt /tests/golden/types-record-cast-context/tree/txt
2092−/* typ-576 %txt /tests/golden/types-record-cast-context/types/txt
2093−/* src-577 %jibb /tests/golden/types-record-change/source/jibb
2094−/* tok-577 %txt /tests/golden/types-record-change/tokens/txt
2095−/* tre-577 %txt /tests/golden/types-record-change/tree/txt
2096−/* typ-577 %txt /tests/golden/types-record-change/types/txt
2097−/* src-578 %jibb /tests/golden/types-record-change-generic/source/jibb
2098−/* tok-578 %txt /tests/golden/types-record-change-generic/tokens/txt
2099−/* tre-578 %txt /tests/golden/types-record-change-generic/tree/txt
2100−/* typ-578 %txt /tests/golden/types-record-change-generic/types/txt
2101−/* src-579 %jibb /tests/golden/types-record-faces/source/jibb
2102−/* tok-579 %txt /tests/golden/types-record-faces/tokens/txt
2103−/* tre-579 %txt /tests/golden/types-record-faces/tree/txt
2104−/* typ-579 %txt /tests/golden/types-record-faces/types/txt
2105−/* src-580 %jibb /tests/golden/types-record-field-edit-separate/source/jibb
2106−/* tok-580 %txt /tests/golden/types-record-field-edit-separate/tokens/txt
2107−/* tre-580 %txt /tests/golden/types-record-field-edit-separate/tree/txt
2108−/* typ-580 %txt /tests/golden/types-record-field-edit-separate/types/txt
2109−/* src-581 %jibb /tests/golden/types-record-field-expr-duplicate/source/jibb
2110−/* tok-581 %txt /tests/golden/types-record-field-expr-duplicate/tokens/txt
2111−/* tre-581 %txt /tests/golden/types-record-field-expr-duplicate/tree/txt
2112−/* typ-581 %txt /tests/golden/types-record-field-expr-duplicate/types/txt
2113−/* src-582 %jibb /tests/golden/types-record-field-expr-separate/source/jibb
2114−/* tok-582 %txt /tests/golden/types-record-field-expr-separate/tokens/txt
2115−/* tre-582 %txt /tests/golden/types-record-field-expr-separate/tree/txt
2116−/* typ-582 %txt /tests/golden/types-record-field-expr-separate/types/txt
2117−/* src-583 %jibb /tests/golden/types-record-field-module-reachable/source/jibb
2118−/* tok-583 %txt /tests/golden/types-record-field-module-reachable/tokens/txt
2119−/* tre-583 %txt /tests/golden/types-record-field-module-reachable/tree/txt
2120−/* mod-583-1 %jibb /tests/golden/types-record-field-module-reachable/modules/ui/lib/jibb
2121−/* typ-583 %txt /tests/golden/types-record-field-module-reachable/types/txt
2122−/* mtre-583 %txt /tests/golden/types-record-field-module-reachable/module-trees/txt
2123−/* src-584 %jibb /tests/golden/types-record-field-module-unused/source/jibb
2124−/* tok-584 %txt /tests/golden/types-record-field-module-unused/tokens/txt
2125−/* tre-584 %txt /tests/golden/types-record-field-module-unused/tree/txt
2126−/* mod-584-1 %jibb /tests/golden/types-record-field-module-unused/modules/ui/good/jibb
2127−/* mod-584-2 %jibb /tests/golden/types-record-field-module-unused/modules/ui/unused/jibb
2128−/* typ-584 %txt /tests/golden/types-record-field-module-unused/types/txt
2129−/* mtre-584 %txt /tests/golden/types-record-field-module-unused/module-trees/txt
2130−/* src-585 %jibb /tests/golden/types-record-field-nested-mold/source/jibb
2131−/* tok-585 %txt /tests/golden/types-record-field-nested-mold/tokens/txt
2132−/* tre-585 %txt /tests/golden/types-record-field-nested-mold/tree/txt
2133−/* typ-585 %txt /tests/golden/types-record-field-nested-mold/types/txt
2134−/* src-586 %jibb /tests/golden/types-record-field-outer-inner/source/jibb
2135−/* tok-586 %txt /tests/golden/types-record-field-outer-inner/tokens/txt
2136−/* tre-586 %txt /tests/golden/types-record-field-outer-inner/tree/txt
2137−/* typ-586 %txt /tests/golden/types-record-field-outer-inner/types/txt
2138−/* src-587 %jibb /tests/golden/types-record-field-sample-duplicate/source/jibb
2139−/* tok-587 %txt /tests/golden/types-record-field-sample-duplicate/tokens/txt
2140−/* tre-587 %txt /tests/golden/types-record-field-sample-duplicate/tree/txt
2141−/* typ-587 %txt /tests/golden/types-record-field-sample-duplicate/types/txt
2142−/* src-588 %jibb /tests/golden/types-record-field-separate-molds/source/jibb
2143−/* tok-588 %txt /tests/golden/types-record-field-separate-molds/tokens/txt
2144−/* tre-588 %txt /tests/golden/types-record-field-separate-molds/tree/txt
2145−/* typ-588 %txt /tests/golden/types-record-field-separate-molds/types/txt
2146−/* src-589 %jibb /tests/golden/types-record-field-unused-mold/source/jibb
2147−/* tok-589 %txt /tests/golden/types-record-field-unused-mold/tokens/txt
2148−/* tre-589 %txt /tests/golden/types-record-field-unused-mold/tree/txt
2149−/* typ-589 %txt /tests/golden/types-record-field-unused-mold/types/txt
2150−/* src-590 %jibb /tests/golden/types-record-import/source/jibb
2151−/* tok-590 %txt /tests/golden/types-record-import/tokens/txt
2152−/* tre-590 %txt /tests/golden/types-record-import/tree/txt
2153−/* mod-590-1 %jibb /tests/golden/types-record-import/modules/ui/lib/jibb
2154−/* typ-590 %txt /tests/golden/types-record-import/types/txt
2155−/* mtre-590 %txt /tests/golden/types-record-import/module-trees/txt
2156−/* src-591 %jibb /tests/golden/types-record-local-scheme/source/jibb
2157−/* tok-591 %txt /tests/golden/types-record-local-scheme/tokens/txt
2158−/* tre-591 %txt /tests/golden/types-record-local-scheme/tree/txt
2159−/* typ-591 %txt /tests/golden/types-record-local-scheme/types/txt
2160−/* src-592 %jibb /tests/golden/types-record-nested/source/jibb
2161−/* tok-592 %txt /tests/golden/types-record-nested/tokens/txt
2162−/* tre-592 %txt /tests/golden/types-record-nested/tree/txt
2163−/* typ-592 %txt /tests/golden/types-record-nested/types/txt
2164−/* src-593 %jibb /tests/golden/types-record-to-tuple/source/jibb
2165−/* tok-593 %txt /tests/golden/types-record-to-tuple/tokens/txt
2166−/* tre-593 %txt /tests/golden/types-record-to-tuple/tree/txt
2167−/* typ-593 %txt /tests/golden/types-record-to-tuple/types/txt
2168−/* src-594 %jibb /tests/golden/types-recursion-scc-failures/source/jibb
2169−/* tok-594 %txt /tests/golden/types-recursion-scc-failures/tokens/txt
2170−/* tre-594 %txt /tests/golden/types-recursion-scc-failures/tree/txt
2171−/* typ-594 %txt /tests/golden/types-recursion-scc-failures/types/txt
2172−/* src-595 %jibb /tests/golden/types-recursion-scc-groups/source/jibb
2173−/* tok-595 %txt /tests/golden/types-recursion-scc-groups/tokens/txt
2174−/* tre-595 %txt /tests/golden/types-recursion-scc-groups/tree/txt
2175−/* typ-595 %txt /tests/golden/types-recursion-scc-groups/types/txt
2176−/* src-596 %jibb /tests/golden/types-recursion-scc-import/source/jibb
2177−/* tok-596 %txt /tests/golden/types-recursion-scc-import/tokens/txt
2178−/* tre-596 %txt /tests/golden/types-recursion-scc-import/tree/txt
2179−/* mod-596-1 %jibb /tests/golden/types-recursion-scc-import/modules/ui/lib/jibb
2180−/* typ-596 %txt /tests/golden/types-recursion-scc-import/types/txt
2181−/* mtre-596 %txt /tests/golden/types-recursion-scc-import/module-trees/txt
2182−/* src-597 %jibb /tests/golden/types-recursion-scc-import-bad/source/jibb
2183−/* tok-597 %txt /tests/golden/types-recursion-scc-import-bad/tokens/txt
2184−/* tre-597 %txt /tests/golden/types-recursion-scc-import-bad/tree/txt
2185−/* mod-597-1 %jibb /tests/golden/types-recursion-scc-import-bad/modules/ui/lib/jibb
2186−/* typ-597 %txt /tests/golden/types-recursion-scc-import-bad/types/txt
2187−/* mtre-597 %txt /tests/golden/types-recursion-scc-import-bad/module-trees/txt
2188−/* src-598 %jibb /tests/golden/types-recursion-scc-local/source/jibb
2189−/* tok-598 %txt /tests/golden/types-recursion-scc-local/tokens/txt
2190−/* tre-598 %txt /tests/golden/types-recursion-scc-local/tree/txt
2191−/* typ-598 %txt /tests/golden/types-recursion-scc-local/types/txt
2192−/* src-599 %jibb /tests/golden/types-recursion-scc-order/source/jibb
2193−/* tok-599 %txt /tests/golden/types-recursion-scc-order/tokens/txt
2194−/* tre-599 %txt /tests/golden/types-recursion-scc-order/tree/txt
2195−/* typ-599 %txt /tests/golden/types-recursion-scc-order/types/txt
2196−/* src-600 %jibb /tests/golden/types-recursion-scc-shadow/source/jibb
2197−/* tok-600 %txt /tests/golden/types-recursion-scc-shadow/tokens/txt
2198−/* tre-600 %txt /tests/golden/types-recursion-scc-shadow/tree/txt
2199−/* typ-600 %txt /tests/golden/types-recursion-scc-shadow/types/txt
2200−/* src-601 %jibb /tests/golden/types-recursive-branch/source/jibb
2201−/* tok-601 %txt /tests/golden/types-recursive-branch/tokens/txt
2202−/* tre-601 %txt /tests/golden/types-recursive-branch/tree/txt
2203−/* typ-601 %txt /tests/golden/types-recursive-branch/types/txt
2204−/* src-602 %jibb /tests/golden/types-recursive-gate/source/jibb
2205−/* tok-602 %txt /tests/golden/types-recursive-gate/tokens/txt
2206−/* tre-602 %txt /tests/golden/types-recursive-gate/tree/txt
2207−/* typ-602 %txt /tests/golden/types-recursive-gate/types/txt
2208−/* src-603 %jibb /tests/golden/types-recursive-sample/source/jibb
2209−/* tok-603 %txt /tests/golden/types-recursive-sample/tokens/txt
2210−/* tre-603 %txt /tests/golden/types-recursive-sample/tree/txt
2211−/* typ-603 %txt /tests/golden/types-recursive-sample/types/txt
2212−/* src-604 %jibb /tests/golden/types-request-normal/source/jibb
2213−/* tok-604 %txt /tests/golden/types-request-normal/tokens/txt
2214−/* tre-604 %txt /tests/golden/types-request-normal/tree/txt
2215−/* mod-604-1 %jibb /tests/golden/types-request-normal/modules/ui/api/demo/jibb
2216−/* typ-604 %txt /tests/golden/types-request-normal/types/txt
2217−/* mark-604-1 %txt /tests/golden/types-request-normal/mar/full/txt
2218−/* mtre-604 %txt /tests/golden/types-request-normal/module-trees/txt
2219−/* src-605 %jibb /tests/golden/types-scope-library-poke/source/jibb
2220−/* tok-605 %txt /tests/golden/types-scope-library-poke/tokens/txt
2221−/* tre-605 %txt /tests/golden/types-scope-library-poke/tree/txt
2222−/* typ-605 %txt /tests/golden/types-scope-library-poke/types/txt
2223−/* src-606 %jibb /tests/golden/types-scope-root-api/source/jibb
2224−/* tok-606 %txt /tests/golden/types-scope-root-api/tokens/txt
2225−/* tre-606 %txt /tests/golden/types-scope-root-api/tree/txt
2226−/* typ-606 %txt /tests/golden/types-scope-root-api/types/txt
2227−/* src-607 %jibb /tests/golden/types-scope-store-duplicate/source/jibb
2228−/* tok-607 %txt /tests/golden/types-scope-store-duplicate/tokens/txt
2229−/* tre-607 %txt /tests/golden/types-scope-store-duplicate/tree/txt
2230−/* typ-607 %txt /tests/golden/types-scope-store-duplicate/types/txt
2231−/* src-608 %jibb /tests/golden/types-scope-store-shadow/source/jibb
2232−/* tok-608 %txt /tests/golden/types-scope-store-shadow/tokens/txt
2233−/* tre-608 %txt /tests/golden/types-scope-store-shadow/tree/txt
2234−/* typ-608 %txt /tests/golden/types-scope-store-shadow/types/txt
2235−/* src-609 %jibb /tests/golden/types-single-case-pattern/source/jibb
2236−/* tok-609 %txt /tests/golden/types-single-case-pattern/tokens/txt
2237−/* tre-609 %txt /tests/golden/types-single-case-pattern/tree/txt
2238−/* typ-609 %txt /tests/golden/types-single-case-pattern/types/txt
2239−/* src-610 %jibb /tests/golden/types-string-interpolation/source/jibb
2240−/* tok-610 %txt /tests/golden/types-string-interpolation/tokens/txt
2241−/* tre-610 %txt /tests/golden/types-string-interpolation/tree/txt
2242−/* typ-610 %txt /tests/golden/types-string-interpolation/types/txt
2243−/* src-611 %jibb /tests/golden/types-tuple-context/source/jibb
2244−/* tok-611 %txt /tests/golden/types-tuple-context/tokens/txt
2245−/* tre-611 %txt /tests/golden/types-tuple-context/tree/txt
2246−/* typ-611 %txt /tests/golden/types-tuple-context/types/txt
2247−/* src-612 %jibb /tests/golden/types-tuple-context-nested/source/jibb
2248−/* tok-612 %txt /tests/golden/types-tuple-context-nested/tokens/txt
2249−/* tre-612 %txt /tests/golden/types-tuple-context-nested/tree/txt
2250−/* typ-612 %txt /tests/golden/types-tuple-context-nested/types/txt
2251−/* src-613 %jibb /tests/golden/types-union-alias/source/jibb
2252−/* tok-613 %txt /tests/golden/types-union-alias/tokens/txt
2253−/* tre-613 %txt /tests/golden/types-union-alias/tree/txt
2254−/* typ-613 %txt /tests/golden/types-union-alias/types/txt
2255−/* src-614 %jibb /tests/golden/types-union-branch-context/source/jibb
2256−/* tok-614 %txt /tests/golden/types-union-branch-context/tokens/txt
2257−/* tre-614 %txt /tests/golden/types-union-branch-context/tree/txt
2258−/* typ-614 %txt /tests/golden/types-union-branch-context/types/txt
2259−/* src-615 %jibb /tests/golden/types-union-branch-pending/source/jibb
2260−/* tok-615 %txt /tests/golden/types-union-branch-pending/tokens/txt
2261−/* tre-615 %txt /tests/golden/types-union-branch-pending/tree/txt
2262−/* typ-615 %txt /tests/golden/types-union-branch-pending/types/txt
2263−/* src-616 %jibb /tests/golden/types-union-constructor-shape/source/jibb
2264−/* tok-616 %txt /tests/golden/types-union-constructor-shape/tokens/txt
2265−/* tre-616 %txt /tests/golden/types-union-constructor-shape/tree/txt
2266−/* typ-616 %txt /tests/golden/types-union-constructor-shape/types/txt
2267−/* src-617 %jibb /tests/golden/types-union-context-flow/source/jibb
2268−/* tok-617 %txt /tests/golden/types-union-context-flow/tokens/txt
2269−/* tre-617 %txt /tests/golden/types-union-context-flow/tree/txt
2270−/* typ-617 %txt /tests/golden/types-union-context-flow/types/txt
2271−/* src-618 %jibb /tests/golden/types-union-finite/source/jibb
2272−/* tok-618 %txt /tests/golden/types-union-finite/tokens/txt
2273−/* tre-618 %txt /tests/golden/types-union-finite/tree/txt
2274−/* typ-618 %txt /tests/golden/types-union-finite/types/txt
2275−/* src-619 %jibb /tests/golden/types-union-finite-context/source/jibb
2276−/* tok-619 %txt /tests/golden/types-union-finite-context/tokens/txt
2277−/* tre-619 %txt /tests/golden/types-union-finite-context/tree/txt
2278−/* typ-619 %txt /tests/golden/types-union-finite-context/types/txt
2279−/* src-620 %jibb /tests/golden/types-union-finite-generic/source/jibb
2280−/* tok-620 %txt /tests/golden/types-union-finite-generic/tokens/txt
2281−/* tre-620 %txt /tests/golden/types-union-finite-generic/tree/txt
2282−/* typ-620 %txt /tests/golden/types-union-finite-generic/types/txt
2283−/* src-621 %jibb /tests/golden/types-union-finite-limit/source/jibb
2284−/* tok-621 %txt /tests/golden/types-union-finite-limit/tokens/txt
2285−/* tre-621 %txt /tests/golden/types-union-finite-limit/tree/txt
2286−/* typ-621 %txt /tests/golden/types-union-finite-limit/types/txt
2287−/* src-622 %jibb /tests/golden/types-union-import/source/jibb
2288−/* tok-622 %txt /tests/golden/types-union-import/tokens/txt
2289−/* tre-622 %txt /tests/golden/types-union-import/tree/txt
2290−/* mod-622-1 %jibb /tests/golden/types-union-import/modules/ui/lib/jibb
2291−/* typ-622 %txt /tests/golden/types-union-import/types/txt
2292−/* mtre-622 %txt /tests/golden/types-union-import/module-trees/txt
2293−/* src-623 %jibb /tests/golden/types-union-local-pending/source/jibb
2294−/* tok-623 %txt /tests/golden/types-union-local-pending/tokens/txt
2295−/* tre-623 %txt /tests/golden/types-union-local-pending/tree/txt
2296−/* typ-623 %txt /tests/golden/types-union-local-pending/types/txt
2297−/* src-624 %jibb /tests/golden/types-union-nonwing-subject/source/jibb
2298−/* tok-624 %txt /tests/golden/types-union-nonwing-subject/tokens/txt
2299−/* tre-624 %txt /tests/golden/types-union-nonwing-subject/tree/txt
2300−/* typ-624 %txt /tests/golden/types-union-nonwing-subject/types/txt
2301−/* src-625 %jibb /tests/golden/types-union-overlap/source/jibb
2302−/* tok-625 %txt /tests/golden/types-union-overlap/tokens/txt
2303−/* tre-625 %txt /tests/golden/types-union-overlap/tree/txt
2304−/* typ-625 %txt /tests/golden/types-union-overlap/types/txt
2305−/* src-626 %jibb /tests/golden/types-union-overlap-nested/source/jibb
2306−/* tok-626 %txt /tests/golden/types-union-overlap-nested/tokens/txt
2307−/* tre-626 %txt /tests/golden/types-union-overlap-nested/tree/txt
2308−/* typ-626 %txt /tests/golden/types-union-overlap-nested/types/txt
2309−/* src-627 %jibb /tests/golden/types-union-pattern-result-context/source/jibb
2310−/* tok-627 %txt /tests/golden/types-union-pattern-result-context/tokens/txt
2311−/* tre-627 %txt /tests/golden/types-union-pattern-result-context/tree/txt
2312−/* typ-627 %txt /tests/golden/types-union-pattern-result-context/types/txt
2313−/* src-628 %jibb /tests/golden/types-union-pattern-result-controls/source/jibb
2314−/* tok-628 %txt /tests/golden/types-union-pattern-result-controls/tokens/txt
2315−/* tre-628 %txt /tests/golden/types-union-pattern-result-controls/tree/txt
2316−/* typ-628 %txt /tests/golden/types-union-pattern-result-controls/types/txt
2317−/* src-629 %jibb /tests/golden/types-union-patterns/source/jibb
2318−/* tok-629 %txt /tests/golden/types-union-patterns/tokens/txt
2319−/* tre-629 %txt /tests/golden/types-union-patterns/tree/txt
2320−/* typ-629 %txt /tests/golden/types-union-patterns/types/txt
2321−/* src-630 %jibb /tests/golden/types-union-patterns-generic/source/jibb
2322−/* tok-630 %txt /tests/golden/types-union-patterns-generic/tokens/txt
2323−/* tre-630 %txt /tests/golden/types-union-patterns-generic/tree/txt
2324−/* typ-630 %txt /tests/golden/types-union-patterns-generic/types/txt
2325−/* src-631 %jibb /tests/golden/types-union-patterns-import/source/jibb
2326−/* tok-631 %txt /tests/golden/types-union-patterns-import/tokens/txt
2327−/* tre-631 %txt /tests/golden/types-union-patterns-import/tree/txt
2328−/* mod-631-1 %jibb /tests/golden/types-union-patterns-import/modules/ui/lib/jibb
2329−/* typ-631 %txt /tests/golden/types-union-patterns-import/types/txt
2330−/* mtre-631 %txt /tests/golden/types-union-patterns-import/module-trees/txt
2331−/* src-632 %jibb /tests/golden/types-union-phantom-generic/source/jibb
2332−/* tok-632 %txt /tests/golden/types-union-phantom-generic/tokens/txt
2333−/* tre-632 %txt /tests/golden/types-union-phantom-generic/tree/txt
2334−/* typ-632 %txt /tests/golden/types-union-phantom-generic/types/txt
2335−/* src-633 %jibb /tests/golden/types-union-polymorphic-identity/source/jibb
2336−/* tok-633 %txt /tests/golden/types-union-polymorphic-identity/tokens/txt
2337−/* tre-633 %txt /tests/golden/types-union-polymorphic-identity/tree/txt
2338−/* mod-633-1 %jibb /tests/golden/types-union-polymorphic-identity/modules/ui/one/jibb
2339−/* mod-633-2 %jibb /tests/golden/types-union-polymorphic-identity/modules/ui/two/jibb
2340−/* typ-633 %txt /tests/golden/types-union-polymorphic-identity/types/txt
2341−/* mtre-633 %txt /tests/golden/types-union-polymorphic-identity/module-trees/txt
2342−/* src-634 %jibb /tests/golden/types-union-print-cross-namespace/source/jibb
2343−/* tok-634 %txt /tests/golden/types-union-print-cross-namespace/tokens/txt
2344−/* tre-634 %txt /tests/golden/types-union-print-cross-namespace/tree/txt
2345−/* mod-634-1 %jibb /tests/golden/types-union-print-cross-namespace/modules/ui/lib/jibb
2346−/* typ-634 %txt /tests/golden/types-union-print-cross-namespace/types/txt
2347−/* mtre-634 %txt /tests/golden/types-union-print-cross-namespace/module-trees/txt
2348−/* src-635 %jibb /tests/golden/types-union-print-distinct/source/jibb
2349−/* tok-635 %txt /tests/golden/types-union-print-distinct/tokens/txt
2350−/* tre-635 %txt /tests/golden/types-union-print-distinct/tree/txt
2351−/* mod-635-1 %jibb /tests/golden/types-union-print-distinct/modules/ui/left/jibb
2352−/* mod-635-2 %jibb /tests/golden/types-union-print-distinct/modules/ui/right/jibb
2353−/* mod-635-3 %jibb /tests/golden/types-union-print-distinct/modules/ui/twin/jibb
2354−/* typ-635 %txt /tests/golden/types-union-print-distinct/types/txt
2355−/* mtre-635 %txt /tests/golden/types-union-print-distinct/module-trees/txt
2356−/* src-636 %jibb /tests/golden/types-union-print-escape/source/jibb
2357−/* tok-636 %txt /tests/golden/types-union-print-escape/tokens/txt
2358−/* tre-636 %txt /tests/golden/types-union-print-escape/tree/txt
2359−/* typ-636 %txt /tests/golden/types-union-print-escape/types/txt
2360−/* src-637 %jibb /tests/golden/types-union-print-local/source/jibb
2361−/* tok-637 %txt /tests/golden/types-union-print-local/tokens/txt
2362−/* tre-637 %txt /tests/golden/types-union-print-local/tree/txt
2363−/* typ-637 %txt /tests/golden/types-union-print-local/types/txt
2364−/* src-638 %jibb /tests/golden/types-union-print-nested/source/jibb
2365−/* tok-638 %txt /tests/golden/types-union-print-nested/tokens/txt
2366−/* tre-638 %txt /tests/golden/types-union-print-nested/tree/txt
2367−/* typ-638 %txt /tests/golden/types-union-print-nested/types/txt
2368−/* src-639 %jibb /tests/golden/types-union-print-same-origin/source/jibb
2369−/* tok-639 %txt /tests/golden/types-union-print-same-origin/tokens/txt
2370−/* tre-639 %txt /tests/golden/types-union-print-same-origin/tree/txt
2371−/* mod-639-1 %jibb /tests/golden/types-union-print-same-origin/modules/ui/shared/jibb
2372−/* typ-639 %txt /tests/golden/types-union-print-same-origin/types/txt
2373−/* mtre-639 %txt /tests/golden/types-union-print-same-origin/module-trees/txt
2374−/* src-640 %jibb /tests/golden/types-union-print-transitive/source/jibb
2375−/* tok-640 %txt /tests/golden/types-union-print-transitive/tokens/txt
2376−/* tre-640 %txt /tests/golden/types-union-print-transitive/tree/txt
2377−/* mod-640-1 %jibb /tests/golden/types-union-print-transitive/modules/ui/mid/jibb
2378−/* mod-640-2 %jibb /tests/golden/types-union-print-transitive/modules/ui/base/jibb
2379−/* typ-640 %txt /tests/golden/types-union-print-transitive/types/txt
2380−/* mtre-640 %txt /tests/golden/types-union-print-transitive/module-trees/txt
2381−/* src-641 %jibb /tests/golden/types-union-singleton/source/jibb
2382−/* tok-641 %txt /tests/golden/types-union-singleton/tokens/txt
2383−/* tre-641 %txt /tests/golden/types-union-singleton/tree/txt
2384−/* typ-641 %txt /tests/golden/types-union-singleton/types/txt
2385−/* src-642 %jibb /tests/golden/types-union-tag-atoms/source/jibb
2386−/* tok-642 %txt /tests/golden/types-union-tag-atoms/tokens/txt
2387−/* tre-642 %txt /tests/golden/types-union-tag-atoms/tree/txt
2388−/* typ-642 %txt /tests/golden/types-union-tag-atoms/types/txt
2389−/* src-643 %jibb /tests/golden/types-union-tags/source/jibb
2390−/* tok-643 %txt /tests/golden/types-union-tags/tokens/txt
2391−/* tre-643 %txt /tests/golden/types-union-tags/tree/txt
2392−/* typ-643 %txt /tests/golden/types-union-tags/types/txt
2393−/* src-644 %jibb /tests/golden/types-union-unresolved/source/jibb
2394−/* tok-644 %txt /tests/golden/types-union-unresolved/tokens/txt
2395−/* tre-644 %txt /tests/golden/types-union-unresolved/tree/txt
2396−/* typ-644 %txt /tests/golden/types-union-unresolved/types/txt
2397−/* src-645 %jibb /tests/golden/types-union-unresolved-flow/source/jibb
2398−/* tok-645 %txt /tests/golden/types-union-unresolved-flow/tokens/txt
2399−/* tre-645 %txt /tests/golden/types-union-unresolved-flow/tree/txt
2400−/* typ-645 %txt /tests/golden/types-union-unresolved-flow/types/txt
2401−/* src-646 %jibb /tests/golden/types-unit-construction/source/jibb
2402−/* tok-646 %txt /tests/golden/types-unit-construction/tokens/txt
2403−/* tre-646 %txt /tests/golden/types-unit-construction/tree/txt
2404−/* typ-646 %txt /tests/golden/types-unit-construction/types/txt
2405−/* src-647 %jibb /tests/golden/types-unit-context/source/jibb
2406−/* tok-647 %txt /tests/golden/types-unit-context/tokens/txt
2407−/* tre-647 %txt /tests/golden/types-unit-context/tree/txt
2408−/* typ-647 %txt /tests/golden/types-unit-context/types/txt
2409−/* src-648 %jibb /tests/golden/types-unit-patterns/source/jibb
2410−/* tok-648 %txt /tests/golden/types-unit-patterns/tokens/txt
2411−/* tre-648 %txt /tests/golden/types-unit-patterns/tree/txt
2412−/* typ-648 %txt /tests/golden/types-unit-patterns/types/txt
2413−/* src-649 %jibb /tests/golden/types-value-cycle-shadow/source/jibb
2414−/* tok-649 %txt /tests/golden/types-value-cycle-shadow/tokens/txt
2415−/* tre-649 %txt /tests/golden/types-value-cycle-shadow/tree/txt
2416−/* typ-649 %txt /tests/golden/types-value-cycle-shadow/types/txt
2417−/* src-650 %jibb /tests/golden/types-value-cycle-unsupported/source/jibb
2418−/* tok-650 %txt /tests/golden/types-value-cycle-unsupported/tokens/txt
2419−/* tre-650 %txt /tests/golden/types-value-cycle-unsupported/tree/txt
2420−/* typ-650 %txt /tests/golden/types-value-cycle-unsupported/types/txt
2421−/* src-651 %jibb /tests/golden/types-value-cycles/source/jibb
2422−/* tok-651 %txt /tests/golden/types-value-cycles/tokens/txt
2423−/* tre-651 %txt /tests/golden/types-value-cycles/tree/txt
2424−/* typ-651 %txt /tests/golden/types-value-cycles/types/txt
1922+/* src-538 %jibb /tests/golden/types-prelude-comparison/source/jibb
1923+/* tok-538 %txt /tests/golden/types-prelude-comparison/tokens/txt
1924+/* tre-538 %txt /tests/golden/types-prelude-comparison/tree/txt
1925+/* typ-538 %txt /tests/golden/types-prelude-comparison/types/txt
1926+/* src-539 %jibb /tests/golden/types-prelude-direct/source/jibb
1927+/* tok-539 %txt /tests/golden/types-prelude-direct/tokens/txt
1928+/* tre-539 %txt /tests/golden/types-prelude-direct/tree/txt
1929+/* typ-539 %txt /tests/golden/types-prelude-direct/types/txt
1930+/* src-540 %jibb /tests/golden/types-prelude-functional/source/jibb
1931+/* tok-540 %txt /tests/golden/types-prelude-functional/tokens/txt
1932+/* tre-540 %txt /tests/golden/types-prelude-functional/tree/txt
1933+/* typ-540 %txt /tests/golden/types-prelude-functional/types/txt
1934+/* src-541 %jibb /tests/golden/types-prelude-generic-alias/source/jibb
1935+/* tok-541 %txt /tests/golden/types-prelude-generic-alias/tokens/txt
1936+/* tre-541 %txt /tests/golden/types-prelude-generic-alias/tree/txt
1937+/* mod-541-1 %jibb /tests/golden/types-prelude-generic-alias/modules/ui/alias-helper/jibb
1938+/* typ-541 %txt /tests/golden/types-prelude-generic-alias/types/txt
1939+/* mtre-541 %txt /tests/golden/types-prelude-generic-alias/module-trees/txt
1940+/* src-542 %jibb /tests/golden/types-prelude-interface/source/jibb
1941+/* tok-542 %txt /tests/golden/types-prelude-interface/tokens/txt
1942+/* tre-542 %txt /tests/golden/types-prelude-interface/tree/txt
1943+/* mod-542-1 %jibb /tests/golden/types-prelude-interface/modules/ui/left/jibb
1944+/* mod-542-2 %jibb /tests/golden/types-prelude-interface/modules/ui/right/jibb
1945+/* typ-542 %txt /tests/golden/types-prelude-interface/types/txt
1946+/* mtre-542 %txt /tests/golden/types-prelude-interface/module-trees/txt
1947+/* src-543 %jibb /tests/golden/types-prelude-lent/source/jibb
1948+/* tok-543 %txt /tests/golden/types-prelude-lent/tokens/txt
1949+/* tre-543 %txt /tests/golden/types-prelude-lent/tree/txt
1950+/* typ-543 %txt /tests/golden/types-prelude-lent/types/txt
1951+/* src-544 %jibb /tests/golden/types-prelude-like/source/jibb
1952+/* tok-544 %txt /tests/golden/types-prelude-like/tokens/txt
1953+/* tre-544 %txt /tests/golden/types-prelude-like/tree/txt
1954+/* typ-544 %txt /tests/golden/types-prelude-like/types/txt
1955+/* src-545 %jibb /tests/golden/types-prelude-list-alias/source/jibb
1956+/* tok-545 %txt /tests/golden/types-prelude-list-alias/tokens/txt
1957+/* tre-545 %txt /tests/golden/types-prelude-list-alias/tree/txt
1958+/* typ-545 %txt /tests/golden/types-prelude-list-alias/types/txt
1959+/* src-546 %jibb /tests/golden/types-prelude-list-functions/source/jibb
1960+/* tok-546 %txt /tests/golden/types-prelude-list-functions/tokens/txt
1961+/* tre-546 %txt /tests/golden/types-prelude-list-functions/tree/txt
1962+/* mod-546-1 %jibb /tests/golden/types-prelude-list-functions/modules/ui/lib/jibb
1963+/* typ-546 %txt /tests/golden/types-prelude-list-functions/types/txt
1964+/* mtre-546 %txt /tests/golden/types-prelude-list-functions/module-trees/txt
1965+/* src-547 %jibb /tests/golden/types-prelude-list-helpers/source/jibb
1966+/* tok-547 %txt /tests/golden/types-prelude-list-helpers/tokens/txt
1967+/* tre-547 %txt /tests/golden/types-prelude-list-helpers/tree/txt
1968+/* typ-547 %txt /tests/golden/types-prelude-list-helpers/types/txt
1969+/* src-548 %jibb /tests/golden/types-prelude-predicates/source/jibb
1970+/* tok-548 %txt /tests/golden/types-prelude-predicates/tokens/txt
1971+/* tre-548 %txt /tests/golden/types-prelude-predicates/tree/txt
1972+/* typ-548 %txt /tests/golden/types-prelude-predicates/types/txt
1973+/* src-549 %jibb /tests/golden/types-prelude-sub/source/jibb
1974+/* tok-549 %txt /tests/golden/types-prelude-sub/tokens/txt
1975+/* tre-549 %txt /tests/golden/types-prelude-sub/tree/txt
1976+/* typ-549 %txt /tests/golden/types-prelude-sub/types/txt
1977+/* src-550 %jibb /tests/golden/types-prelude-sub-nested/source/jibb
1978+/* tok-550 %txt /tests/golden/types-prelude-sub-nested/tokens/txt
1979+/* tre-550 %txt /tests/golden/types-prelude-sub-nested/tree/txt
1980+/* typ-550 %txt /tests/golden/types-prelude-sub-nested/types/txt
1981+/* src-551 %jibb /tests/golden/types-prelude-unit-helpers/source/jibb
1982+/* tok-551 %txt /tests/golden/types-prelude-unit-helpers/tokens/txt
1983+/* tre-551 %txt /tests/golden/types-prelude-unit-helpers/tree/txt
1984+/* typ-551 %txt /tests/golden/types-prelude-unit-helpers/types/txt
1985+/* src-552 %jibb /tests/golden/types-proj-explicit-context/source/jibb
1986+/* tok-552 %txt /tests/golden/types-proj-explicit-context/tokens/txt
1987+/* tre-552 %txt /tests/golden/types-proj-explicit-context/tree/txt
1988+/* typ-552 %txt /tests/golden/types-proj-explicit-context/types/txt
1989+/* src-553 %jibb /tests/golden/types-proj-nested-no-implicit/source/jibb
1990+/* tok-553 %txt /tests/golden/types-proj-nested-no-implicit/tokens/txt
1991+/* tre-553 %txt /tests/golden/types-proj-nested-no-implicit/tree/txt
1992+/* typ-553 %txt /tests/golden/types-proj-nested-no-implicit/types/txt
1993+/* src-554 %jibb /tests/golden/types-proj-reserved-imported-definition/source/jibb
1994+/* tok-554 %txt /tests/golden/types-proj-reserved-imported-definition/tokens/txt
1995+/* tre-554 %txt /tests/golden/types-proj-reserved-imported-definition/tree/txt
1996+/* mod-554-1 %jibb /tests/golden/types-proj-reserved-imported-definition/modules/ui/lib/jibb
1997+/* typ-554 %txt /tests/golden/types-proj-reserved-imported-definition/types/txt
1998+/* mtre-554 %txt /tests/golden/types-proj-reserved-imported-definition/module-trees/txt
1999+/* src-555 %jibb /tests/golden/types-proj-reserved-jibb-import/source/jibb
2000+/* tok-555 %txt /tests/golden/types-proj-reserved-jibb-import/tokens/txt
2001+/* tre-555 %txt /tests/golden/types-proj-reserved-jibb-import/tree/txt
2002+/* mod-555-1 %jibb /tests/golden/types-proj-reserved-jibb-import/modules/ui/lib/jibb
2003+/* typ-555 %txt /tests/golden/types-proj-reserved-jibb-import/types/txt
2004+/* mtre-555 %txt /tests/golden/types-proj-reserved-jibb-import/module-trees/txt
2005+/* src-556 %jibb /tests/golden/types-proj-reserved-local/source/jibb
2006+/* tok-556 %txt /tests/golden/types-proj-reserved-local/tokens/txt
2007+/* tre-556 %txt /tests/golden/types-proj-reserved-local/tree/txt
2008+/* typ-556 %txt /tests/golden/types-proj-reserved-local/types/txt
2009+/* src-557 %jibb /tests/golden/types-proj-reserved-local-mold/source/jibb
2010+/* tok-557 %txt /tests/golden/types-proj-reserved-local-mold/tokens/txt
2011+/* tre-557 %txt /tests/golden/types-proj-reserved-local-mold/tree/txt
2012+/* typ-557 %txt /tests/golden/types-proj-reserved-local-mold/types/txt
2013+/* src-558 %jibb /tests/golden/types-proj-reserved-mark-import/source/jibb
2014+/* tok-558 %txt /tests/golden/types-proj-reserved-mark-import/tokens/txt
2015+/* tre-558 %txt /tests/golden/types-proj-reserved-mark-import/tree/txt
2016+/* typ-558 %txt /tests/golden/types-proj-reserved-mark-import/types/txt
2017+/* src-559 %jibb /tests/golden/types-proj-reserved-mold/source/jibb
2018+/* tok-559 %txt /tests/golden/types-proj-reserved-mold/tokens/txt
2019+/* tre-559 %txt /tests/golden/types-proj-reserved-mold/tree/txt
2020+/* typ-559 %txt /tests/golden/types-proj-reserved-mold/types/txt
2021+/* src-560 %jibb /tests/golden/types-proj-reserved-pattern/source/jibb
2022+/* tok-560 %txt /tests/golden/types-proj-reserved-pattern/tokens/txt
2023+/* tre-560 %txt /tests/golden/types-proj-reserved-pattern/tree/txt
2024+/* typ-560 %txt /tests/golden/types-proj-reserved-pattern/types/txt
2025+/* src-561 %jibb /tests/golden/types-proj-reserved-positive/source/jibb
2026+/* tok-561 %txt /tests/golden/types-proj-reserved-positive/tokens/txt
2027+/* tre-561 %txt /tests/golden/types-proj-reserved-positive/tree/txt
2028+/* typ-561 %txt /tests/golden/types-proj-reserved-positive/types/txt
2029+/* src-562 %jibb /tests/golden/types-proj-reserved-sample/source/jibb
2030+/* tok-562 %txt /tests/golden/types-proj-reserved-sample/tokens/txt
2031+/* tre-562 %txt /tests/golden/types-proj-reserved-sample/tree/txt
2032+/* typ-562 %txt /tests/golden/types-proj-reserved-sample/types/txt
2033+/* src-563 %jibb /tests/golden/types-proj-reserved-sur-import/source/jibb
2034+/* tok-563 %txt /tests/golden/types-proj-reserved-sur-import/tokens/txt
2035+/* tre-563 %txt /tests/golden/types-proj-reserved-sur-import/tree/txt
2036+/* typ-563 %txt /tests/golden/types-proj-reserved-sur-import/types/txt
2037+/* src-564 %jibb /tests/golden/types-proj-reserved-unused-pattern/source/jibb
2038+/* tok-564 %txt /tests/golden/types-proj-reserved-unused-pattern/tokens/txt
2039+/* tre-564 %txt /tests/golden/types-proj-reserved-unused-pattern/tree/txt
2040+/* typ-564 %txt /tests/golden/types-proj-reserved-unused-pattern/types/txt
2041+/* src-565 %jibb /tests/golden/types-proj-reserved-unused-sample/source/jibb
2042+/* tok-565 %txt /tests/golden/types-proj-reserved-unused-sample/tokens/txt
2043+/* tre-565 %txt /tests/golden/types-proj-reserved-unused-sample/tree/txt
2044+/* typ-565 %txt /tests/golden/types-proj-reserved-unused-sample/types/txt
2045+/* src-566 %jibb /tests/golden/types-proj-reserved-unused-value/source/jibb
2046+/* tok-566 %txt /tests/golden/types-proj-reserved-unused-value/tokens/txt
2047+/* tre-566 %txt /tests/golden/types-proj-reserved-unused-value/tree/txt
2048+/* typ-566 %txt /tests/golden/types-proj-reserved-unused-value/types/txt
2049+/* src-567 %jibb /tests/golden/types-proj-reserved-value/source/jibb
2050+/* tok-567 %txt /tests/golden/types-proj-reserved-value/tokens/txt
2051+/* tre-567 %txt /tests/golden/types-proj-reserved-value/tree/txt
2052+/* typ-567 %txt /tests/golden/types-proj-reserved-value/types/txt
2053+/* src-568 %jibb /tests/golden/types-proj-single-duplicate/source/jibb
2054+/* tok-568 %txt /tests/golden/types-proj-single-duplicate/tokens/txt
2055+/* tre-568 %txt /tests/golden/types-proj-single-duplicate/tree/txt
2056+/* typ-568 %txt /tests/golden/types-proj-single-duplicate/types/txt
2057+/* src-569 %jibb /tests/golden/types-proj-single-field/source/jibb
2058+/* tok-569 %txt /tests/golden/types-proj-single-field/tokens/txt
2059+/* tre-569 %txt /tests/golden/types-proj-single-field/tree/txt
2060+/* typ-569 %txt /tests/golden/types-proj-single-field/types/txt
2061+/* src-570 %jibb /tests/golden/types-proj-single-sample-face/source/jibb
2062+/* tok-570 %txt /tests/golden/types-proj-single-sample-face/tokens/txt
2063+/* tre-570 %txt /tests/golden/types-proj-single-sample-face/tree/txt
2064+/* typ-570 %txt /tests/golden/types-proj-single-sample-face/types/txt
2065+/* src-571 %jibb /tests/golden/types-proj-single-wrapped/source/jibb
2066+/* tok-571 %txt /tests/golden/types-proj-single-wrapped/tokens/txt
2067+/* tre-571 %txt /tests/golden/types-proj-single-wrapped/tree/txt
2068+/* typ-571 %txt /tests/golden/types-proj-single-wrapped/types/txt
2069+/* src-572 %jibb /tests/golden/types-qath-faces/source/jibb
2070+/* tok-572 %txt /tests/golden/types-qath-faces/tokens/txt
2071+/* tre-572 %txt /tests/golden/types-qath-faces/tree/txt
2072+/* typ-572 %txt /tests/golden/types-qath-faces/types/txt
2073+/* src-573 %jibb /tests/golden/types-qath-holes/source/jibb
2074+/* tok-573 %txt /tests/golden/types-qath-holes/tokens/txt
2075+/* tre-573 %txt /tests/golden/types-qath-holes/tree/txt
2076+/* typ-573 %txt /tests/golden/types-qath-holes/types/txt
2077+/* src-574 %jibb /tests/golden/types-qath-module-identity/source/jibb
2078+/* tok-574 %txt /tests/golden/types-qath-module-identity/tokens/txt
2079+/* tre-574 %txt /tests/golden/types-qath-module-identity/tree/txt
2080+/* mod-574-1 %jibb /tests/golden/types-qath-module-identity/modules/ui/one/jibb
2081+/* mod-574-2 %jibb /tests/golden/types-qath-module-identity/modules/ui/two/jibb
2082+/* mod-574-3 %jibb /tests/golden/types-qath-module-identity/modules/ui/mid/jibb
2083+/* typ-574 %txt /tests/golden/types-qath-module-identity/types/txt
2084+/* mtre-574 %txt /tests/golden/types-qath-module-identity/module-trees/txt
2085+/* src-575 %jibb /tests/golden/types-qath-recursive/source/jibb
2086+/* tok-575 %txt /tests/golden/types-qath-recursive/tokens/txt
2087+/* tre-575 %txt /tests/golden/types-qath-recursive/tree/txt
2088+/* typ-575 %txt /tests/golden/types-qath-recursive/types/txt
2089+/* src-576 %jibb /tests/golden/types-record-bound-variable/source/jibb
2090+/* tok-576 %txt /tests/golden/types-record-bound-variable/tokens/txt
2091+/* tre-576 %txt /tests/golden/types-record-bound-variable/tree/txt
2092+/* typ-576 %txt /tests/golden/types-record-bound-variable/types/txt
2093+/* src-577 %jibb /tests/golden/types-record-cast-context/source/jibb
2094+/* tok-577 %txt /tests/golden/types-record-cast-context/tokens/txt
2095+/* tre-577 %txt /tests/golden/types-record-cast-context/tree/txt
2096+/* typ-577 %txt /tests/golden/types-record-cast-context/types/txt
2097+/* src-578 %jibb /tests/golden/types-record-change/source/jibb
2098+/* tok-578 %txt /tests/golden/types-record-change/tokens/txt
2099+/* tre-578 %txt /tests/golden/types-record-change/tree/txt
2100+/* typ-578 %txt /tests/golden/types-record-change/types/txt
2101+/* src-579 %jibb /tests/golden/types-record-change-generic/source/jibb
2102+/* tok-579 %txt /tests/golden/types-record-change-generic/tokens/txt
2103+/* tre-579 %txt /tests/golden/types-record-change-generic/tree/txt
2104+/* typ-579 %txt /tests/golden/types-record-change-generic/types/txt
2105+/* src-580 %jibb /tests/golden/types-record-faces/source/jibb
2106+/* tok-580 %txt /tests/golden/types-record-faces/tokens/txt
2107+/* tre-580 %txt /tests/golden/types-record-faces/tree/txt
2108+/* typ-580 %txt /tests/golden/types-record-faces/types/txt
2109+/* src-581 %jibb /tests/golden/types-record-field-edit-separate/source/jibb
2110+/* tok-581 %txt /tests/golden/types-record-field-edit-separate/tokens/txt
2111+/* tre-581 %txt /tests/golden/types-record-field-edit-separate/tree/txt
2112+/* typ-581 %txt /tests/golden/types-record-field-edit-separate/types/txt
2113+/* src-582 %jibb /tests/golden/types-record-field-expr-duplicate/source/jibb
2114+/* tok-582 %txt /tests/golden/types-record-field-expr-duplicate/tokens/txt
2115+/* tre-582 %txt /tests/golden/types-record-field-expr-duplicate/tree/txt
2116+/* typ-582 %txt /tests/golden/types-record-field-expr-duplicate/types/txt
2117+/* src-583 %jibb /tests/golden/types-record-field-expr-separate/source/jibb
2118+/* tok-583 %txt /tests/golden/types-record-field-expr-separate/tokens/txt
2119+/* tre-583 %txt /tests/golden/types-record-field-expr-separate/tree/txt
2120+/* typ-583 %txt /tests/golden/types-record-field-expr-separate/types/txt
2121+/* src-584 %jibb /tests/golden/types-record-field-module-reachable/source/jibb
2122+/* tok-584 %txt /tests/golden/types-record-field-module-reachable/tokens/txt
2123+/* tre-584 %txt /tests/golden/types-record-field-module-reachable/tree/txt
2124+/* mod-584-1 %jibb /tests/golden/types-record-field-module-reachable/modules/ui/lib/jibb
2125+/* typ-584 %txt /tests/golden/types-record-field-module-reachable/types/txt
2126+/* mtre-584 %txt /tests/golden/types-record-field-module-reachable/module-trees/txt
2127+/* src-585 %jibb /tests/golden/types-record-field-module-unused/source/jibb
2128+/* tok-585 %txt /tests/golden/types-record-field-module-unused/tokens/txt
2129+/* tre-585 %txt /tests/golden/types-record-field-module-unused/tree/txt
2130+/* mod-585-1 %jibb /tests/golden/types-record-field-module-unused/modules/ui/good/jibb
2131+/* mod-585-2 %jibb /tests/golden/types-record-field-module-unused/modules/ui/unused/jibb
2132+/* typ-585 %txt /tests/golden/types-record-field-module-unused/types/txt
2133+/* mtre-585 %txt /tests/golden/types-record-field-module-unused/module-trees/txt
2134+/* src-586 %jibb /tests/golden/types-record-field-nested-mold/source/jibb
2135+/* tok-586 %txt /tests/golden/types-record-field-nested-mold/tokens/txt
2136+/* tre-586 %txt /tests/golden/types-record-field-nested-mold/tree/txt
2137+/* typ-586 %txt /tests/golden/types-record-field-nested-mold/types/txt
2138+/* src-587 %jibb /tests/golden/types-record-field-outer-inner/source/jibb
2139+/* tok-587 %txt /tests/golden/types-record-field-outer-inner/tokens/txt
2140+/* tre-587 %txt /tests/golden/types-record-field-outer-inner/tree/txt
2141+/* typ-587 %txt /tests/golden/types-record-field-outer-inner/types/txt
2142+/* src-588 %jibb /tests/golden/types-record-field-sample-duplicate/source/jibb
2143+/* tok-588 %txt /tests/golden/types-record-field-sample-duplicate/tokens/txt
2144+/* tre-588 %txt /tests/golden/types-record-field-sample-duplicate/tree/txt
2145+/* typ-588 %txt /tests/golden/types-record-field-sample-duplicate/types/txt
2146+/* src-589 %jibb /tests/golden/types-record-field-separate-molds/source/jibb
2147+/* tok-589 %txt /tests/golden/types-record-field-separate-molds/tokens/txt
2148+/* tre-589 %txt /tests/golden/types-record-field-separate-molds/tree/txt
2149+/* typ-589 %txt /tests/golden/types-record-field-separate-molds/types/txt
2150+/* src-590 %jibb /tests/golden/types-record-field-unused-mold/source/jibb
2151+/* tok-590 %txt /tests/golden/types-record-field-unused-mold/tokens/txt
2152+/* tre-590 %txt /tests/golden/types-record-field-unused-mold/tree/txt
2153+/* typ-590 %txt /tests/golden/types-record-field-unused-mold/types/txt
2154+/* src-591 %jibb /tests/golden/types-record-import/source/jibb
2155+/* tok-591 %txt /tests/golden/types-record-import/tokens/txt
2156+/* tre-591 %txt /tests/golden/types-record-import/tree/txt
2157+/* mod-591-1 %jibb /tests/golden/types-record-import/modules/ui/lib/jibb
2158+/* typ-591 %txt /tests/golden/types-record-import/types/txt
2159+/* mtre-591 %txt /tests/golden/types-record-import/module-trees/txt
2160+/* src-592 %jibb /tests/golden/types-record-local-scheme/source/jibb
2161+/* tok-592 %txt /tests/golden/types-record-local-scheme/tokens/txt
2162+/* tre-592 %txt /tests/golden/types-record-local-scheme/tree/txt
2163+/* typ-592 %txt /tests/golden/types-record-local-scheme/types/txt
2164+/* src-593 %jibb /tests/golden/types-record-nested/source/jibb
2165+/* tok-593 %txt /tests/golden/types-record-nested/tokens/txt
2166+/* tre-593 %txt /tests/golden/types-record-nested/tree/txt
2167+/* typ-593 %txt /tests/golden/types-record-nested/types/txt
2168+/* src-594 %jibb /tests/golden/types-record-to-tuple/source/jibb
2169+/* tok-594 %txt /tests/golden/types-record-to-tuple/tokens/txt
2170+/* tre-594 %txt /tests/golden/types-record-to-tuple/tree/txt
2171+/* typ-594 %txt /tests/golden/types-record-to-tuple/types/txt
2172+/* src-595 %jibb /tests/golden/types-recursion-scc-failures/source/jibb
2173+/* tok-595 %txt /tests/golden/types-recursion-scc-failures/tokens/txt
2174+/* tre-595 %txt /tests/golden/types-recursion-scc-failures/tree/txt
2175+/* typ-595 %txt /tests/golden/types-recursion-scc-failures/types/txt
2176+/* src-596 %jibb /tests/golden/types-recursion-scc-groups/source/jibb
2177+/* tok-596 %txt /tests/golden/types-recursion-scc-groups/tokens/txt
2178+/* tre-596 %txt /tests/golden/types-recursion-scc-groups/tree/txt
2179+/* typ-596 %txt /tests/golden/types-recursion-scc-groups/types/txt
2180+/* src-597 %jibb /tests/golden/types-recursion-scc-import/source/jibb
2181+/* tok-597 %txt /tests/golden/types-recursion-scc-import/tokens/txt
2182+/* tre-597 %txt /tests/golden/types-recursion-scc-import/tree/txt
2183+/* mod-597-1 %jibb /tests/golden/types-recursion-scc-import/modules/ui/lib/jibb
2184+/* typ-597 %txt /tests/golden/types-recursion-scc-import/types/txt
2185+/* mtre-597 %txt /tests/golden/types-recursion-scc-import/module-trees/txt
2186+/* src-598 %jibb /tests/golden/types-recursion-scc-import-bad/source/jibb
2187+/* tok-598 %txt /tests/golden/types-recursion-scc-import-bad/tokens/txt
2188+/* tre-598 %txt /tests/golden/types-recursion-scc-import-bad/tree/txt
2189+/* mod-598-1 %jibb /tests/golden/types-recursion-scc-import-bad/modules/ui/lib/jibb
2190+/* typ-598 %txt /tests/golden/types-recursion-scc-import-bad/types/txt
2191+/* mtre-598 %txt /tests/golden/types-recursion-scc-import-bad/module-trees/txt
2192+/* src-599 %jibb /tests/golden/types-recursion-scc-local/source/jibb
2193+/* tok-599 %txt /tests/golden/types-recursion-scc-local/tokens/txt
2194+/* tre-599 %txt /tests/golden/types-recursion-scc-local/tree/txt
2195+/* typ-599 %txt /tests/golden/types-recursion-scc-local/types/txt
2196+/* src-600 %jibb /tests/golden/types-recursion-scc-order/source/jibb
2197+/* tok-600 %txt /tests/golden/types-recursion-scc-order/tokens/txt
2198+/* tre-600 %txt /tests/golden/types-recursion-scc-order/tree/txt
2199+/* typ-600 %txt /tests/golden/types-recursion-scc-order/types/txt
2200+/* src-601 %jibb /tests/golden/types-recursion-scc-shadow/source/jibb
2201+/* tok-601 %txt /tests/golden/types-recursion-scc-shadow/tokens/txt
2202+/* tre-601 %txt /tests/golden/types-recursion-scc-shadow/tree/txt
2203+/* typ-601 %txt /tests/golden/types-recursion-scc-shadow/types/txt
2204+/* src-602 %jibb /tests/golden/types-recursive-branch/source/jibb
2205+/* tok-602 %txt /tests/golden/types-recursive-branch/tokens/txt
2206+/* tre-602 %txt /tests/golden/types-recursive-branch/tree/txt
2207+/* typ-602 %txt /tests/golden/types-recursive-branch/types/txt
2208+/* src-603 %jibb /tests/golden/types-recursive-gate/source/jibb
2209+/* tok-603 %txt /tests/golden/types-recursive-gate/tokens/txt
2210+/* tre-603 %txt /tests/golden/types-recursive-gate/tree/txt
2211+/* typ-603 %txt /tests/golden/types-recursive-gate/types/txt
2212+/* src-604 %jibb /tests/golden/types-recursive-sample/source/jibb
2213+/* tok-604 %txt /tests/golden/types-recursive-sample/tokens/txt
2214+/* tre-604 %txt /tests/golden/types-recursive-sample/tree/txt
2215+/* typ-604 %txt /tests/golden/types-recursive-sample/types/txt
2216+/* src-605 %jibb /tests/golden/types-request-normal/source/jibb
2217+/* tok-605 %txt /tests/golden/types-request-normal/tokens/txt
2218+/* tre-605 %txt /tests/golden/types-request-normal/tree/txt
2219+/* mod-605-1 %jibb /tests/golden/types-request-normal/modules/ui/api/demo/jibb
2220+/* typ-605 %txt /tests/golden/types-request-normal/types/txt
2221+/* mark-605-1 %txt /tests/golden/types-request-normal/mar/full/txt
2222+/* mtre-605 %txt /tests/golden/types-request-normal/module-trees/txt
2223+/* src-606 %jibb /tests/golden/types-scope-library-poke/source/jibb
2224+/* tok-606 %txt /tests/golden/types-scope-library-poke/tokens/txt
2225+/* tre-606 %txt /tests/golden/types-scope-library-poke/tree/txt
2226+/* typ-606 %txt /tests/golden/types-scope-library-poke/types/txt
2227+/* src-607 %jibb /tests/golden/types-scope-root-api/source/jibb
2228+/* tok-607 %txt /tests/golden/types-scope-root-api/tokens/txt
2229+/* tre-607 %txt /tests/golden/types-scope-root-api/tree/txt
2230+/* typ-607 %txt /tests/golden/types-scope-root-api/types/txt
2231+/* src-608 %jibb /tests/golden/types-scope-store-duplicate/source/jibb
2232+/* tok-608 %txt /tests/golden/types-scope-store-duplicate/tokens/txt
2233+/* tre-608 %txt /tests/golden/types-scope-store-duplicate/tree/txt
2234+/* typ-608 %txt /tests/golden/types-scope-store-duplicate/types/txt
2235+/* src-609 %jibb /tests/golden/types-scope-store-shadow/source/jibb
2236+/* tok-609 %txt /tests/golden/types-scope-store-shadow/tokens/txt
2237+/* tre-609 %txt /tests/golden/types-scope-store-shadow/tree/txt
2238+/* typ-609 %txt /tests/golden/types-scope-store-shadow/types/txt
2239+/* src-610 %jibb /tests/golden/types-single-case-pattern/source/jibb
2240+/* tok-610 %txt /tests/golden/types-single-case-pattern/tokens/txt
2241+/* tre-610 %txt /tests/golden/types-single-case-pattern/tree/txt
2242+/* typ-610 %txt /tests/golden/types-single-case-pattern/types/txt
2243+/* src-611 %jibb /tests/golden/types-string-interpolation/source/jibb
2244+/* tok-611 %txt /tests/golden/types-string-interpolation/tokens/txt
2245+/* tre-611 %txt /tests/golden/types-string-interpolation/tree/txt
2246+/* typ-611 %txt /tests/golden/types-string-interpolation/types/txt
2247+/* src-612 %jibb /tests/golden/types-tuple-context/source/jibb
2248+/* tok-612 %txt /tests/golden/types-tuple-context/tokens/txt
2249+/* tre-612 %txt /tests/golden/types-tuple-context/tree/txt
2250+/* typ-612 %txt /tests/golden/types-tuple-context/types/txt
2251+/* src-613 %jibb /tests/golden/types-tuple-context-nested/source/jibb
2252+/* tok-613 %txt /tests/golden/types-tuple-context-nested/tokens/txt
2253+/* tre-613 %txt /tests/golden/types-tuple-context-nested/tree/txt
2254+/* typ-613 %txt /tests/golden/types-tuple-context-nested/types/txt
2255+/* src-614 %jibb /tests/golden/types-union-alias/source/jibb
2256+/* tok-614 %txt /tests/golden/types-union-alias/tokens/txt
2257+/* tre-614 %txt /tests/golden/types-union-alias/tree/txt
2258+/* typ-614 %txt /tests/golden/types-union-alias/types/txt
2259+/* src-615 %jibb /tests/golden/types-union-branch-context/source/jibb
2260+/* tok-615 %txt /tests/golden/types-union-branch-context/tokens/txt
2261+/* tre-615 %txt /tests/golden/types-union-branch-context/tree/txt
2262+/* typ-615 %txt /tests/golden/types-union-branch-context/types/txt
2263+/* src-616 %jibb /tests/golden/types-union-branch-pending/source/jibb
2264+/* tok-616 %txt /tests/golden/types-union-branch-pending/tokens/txt
2265+/* tre-616 %txt /tests/golden/types-union-branch-pending/tree/txt
2266+/* typ-616 %txt /tests/golden/types-union-branch-pending/types/txt
2267+/* src-617 %jibb /tests/golden/types-union-constructor-shape/source/jibb
2268+/* tok-617 %txt /tests/golden/types-union-constructor-shape/tokens/txt
2269+/* tre-617 %txt /tests/golden/types-union-constructor-shape/tree/txt
2270+/* typ-617 %txt /tests/golden/types-union-constructor-shape/types/txt
2271+/* src-618 %jibb /tests/golden/types-union-context-flow/source/jibb
2272+/* tok-618 %txt /tests/golden/types-union-context-flow/tokens/txt
2273+/* tre-618 %txt /tests/golden/types-union-context-flow/tree/txt
2274+/* typ-618 %txt /tests/golden/types-union-context-flow/types/txt
2275+/* src-619 %jibb /tests/golden/types-union-finite/source/jibb
2276+/* tok-619 %txt /tests/golden/types-union-finite/tokens/txt
2277+/* tre-619 %txt /tests/golden/types-union-finite/tree/txt
2278+/* typ-619 %txt /tests/golden/types-union-finite/types/txt
2279+/* src-620 %jibb /tests/golden/types-union-finite-context/source/jibb
2280+/* tok-620 %txt /tests/golden/types-union-finite-context/tokens/txt
2281+/* tre-620 %txt /tests/golden/types-union-finite-context/tree/txt
2282+/* typ-620 %txt /tests/golden/types-union-finite-context/types/txt
2283+/* src-621 %jibb /tests/golden/types-union-finite-generic/source/jibb
2284+/* tok-621 %txt /tests/golden/types-union-finite-generic/tokens/txt
2285+/* tre-621 %txt /tests/golden/types-union-finite-generic/tree/txt
2286+/* typ-621 %txt /tests/golden/types-union-finite-generic/types/txt
2287+/* src-622 %jibb /tests/golden/types-union-finite-limit/source/jibb
2288+/* tok-622 %txt /tests/golden/types-union-finite-limit/tokens/txt
2289+/* tre-622 %txt /tests/golden/types-union-finite-limit/tree/txt
2290+/* typ-622 %txt /tests/golden/types-union-finite-limit/types/txt
2291+/* src-623 %jibb /tests/golden/types-union-import/source/jibb
2292+/* tok-623 %txt /tests/golden/types-union-import/tokens/txt
2293+/* tre-623 %txt /tests/golden/types-union-import/tree/txt
2294+/* mod-623-1 %jibb /tests/golden/types-union-import/modules/ui/lib/jibb
2295+/* typ-623 %txt /tests/golden/types-union-import/types/txt
2296+/* mtre-623 %txt /tests/golden/types-union-import/module-trees/txt
2297+/* src-624 %jibb /tests/golden/types-union-local-pending/source/jibb
2298+/* tok-624 %txt /tests/golden/types-union-local-pending/tokens/txt
2299+/* tre-624 %txt /tests/golden/types-union-local-pending/tree/txt
2300+/* typ-624 %txt /tests/golden/types-union-local-pending/types/txt
2301+/* src-625 %jibb /tests/golden/types-union-nonwing-subject/source/jibb
2302+/* tok-625 %txt /tests/golden/types-union-nonwing-subject/tokens/txt
2303+/* tre-625 %txt /tests/golden/types-union-nonwing-subject/tree/txt
2304+/* typ-625 %txt /tests/golden/types-union-nonwing-subject/types/txt
2305+/* src-626 %jibb /tests/golden/types-union-overlap/source/jibb
2306+/* tok-626 %txt /tests/golden/types-union-overlap/tokens/txt
2307+/* tre-626 %txt /tests/golden/types-union-overlap/tree/txt
2308+/* typ-626 %txt /tests/golden/types-union-overlap/types/txt
2309+/* src-627 %jibb /tests/golden/types-union-overlap-nested/source/jibb
2310+/* tok-627 %txt /tests/golden/types-union-overlap-nested/tokens/txt
2311+/* tre-627 %txt /tests/golden/types-union-overlap-nested/tree/txt
2312+/* typ-627 %txt /tests/golden/types-union-overlap-nested/types/txt
2313+/* src-628 %jibb /tests/golden/types-union-pattern-result-context/source/jibb
2314+/* tok-628 %txt /tests/golden/types-union-pattern-result-context/tokens/txt
2315+/* tre-628 %txt /tests/golden/types-union-pattern-result-context/tree/txt
2316+/* typ-628 %txt /tests/golden/types-union-pattern-result-context/types/txt
2317+/* src-629 %jibb /tests/golden/types-union-pattern-result-controls/source/jibb
2318+/* tok-629 %txt /tests/golden/types-union-pattern-result-controls/tokens/txt
2319+/* tre-629 %txt /tests/golden/types-union-pattern-result-controls/tree/txt
2320+/* typ-629 %txt /tests/golden/types-union-pattern-result-controls/types/txt
2321+/* src-630 %jibb /tests/golden/types-union-patterns/source/jibb
2322+/* tok-630 %txt /tests/golden/types-union-patterns/tokens/txt
2323+/* tre-630 %txt /tests/golden/types-union-patterns/tree/txt
2324+/* typ-630 %txt /tests/golden/types-union-patterns/types/txt
2325+/* src-631 %jibb /tests/golden/types-union-patterns-generic/source/jibb
2326+/* tok-631 %txt /tests/golden/types-union-patterns-generic/tokens/txt
2327+/* tre-631 %txt /tests/golden/types-union-patterns-generic/tree/txt
2328+/* typ-631 %txt /tests/golden/types-union-patterns-generic/types/txt
2329+/* src-632 %jibb /tests/golden/types-union-patterns-import/source/jibb
2330+/* tok-632 %txt /tests/golden/types-union-patterns-import/tokens/txt
2331+/* tre-632 %txt /tests/golden/types-union-patterns-import/tree/txt
2332+/* mod-632-1 %jibb /tests/golden/types-union-patterns-import/modules/ui/lib/jibb
2333+/* typ-632 %txt /tests/golden/types-union-patterns-import/types/txt
2334+/* mtre-632 %txt /tests/golden/types-union-patterns-import/module-trees/txt
2335+/* src-633 %jibb /tests/golden/types-union-phantom-generic/source/jibb
2336+/* tok-633 %txt /tests/golden/types-union-phantom-generic/tokens/txt
2337+/* tre-633 %txt /tests/golden/types-union-phantom-generic/tree/txt
2338+/* typ-633 %txt /tests/golden/types-union-phantom-generic/types/txt
2339+/* src-634 %jibb /tests/golden/types-union-polymorphic-identity/source/jibb
2340+/* tok-634 %txt /tests/golden/types-union-polymorphic-identity/tokens/txt
2341+/* tre-634 %txt /tests/golden/types-union-polymorphic-identity/tree/txt
2342+/* mod-634-1 %jibb /tests/golden/types-union-polymorphic-identity/modules/ui/one/jibb
2343+/* mod-634-2 %jibb /tests/golden/types-union-polymorphic-identity/modules/ui/two/jibb
2344+/* typ-634 %txt /tests/golden/types-union-polymorphic-identity/types/txt
2345+/* mtre-634 %txt /tests/golden/types-union-polymorphic-identity/module-trees/txt
2346+/* src-635 %jibb /tests/golden/types-union-print-cross-namespace/source/jibb
2347+/* tok-635 %txt /tests/golden/types-union-print-cross-namespace/tokens/txt
2348+/* tre-635 %txt /tests/golden/types-union-print-cross-namespace/tree/txt
2349+/* mod-635-1 %jibb /tests/golden/types-union-print-cross-namespace/modules/ui/lib/jibb
2350+/* typ-635 %txt /tests/golden/types-union-print-cross-namespace/types/txt
2351+/* mtre-635 %txt /tests/golden/types-union-print-cross-namespace/module-trees/txt
2352+/* src-636 %jibb /tests/golden/types-union-print-distinct/source/jibb
2353+/* tok-636 %txt /tests/golden/types-union-print-distinct/tokens/txt
2354+/* tre-636 %txt /tests/golden/types-union-print-distinct/tree/txt
2355+/* mod-636-1 %jibb /tests/golden/types-union-print-distinct/modules/ui/left/jibb
2356+/* mod-636-2 %jibb /tests/golden/types-union-print-distinct/modules/ui/right/jibb
2357+/* mod-636-3 %jibb /tests/golden/types-union-print-distinct/modules/ui/twin/jibb
2358+/* typ-636 %txt /tests/golden/types-union-print-distinct/types/txt
2359+/* mtre-636 %txt /tests/golden/types-union-print-distinct/module-trees/txt
2360+/* src-637 %jibb /tests/golden/types-union-print-escape/source/jibb
2361+/* tok-637 %txt /tests/golden/types-union-print-escape/tokens/txt
2362+/* tre-637 %txt /tests/golden/types-union-print-escape/tree/txt
2363+/* typ-637 %txt /tests/golden/types-union-print-escape/types/txt
2364+/* src-638 %jibb /tests/golden/types-union-print-local/source/jibb
2365+/* tok-638 %txt /tests/golden/types-union-print-local/tokens/txt
2366+/* tre-638 %txt /tests/golden/types-union-print-local/tree/txt
2367+/* typ-638 %txt /tests/golden/types-union-print-local/types/txt
2368+/* src-639 %jibb /tests/golden/types-union-print-nested/source/jibb
2369+/* tok-639 %txt /tests/golden/types-union-print-nested/tokens/txt
2370+/* tre-639 %txt /tests/golden/types-union-print-nested/tree/txt
2371+/* typ-639 %txt /tests/golden/types-union-print-nested/types/txt
2372+/* src-640 %jibb /tests/golden/types-union-print-same-origin/source/jibb
2373+/* tok-640 %txt /tests/golden/types-union-print-same-origin/tokens/txt
2374+/* tre-640 %txt /tests/golden/types-union-print-same-origin/tree/txt
2375+/* mod-640-1 %jibb /tests/golden/types-union-print-same-origin/modules/ui/shared/jibb
2376+/* typ-640 %txt /tests/golden/types-union-print-same-origin/types/txt
2377+/* mtre-640 %txt /tests/golden/types-union-print-same-origin/module-trees/txt
2378+/* src-641 %jibb /tests/golden/types-union-print-transitive/source/jibb
2379+/* tok-641 %txt /tests/golden/types-union-print-transitive/tokens/txt
2380+/* tre-641 %txt /tests/golden/types-union-print-transitive/tree/txt
2381+/* mod-641-1 %jibb /tests/golden/types-union-print-transitive/modules/ui/mid/jibb
2382+/* mod-641-2 %jibb /tests/golden/types-union-print-transitive/modules/ui/base/jibb
2383+/* typ-641 %txt /tests/golden/types-union-print-transitive/types/txt
2384+/* mtre-641 %txt /tests/golden/types-union-print-transitive/module-trees/txt
2385+/* src-642 %jibb /tests/golden/types-union-singleton/source/jibb
2386+/* tok-642 %txt /tests/golden/types-union-singleton/tokens/txt
2387+/* tre-642 %txt /tests/golden/types-union-singleton/tree/txt
2388+/* typ-642 %txt /tests/golden/types-union-singleton/types/txt
2389+/* src-643 %jibb /tests/golden/types-union-tag-atoms/source/jibb
2390+/* tok-643 %txt /tests/golden/types-union-tag-atoms/tokens/txt
2391+/* tre-643 %txt /tests/golden/types-union-tag-atoms/tree/txt
2392+/* typ-643 %txt /tests/golden/types-union-tag-atoms/types/txt
2393+/* src-644 %jibb /tests/golden/types-union-tags/source/jibb
2394+/* tok-644 %txt /tests/golden/types-union-tags/tokens/txt
2395+/* tre-644 %txt /tests/golden/types-union-tags/tree/txt
2396+/* typ-644 %txt /tests/golden/types-union-tags/types/txt
2397+/* src-645 %jibb /tests/golden/types-union-unresolved/source/jibb
2398+/* tok-645 %txt /tests/golden/types-union-unresolved/tokens/txt
2399+/* tre-645 %txt /tests/golden/types-union-unresolved/tree/txt
2400+/* typ-645 %txt /tests/golden/types-union-unresolved/types/txt
2401+/* src-646 %jibb /tests/golden/types-union-unresolved-flow/source/jibb
2402+/* tok-646 %txt /tests/golden/types-union-unresolved-flow/tokens/txt
2403+/* tre-646 %txt /tests/golden/types-union-unresolved-flow/tree/txt
2404+/* typ-646 %txt /tests/golden/types-union-unresolved-flow/types/txt
2405+/* src-647 %jibb /tests/golden/types-unit-construction/source/jibb
2406+/* tok-647 %txt /tests/golden/types-unit-construction/tokens/txt
2407+/* tre-647 %txt /tests/golden/types-unit-construction/tree/txt
2408+/* typ-647 %txt /tests/golden/types-unit-construction/types/txt
2409+/* src-648 %jibb /tests/golden/types-unit-context/source/jibb
2410+/* tok-648 %txt /tests/golden/types-unit-context/tokens/txt
2411+/* tre-648 %txt /tests/golden/types-unit-context/tree/txt
2412+/* typ-648 %txt /tests/golden/types-unit-context/types/txt
2413+/* src-649 %jibb /tests/golden/types-unit-patterns/source/jibb
2414+/* tok-649 %txt /tests/golden/types-unit-patterns/tokens/txt
2415+/* tre-649 %txt /tests/golden/types-unit-patterns/tree/txt
2416+/* typ-649 %txt /tests/golden/types-unit-patterns/types/txt
2417+/* src-650 %jibb /tests/golden/types-value-cycle-shadow/source/jibb
2418+/* tok-650 %txt /tests/golden/types-value-cycle-shadow/tokens/txt
2419+/* tre-650 %txt /tests/golden/types-value-cycle-shadow/tree/txt
2420+/* typ-650 %txt /tests/golden/types-value-cycle-shadow/types/txt
2421+/* src-651 %jibb /tests/golden/types-value-cycle-unsupported/source/jibb
2422+/* tok-651 %txt /tests/golden/types-value-cycle-unsupported/tokens/txt
2423+/* tre-651 %txt /tests/golden/types-value-cycle-unsupported/tree/txt
2424+/* typ-651 %txt /tests/golden/types-value-cycle-unsupported/types/txt
2425+/* src-652 %jibb /tests/golden/types-value-cycles/source/jibb
2426+/* tok-652 %txt /tests/golden/types-value-cycles/tokens/txt
2427+/* tre-652 %txt /tests/golden/types-value-cycles/tree/txt
2428+/* typ-652 %txt /tests/golden/types-value-cycles/types/txt
24252429=/ prepared-prelude (prepare-prelude-with-internal:jibb prelude-source internal-source)
24262430|%
24272431:: one arm per case
@@ -3500,234 +3504,236 @@
35003504 (weld (check ~.types-prelude-bond src-536 `tok-536 `tre-536) (check-module-types ~.types-prelude-bond ~[%tests %golden ~.types-prelude-bond %source %jibb] src-536 `typ-536 ~ ~ ~))
35013505++ test-types-prelude-cmd
35023506 (weld (check ~.types-prelude-cmd src-537 `tok-537 `tre-537) (check-module-types ~.types-prelude-cmd ~[%tests %golden ~.types-prelude-cmd %source %jibb] src-537 `typ-537 ~ ~ ~))
3507+++ test-types-prelude-comparison
3508+ (weld (check ~.types-prelude-comparison src-538 `tok-538 `tre-538) (check-module-types ~.types-prelude-comparison ~[%tests %golden ~.types-prelude-comparison %source %jibb] src-538 `typ-538 ~ ~ ~))
35033509++ test-types-prelude-direct
3504− (weld (check ~.types-prelude-direct src-538 `tok-538 `tre-538) (check-module-types ~.types-prelude-direct ~[%tests %golden ~.types-prelude-direct %source %jibb] src-538 `typ-538 ~ ~ ~))
3510+ (weld (check ~.types-prelude-direct src-539 `tok-539 `tre-539) (check-module-types ~.types-prelude-direct ~[%tests %golden ~.types-prelude-direct %source %jibb] src-539 `typ-539 ~ ~ ~))
35053511++ test-types-prelude-functional
3506− (weld (check ~.types-prelude-functional src-539 `tok-539 `tre-539) (check-module-types ~.types-prelude-functional ~[%tests %golden ~.types-prelude-functional %source %jibb] src-539 `typ-539 ~ ~ ~))
3512+ (weld (check ~.types-prelude-functional src-540 `tok-540 `tre-540) (check-module-types ~.types-prelude-functional ~[%tests %golden ~.types-prelude-functional %source %jibb] src-540 `typ-540 ~ ~ ~))
35073513++ test-types-prelude-generic-alias
3508− (weld (weld (check ~.types-prelude-generic-alias src-540 `tok-540 `tre-540) (check-module-types ~.types-prelude-generic-alias ~[%tests %golden ~.types-prelude-generic-alias %source %jibb] src-540 `typ-540 ~ ~ ~[['/ui/alias-helper.jibb' ~[~.ui ~.alias-helper ~.jibb] mod-540-1]])) (check-module-trees ~.types-prelude-generic-alias `mtre-540 ~[['/ui/alias-helper.jibb' ~[~.ui ~.alias-helper ~.jibb] mod-540-1]]))
3514+ (weld (weld (check ~.types-prelude-generic-alias src-541 `tok-541 `tre-541) (check-module-types ~.types-prelude-generic-alias ~[%tests %golden ~.types-prelude-generic-alias %source %jibb] src-541 `typ-541 ~ ~ ~[['/ui/alias-helper.jibb' ~[~.ui ~.alias-helper ~.jibb] mod-541-1]])) (check-module-trees ~.types-prelude-generic-alias `mtre-541 ~[['/ui/alias-helper.jibb' ~[~.ui ~.alias-helper ~.jibb] mod-541-1]]))
35093515++ test-types-prelude-interface
3510− (weld (weld (check ~.types-prelude-interface src-541 `tok-541 `tre-541) (check-module-types ~.types-prelude-interface ~[%tests %golden ~.types-prelude-interface %source %jibb] src-541 `typ-541 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-541-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-541-2]])) (check-module-trees ~.types-prelude-interface `mtre-541 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-541-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-541-2]]))
3516+ (weld (weld (check ~.types-prelude-interface src-542 `tok-542 `tre-542) (check-module-types ~.types-prelude-interface ~[%tests %golden ~.types-prelude-interface %source %jibb] src-542 `typ-542 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-542-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-542-2]])) (check-module-trees ~.types-prelude-interface `mtre-542 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-542-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-542-2]]))
35113517++ test-types-prelude-lent
3512− (weld (check ~.types-prelude-lent src-542 `tok-542 `tre-542) (check-module-types ~.types-prelude-lent ~[%tests %golden ~.types-prelude-lent %source %jibb] src-542 `typ-542 ~ ~ ~))
3518+ (weld (check ~.types-prelude-lent src-543 `tok-543 `tre-543) (check-module-types ~.types-prelude-lent ~[%tests %golden ~.types-prelude-lent %source %jibb] src-543 `typ-543 ~ ~ ~))
35133519++ test-types-prelude-like
3514− (weld (check ~.types-prelude-like src-543 `tok-543 `tre-543) (check-module-types ~.types-prelude-like ~[%tests %golden ~.types-prelude-like %source %jibb] src-543 `typ-543 ~ ~ ~))
3520+ (weld (check ~.types-prelude-like src-544 `tok-544 `tre-544) (check-module-types ~.types-prelude-like ~[%tests %golden ~.types-prelude-like %source %jibb] src-544 `typ-544 ~ ~ ~))
35153521++ test-types-prelude-list-alias
3516− (weld (check ~.types-prelude-list-alias src-544 `tok-544 `tre-544) (check-module-types ~.types-prelude-list-alias ~[%tests %golden ~.types-prelude-list-alias %source %jibb] src-544 `typ-544 ~ ~ ~))
3522+ (weld (check ~.types-prelude-list-alias src-545 `tok-545 `tre-545) (check-module-types ~.types-prelude-list-alias ~[%tests %golden ~.types-prelude-list-alias %source %jibb] src-545 `typ-545 ~ ~ ~))
35173523++ test-types-prelude-list-functions
3518− (weld (weld (check ~.types-prelude-list-functions src-545 `tok-545 `tre-545) (check-module-types ~.types-prelude-list-functions ~[%tests %golden ~.types-prelude-list-functions %source %jibb] src-545 `typ-545 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-545-1]])) (check-module-trees ~.types-prelude-list-functions `mtre-545 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-545-1]]))
3524+ (weld (weld (check ~.types-prelude-list-functions src-546 `tok-546 `tre-546) (check-module-types ~.types-prelude-list-functions ~[%tests %golden ~.types-prelude-list-functions %source %jibb] src-546 `typ-546 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-546-1]])) (check-module-trees ~.types-prelude-list-functions `mtre-546 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-546-1]]))
35193525++ test-types-prelude-list-helpers
3520− (weld (check ~.types-prelude-list-helpers src-546 `tok-546 `tre-546) (check-module-types ~.types-prelude-list-helpers ~[%tests %golden ~.types-prelude-list-helpers %source %jibb] src-546 `typ-546 ~ ~ ~))
3526+ (weld (check ~.types-prelude-list-helpers src-547 `tok-547 `tre-547) (check-module-types ~.types-prelude-list-helpers ~[%tests %golden ~.types-prelude-list-helpers %source %jibb] src-547 `typ-547 ~ ~ ~))
35213527++ test-types-prelude-predicates
3522− (weld (check ~.types-prelude-predicates src-547 `tok-547 `tre-547) (check-module-types ~.types-prelude-predicates ~[%tests %golden ~.types-prelude-predicates %source %jibb] src-547 `typ-547 ~ ~ ~))
3528+ (weld (check ~.types-prelude-predicates src-548 `tok-548 `tre-548) (check-module-types ~.types-prelude-predicates ~[%tests %golden ~.types-prelude-predicates %source %jibb] src-548 `typ-548 ~ ~ ~))
35233529++ test-types-prelude-sub
3524− (weld (check ~.types-prelude-sub src-548 `tok-548 `tre-548) (check-module-types ~.types-prelude-sub ~[%tests %golden ~.types-prelude-sub %source %jibb] src-548 `typ-548 ~ ~ ~))
3530+ (weld (check ~.types-prelude-sub src-549 `tok-549 `tre-549) (check-module-types ~.types-prelude-sub ~[%tests %golden ~.types-prelude-sub %source %jibb] src-549 `typ-549 ~ ~ ~))
35253531++ test-types-prelude-sub-nested
3526− (weld (check ~.types-prelude-sub-nested src-549 `tok-549 `tre-549) (check-module-types ~.types-prelude-sub-nested ~[%tests %golden ~.types-prelude-sub-nested %source %jibb] src-549 `typ-549 ~ ~ ~))
3532+ (weld (check ~.types-prelude-sub-nested src-550 `tok-550 `tre-550) (check-module-types ~.types-prelude-sub-nested ~[%tests %golden ~.types-prelude-sub-nested %source %jibb] src-550 `typ-550 ~ ~ ~))
35273533++ test-types-prelude-unit-helpers
3528− (weld (check ~.types-prelude-unit-helpers src-550 `tok-550 `tre-550) (check-module-types ~.types-prelude-unit-helpers ~[%tests %golden ~.types-prelude-unit-helpers %source %jibb] src-550 `typ-550 ~ ~ ~))
3534+ (weld (check ~.types-prelude-unit-helpers src-551 `tok-551 `tre-551) (check-module-types ~.types-prelude-unit-helpers ~[%tests %golden ~.types-prelude-unit-helpers %source %jibb] src-551 `typ-551 ~ ~ ~))
35293535++ test-types-proj-explicit-context
3530− (weld (check ~.types-proj-explicit-context src-551 `tok-551 `tre-551) (check-module-types ~.types-proj-explicit-context ~[%tests %golden ~.types-proj-explicit-context %source %jibb] src-551 `typ-551 ~ ~ ~))
3536+ (weld (check ~.types-proj-explicit-context src-552 `tok-552 `tre-552) (check-module-types ~.types-proj-explicit-context ~[%tests %golden ~.types-proj-explicit-context %source %jibb] src-552 `typ-552 ~ ~ ~))
35313537++ test-types-proj-nested-no-implicit
3532− (weld (check ~.types-proj-nested-no-implicit src-552 `tok-552 `tre-552) (check-module-types ~.types-proj-nested-no-implicit ~[%tests %golden ~.types-proj-nested-no-implicit %source %jibb] src-552 `typ-552 ~ ~ ~))
3538+ (weld (check ~.types-proj-nested-no-implicit src-553 `tok-553 `tre-553) (check-module-types ~.types-proj-nested-no-implicit ~[%tests %golden ~.types-proj-nested-no-implicit %source %jibb] src-553 `typ-553 ~ ~ ~))
35333539++ test-types-proj-reserved-imported-definition
3534− (weld (weld (check ~.types-proj-reserved-imported-definition src-553 `tok-553 `tre-553) (check-module-types ~.types-proj-reserved-imported-definition ~[%tests %golden ~.types-proj-reserved-imported-definition %source %jibb] src-553 `typ-553 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-553-1]])) (check-module-trees ~.types-proj-reserved-imported-definition `mtre-553 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-553-1]]))
3540+ (weld (weld (check ~.types-proj-reserved-imported-definition src-554 `tok-554 `tre-554) (check-module-types ~.types-proj-reserved-imported-definition ~[%tests %golden ~.types-proj-reserved-imported-definition %source %jibb] src-554 `typ-554 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-554-1]])) (check-module-trees ~.types-proj-reserved-imported-definition `mtre-554 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-554-1]]))
35353541++ test-types-proj-reserved-jibb-import
3536− (weld (weld (check ~.types-proj-reserved-jibb-import src-554 `tok-554 `tre-554) (check-module-types ~.types-proj-reserved-jibb-import ~[%tests %golden ~.types-proj-reserved-jibb-import %source %jibb] src-554 `typ-554 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-554-1]])) (check-module-trees ~.types-proj-reserved-jibb-import `mtre-554 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-554-1]]))
3542+ (weld (weld (check ~.types-proj-reserved-jibb-import src-555 `tok-555 `tre-555) (check-module-types ~.types-proj-reserved-jibb-import ~[%tests %golden ~.types-proj-reserved-jibb-import %source %jibb] src-555 `typ-555 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-555-1]])) (check-module-trees ~.types-proj-reserved-jibb-import `mtre-555 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-555-1]]))
35373543++ test-types-proj-reserved-local
3538− (weld (check ~.types-proj-reserved-local src-555 `tok-555 `tre-555) (check-module-types ~.types-proj-reserved-local ~[%tests %golden ~.types-proj-reserved-local %source %jibb] src-555 `typ-555 ~ ~ ~))
3544+ (weld (check ~.types-proj-reserved-local src-556 `tok-556 `tre-556) (check-module-types ~.types-proj-reserved-local ~[%tests %golden ~.types-proj-reserved-local %source %jibb] src-556 `typ-556 ~ ~ ~))
35393545++ test-types-proj-reserved-local-mold
3540− (weld (check ~.types-proj-reserved-local-mold src-556 `tok-556 `tre-556) (check-module-types ~.types-proj-reserved-local-mold ~[%tests %golden ~.types-proj-reserved-local-mold %source %jibb] src-556 `typ-556 ~ ~ ~))
3546+ (weld (check ~.types-proj-reserved-local-mold src-557 `tok-557 `tre-557) (check-module-types ~.types-proj-reserved-local-mold ~[%tests %golden ~.types-proj-reserved-local-mold %source %jibb] src-557 `typ-557 ~ ~ ~))
35413547++ test-types-proj-reserved-mark-import
3542− (weld (check ~.types-proj-reserved-mark-import src-557 `tok-557 `tre-557) (check-module-types ~.types-proj-reserved-mark-import ~[%tests %golden ~.types-proj-reserved-mark-import %source %jibb] src-557 `typ-557 ~ ~ ~))
3548+ (weld (check ~.types-proj-reserved-mark-import src-558 `tok-558 `tre-558) (check-module-types ~.types-proj-reserved-mark-import ~[%tests %golden ~.types-proj-reserved-mark-import %source %jibb] src-558 `typ-558 ~ ~ ~))
35433549++ test-types-proj-reserved-mold
3544− (weld (check ~.types-proj-reserved-mold src-558 `tok-558 `tre-558) (check-module-types ~.types-proj-reserved-mold ~[%tests %golden ~.types-proj-reserved-mold %source %jibb] src-558 `typ-558 ~ ~ ~))
3550+ (weld (check ~.types-proj-reserved-mold src-559 `tok-559 `tre-559) (check-module-types ~.types-proj-reserved-mold ~[%tests %golden ~.types-proj-reserved-mold %source %jibb] src-559 `typ-559 ~ ~ ~))
35453551++ test-types-proj-reserved-pattern
3546− (weld (check ~.types-proj-reserved-pattern src-559 `tok-559 `tre-559) (check-module-types ~.types-proj-reserved-pattern ~[%tests %golden ~.types-proj-reserved-pattern %source %jibb] src-559 `typ-559 ~ ~ ~))
3552+ (weld (check ~.types-proj-reserved-pattern src-560 `tok-560 `tre-560) (check-module-types ~.types-proj-reserved-pattern ~[%tests %golden ~.types-proj-reserved-pattern %source %jibb] src-560 `typ-560 ~ ~ ~))
35473553++ test-types-proj-reserved-positive
3548− (weld (check ~.types-proj-reserved-positive src-560 `tok-560 `tre-560) (check-module-types ~.types-proj-reserved-positive ~[%tests %golden ~.types-proj-reserved-positive %source %jibb] src-560 `typ-560 ~ ~ ~))
3554+ (weld (check ~.types-proj-reserved-positive src-561 `tok-561 `tre-561) (check-module-types ~.types-proj-reserved-positive ~[%tests %golden ~.types-proj-reserved-positive %source %jibb] src-561 `typ-561 ~ ~ ~))
35493555++ test-types-proj-reserved-sample
3550− (weld (check ~.types-proj-reserved-sample src-561 `tok-561 `tre-561) (check-module-types ~.types-proj-reserved-sample ~[%tests %golden ~.types-proj-reserved-sample %source %jibb] src-561 `typ-561 ~ ~ ~))
3556+ (weld (check ~.types-proj-reserved-sample src-562 `tok-562 `tre-562) (check-module-types ~.types-proj-reserved-sample ~[%tests %golden ~.types-proj-reserved-sample %source %jibb] src-562 `typ-562 ~ ~ ~))
35513557++ test-types-proj-reserved-sur-import
3552− (weld (check ~.types-proj-reserved-sur-import src-562 `tok-562 `tre-562) (check-module-types ~.types-proj-reserved-sur-import ~[%tests %golden ~.types-proj-reserved-sur-import %source %jibb] src-562 `typ-562 ~ ~ ~))
3558+ (weld (check ~.types-proj-reserved-sur-import src-563 `tok-563 `tre-563) (check-module-types ~.types-proj-reserved-sur-import ~[%tests %golden ~.types-proj-reserved-sur-import %source %jibb] src-563 `typ-563 ~ ~ ~))
35533559++ test-types-proj-reserved-unused-pattern
3554− (weld (check ~.types-proj-reserved-unused-pattern src-563 `tok-563 `tre-563) (check-module-types ~.types-proj-reserved-unused-pattern ~[%tests %golden ~.types-proj-reserved-unused-pattern %source %jibb] src-563 `typ-563 ~ ~ ~))
3560+ (weld (check ~.types-proj-reserved-unused-pattern src-564 `tok-564 `tre-564) (check-module-types ~.types-proj-reserved-unused-pattern ~[%tests %golden ~.types-proj-reserved-unused-pattern %source %jibb] src-564 `typ-564 ~ ~ ~))
35553561++ test-types-proj-reserved-unused-sample
3556− (weld (check ~.types-proj-reserved-unused-sample src-564 `tok-564 `tre-564) (check-module-types ~.types-proj-reserved-unused-sample ~[%tests %golden ~.types-proj-reserved-unused-sample %source %jibb] src-564 `typ-564 ~ ~ ~))
3562+ (weld (check ~.types-proj-reserved-unused-sample src-565 `tok-565 `tre-565) (check-module-types ~.types-proj-reserved-unused-sample ~[%tests %golden ~.types-proj-reserved-unused-sample %source %jibb] src-565 `typ-565 ~ ~ ~))
35573563++ test-types-proj-reserved-unused-value
3558− (weld (check ~.types-proj-reserved-unused-value src-565 `tok-565 `tre-565) (check-module-types ~.types-proj-reserved-unused-value ~[%tests %golden ~.types-proj-reserved-unused-value %source %jibb] src-565 `typ-565 ~ ~ ~))
3564+ (weld (check ~.types-proj-reserved-unused-value src-566 `tok-566 `tre-566) (check-module-types ~.types-proj-reserved-unused-value ~[%tests %golden ~.types-proj-reserved-unused-value %source %jibb] src-566 `typ-566 ~ ~ ~))
35593565++ test-types-proj-reserved-value
3560− (weld (check ~.types-proj-reserved-value src-566 `tok-566 `tre-566) (check-module-types ~.types-proj-reserved-value ~[%tests %golden ~.types-proj-reserved-value %source %jibb] src-566 `typ-566 ~ ~ ~))
3566+ (weld (check ~.types-proj-reserved-value src-567 `tok-567 `tre-567) (check-module-types ~.types-proj-reserved-value ~[%tests %golden ~.types-proj-reserved-value %source %jibb] src-567 `typ-567 ~ ~ ~))
35613567++ test-types-proj-single-duplicate
3562− (weld (check ~.types-proj-single-duplicate src-567 `tok-567 `tre-567) (check-module-types ~.types-proj-single-duplicate ~[%tests %golden ~.types-proj-single-duplicate %source %jibb] src-567 `typ-567 ~ ~ ~))
3568+ (weld (check ~.types-proj-single-duplicate src-568 `tok-568 `tre-568) (check-module-types ~.types-proj-single-duplicate ~[%tests %golden ~.types-proj-single-duplicate %source %jibb] src-568 `typ-568 ~ ~ ~))
35633569++ test-types-proj-single-field
3564− (weld (check ~.types-proj-single-field src-568 `tok-568 `tre-568) (check-module-types ~.types-proj-single-field ~[%tests %golden ~.types-proj-single-field %source %jibb] src-568 `typ-568 ~ ~ ~))
3570+ (weld (check ~.types-proj-single-field src-569 `tok-569 `tre-569) (check-module-types ~.types-proj-single-field ~[%tests %golden ~.types-proj-single-field %source %jibb] src-569 `typ-569 ~ ~ ~))
35653571++ test-types-proj-single-sample-face
3566− (weld (check ~.types-proj-single-sample-face src-569 `tok-569 `tre-569) (check-module-types ~.types-proj-single-sample-face ~[%tests %golden ~.types-proj-single-sample-face %source %jibb] src-569 `typ-569 ~ ~ ~))
3572+ (weld (check ~.types-proj-single-sample-face src-570 `tok-570 `tre-570) (check-module-types ~.types-proj-single-sample-face ~[%tests %golden ~.types-proj-single-sample-face %source %jibb] src-570 `typ-570 ~ ~ ~))
35673573++ test-types-proj-single-wrapped
3568− (weld (check ~.types-proj-single-wrapped src-570 `tok-570 `tre-570) (check-module-types ~.types-proj-single-wrapped ~[%tests %golden ~.types-proj-single-wrapped %source %jibb] src-570 `typ-570 ~ ~ ~))
3574+ (weld (check ~.types-proj-single-wrapped src-571 `tok-571 `tre-571) (check-module-types ~.types-proj-single-wrapped ~[%tests %golden ~.types-proj-single-wrapped %source %jibb] src-571 `typ-571 ~ ~ ~))
35693575++ test-types-qath-faces
3570− (weld (check ~.types-qath-faces src-571 `tok-571 `tre-571) (check-module-types ~.types-qath-faces ~[%tests %golden ~.types-qath-faces %source %jibb] src-571 `typ-571 ~ ~ ~))
3576+ (weld (check ~.types-qath-faces src-572 `tok-572 `tre-572) (check-module-types ~.types-qath-faces ~[%tests %golden ~.types-qath-faces %source %jibb] src-572 `typ-572 ~ ~ ~))
35713577++ test-types-qath-holes
3572− (weld (check ~.types-qath-holes src-572 `tok-572 `tre-572) (check-module-types ~.types-qath-holes ~[%tests %golden ~.types-qath-holes %source %jibb] src-572 `typ-572 ~ ~ ~))
3578+ (weld (check ~.types-qath-holes src-573 `tok-573 `tre-573) (check-module-types ~.types-qath-holes ~[%tests %golden ~.types-qath-holes %source %jibb] src-573 `typ-573 ~ ~ ~))
35733579++ test-types-qath-module-identity
3574− (weld (weld (check ~.types-qath-module-identity src-573 `tok-573 `tre-573) (check-module-types ~.types-qath-module-identity ~[%tests %golden ~.types-qath-module-identity %source %jibb] src-573 `typ-573 ~ ~ ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-573-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-573-2] ['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-573-3]])) (check-module-trees ~.types-qath-module-identity `mtre-573 ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-573-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-573-2] ['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-573-3]]))
3580+ (weld (weld (check ~.types-qath-module-identity src-574 `tok-574 `tre-574) (check-module-types ~.types-qath-module-identity ~[%tests %golden ~.types-qath-module-identity %source %jibb] src-574 `typ-574 ~ ~ ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-574-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-574-2] ['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-574-3]])) (check-module-trees ~.types-qath-module-identity `mtre-574 ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-574-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-574-2] ['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-574-3]]))
35753581++ test-types-qath-recursive
3576− (weld (check ~.types-qath-recursive src-574 `tok-574 `tre-574) (check-module-types ~.types-qath-recursive ~[%tests %golden ~.types-qath-recursive %source %jibb] src-574 `typ-574 ~ ~ ~))
3582+ (weld (check ~.types-qath-recursive src-575 `tok-575 `tre-575) (check-module-types ~.types-qath-recursive ~[%tests %golden ~.types-qath-recursive %source %jibb] src-575 `typ-575 ~ ~ ~))
35773583++ test-types-record-bound-variable
3578− (weld (check ~.types-record-bound-variable src-575 `tok-575 `tre-575) (check-types ~.types-record-bound-variable ~[%tests %golden ~.types-record-bound-variable %source %jibb] src-575 `typ-575))
3584+ (weld (check ~.types-record-bound-variable src-576 `tok-576 `tre-576) (check-types ~.types-record-bound-variable ~[%tests %golden ~.types-record-bound-variable %source %jibb] src-576 `typ-576))
35793585++ test-types-record-cast-context
3580− (weld (check ~.types-record-cast-context src-576 `tok-576 `tre-576) (check-module-types ~.types-record-cast-context ~[%tests %golden ~.types-record-cast-context %source %jibb] src-576 `typ-576 ~ ~ ~))
3586+ (weld (check ~.types-record-cast-context src-577 `tok-577 `tre-577) (check-module-types ~.types-record-cast-context ~[%tests %golden ~.types-record-cast-context %source %jibb] src-577 `typ-577 ~ ~ ~))
35813587++ test-types-record-change
3582− (weld (check ~.types-record-change src-577 `tok-577 `tre-577) (check-module-types ~.types-record-change ~[%tests %golden ~.types-record-change %source %jibb] src-577 `typ-577 ~ ~ ~))
3588+ (weld (check ~.types-record-change src-578 `tok-578 `tre-578) (check-module-types ~.types-record-change ~[%tests %golden ~.types-record-change %source %jibb] src-578 `typ-578 ~ ~ ~))
35833589++ test-types-record-change-generic
3584− (weld (check ~.types-record-change-generic src-578 `tok-578 `tre-578) (check-module-types ~.types-record-change-generic ~[%tests %golden ~.types-record-change-generic %source %jibb] src-578 `typ-578 ~ ~ ~))
3590+ (weld (check ~.types-record-change-generic src-579 `tok-579 `tre-579) (check-module-types ~.types-record-change-generic ~[%tests %golden ~.types-record-change-generic %source %jibb] src-579 `typ-579 ~ ~ ~))
35853591++ test-types-record-faces
3586− (weld (check ~.types-record-faces src-579 `tok-579 `tre-579) (check-types ~.types-record-faces ~[%tests %golden ~.types-record-faces %source %jibb] src-579 `typ-579))
3592+ (weld (check ~.types-record-faces src-580 `tok-580 `tre-580) (check-types ~.types-record-faces ~[%tests %golden ~.types-record-faces %source %jibb] src-580 `typ-580))
35873593++ test-types-record-field-edit-separate
3588− (weld (check ~.types-record-field-edit-separate src-580 `tok-580 `tre-580) (check-types ~.types-record-field-edit-separate ~[%tests %golden ~.types-record-field-edit-separate %source %jibb] src-580 `typ-580))
3594+ (weld (check ~.types-record-field-edit-separate src-581 `tok-581 `tre-581) (check-types ~.types-record-field-edit-separate ~[%tests %golden ~.types-record-field-edit-separate %source %jibb] src-581 `typ-581))
35893595++ test-types-record-field-expr-duplicate
3590− (weld (check ~.types-record-field-expr-duplicate src-581 `tok-581 `tre-581) (check-types ~.types-record-field-expr-duplicate ~[%tests %golden ~.types-record-field-expr-duplicate %source %jibb] src-581 `typ-581))
3596+ (weld (check ~.types-record-field-expr-duplicate src-582 `tok-582 `tre-582) (check-types ~.types-record-field-expr-duplicate ~[%tests %golden ~.types-record-field-expr-duplicate %source %jibb] src-582 `typ-582))
35913597++ test-types-record-field-expr-separate
3592− (weld (check ~.types-record-field-expr-separate src-582 `tok-582 `tre-582) (check-types ~.types-record-field-expr-separate ~[%tests %golden ~.types-record-field-expr-separate %source %jibb] src-582 `typ-582))
3598+ (weld (check ~.types-record-field-expr-separate src-583 `tok-583 `tre-583) (check-types ~.types-record-field-expr-separate ~[%tests %golden ~.types-record-field-expr-separate %source %jibb] src-583 `typ-583))
35933599++ test-types-record-field-module-reachable
3594− (weld (weld (check ~.types-record-field-module-reachable src-583 `tok-583 `tre-583) (check-module-types ~.types-record-field-module-reachable ~[%tests %golden ~.types-record-field-module-reachable %source %jibb] src-583 `typ-583 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-583-1]])) (check-module-trees ~.types-record-field-module-reachable `mtre-583 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-583-1]]))
3600+ (weld (weld (check ~.types-record-field-module-reachable src-584 `tok-584 `tre-584) (check-module-types ~.types-record-field-module-reachable ~[%tests %golden ~.types-record-field-module-reachable %source %jibb] src-584 `typ-584 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-584-1]])) (check-module-trees ~.types-record-field-module-reachable `mtre-584 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-584-1]]))
35953601++ test-types-record-field-module-unused
3596− (weld (weld (check ~.types-record-field-module-unused src-584 `tok-584 `tre-584) (check-module-types ~.types-record-field-module-unused ~[%tests %golden ~.types-record-field-module-unused %source %jibb] src-584 `typ-584 ~ ~ ~[['/ui/good.jibb' ~[~.ui ~.good ~.jibb] mod-584-1] ['/ui/unused.jibb' ~[~.ui ~.unused ~.jibb] mod-584-2]])) (check-module-trees ~.types-record-field-module-unused `mtre-584 ~[['/ui/good.jibb' ~[~.ui ~.good ~.jibb] mod-584-1] ['/ui/unused.jibb' ~[~.ui ~.unused ~.jibb] mod-584-2]]))
3602+ (weld (weld (check ~.types-record-field-module-unused src-585 `tok-585 `tre-585) (check-module-types ~.types-record-field-module-unused ~[%tests %golden ~.types-record-field-module-unused %source %jibb] src-585 `typ-585 ~ ~ ~[['/ui/good.jibb' ~[~.ui ~.good ~.jibb] mod-585-1] ['/ui/unused.jibb' ~[~.ui ~.unused ~.jibb] mod-585-2]])) (check-module-trees ~.types-record-field-module-unused `mtre-585 ~[['/ui/good.jibb' ~[~.ui ~.good ~.jibb] mod-585-1] ['/ui/unused.jibb' ~[~.ui ~.unused ~.jibb] mod-585-2]]))
35973603++ test-types-record-field-nested-mold
3598− (weld (check ~.types-record-field-nested-mold src-585 `tok-585 `tre-585) (check-types ~.types-record-field-nested-mold ~[%tests %golden ~.types-record-field-nested-mold %source %jibb] src-585 `typ-585))
3604+ (weld (check ~.types-record-field-nested-mold src-586 `tok-586 `tre-586) (check-types ~.types-record-field-nested-mold ~[%tests %golden ~.types-record-field-nested-mold %source %jibb] src-586 `typ-586))
35993605++ test-types-record-field-outer-inner
3600− (weld (check ~.types-record-field-outer-inner src-586 `tok-586 `tre-586) (check-types ~.types-record-field-outer-inner ~[%tests %golden ~.types-record-field-outer-inner %source %jibb] src-586 `typ-586))
3606+ (weld (check ~.types-record-field-outer-inner src-587 `tok-587 `tre-587) (check-types ~.types-record-field-outer-inner ~[%tests %golden ~.types-record-field-outer-inner %source %jibb] src-587 `typ-587))
36013607++ test-types-record-field-sample-duplicate
3602− (weld (check ~.types-record-field-sample-duplicate src-587 `tok-587 `tre-587) (check-types ~.types-record-field-sample-duplicate ~[%tests %golden ~.types-record-field-sample-duplicate %source %jibb] src-587 `typ-587))
3608+ (weld (check ~.types-record-field-sample-duplicate src-588 `tok-588 `tre-588) (check-types ~.types-record-field-sample-duplicate ~[%tests %golden ~.types-record-field-sample-duplicate %source %jibb] src-588 `typ-588))
36033609++ test-types-record-field-separate-molds
3604− (weld (check ~.types-record-field-separate-molds src-588 `tok-588 `tre-588) (check-types ~.types-record-field-separate-molds ~[%tests %golden ~.types-record-field-separate-molds %source %jibb] src-588 `typ-588))
3610+ (weld (check ~.types-record-field-separate-molds src-589 `tok-589 `tre-589) (check-types ~.types-record-field-separate-molds ~[%tests %golden ~.types-record-field-separate-molds %source %jibb] src-589 `typ-589))
36053611++ test-types-record-field-unused-mold
3606− (weld (check ~.types-record-field-unused-mold src-589 `tok-589 `tre-589) (check-types ~.types-record-field-unused-mold ~[%tests %golden ~.types-record-field-unused-mold %source %jibb] src-589 `typ-589))
3612+ (weld (check ~.types-record-field-unused-mold src-590 `tok-590 `tre-590) (check-types ~.types-record-field-unused-mold ~[%tests %golden ~.types-record-field-unused-mold %source %jibb] src-590 `typ-590))
36073613++ test-types-record-import
3608− (weld (weld (check ~.types-record-import src-590 `tok-590 `tre-590) (check-module-types ~.types-record-import ~[%tests %golden ~.types-record-import %source %jibb] src-590 `typ-590 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-590-1]])) (check-module-trees ~.types-record-import `mtre-590 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-590-1]]))
3614+ (weld (weld (check ~.types-record-import src-591 `tok-591 `tre-591) (check-module-types ~.types-record-import ~[%tests %golden ~.types-record-import %source %jibb] src-591 `typ-591 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-591-1]])) (check-module-trees ~.types-record-import `mtre-591 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-591-1]]))
36093615++ test-types-record-local-scheme
3610− (weld (check ~.types-record-local-scheme src-591 `tok-591 `tre-591) (check-types ~.types-record-local-scheme ~[%tests %golden ~.types-record-local-scheme %source %jibb] src-591 `typ-591))
3616+ (weld (check ~.types-record-local-scheme src-592 `tok-592 `tre-592) (check-types ~.types-record-local-scheme ~[%tests %golden ~.types-record-local-scheme %source %jibb] src-592 `typ-592))
36113617++ test-types-record-nested
3612− (weld (check ~.types-record-nested src-592 `tok-592 `tre-592) (check-types ~.types-record-nested ~[%tests %golden ~.types-record-nested %source %jibb] src-592 `typ-592))
3618+ (weld (check ~.types-record-nested src-593 `tok-593 `tre-593) (check-types ~.types-record-nested ~[%tests %golden ~.types-record-nested %source %jibb] src-593 `typ-593))
36133619++ test-types-record-to-tuple
3614− (weld (check ~.types-record-to-tuple src-593 `tok-593 `tre-593) (check-types ~.types-record-to-tuple ~[%tests %golden ~.types-record-to-tuple %source %jibb] src-593 `typ-593))
3620+ (weld (check ~.types-record-to-tuple src-594 `tok-594 `tre-594) (check-types ~.types-record-to-tuple ~[%tests %golden ~.types-record-to-tuple %source %jibb] src-594 `typ-594))
36153621++ test-types-recursion-scc-failures
3616− (weld (check ~.types-recursion-scc-failures src-594 `tok-594 `tre-594) (check-module-types ~.types-recursion-scc-failures ~[%tests %golden ~.types-recursion-scc-failures %source %jibb] src-594 `typ-594 ~ ~ ~))
3622+ (weld (check ~.types-recursion-scc-failures src-595 `tok-595 `tre-595) (check-module-types ~.types-recursion-scc-failures ~[%tests %golden ~.types-recursion-scc-failures %source %jibb] src-595 `typ-595 ~ ~ ~))
36173623++ test-types-recursion-scc-groups
3618− (weld (check ~.types-recursion-scc-groups src-595 `tok-595 `tre-595) (check-module-types ~.types-recursion-scc-groups ~[%tests %golden ~.types-recursion-scc-groups %source %jibb] src-595 `typ-595 ~ ~ ~))
3624+ (weld (check ~.types-recursion-scc-groups src-596 `tok-596 `tre-596) (check-module-types ~.types-recursion-scc-groups ~[%tests %golden ~.types-recursion-scc-groups %source %jibb] src-596 `typ-596 ~ ~ ~))
36193625++ test-types-recursion-scc-import
3620− (weld (weld (check ~.types-recursion-scc-import src-596 `tok-596 `tre-596) (check-module-types ~.types-recursion-scc-import ~[%tests %golden ~.types-recursion-scc-import %source %jibb] src-596 `typ-596 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-596-1]])) (check-module-trees ~.types-recursion-scc-import `mtre-596 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-596-1]]))
3626+ (weld (weld (check ~.types-recursion-scc-import src-597 `tok-597 `tre-597) (check-module-types ~.types-recursion-scc-import ~[%tests %golden ~.types-recursion-scc-import %source %jibb] src-597 `typ-597 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-597-1]])) (check-module-trees ~.types-recursion-scc-import `mtre-597 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-597-1]]))
36213627++ test-types-recursion-scc-import-bad
3622− (weld (weld (check ~.types-recursion-scc-import-bad src-597 `tok-597 `tre-597) (check-module-types ~.types-recursion-scc-import-bad ~[%tests %golden ~.types-recursion-scc-import-bad %source %jibb] src-597 `typ-597 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-597-1]])) (check-module-trees ~.types-recursion-scc-import-bad `mtre-597 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-597-1]]))
3628+ (weld (weld (check ~.types-recursion-scc-import-bad src-598 `tok-598 `tre-598) (check-module-types ~.types-recursion-scc-import-bad ~[%tests %golden ~.types-recursion-scc-import-bad %source %jibb] src-598 `typ-598 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-598-1]])) (check-module-trees ~.types-recursion-scc-import-bad `mtre-598 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-598-1]]))
36233629++ test-types-recursion-scc-local
3624− (weld (check ~.types-recursion-scc-local src-598 `tok-598 `tre-598) (check-module-types ~.types-recursion-scc-local ~[%tests %golden ~.types-recursion-scc-local %source %jibb] src-598 `typ-598 ~ ~ ~))
3630+ (weld (check ~.types-recursion-scc-local src-599 `tok-599 `tre-599) (check-module-types ~.types-recursion-scc-local ~[%tests %golden ~.types-recursion-scc-local %source %jibb] src-599 `typ-599 ~ ~ ~))
36253631++ test-types-recursion-scc-order
3626− (weld (check ~.types-recursion-scc-order src-599 `tok-599 `tre-599) (check-module-types ~.types-recursion-scc-order ~[%tests %golden ~.types-recursion-scc-order %source %jibb] src-599 `typ-599 ~ ~ ~))
3632+ (weld (check ~.types-recursion-scc-order src-600 `tok-600 `tre-600) (check-module-types ~.types-recursion-scc-order ~[%tests %golden ~.types-recursion-scc-order %source %jibb] src-600 `typ-600 ~ ~ ~))
36273633++ test-types-recursion-scc-shadow
3628− (weld (check ~.types-recursion-scc-shadow src-600 `tok-600 `tre-600) (check-module-types ~.types-recursion-scc-shadow ~[%tests %golden ~.types-recursion-scc-shadow %source %jibb] src-600 `typ-600 ~ ~ ~))
3634+ (weld (check ~.types-recursion-scc-shadow src-601 `tok-601 `tre-601) (check-module-types ~.types-recursion-scc-shadow ~[%tests %golden ~.types-recursion-scc-shadow %source %jibb] src-601 `typ-601 ~ ~ ~))
36293635++ test-types-recursive-branch
3630− (weld (check ~.types-recursive-branch src-601 `tok-601 `tre-601) (check-module-types ~.types-recursive-branch ~[%tests %golden ~.types-recursive-branch %source %jibb] src-601 `typ-601 ~ ~ ~))
3636+ (weld (check ~.types-recursive-branch src-602 `tok-602 `tre-602) (check-module-types ~.types-recursive-branch ~[%tests %golden ~.types-recursive-branch %source %jibb] src-602 `typ-602 ~ ~ ~))
36313637++ test-types-recursive-gate
3632− (weld (check ~.types-recursive-gate src-602 `tok-602 `tre-602) (check-types ~.types-recursive-gate ~[%tests %golden ~.types-recursive-gate %source %jibb] src-602 `typ-602))
3638+ (weld (check ~.types-recursive-gate src-603 `tok-603 `tre-603) (check-types ~.types-recursive-gate ~[%tests %golden ~.types-recursive-gate %source %jibb] src-603 `typ-603))
36333639++ test-types-recursive-sample
3634− (weld (check ~.types-recursive-sample src-603 `tok-603 `tre-603) (check-types ~.types-recursive-sample ~[%tests %golden ~.types-recursive-sample %source %jibb] src-603 `typ-603))
3640+ (weld (check ~.types-recursive-sample src-604 `tok-604 `tre-604) (check-types ~.types-recursive-sample ~[%tests %golden ~.types-recursive-sample %source %jibb] src-604 `typ-604))
36353641++ test-types-request-normal
3636− (weld (weld (check ~.types-request-normal src-604 `tok-604 `tre-604) (check-module-types ~.types-request-normal ~[%tests %golden ~.types-request-normal %source %jibb] src-604 `typ-604 ~ ~[[%full mark-604-1]] ~[['/ui/api/demo.jibb' ~[~.ui ~.api ~.demo ~.jibb] mod-604-1]])) (check-module-trees ~.types-request-normal `mtre-604 ~[['/ui/api/demo.jibb' ~[~.ui ~.api ~.demo ~.jibb] mod-604-1]]))
3642+ (weld (weld (check ~.types-request-normal src-605 `tok-605 `tre-605) (check-module-types ~.types-request-normal ~[%tests %golden ~.types-request-normal %source %jibb] src-605 `typ-605 ~ ~[[%full mark-605-1]] ~[['/ui/api/demo.jibb' ~[~.ui ~.api ~.demo ~.jibb] mod-605-1]])) (check-module-trees ~.types-request-normal `mtre-605 ~[['/ui/api/demo.jibb' ~[~.ui ~.api ~.demo ~.jibb] mod-605-1]]))
36373643++ test-types-scope-library-poke
3638− (weld (check-at ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-605 `tok-605 `tre-605) (check-module-types ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-605 `typ-605 ~ ~ ~))
3644+ (weld (check-at ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-606 `tok-606 `tre-606) (check-module-types ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-606 `typ-606 ~ ~ ~))
36393645++ test-types-scope-root-api
3640− (weld (check-at ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-606 `tok-606 `tre-606) (check-module-types ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-606 `typ-606 ~ ~ ~))
3646+ (weld (check-at ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-607 `tok-607 `tre-607) (check-module-types ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-607 `typ-607 ~ ~ ~))
36413647++ test-types-scope-store-duplicate
3642− (weld (check-at ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-607 `tok-607 `tre-607) (check-module-types ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-607 `typ-607 ~ ~ ~))
3648+ (weld (check-at ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-608 `tok-608 `tre-608) (check-module-types ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-608 `typ-608 ~ ~ ~))
36433649++ test-types-scope-store-shadow
3644− (weld (check-at ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-608 `tok-608 `tre-608) (check-module-types ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-608 `typ-608 ~ ~ ~))
3650+ (weld (check-at ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-609 `tok-609 `tre-609) (check-module-types ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-609 `typ-609 ~ ~ ~))
36453651++ test-types-single-case-pattern
3646− (weld (check ~.types-single-case-pattern src-609 `tok-609 `tre-609) (check-module-types ~.types-single-case-pattern ~[%tests %golden ~.types-single-case-pattern %source %jibb] src-609 `typ-609 ~ ~ ~))
3652+ (weld (check ~.types-single-case-pattern src-610 `tok-610 `tre-610) (check-module-types ~.types-single-case-pattern ~[%tests %golden ~.types-single-case-pattern %source %jibb] src-610 `typ-610 ~ ~ ~))
36473653++ test-types-string-interpolation
3648− (weld (check ~.types-string-interpolation src-610 `tok-610 `tre-610) (check-module-types ~.types-string-interpolation ~[%tests %golden ~.types-string-interpolation %source %jibb] src-610 `typ-610 ~ ~ ~))
3654+ (weld (check ~.types-string-interpolation src-611 `tok-611 `tre-611) (check-module-types ~.types-string-interpolation ~[%tests %golden ~.types-string-interpolation %source %jibb] src-611 `typ-611 ~ ~ ~))
36493655++ test-types-tuple-context
3650− (weld (check ~.types-tuple-context src-611 `tok-611 `tre-611) (check-module-types ~.types-tuple-context ~[%tests %golden ~.types-tuple-context %source %jibb] src-611 `typ-611 ~ ~ ~))
3656+ (weld (check ~.types-tuple-context src-612 `tok-612 `tre-612) (check-module-types ~.types-tuple-context ~[%tests %golden ~.types-tuple-context %source %jibb] src-612 `typ-612 ~ ~ ~))
36513657++ test-types-tuple-context-nested
3652− (weld (check ~.types-tuple-context-nested src-612 `tok-612 `tre-612) (check-module-types ~.types-tuple-context-nested ~[%tests %golden ~.types-tuple-context-nested %source %jibb] src-612 `typ-612 ~ ~ ~))
3658+ (weld (check ~.types-tuple-context-nested src-613 `tok-613 `tre-613) (check-module-types ~.types-tuple-context-nested ~[%tests %golden ~.types-tuple-context-nested %source %jibb] src-613 `typ-613 ~ ~ ~))
36533659++ test-types-union-alias
3654− (weld (check ~.types-union-alias src-613 `tok-613 `tre-613) (check-types ~.types-union-alias ~[%tests %golden ~.types-union-alias %source %jibb] src-613 `typ-613))
3660+ (weld (check ~.types-union-alias src-614 `tok-614 `tre-614) (check-types ~.types-union-alias ~[%tests %golden ~.types-union-alias %source %jibb] src-614 `typ-614))
36553661++ test-types-union-branch-context
3656− (weld (check ~.types-union-branch-context src-614 `tok-614 `tre-614) (check-types ~.types-union-branch-context ~[%tests %golden ~.types-union-branch-context %source %jibb] src-614 `typ-614))
3662+ (weld (check ~.types-union-branch-context src-615 `tok-615 `tre-615) (check-types ~.types-union-branch-context ~[%tests %golden ~.types-union-branch-context %source %jibb] src-615 `typ-615))
36573663++ test-types-union-branch-pending
3658− (weld (check ~.types-union-branch-pending src-615 `tok-615 `tre-615) (check-types ~.types-union-branch-pending ~[%tests %golden ~.types-union-branch-pending %source %jibb] src-615 `typ-615))
3664+ (weld (check ~.types-union-branch-pending src-616 `tok-616 `tre-616) (check-types ~.types-union-branch-pending ~[%tests %golden ~.types-union-branch-pending %source %jibb] src-616 `typ-616))
36593665++ test-types-union-constructor-shape
3660− (weld (check ~.types-union-constructor-shape src-616 `tok-616 `tre-616) (check-types ~.types-union-constructor-shape ~[%tests %golden ~.types-union-constructor-shape %source %jibb] src-616 `typ-616))
3666+ (weld (check ~.types-union-constructor-shape src-617 `tok-617 `tre-617) (check-types ~.types-union-constructor-shape ~[%tests %golden ~.types-union-constructor-shape %source %jibb] src-617 `typ-617))
36613667++ test-types-union-context-flow
3662− (weld (check ~.types-union-context-flow src-617 `tok-617 `tre-617) (check-types ~.types-union-context-flow ~[%tests %golden ~.types-union-context-flow %source %jibb] src-617 `typ-617))
3668+ (weld (check ~.types-union-context-flow src-618 `tok-618 `tre-618) (check-types ~.types-union-context-flow ~[%tests %golden ~.types-union-context-flow %source %jibb] src-618 `typ-618))
36633669++ test-types-union-finite
3664− (weld (check ~.types-union-finite src-618 `tok-618 `tre-618) (check-module-types ~.types-union-finite ~[%tests %golden ~.types-union-finite %source %jibb] src-618 `typ-618 ~ ~ ~))
3670+ (weld (check ~.types-union-finite src-619 `tok-619 `tre-619) (check-module-types ~.types-union-finite ~[%tests %golden ~.types-union-finite %source %jibb] src-619 `typ-619 ~ ~ ~))
36653671++ test-types-union-finite-context
3666− (weld (check ~.types-union-finite-context src-619 `tok-619 `tre-619) (check-module-types ~.types-union-finite-context ~[%tests %golden ~.types-union-finite-context %source %jibb] src-619 `typ-619 ~ ~ ~))
3672+ (weld (check ~.types-union-finite-context src-620 `tok-620 `tre-620) (check-module-types ~.types-union-finite-context ~[%tests %golden ~.types-union-finite-context %source %jibb] src-620 `typ-620 ~ ~ ~))
36673673++ test-types-union-finite-generic
3668− (weld (check ~.types-union-finite-generic src-620 `tok-620 `tre-620) (check-module-types ~.types-union-finite-generic ~[%tests %golden ~.types-union-finite-generic %source %jibb] src-620 `typ-620 ~ ~ ~))
3674+ (weld (check ~.types-union-finite-generic src-621 `tok-621 `tre-621) (check-module-types ~.types-union-finite-generic ~[%tests %golden ~.types-union-finite-generic %source %jibb] src-621 `typ-621 ~ ~ ~))
36693675++ test-types-union-finite-limit
3670− (weld (check ~.types-union-finite-limit src-621 `tok-621 `tre-621) (check-module-types ~.types-union-finite-limit ~[%tests %golden ~.types-union-finite-limit %source %jibb] src-621 `typ-621 ~ ~ ~))
3676+ (weld (check ~.types-union-finite-limit src-622 `tok-622 `tre-622) (check-module-types ~.types-union-finite-limit ~[%tests %golden ~.types-union-finite-limit %source %jibb] src-622 `typ-622 ~ ~ ~))
36713677++ test-types-union-import
3672− (weld (weld (check ~.types-union-import src-622 `tok-622 `tre-622) (check-module-types ~.types-union-import ~[%tests %golden ~.types-union-import %source %jibb] src-622 `typ-622 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-622-1]])) (check-module-trees ~.types-union-import `mtre-622 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-622-1]]))
3678+ (weld (weld (check ~.types-union-import src-623 `tok-623 `tre-623) (check-module-types ~.types-union-import ~[%tests %golden ~.types-union-import %source %jibb] src-623 `typ-623 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-623-1]])) (check-module-trees ~.types-union-import `mtre-623 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-623-1]]))
36733679++ test-types-union-local-pending
3674− (weld (check ~.types-union-local-pending src-623 `tok-623 `tre-623) (check-types ~.types-union-local-pending ~[%tests %golden ~.types-union-local-pending %source %jibb] src-623 `typ-623))
3680+ (weld (check ~.types-union-local-pending src-624 `tok-624 `tre-624) (check-types ~.types-union-local-pending ~[%tests %golden ~.types-union-local-pending %source %jibb] src-624 `typ-624))
36753681++ test-types-union-nonwing-subject
3676− (weld (check ~.types-union-nonwing-subject src-624 `tok-624 `tre-624) (check-module-types ~.types-union-nonwing-subject ~[%tests %golden ~.types-union-nonwing-subject %source %jibb] src-624 `typ-624 ~ ~ ~))
3682+ (weld (check ~.types-union-nonwing-subject src-625 `tok-625 `tre-625) (check-module-types ~.types-union-nonwing-subject ~[%tests %golden ~.types-union-nonwing-subject %source %jibb] src-625 `typ-625 ~ ~ ~))
36773683++ test-types-union-overlap
3678− (weld (check ~.types-union-overlap src-625 `tok-625 `tre-625) (check-types ~.types-union-overlap ~[%tests %golden ~.types-union-overlap %source %jibb] src-625 `typ-625))
3684+ (weld (check ~.types-union-overlap src-626 `tok-626 `tre-626) (check-types ~.types-union-overlap ~[%tests %golden ~.types-union-overlap %source %jibb] src-626 `typ-626))
36793685++ test-types-union-overlap-nested
3680− (weld (check ~.types-union-overlap-nested src-626 `tok-626 `tre-626) (check-types ~.types-union-overlap-nested ~[%tests %golden ~.types-union-overlap-nested %source %jibb] src-626 `typ-626))
3686+ (weld (check ~.types-union-overlap-nested src-627 `tok-627 `tre-627) (check-types ~.types-union-overlap-nested ~[%tests %golden ~.types-union-overlap-nested %source %jibb] src-627 `typ-627))
36813687++ test-types-union-pattern-result-context
3682− (weld (check ~.types-union-pattern-result-context src-627 `tok-627 `tre-627) (check-module-types ~.types-union-pattern-result-context ~[%tests %golden ~.types-union-pattern-result-context %source %jibb] src-627 `typ-627 ~ ~ ~))
3688+ (weld (check ~.types-union-pattern-result-context src-628 `tok-628 `tre-628) (check-module-types ~.types-union-pattern-result-context ~[%tests %golden ~.types-union-pattern-result-context %source %jibb] src-628 `typ-628 ~ ~ ~))
36833689++ test-types-union-pattern-result-controls
3684− (weld (check ~.types-union-pattern-result-controls src-628 `tok-628 `tre-628) (check-module-types ~.types-union-pattern-result-controls ~[%tests %golden ~.types-union-pattern-result-controls %source %jibb] src-628 `typ-628 ~ ~ ~))
3690+ (weld (check ~.types-union-pattern-result-controls src-629 `tok-629 `tre-629) (check-module-types ~.types-union-pattern-result-controls ~[%tests %golden ~.types-union-pattern-result-controls %source %jibb] src-629 `typ-629 ~ ~ ~))
36853691++ test-types-union-patterns
3686− (weld (check ~.types-union-patterns src-629 `tok-629 `tre-629) (check-module-types ~.types-union-patterns ~[%tests %golden ~.types-union-patterns %source %jibb] src-629 `typ-629 ~ ~ ~))
3692+ (weld (check ~.types-union-patterns src-630 `tok-630 `tre-630) (check-module-types ~.types-union-patterns ~[%tests %golden ~.types-union-patterns %source %jibb] src-630 `typ-630 ~ ~ ~))
36873693++ test-types-union-patterns-generic
3688− (weld (check ~.types-union-patterns-generic src-630 `tok-630 `tre-630) (check-module-types ~.types-union-patterns-generic ~[%tests %golden ~.types-union-patterns-generic %source %jibb] src-630 `typ-630 ~ ~ ~))
3694+ (weld (check ~.types-union-patterns-generic src-631 `tok-631 `tre-631) (check-module-types ~.types-union-patterns-generic ~[%tests %golden ~.types-union-patterns-generic %source %jibb] src-631 `typ-631 ~ ~ ~))
36893695++ test-types-union-patterns-import
3690− (weld (weld (check ~.types-union-patterns-import src-631 `tok-631 `tre-631) (check-module-types ~.types-union-patterns-import ~[%tests %golden ~.types-union-patterns-import %source %jibb] src-631 `typ-631 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-631-1]])) (check-module-trees ~.types-union-patterns-import `mtre-631 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-631-1]]))
3696+ (weld (weld (check ~.types-union-patterns-import src-632 `tok-632 `tre-632) (check-module-types ~.types-union-patterns-import ~[%tests %golden ~.types-union-patterns-import %source %jibb] src-632 `typ-632 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-632-1]])) (check-module-trees ~.types-union-patterns-import `mtre-632 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-632-1]]))
36913697++ test-types-union-phantom-generic
3692− (weld (check ~.types-union-phantom-generic src-632 `tok-632 `tre-632) (check-types ~.types-union-phantom-generic ~[%tests %golden ~.types-union-phantom-generic %source %jibb] src-632 `typ-632))
3698+ (weld (check ~.types-union-phantom-generic src-633 `tok-633 `tre-633) (check-types ~.types-union-phantom-generic ~[%tests %golden ~.types-union-phantom-generic %source %jibb] src-633 `typ-633))
36933699++ test-types-union-polymorphic-identity
3694− (weld (weld (check ~.types-union-polymorphic-identity src-633 `tok-633 `tre-633) (check-module-types ~.types-union-polymorphic-identity ~[%tests %golden ~.types-union-polymorphic-identity %source %jibb] src-633 `typ-633 ~ ~ ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-633-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-633-2]])) (check-module-trees ~.types-union-polymorphic-identity `mtre-633 ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-633-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-633-2]]))
3700+ (weld (weld (check ~.types-union-polymorphic-identity src-634 `tok-634 `tre-634) (check-module-types ~.types-union-polymorphic-identity ~[%tests %golden ~.types-union-polymorphic-identity %source %jibb] src-634 `typ-634 ~ ~ ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-634-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-634-2]])) (check-module-trees ~.types-union-polymorphic-identity `mtre-634 ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-634-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-634-2]]))
36953701++ test-types-union-print-cross-namespace
3696− (weld (weld (check ~.types-union-print-cross-namespace src-634 `tok-634 `tre-634) (check-module-types ~.types-union-print-cross-namespace ~[%tests %golden ~.types-union-print-cross-namespace %source %jibb] src-634 `typ-634 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-634-1]])) (check-module-trees ~.types-union-print-cross-namespace `mtre-634 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-634-1]]))
3702+ (weld (weld (check ~.types-union-print-cross-namespace src-635 `tok-635 `tre-635) (check-module-types ~.types-union-print-cross-namespace ~[%tests %golden ~.types-union-print-cross-namespace %source %jibb] src-635 `typ-635 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-635-1]])) (check-module-trees ~.types-union-print-cross-namespace `mtre-635 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-635-1]]))
36973703++ test-types-union-print-distinct
3698− (weld (weld (check ~.types-union-print-distinct src-635 `tok-635 `tre-635) (check-module-types ~.types-union-print-distinct ~[%tests %golden ~.types-union-print-distinct %source %jibb] src-635 `typ-635 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-635-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-635-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-635-3]])) (check-module-trees ~.types-union-print-distinct `mtre-635 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-635-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-635-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-635-3]]))
3704+ (weld (weld (check ~.types-union-print-distinct src-636 `tok-636 `tre-636) (check-module-types ~.types-union-print-distinct ~[%tests %golden ~.types-union-print-distinct %source %jibb] src-636 `typ-636 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-636-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-636-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-636-3]])) (check-module-trees ~.types-union-print-distinct `mtre-636 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-636-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-636-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-636-3]]))
36993705++ test-types-union-print-escape
3700− (weld (check ~.types-union-print-escape src-636 `tok-636 `tre-636) (check-types ~.types-union-print-escape ~[%tests %golden ~.types-union-print-escape %source %jibb] src-636 `typ-636))
3706+ (weld (check ~.types-union-print-escape src-637 `tok-637 `tre-637) (check-types ~.types-union-print-escape ~[%tests %golden ~.types-union-print-escape %source %jibb] src-637 `typ-637))
37013707++ test-types-union-print-local
3702− (weld (check ~.types-union-print-local src-637 `tok-637 `tre-637) (check-types ~.types-union-print-local ~[%tests %golden ~.types-union-print-local %source %jibb] src-637 `typ-637))
3708+ (weld (check ~.types-union-print-local src-638 `tok-638 `tre-638) (check-types ~.types-union-print-local ~[%tests %golden ~.types-union-print-local %source %jibb] src-638 `typ-638))
37033709++ test-types-union-print-nested
3704− (weld (check ~.types-union-print-nested src-638 `tok-638 `tre-638) (check-types ~.types-union-print-nested ~[%tests %golden ~.types-union-print-nested %source %jibb] src-638 `typ-638))
3710+ (weld (check ~.types-union-print-nested src-639 `tok-639 `tre-639) (check-types ~.types-union-print-nested ~[%tests %golden ~.types-union-print-nested %source %jibb] src-639 `typ-639))
37053711++ test-types-union-print-same-origin
3706− (weld (weld (check ~.types-union-print-same-origin src-639 `tok-639 `tre-639) (check-module-types ~.types-union-print-same-origin ~[%tests %golden ~.types-union-print-same-origin %source %jibb] src-639 `typ-639 ~ ~ ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-639-1]])) (check-module-trees ~.types-union-print-same-origin `mtre-639 ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-639-1]]))
3712+ (weld (weld (check ~.types-union-print-same-origin src-640 `tok-640 `tre-640) (check-module-types ~.types-union-print-same-origin ~[%tests %golden ~.types-union-print-same-origin %source %jibb] src-640 `typ-640 ~ ~ ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-640-1]])) (check-module-trees ~.types-union-print-same-origin `mtre-640 ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-640-1]]))
37073713++ test-types-union-print-transitive
3708− (weld (weld (check ~.types-union-print-transitive src-640 `tok-640 `tre-640) (check-module-types ~.types-union-print-transitive ~[%tests %golden ~.types-union-print-transitive %source %jibb] src-640 `typ-640 ~ ~ ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-640-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-640-2]])) (check-module-trees ~.types-union-print-transitive `mtre-640 ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-640-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-640-2]]))
3714+ (weld (weld (check ~.types-union-print-transitive src-641 `tok-641 `tre-641) (check-module-types ~.types-union-print-transitive ~[%tests %golden ~.types-union-print-transitive %source %jibb] src-641 `typ-641 ~ ~ ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-641-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-641-2]])) (check-module-trees ~.types-union-print-transitive `mtre-641 ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-641-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-641-2]]))
37093715++ test-types-union-singleton
3710− (weld (check ~.types-union-singleton src-641 `tok-641 `tre-641) (check-types ~.types-union-singleton ~[%tests %golden ~.types-union-singleton %source %jibb] src-641 `typ-641))
3716+ (weld (check ~.types-union-singleton src-642 `tok-642 `tre-642) (check-types ~.types-union-singleton ~[%tests %golden ~.types-union-singleton %source %jibb] src-642 `typ-642))
37113717++ test-types-union-tag-atoms
3712− (weld (check ~.types-union-tag-atoms src-642 `tok-642 `tre-642) (check-types ~.types-union-tag-atoms ~[%tests %golden ~.types-union-tag-atoms %source %jibb] src-642 `typ-642))
3718+ (weld (check ~.types-union-tag-atoms src-643 `tok-643 `tre-643) (check-types ~.types-union-tag-atoms ~[%tests %golden ~.types-union-tag-atoms %source %jibb] src-643 `typ-643))
37133719++ test-types-union-tags
3714− (weld (check ~.types-union-tags src-643 `tok-643 `tre-643) (check-types ~.types-union-tags ~[%tests %golden ~.types-union-tags %source %jibb] src-643 `typ-643))
3720+ (weld (check ~.types-union-tags src-644 `tok-644 `tre-644) (check-types ~.types-union-tags ~[%tests %golden ~.types-union-tags %source %jibb] src-644 `typ-644))
37153721++ test-types-union-unresolved
3716− (weld (check ~.types-union-unresolved src-644 `tok-644 `tre-644) (check-types ~.types-union-unresolved ~[%tests %golden ~.types-union-unresolved %source %jibb] src-644 `typ-644))
3722+ (weld (check ~.types-union-unresolved src-645 `tok-645 `tre-645) (check-types ~.types-union-unresolved ~[%tests %golden ~.types-union-unresolved %source %jibb] src-645 `typ-645))
37173723++ test-types-union-unresolved-flow
3718− (weld (check ~.types-union-unresolved-flow src-645 `tok-645 `tre-645) (check-types ~.types-union-unresolved-flow ~[%tests %golden ~.types-union-unresolved-flow %source %jibb] src-645 `typ-645))
3724+ (weld (check ~.types-union-unresolved-flow src-646 `tok-646 `tre-646) (check-types ~.types-union-unresolved-flow ~[%tests %golden ~.types-union-unresolved-flow %source %jibb] src-646 `typ-646))
37193725++ test-types-unit-construction
3720− (weld (check ~.types-unit-construction src-646 `tok-646 `tre-646) (check-module-types ~.types-unit-construction ~[%tests %golden ~.types-unit-construction %source %jibb] src-646 `typ-646 ~ ~ ~))
3726+ (weld (check ~.types-unit-construction src-647 `tok-647 `tre-647) (check-module-types ~.types-unit-construction ~[%tests %golden ~.types-unit-construction %source %jibb] src-647 `typ-647 ~ ~ ~))
37213727++ test-types-unit-context
3722− (weld (check ~.types-unit-context src-647 `tok-647 `tre-647) (check-module-types ~.types-unit-context ~[%tests %golden ~.types-unit-context %source %jibb] src-647 `typ-647 ~ ~ ~))
3728+ (weld (check ~.types-unit-context src-648 `tok-648 `tre-648) (check-module-types ~.types-unit-context ~[%tests %golden ~.types-unit-context %source %jibb] src-648 `typ-648 ~ ~ ~))
37233729++ test-types-unit-patterns
3724− (weld (check ~.types-unit-patterns src-648 `tok-648 `tre-648) (check-types ~.types-unit-patterns ~[%tests %golden ~.types-unit-patterns %source %jibb] src-648 `typ-648))
3730+ (weld (check ~.types-unit-patterns src-649 `tok-649 `tre-649) (check-types ~.types-unit-patterns ~[%tests %golden ~.types-unit-patterns %source %jibb] src-649 `typ-649))
37253731++ test-types-value-cycle-shadow
3726− (weld (check ~.types-value-cycle-shadow src-649 `tok-649 `tre-649) (check-module-types ~.types-value-cycle-shadow ~[%tests %golden ~.types-value-cycle-shadow %source %jibb] src-649 `typ-649 ~ ~ ~))
3732+ (weld (check ~.types-value-cycle-shadow src-650 `tok-650 `tre-650) (check-module-types ~.types-value-cycle-shadow ~[%tests %golden ~.types-value-cycle-shadow %source %jibb] src-650 `typ-650 ~ ~ ~))
37273733++ test-types-value-cycle-unsupported
3728− (weld (check ~.types-value-cycle-unsupported src-650 `tok-650 `tre-650) (check-module-types ~.types-value-cycle-unsupported ~[%tests %golden ~.types-value-cycle-unsupported %source %jibb] src-650 `typ-650 ~ ~ ~))
3734+ (weld (check ~.types-value-cycle-unsupported src-651 `tok-651 `tre-651) (check-module-types ~.types-value-cycle-unsupported ~[%tests %golden ~.types-value-cycle-unsupported %source %jibb] src-651 `typ-651 ~ ~ ~))
37293735++ test-types-value-cycles
3730− (weld (check ~.types-value-cycles src-651 `tok-651 `tre-651) (check-module-types ~.types-value-cycles ~[%tests %golden ~.types-value-cycles %source %jibb] src-651 `typ-651 ~ ~ ~))
3736+ (weld (check ~.types-value-cycles src-652 `tok-652 `tre-652) (check-module-types ~.types-value-cycles ~[%tests %golden ~.types-value-cycles %source %jibb] src-652 `typ-652 ~ ~ ~))
37313737::
37323738:: +check: run golden:jibb on a case and compare both outputs
37333739::
tests/type-import/about.txt+8−2
@@ -22,8 +22,14 @@ Jibb-written collection molds remain unsupported.
2222A self-recursive /sur mold is an opaque module/name identity. Distinct names
2323or modules conflict; aliases, foreign references, unfolding and out-of-scope
2424names remain unsupported. The fixture checks these limits as well as malformed
25−references and overlapping recursive graphs. The reader itself rejects an
26−overlapping source union before Hoon can collapse it. A missing import and a
25+references and overlapping recursive graphs. The reader rejects the overlapping
26+source union instead of publishing a collapsed result. A missing import and a
2727duplicate supplied mold fail closed. The types output is partial and does not
2828claim that the module was checked. The same fixture runs under urbit eval and
2929through -test on the fake ship.
30+
31+The real-reader mixed-zero case places `%$` and `?` under the same outer tag;
32+both allow the noun zero. It must fail closed. The distinct-tag `%$`/`?`
33+case records the current conservative limitation, while distinct-tag term
34+singletons are a successful reader/checker control. These are source-aware
35+reads and the checker report remains partial.
tests/type-import/expected.txt+6
@@ -104,7 +104,13 @@ partial inference; module not checked
104104++ flag-extra: sample mold is not supported by partial inference
105105++ flag-faced: sample mold is not supported by partial inference
106106++ flag-malformed: sample mold is not supported by partial inference
107+++ mixed-zero: sample mold is not supported by partial inference
108+++ separate-tags: sample mold is not supported by partial inference
109+++ separate-terms: $-(([%left [%$ @t]] [%right [%yes @t]]) ([%left [%$ @t]] [%right [%yes @t]]))
107110reader-collapsed: error: Hoon union disjointness could not be verified
111+reader-mixed-zero: error: a Hoon union needs a source-level disjointness check
112+reader-separate-tags: error: a Hoon union needs a source-level disjointness check
113+reader-separate-terms: (union [left [ @t]] [right [yes @t]])
108114partial inference; module not checked
109115++ use: recursive mold name is not available in this scope
110116partial inference; module not checked
tests/type-import/source.txt+5
@@ -76,3 +76,8 @@
7676++ flag-extra |= x=flag-extra.fixture x
7777++ flag-faced |= x=flag-faced.fixture x
7878++ flag-malformed |= x=flag-malformed.fixture x
79+
80+:: Real source-aware nested mixed-aura cases.
81+++ mixed-zero |= x=mixed-zero.fixture x
82+++ separate-tags |= x=separate-tags.fixture x
83+++ separate-terms |= x=separate-terms.fixture x
tests/type-import/sur.txt+3
@@ -21,4 +21,7 @@
2121+$ zero-choice $@(~ [text=@t n=@ud])
2222+$ zero-nested [entry=zero-choice code=@ud]
2323+$ zero-lookalike $@(~ [~ @t])
24++$ mixed-zero $?([%tag %$ @t] [%tag ? @t])
25++$ separate-tags $?([%left %$ @t] [%right ? @t])
26++$ separate-terms $?([%left %$ @t] [%right %yes @t])
2427--