@@ -21,6 +21,7 @@
22/+ jibb, jibb-import
22/+ jibb, jibb-import
23/* prelude-source %jibb /lib/jibb/prelude/jibb
23/* prelude-source %jibb /lib/jibb/prelude/jibb
24+/* internal-source %jibb /lib/jibb/internal/jibb
24/* src-1 %jibb /tests/golden/doc-core-02-update/source/jibb
25/* src-1 %jibb /tests/golden/doc-core-02-update/source/jibb
25/* tok-1 %txt /tests/golden/doc-core-02-update/tokens/txt
26/* tok-1 %txt /tests/golden/doc-core-02-update/tokens/txt
26/* tre-1 %txt /tests/golden/doc-core-02-update/tree/txt
27/* tre-1 %txt /tests/golden/doc-core-02-update/tree/txt
@@ -1812,170 +1813,186 @@
1812/* tok-513 %txt /tests/golden/types-recursive-sample/tokens/txt
1813/* tok-513 %txt /tests/golden/types-recursive-sample/tokens/txt
1813/* tre-513 %txt /tests/golden/types-recursive-sample/tree/txt
1814/* tre-513 %txt /tests/golden/types-recursive-sample/tree/txt
1814/* typ-513 %txt /tests/golden/types-recursive-sample/types/txt
1815/* typ-513 %txt /tests/golden/types-recursive-sample/types/txt
1816+/* src-514 %jibb /tests/golden/types-scope-library-poke/source/jibb
1817+/* tok-514 %txt /tests/golden/types-scope-library-poke/tokens/txt
1818+/* tre-514 %txt /tests/golden/types-scope-library-poke/tree/txt
1819+/* typ-514 %txt /tests/golden/types-scope-library-poke/types/txt
1820+/* src-515 %jibb /tests/golden/types-scope-root-api/source/jibb
1821+/* tok-515 %txt /tests/golden/types-scope-root-api/tokens/txt
1822+/* tre-515 %txt /tests/golden/types-scope-root-api/tree/txt
1823+/* typ-515 %txt /tests/golden/types-scope-root-api/types/txt
1824+/* src-516 %jibb /tests/golden/types-scope-store-duplicate/source/jibb
1825+/* tok-516 %txt /tests/golden/types-scope-store-duplicate/tokens/txt
1826+/* tre-516 %txt /tests/golden/types-scope-store-duplicate/tree/txt
1827+/* typ-516 %txt /tests/golden/types-scope-store-duplicate/types/txt
1828+/* src-517 %jibb /tests/golden/types-scope-store-shadow/source/jibb
1829+/* tok-517 %txt /tests/golden/types-scope-store-shadow/tokens/txt
1830+/* tre-517 %txt /tests/golden/types-scope-store-shadow/tree/txt
1831+/* typ-517 %txt /tests/golden/types-scope-store-shadow/types/txt
1815−/* src-514 %jibb /tests/golden/types-string-interpolation/source/jibb
1832+/* src-518 %jibb /tests/golden/types-string-interpolation/source/jibb
1816−/* tok-514 %txt /tests/golden/types-string-interpolation/tokens/txt
1833+/* tok-518 %txt /tests/golden/types-string-interpolation/tokens/txt
1817−/* tre-514 %txt /tests/golden/types-string-interpolation/tree/txt
1834+/* tre-518 %txt /tests/golden/types-string-interpolation/tree/txt
1818−/* typ-514 %txt /tests/golden/types-string-interpolation/types/txt
1835+/* typ-518 %txt /tests/golden/types-string-interpolation/types/txt
1819−/* src-515 %jibb /tests/golden/types-tuple-context/source/jibb
1836+/* src-519 %jibb /tests/golden/types-tuple-context/source/jibb
1820−/* tok-515 %txt /tests/golden/types-tuple-context/tokens/txt
1837+/* tok-519 %txt /tests/golden/types-tuple-context/tokens/txt
1821−/* tre-515 %txt /tests/golden/types-tuple-context/tree/txt
1838+/* tre-519 %txt /tests/golden/types-tuple-context/tree/txt
1822−/* typ-515 %txt /tests/golden/types-tuple-context/types/txt
1839+/* typ-519 %txt /tests/golden/types-tuple-context/types/txt
1823−/* src-516 %jibb /tests/golden/types-tuple-context-nested/source/jibb
1840+/* src-520 %jibb /tests/golden/types-tuple-context-nested/source/jibb
1824−/* tok-516 %txt /tests/golden/types-tuple-context-nested/tokens/txt
1841+/* tok-520 %txt /tests/golden/types-tuple-context-nested/tokens/txt
1825−/* tre-516 %txt /tests/golden/types-tuple-context-nested/tree/txt
1842+/* tre-520 %txt /tests/golden/types-tuple-context-nested/tree/txt
1826−/* typ-516 %txt /tests/golden/types-tuple-context-nested/types/txt
1843+/* typ-520 %txt /tests/golden/types-tuple-context-nested/types/txt
1827−/* src-517 %jibb /tests/golden/types-union-alias/source/jibb
1844+/* src-521 %jibb /tests/golden/types-union-alias/source/jibb
1828−/* tok-517 %txt /tests/golden/types-union-alias/tokens/txt
1845+/* tok-521 %txt /tests/golden/types-union-alias/tokens/txt
1829−/* tre-517 %txt /tests/golden/types-union-alias/tree/txt
1846+/* tre-521 %txt /tests/golden/types-union-alias/tree/txt
1830−/* typ-517 %txt /tests/golden/types-union-alias/types/txt
1847+/* typ-521 %txt /tests/golden/types-union-alias/types/txt
1831−/* src-518 %jibb /tests/golden/types-union-branch-context/source/jibb
1848+/* src-522 %jibb /tests/golden/types-union-branch-context/source/jibb
1832−/* tok-518 %txt /tests/golden/types-union-branch-context/tokens/txt
1849+/* tok-522 %txt /tests/golden/types-union-branch-context/tokens/txt
1833−/* tre-518 %txt /tests/golden/types-union-branch-context/tree/txt
1850+/* tre-522 %txt /tests/golden/types-union-branch-context/tree/txt
1834−/* typ-518 %txt /tests/golden/types-union-branch-context/types/txt
1851+/* typ-522 %txt /tests/golden/types-union-branch-context/types/txt
1835−/* src-519 %jibb /tests/golden/types-union-branch-pending/source/jibb
1852+/* src-523 %jibb /tests/golden/types-union-branch-pending/source/jibb
1836−/* tok-519 %txt /tests/golden/types-union-branch-pending/tokens/txt
1853+/* tok-523 %txt /tests/golden/types-union-branch-pending/tokens/txt
1837−/* tre-519 %txt /tests/golden/types-union-branch-pending/tree/txt
1854+/* tre-523 %txt /tests/golden/types-union-branch-pending/tree/txt
1838−/* typ-519 %txt /tests/golden/types-union-branch-pending/types/txt
1855+/* typ-523 %txt /tests/golden/types-union-branch-pending/types/txt
1839−/* src-520 %jibb /tests/golden/types-union-constructor-shape/source/jibb
1856+/* src-524 %jibb /tests/golden/types-union-constructor-shape/source/jibb
1840−/* tok-520 %txt /tests/golden/types-union-constructor-shape/tokens/txt
1857+/* tok-524 %txt /tests/golden/types-union-constructor-shape/tokens/txt
1841−/* tre-520 %txt /tests/golden/types-union-constructor-shape/tree/txt
1858+/* tre-524 %txt /tests/golden/types-union-constructor-shape/tree/txt
1842−/* typ-520 %txt /tests/golden/types-union-constructor-shape/types/txt
1859+/* typ-524 %txt /tests/golden/types-union-constructor-shape/types/txt
1843−/* src-521 %jibb /tests/golden/types-union-context-flow/source/jibb
1860+/* src-525 %jibb /tests/golden/types-union-context-flow/source/jibb
1844−/* tok-521 %txt /tests/golden/types-union-context-flow/tokens/txt
1861+/* tok-525 %txt /tests/golden/types-union-context-flow/tokens/txt
1845−/* tre-521 %txt /tests/golden/types-union-context-flow/tree/txt
1862+/* tre-525 %txt /tests/golden/types-union-context-flow/tree/txt
1846−/* typ-521 %txt /tests/golden/types-union-context-flow/types/txt
1863+/* typ-525 %txt /tests/golden/types-union-context-flow/types/txt
1847−/* src-522 %jibb /tests/golden/types-union-finite/source/jibb
1864+/* src-526 %jibb /tests/golden/types-union-finite/source/jibb
1848−/* tok-522 %txt /tests/golden/types-union-finite/tokens/txt
1865+/* tok-526 %txt /tests/golden/types-union-finite/tokens/txt
1849−/* tre-522 %txt /tests/golden/types-union-finite/tree/txt
1866+/* tre-526 %txt /tests/golden/types-union-finite/tree/txt
1850−/* typ-522 %txt /tests/golden/types-union-finite/types/txt
1867+/* typ-526 %txt /tests/golden/types-union-finite/types/txt
1851−/* src-523 %jibb /tests/golden/types-union-finite-context/source/jibb
1868+/* src-527 %jibb /tests/golden/types-union-finite-context/source/jibb
1852−/* tok-523 %txt /tests/golden/types-union-finite-context/tokens/txt
1869+/* tok-527 %txt /tests/golden/types-union-finite-context/tokens/txt
1853−/* tre-523 %txt /tests/golden/types-union-finite-context/tree/txt
1870+/* tre-527 %txt /tests/golden/types-union-finite-context/tree/txt
1854−/* typ-523 %txt /tests/golden/types-union-finite-context/types/txt
1871+/* typ-527 %txt /tests/golden/types-union-finite-context/types/txt
1855−/* src-524 %jibb /tests/golden/types-union-finite-generic/source/jibb
1872+/* src-528 %jibb /tests/golden/types-union-finite-generic/source/jibb
1856−/* tok-524 %txt /tests/golden/types-union-finite-generic/tokens/txt
1873+/* tok-528 %txt /tests/golden/types-union-finite-generic/tokens/txt
1857−/* tre-524 %txt /tests/golden/types-union-finite-generic/tree/txt
1874+/* tre-528 %txt /tests/golden/types-union-finite-generic/tree/txt
1858−/* typ-524 %txt /tests/golden/types-union-finite-generic/types/txt
1875+/* typ-528 %txt /tests/golden/types-union-finite-generic/types/txt
1859−/* src-525 %jibb /tests/golden/types-union-finite-limit/source/jibb
1876+/* src-529 %jibb /tests/golden/types-union-finite-limit/source/jibb
1860−/* tok-525 %txt /tests/golden/types-union-finite-limit/tokens/txt
1877+/* tok-529 %txt /tests/golden/types-union-finite-limit/tokens/txt
1861−/* tre-525 %txt /tests/golden/types-union-finite-limit/tree/txt
1878+/* tre-529 %txt /tests/golden/types-union-finite-limit/tree/txt
1862−/* typ-525 %txt /tests/golden/types-union-finite-limit/types/txt
1879+/* typ-529 %txt /tests/golden/types-union-finite-limit/types/txt
1863−/* src-526 %jibb /tests/golden/types-union-import/source/jibb
1880+/* src-530 %jibb /tests/golden/types-union-import/source/jibb
1864−/* tok-526 %txt /tests/golden/types-union-import/tokens/txt
1881+/* tok-530 %txt /tests/golden/types-union-import/tokens/txt
1865−/* tre-526 %txt /tests/golden/types-union-import/tree/txt
1882+/* tre-530 %txt /tests/golden/types-union-import/tree/txt
1866−/* mod-526-1 %jibb /tests/golden/types-union-import/modules/ui/lib/jibb
1883+/* mod-530-1 %jibb /tests/golden/types-union-import/modules/ui/lib/jibb
1867−/* typ-526 %txt /tests/golden/types-union-import/types/txt
1884+/* typ-530 %txt /tests/golden/types-union-import/types/txt
1868−/* mtre-526 %txt /tests/golden/types-union-import/module-trees/txt
1885+/* mtre-530 %txt /tests/golden/types-union-import/module-trees/txt
1869−/* src-527 %jibb /tests/golden/types-union-local-pending/source/jibb
1886+/* src-531 %jibb /tests/golden/types-union-local-pending/source/jibb
1870−/* tok-527 %txt /tests/golden/types-union-local-pending/tokens/txt
1887+/* tok-531 %txt /tests/golden/types-union-local-pending/tokens/txt
1871−/* tre-527 %txt /tests/golden/types-union-local-pending/tree/txt
1888+/* tre-531 %txt /tests/golden/types-union-local-pending/tree/txt
1872−/* typ-527 %txt /tests/golden/types-union-local-pending/types/txt
1889+/* typ-531 %txt /tests/golden/types-union-local-pending/types/txt
1873−/* src-528 %jibb /tests/golden/types-union-overlap/source/jibb
1890+/* src-532 %jibb /tests/golden/types-union-overlap/source/jibb
1874−/* tok-528 %txt /tests/golden/types-union-overlap/tokens/txt
1891+/* tok-532 %txt /tests/golden/types-union-overlap/tokens/txt
1875−/* tre-528 %txt /tests/golden/types-union-overlap/tree/txt
1892+/* tre-532 %txt /tests/golden/types-union-overlap/tree/txt
1876−/* typ-528 %txt /tests/golden/types-union-overlap/types/txt
1893+/* typ-532 %txt /tests/golden/types-union-overlap/types/txt
1877−/* src-529 %jibb /tests/golden/types-union-overlap-nested/source/jibb
1894+/* src-533 %jibb /tests/golden/types-union-overlap-nested/source/jibb
1878−/* tok-529 %txt /tests/golden/types-union-overlap-nested/tokens/txt
1895+/* tok-533 %txt /tests/golden/types-union-overlap-nested/tokens/txt
1879−/* tre-529 %txt /tests/golden/types-union-overlap-nested/tree/txt
1896+/* tre-533 %txt /tests/golden/types-union-overlap-nested/tree/txt
1880−/* typ-529 %txt /tests/golden/types-union-overlap-nested/types/txt
1897+/* typ-533 %txt /tests/golden/types-union-overlap-nested/types/txt
1881−/* src-530 %jibb /tests/golden/types-union-pattern-result-context/source/jibb
1898+/* src-534 %jibb /tests/golden/types-union-pattern-result-context/source/jibb
1882−/* tok-530 %txt /tests/golden/types-union-pattern-result-context/tokens/txt
1899+/* tok-534 %txt /tests/golden/types-union-pattern-result-context/tokens/txt
1883−/* tre-530 %txt /tests/golden/types-union-pattern-result-context/tree/txt
1900+/* tre-534 %txt /tests/golden/types-union-pattern-result-context/tree/txt
1884−/* typ-530 %txt /tests/golden/types-union-pattern-result-context/types/txt
1901+/* typ-534 %txt /tests/golden/types-union-pattern-result-context/types/txt
1885−/* src-531 %jibb /tests/golden/types-union-pattern-result-controls/source/jibb
1902+/* src-535 %jibb /tests/golden/types-union-pattern-result-controls/source/jibb
1886−/* tok-531 %txt /tests/golden/types-union-pattern-result-controls/tokens/txt
1903+/* tok-535 %txt /tests/golden/types-union-pattern-result-controls/tokens/txt
1887−/* tre-531 %txt /tests/golden/types-union-pattern-result-controls/tree/txt
1904+/* tre-535 %txt /tests/golden/types-union-pattern-result-controls/tree/txt
1888−/* typ-531 %txt /tests/golden/types-union-pattern-result-controls/types/txt
1905+/* typ-535 %txt /tests/golden/types-union-pattern-result-controls/types/txt
1889−/* src-532 %jibb /tests/golden/types-union-patterns/source/jibb
1906+/* src-536 %jibb /tests/golden/types-union-patterns/source/jibb
1890−/* tok-532 %txt /tests/golden/types-union-patterns/tokens/txt
1907+/* tok-536 %txt /tests/golden/types-union-patterns/tokens/txt
1891−/* tre-532 %txt /tests/golden/types-union-patterns/tree/txt
1908+/* tre-536 %txt /tests/golden/types-union-patterns/tree/txt
1892−/* typ-532 %txt /tests/golden/types-union-patterns/types/txt
1909+/* typ-536 %txt /tests/golden/types-union-patterns/types/txt
1893−/* src-533 %jibb /tests/golden/types-union-patterns-generic/source/jibb
1910+/* src-537 %jibb /tests/golden/types-union-patterns-generic/source/jibb
1894−/* tok-533 %txt /tests/golden/types-union-patterns-generic/tokens/txt
1911+/* tok-537 %txt /tests/golden/types-union-patterns-generic/tokens/txt
1895−/* tre-533 %txt /tests/golden/types-union-patterns-generic/tree/txt
1912+/* tre-537 %txt /tests/golden/types-union-patterns-generic/tree/txt
1896−/* typ-533 %txt /tests/golden/types-union-patterns-generic/types/txt
1913+/* typ-537 %txt /tests/golden/types-union-patterns-generic/types/txt
1897−/* src-534 %jibb /tests/golden/types-union-patterns-import/source/jibb
1914+/* src-538 %jibb /tests/golden/types-union-patterns-import/source/jibb
1898−/* tok-534 %txt /tests/golden/types-union-patterns-import/tokens/txt
1915+/* tok-538 %txt /tests/golden/types-union-patterns-import/tokens/txt
1899−/* tre-534 %txt /tests/golden/types-union-patterns-import/tree/txt
1916+/* tre-538 %txt /tests/golden/types-union-patterns-import/tree/txt
1900−/* mod-534-1 %jibb /tests/golden/types-union-patterns-import/modules/ui/lib/jibb
1917+/* mod-538-1 %jibb /tests/golden/types-union-patterns-import/modules/ui/lib/jibb
1901−/* typ-534 %txt /tests/golden/types-union-patterns-import/types/txt
1918+/* typ-538 %txt /tests/golden/types-union-patterns-import/types/txt
1902−/* mtre-534 %txt /tests/golden/types-union-patterns-import/module-trees/txt
1919+/* mtre-538 %txt /tests/golden/types-union-patterns-import/module-trees/txt
1903−/* src-535 %jibb /tests/golden/types-union-phantom-generic/source/jibb
1920+/* src-539 %jibb /tests/golden/types-union-phantom-generic/source/jibb
1904−/* tok-535 %txt /tests/golden/types-union-phantom-generic/tokens/txt
1921+/* tok-539 %txt /tests/golden/types-union-phantom-generic/tokens/txt
1905−/* tre-535 %txt /tests/golden/types-union-phantom-generic/tree/txt
1922+/* tre-539 %txt /tests/golden/types-union-phantom-generic/tree/txt
1906−/* typ-535 %txt /tests/golden/types-union-phantom-generic/types/txt
1923+/* typ-539 %txt /tests/golden/types-union-phantom-generic/types/txt
1907−/* src-536 %jibb /tests/golden/types-union-print-cross-namespace/source/jibb
1924+/* src-540 %jibb /tests/golden/types-union-print-cross-namespace/source/jibb
1908−/* tok-536 %txt /tests/golden/types-union-print-cross-namespace/tokens/txt
1925+/* tok-540 %txt /tests/golden/types-union-print-cross-namespace/tokens/txt
1909−/* tre-536 %txt /tests/golden/types-union-print-cross-namespace/tree/txt
1926+/* tre-540 %txt /tests/golden/types-union-print-cross-namespace/tree/txt
1910−/* mod-536-1 %jibb /tests/golden/types-union-print-cross-namespace/modules/ui/lib/jibb
1927+/* mod-540-1 %jibb /tests/golden/types-union-print-cross-namespace/modules/ui/lib/jibb
1911−/* typ-536 %txt /tests/golden/types-union-print-cross-namespace/types/txt
1928+/* typ-540 %txt /tests/golden/types-union-print-cross-namespace/types/txt
1912−/* mtre-536 %txt /tests/golden/types-union-print-cross-namespace/module-trees/txt
1929+/* mtre-540 %txt /tests/golden/types-union-print-cross-namespace/module-trees/txt
1913−/* src-537 %jibb /tests/golden/types-union-print-distinct/source/jibb
1930+/* src-541 %jibb /tests/golden/types-union-print-distinct/source/jibb
1914−/* tok-537 %txt /tests/golden/types-union-print-distinct/tokens/txt
1931+/* tok-541 %txt /tests/golden/types-union-print-distinct/tokens/txt
1915−/* tre-537 %txt /tests/golden/types-union-print-distinct/tree/txt
1932+/* tre-541 %txt /tests/golden/types-union-print-distinct/tree/txt
1916−/* mod-537-1 %jibb /tests/golden/types-union-print-distinct/modules/ui/left/jibb
1933+/* mod-541-1 %jibb /tests/golden/types-union-print-distinct/modules/ui/left/jibb
1917−/* mod-537-2 %jibb /tests/golden/types-union-print-distinct/modules/ui/right/jibb
1934+/* mod-541-2 %jibb /tests/golden/types-union-print-distinct/modules/ui/right/jibb
1918−/* mod-537-3 %jibb /tests/golden/types-union-print-distinct/modules/ui/twin/jibb
1935+/* mod-541-3 %jibb /tests/golden/types-union-print-distinct/modules/ui/twin/jibb
1919−/* typ-537 %txt /tests/golden/types-union-print-distinct/types/txt
1936+/* typ-541 %txt /tests/golden/types-union-print-distinct/types/txt
1920−/* mtre-537 %txt /tests/golden/types-union-print-distinct/module-trees/txt
1937+/* mtre-541 %txt /tests/golden/types-union-print-distinct/module-trees/txt
1921−/* src-538 %jibb /tests/golden/types-union-print-escape/source/jibb
1938+/* src-542 %jibb /tests/golden/types-union-print-escape/source/jibb
1922−/* tok-538 %txt /tests/golden/types-union-print-escape/tokens/txt
1939+/* tok-542 %txt /tests/golden/types-union-print-escape/tokens/txt
1923−/* tre-538 %txt /tests/golden/types-union-print-escape/tree/txt
1940+/* tre-542 %txt /tests/golden/types-union-print-escape/tree/txt
1924−/* typ-538 %txt /tests/golden/types-union-print-escape/types/txt
1941+/* typ-542 %txt /tests/golden/types-union-print-escape/types/txt
1925−/* src-539 %jibb /tests/golden/types-union-print-local/source/jibb
1942+/* src-543 %jibb /tests/golden/types-union-print-local/source/jibb
1926−/* tok-539 %txt /tests/golden/types-union-print-local/tokens/txt
1943+/* tok-543 %txt /tests/golden/types-union-print-local/tokens/txt
1927−/* tre-539 %txt /tests/golden/types-union-print-local/tree/txt
1944+/* tre-543 %txt /tests/golden/types-union-print-local/tree/txt
1928−/* typ-539 %txt /tests/golden/types-union-print-local/types/txt
1945+/* typ-543 %txt /tests/golden/types-union-print-local/types/txt
1929−/* src-540 %jibb /tests/golden/types-union-print-nested/source/jibb
1946+/* src-544 %jibb /tests/golden/types-union-print-nested/source/jibb
1930−/* tok-540 %txt /tests/golden/types-union-print-nested/tokens/txt
1947+/* tok-544 %txt /tests/golden/types-union-print-nested/tokens/txt
1931−/* tre-540 %txt /tests/golden/types-union-print-nested/tree/txt
1948+/* tre-544 %txt /tests/golden/types-union-print-nested/tree/txt
1932−/* typ-540 %txt /tests/golden/types-union-print-nested/types/txt
1949+/* typ-544 %txt /tests/golden/types-union-print-nested/types/txt
1933−/* src-541 %jibb /tests/golden/types-union-print-same-origin/source/jibb
1950+/* src-545 %jibb /tests/golden/types-union-print-same-origin/source/jibb
1934−/* tok-541 %txt /tests/golden/types-union-print-same-origin/tokens/txt
1951+/* tok-545 %txt /tests/golden/types-union-print-same-origin/tokens/txt
1935−/* tre-541 %txt /tests/golden/types-union-print-same-origin/tree/txt
1952+/* tre-545 %txt /tests/golden/types-union-print-same-origin/tree/txt
1936−/* mod-541-1 %jibb /tests/golden/types-union-print-same-origin/modules/ui/shared/jibb
1953+/* mod-545-1 %jibb /tests/golden/types-union-print-same-origin/modules/ui/shared/jibb
1937−/* typ-541 %txt /tests/golden/types-union-print-same-origin/types/txt
1954+/* typ-545 %txt /tests/golden/types-union-print-same-origin/types/txt
1938−/* mtre-541 %txt /tests/golden/types-union-print-same-origin/module-trees/txt
1955+/* mtre-545 %txt /tests/golden/types-union-print-same-origin/module-trees/txt
1939−/* src-542 %jibb /tests/golden/types-union-print-transitive/source/jibb
1956+/* src-546 %jibb /tests/golden/types-union-print-transitive/source/jibb
1940−/* tok-542 %txt /tests/golden/types-union-print-transitive/tokens/txt
1957+/* tok-546 %txt /tests/golden/types-union-print-transitive/tokens/txt
1941−/* tre-542 %txt /tests/golden/types-union-print-transitive/tree/txt
1958+/* tre-546 %txt /tests/golden/types-union-print-transitive/tree/txt
1942−/* mod-542-1 %jibb /tests/golden/types-union-print-transitive/modules/ui/mid/jibb
1959+/* mod-546-1 %jibb /tests/golden/types-union-print-transitive/modules/ui/mid/jibb
1943−/* mod-542-2 %jibb /tests/golden/types-union-print-transitive/modules/ui/base/jibb
1960+/* mod-546-2 %jibb /tests/golden/types-union-print-transitive/modules/ui/base/jibb
1944−/* typ-542 %txt /tests/golden/types-union-print-transitive/types/txt
1961+/* typ-546 %txt /tests/golden/types-union-print-transitive/types/txt
1945−/* mtre-542 %txt /tests/golden/types-union-print-transitive/module-trees/txt
1962+/* mtre-546 %txt /tests/golden/types-union-print-transitive/module-trees/txt
1946−/* src-543 %jibb /tests/golden/types-union-singleton/source/jibb
1963+/* src-547 %jibb /tests/golden/types-union-singleton/source/jibb
1947−/* tok-543 %txt /tests/golden/types-union-singleton/tokens/txt
1964+/* tok-547 %txt /tests/golden/types-union-singleton/tokens/txt
1948−/* tre-543 %txt /tests/golden/types-union-singleton/tree/txt
1965+/* tre-547 %txt /tests/golden/types-union-singleton/tree/txt
1949−/* typ-543 %txt /tests/golden/types-union-singleton/types/txt
1966+/* typ-547 %txt /tests/golden/types-union-singleton/types/txt
1950−/* src-544 %jibb /tests/golden/types-union-tag-atoms/source/jibb
1967+/* src-548 %jibb /tests/golden/types-union-tag-atoms/source/jibb
1951−/* tok-544 %txt /tests/golden/types-union-tag-atoms/tokens/txt
1968+/* tok-548 %txt /tests/golden/types-union-tag-atoms/tokens/txt
1952−/* tre-544 %txt /tests/golden/types-union-tag-atoms/tree/txt
1969+/* tre-548 %txt /tests/golden/types-union-tag-atoms/tree/txt
1953−/* typ-544 %txt /tests/golden/types-union-tag-atoms/types/txt
1970+/* typ-548 %txt /tests/golden/types-union-tag-atoms/types/txt
1954−/* src-545 %jibb /tests/golden/types-union-tags/source/jibb
1971+/* src-549 %jibb /tests/golden/types-union-tags/source/jibb
1955−/* tok-545 %txt /tests/golden/types-union-tags/tokens/txt
1972+/* tok-549 %txt /tests/golden/types-union-tags/tokens/txt
1956−/* tre-545 %txt /tests/golden/types-union-tags/tree/txt
1973+/* tre-549 %txt /tests/golden/types-union-tags/tree/txt
1957−/* typ-545 %txt /tests/golden/types-union-tags/types/txt
1974+/* typ-549 %txt /tests/golden/types-union-tags/types/txt
1958−/* src-546 %jibb /tests/golden/types-union-unresolved/source/jibb
1975+/* src-550 %jibb /tests/golden/types-union-unresolved/source/jibb
1959−/* tok-546 %txt /tests/golden/types-union-unresolved/tokens/txt
1976+/* tok-550 %txt /tests/golden/types-union-unresolved/tokens/txt
1960−/* tre-546 %txt /tests/golden/types-union-unresolved/tree/txt
1977+/* tre-550 %txt /tests/golden/types-union-unresolved/tree/txt
1961−/* typ-546 %txt /tests/golden/types-union-unresolved/types/txt
1978+/* typ-550 %txt /tests/golden/types-union-unresolved/types/txt
1962−/* src-547 %jibb /tests/golden/types-union-unresolved-flow/source/jibb
1979+/* src-551 %jibb /tests/golden/types-union-unresolved-flow/source/jibb
1963−/* tok-547 %txt /tests/golden/types-union-unresolved-flow/tokens/txt
1980+/* tok-551 %txt /tests/golden/types-union-unresolved-flow/tokens/txt
1964−/* tre-547 %txt /tests/golden/types-union-unresolved-flow/tree/txt
1981+/* tre-551 %txt /tests/golden/types-union-unresolved-flow/tree/txt
1965−/* typ-547 %txt /tests/golden/types-union-unresolved-flow/types/txt
1982+/* typ-551 %txt /tests/golden/types-union-unresolved-flow/types/txt
1966−/* src-548 %jibb /tests/golden/types-unit-construction/source/jibb
1983+/* src-552 %jibb /tests/golden/types-unit-construction/source/jibb
1967−/* tok-548 %txt /tests/golden/types-unit-construction/tokens/txt
1984+/* tok-552 %txt /tests/golden/types-unit-construction/tokens/txt
1968−/* tre-548 %txt /tests/golden/types-unit-construction/tree/txt
1985+/* tre-552 %txt /tests/golden/types-unit-construction/tree/txt
1969−/* typ-548 %txt /tests/golden/types-unit-construction/types/txt
1986+/* typ-552 %txt /tests/golden/types-unit-construction/types/txt
1970−/* src-549 %jibb /tests/golden/types-unit-context/source/jibb
1987+/* src-553 %jibb /tests/golden/types-unit-context/source/jibb
1971−/* tok-549 %txt /tests/golden/types-unit-context/tokens/txt
1988+/* tok-553 %txt /tests/golden/types-unit-context/tokens/txt
1972−/* tre-549 %txt /tests/golden/types-unit-context/tree/txt
1989+/* tre-553 %txt /tests/golden/types-unit-context/tree/txt
1973−/* typ-549 %txt /tests/golden/types-unit-context/types/txt
1990+/* typ-553 %txt /tests/golden/types-unit-context/types/txt
1974−/* src-550 %jibb /tests/golden/types-unit-patterns/source/jibb
1991+/* src-554 %jibb /tests/golden/types-unit-patterns/source/jibb
1975−/* tok-550 %txt /tests/golden/types-unit-patterns/tokens/txt
1992+/* tok-554 %txt /tests/golden/types-unit-patterns/tokens/txt
1976−/* tre-550 %txt /tests/golden/types-unit-patterns/tree/txt
1993+/* tre-554 %txt /tests/golden/types-unit-patterns/tree/txt
1977−/* typ-550 %txt /tests/golden/types-unit-patterns/types/txt
1994+/* typ-554 %txt /tests/golden/types-unit-patterns/types/txt
1978−=/ prepared-prelude (prepare-prelude:jibb prelude-source)
1995+=/ prepared-prelude (prepare-prelude-with-internal:jibb prelude-source internal-source)
1980:: one arm per case
1997:: one arm per case
@@ -3005,80 +3022,88 @@
3005 (weld (check ~.types-recursive-gate src-512 `tok-512 `tre-512) (check-types ~.types-recursive-gate ~[%tests %golden ~.types-recursive-gate %source %jibb] src-512 `typ-512))
3022 (weld (check ~.types-recursive-gate src-512 `tok-512 `tre-512) (check-types ~.types-recursive-gate ~[%tests %golden ~.types-recursive-gate %source %jibb] src-512 `typ-512))
3006++ test-types-recursive-sample
3023++ test-types-recursive-sample
3007 (weld (check ~.types-recursive-sample src-513 `tok-513 `tre-513) (check-types ~.types-recursive-sample ~[%tests %golden ~.types-recursive-sample %source %jibb] src-513 `typ-513))
3024 (weld (check ~.types-recursive-sample src-513 `tok-513 `tre-513) (check-types ~.types-recursive-sample ~[%tests %golden ~.types-recursive-sample %source %jibb] src-513 `typ-513))
3025+++ test-types-scope-library-poke
3026+ (weld (check-at ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-514 `tok-514 `tre-514) (check-module-types ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-514 `typ-514 ~ ~ ~))
3027+++ test-types-scope-root-api
3028+ (weld (check-at ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-515 `tok-515 `tre-515) (check-module-types ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-515 `typ-515 ~ ~ ~))
3029+++ test-types-scope-store-duplicate
3030+ (weld (check-at ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-516 `tok-516 `tre-516) (check-module-types ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-516 `typ-516 ~ ~ ~))
3031+++ test-types-scope-store-shadow
3032+ (weld (check-at ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-517 `tok-517 `tre-517) (check-module-types ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-517 `typ-517 ~ ~ ~))
3008++ test-types-string-interpolation
3033++ test-types-string-interpolation
3009− (weld (check ~.types-string-interpolation src-514 `tok-514 `tre-514) (check-module-types ~.types-string-interpolation ~[%tests %golden ~.types-string-interpolation %source %jibb] src-514 `typ-514 ~ ~ ~))
3034+ (weld (check ~.types-string-interpolation src-518 `tok-518 `tre-518) (check-module-types ~.types-string-interpolation ~[%tests %golden ~.types-string-interpolation %source %jibb] src-518 `typ-518 ~ ~ ~))
3010++ test-types-tuple-context
3035++ test-types-tuple-context
3011− (weld (check ~.types-tuple-context src-515 `tok-515 `tre-515) (check-module-types ~.types-tuple-context ~[%tests %golden ~.types-tuple-context %source %jibb] src-515 `typ-515 ~ ~ ~))
3036+ (weld (check ~.types-tuple-context src-519 `tok-519 `tre-519) (check-module-types ~.types-tuple-context ~[%tests %golden ~.types-tuple-context %source %jibb] src-519 `typ-519 ~ ~ ~))
3012++ test-types-tuple-context-nested
3037++ test-types-tuple-context-nested
3013− (weld (check ~.types-tuple-context-nested src-516 `tok-516 `tre-516) (check-module-types ~.types-tuple-context-nested ~[%tests %golden ~.types-tuple-context-nested %source %jibb] src-516 `typ-516 ~ ~ ~))
3038+ (weld (check ~.types-tuple-context-nested src-520 `tok-520 `tre-520) (check-module-types ~.types-tuple-context-nested ~[%tests %golden ~.types-tuple-context-nested %source %jibb] src-520 `typ-520 ~ ~ ~))
3014++ test-types-union-alias
3039++ test-types-union-alias
3015− (weld (check ~.types-union-alias src-517 `tok-517 `tre-517) (check-types ~.types-union-alias ~[%tests %golden ~.types-union-alias %source %jibb] src-517 `typ-517))
3040+ (weld (check ~.types-union-alias src-521 `tok-521 `tre-521) (check-types ~.types-union-alias ~[%tests %golden ~.types-union-alias %source %jibb] src-521 `typ-521))
3016++ test-types-union-branch-context
3041++ test-types-union-branch-context
3017− (weld (check ~.types-union-branch-context src-518 `tok-518 `tre-518) (check-types ~.types-union-branch-context ~[%tests %golden ~.types-union-branch-context %source %jibb] src-518 `typ-518))
3042+ (weld (check ~.types-union-branch-context src-522 `tok-522 `tre-522) (check-types ~.types-union-branch-context ~[%tests %golden ~.types-union-branch-context %source %jibb] src-522 `typ-522))
3018++ test-types-union-branch-pending
3043++ test-types-union-branch-pending
3019− (weld (check ~.types-union-branch-pending src-519 `tok-519 `tre-519) (check-types ~.types-union-branch-pending ~[%tests %golden ~.types-union-branch-pending %source %jibb] src-519 `typ-519))
3044+ (weld (check ~.types-union-branch-pending src-523 `tok-523 `tre-523) (check-types ~.types-union-branch-pending ~[%tests %golden ~.types-union-branch-pending %source %jibb] src-523 `typ-523))
3020++ test-types-union-constructor-shape
3045++ test-types-union-constructor-shape
3021− (weld (check ~.types-union-constructor-shape src-520 `tok-520 `tre-520) (check-types ~.types-union-constructor-shape ~[%tests %golden ~.types-union-constructor-shape %source %jibb] src-520 `typ-520))
3046+ (weld (check ~.types-union-constructor-shape src-524 `tok-524 `tre-524) (check-types ~.types-union-constructor-shape ~[%tests %golden ~.types-union-constructor-shape %source %jibb] src-524 `typ-524))
3022++ test-types-union-context-flow
3047++ test-types-union-context-flow
3023− (weld (check ~.types-union-context-flow src-521 `tok-521 `tre-521) (check-types ~.types-union-context-flow ~[%tests %golden ~.types-union-context-flow %source %jibb] src-521 `typ-521))
3048+ (weld (check ~.types-union-context-flow src-525 `tok-525 `tre-525) (check-types ~.types-union-context-flow ~[%tests %golden ~.types-union-context-flow %source %jibb] src-525 `typ-525))
3024++ test-types-union-finite
3049++ test-types-union-finite
3025− (weld (check ~.types-union-finite src-522 `tok-522 `tre-522) (check-module-types ~.types-union-finite ~[%tests %golden ~.types-union-finite %source %jibb] src-522 `typ-522 ~ ~ ~))
3050+ (weld (check ~.types-union-finite src-526 `tok-526 `tre-526) (check-module-types ~.types-union-finite ~[%tests %golden ~.types-union-finite %source %jibb] src-526 `typ-526 ~ ~ ~))
3026++ test-types-union-finite-context
3051++ test-types-union-finite-context
3027− (weld (check ~.types-union-finite-context src-523 `tok-523 `tre-523) (check-module-types ~.types-union-finite-context ~[%tests %golden ~.types-union-finite-context %source %jibb] src-523 `typ-523 ~ ~ ~))
3052+ (weld (check ~.types-union-finite-context src-527 `tok-527 `tre-527) (check-module-types ~.types-union-finite-context ~[%tests %golden ~.types-union-finite-context %source %jibb] src-527 `typ-527 ~ ~ ~))
3028++ test-types-union-finite-generic
3053++ test-types-union-finite-generic
3029− (weld (check ~.types-union-finite-generic src-524 `tok-524 `tre-524) (check-module-types ~.types-union-finite-generic ~[%tests %golden ~.types-union-finite-generic %source %jibb] src-524 `typ-524 ~ ~ ~))
3054+ (weld (check ~.types-union-finite-generic src-528 `tok-528 `tre-528) (check-module-types ~.types-union-finite-generic ~[%tests %golden ~.types-union-finite-generic %source %jibb] src-528 `typ-528 ~ ~ ~))
3030++ test-types-union-finite-limit
3055++ test-types-union-finite-limit
3031− (weld (check ~.types-union-finite-limit src-525 `tok-525 `tre-525) (check-module-types ~.types-union-finite-limit ~[%tests %golden ~.types-union-finite-limit %source %jibb] src-525 `typ-525 ~ ~ ~))
3056+ (weld (check ~.types-union-finite-limit src-529 `tok-529 `tre-529) (check-module-types ~.types-union-finite-limit ~[%tests %golden ~.types-union-finite-limit %source %jibb] src-529 `typ-529 ~ ~ ~))
3032++ test-types-union-import
3057++ test-types-union-import
3033− (weld (weld (check ~.types-union-import src-526 `tok-526 `tre-526) (check-module-types ~.types-union-import ~[%tests %golden ~.types-union-import %source %jibb] src-526 `typ-526 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-526-1]])) (check-module-trees ~.types-union-import `mtre-526 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-526-1]]))
3058+ (weld (weld (check ~.types-union-import src-530 `tok-530 `tre-530) (check-module-types ~.types-union-import ~[%tests %golden ~.types-union-import %source %jibb] src-530 `typ-530 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-530-1]])) (check-module-trees ~.types-union-import `mtre-530 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-530-1]]))
3034++ test-types-union-local-pending
3059++ test-types-union-local-pending
3035− (weld (check ~.types-union-local-pending src-527 `tok-527 `tre-527) (check-types ~.types-union-local-pending ~[%tests %golden ~.types-union-local-pending %source %jibb] src-527 `typ-527))
3060+ (weld (check ~.types-union-local-pending src-531 `tok-531 `tre-531) (check-types ~.types-union-local-pending ~[%tests %golden ~.types-union-local-pending %source %jibb] src-531 `typ-531))
3036++ test-types-union-overlap
3061++ test-types-union-overlap
3037− (weld (check ~.types-union-overlap src-528 `tok-528 `tre-528) (check-types ~.types-union-overlap ~[%tests %golden ~.types-union-overlap %source %jibb] src-528 `typ-528))
3062+ (weld (check ~.types-union-overlap src-532 `tok-532 `tre-532) (check-types ~.types-union-overlap ~[%tests %golden ~.types-union-overlap %source %jibb] src-532 `typ-532))
3038++ test-types-union-overlap-nested
3063++ test-types-union-overlap-nested
3039− (weld (check ~.types-union-overlap-nested src-529 `tok-529 `tre-529) (check-types ~.types-union-overlap-nested ~[%tests %golden ~.types-union-overlap-nested %source %jibb] src-529 `typ-529))
3064+ (weld (check ~.types-union-overlap-nested src-533 `tok-533 `tre-533) (check-types ~.types-union-overlap-nested ~[%tests %golden ~.types-union-overlap-nested %source %jibb] src-533 `typ-533))
3040++ test-types-union-pattern-result-context
3065++ test-types-union-pattern-result-context
3041− (weld (check ~.types-union-pattern-result-context src-530 `tok-530 `tre-530) (check-module-types ~.types-union-pattern-result-context ~[%tests %golden ~.types-union-pattern-result-context %source %jibb] src-530 `typ-530 ~ ~ ~))
3066+ (weld (check ~.types-union-pattern-result-context src-534 `tok-534 `tre-534) (check-module-types ~.types-union-pattern-result-context ~[%tests %golden ~.types-union-pattern-result-context %source %jibb] src-534 `typ-534 ~ ~ ~))
3042++ test-types-union-pattern-result-controls
3067++ test-types-union-pattern-result-controls
3043− (weld (check ~.types-union-pattern-result-controls src-531 `tok-531 `tre-531) (check-module-types ~.types-union-pattern-result-controls ~[%tests %golden ~.types-union-pattern-result-controls %source %jibb] src-531 `typ-531 ~ ~ ~))
3068+ (weld (check ~.types-union-pattern-result-controls src-535 `tok-535 `tre-535) (check-module-types ~.types-union-pattern-result-controls ~[%tests %golden ~.types-union-pattern-result-controls %source %jibb] src-535 `typ-535 ~ ~ ~))
3044++ test-types-union-patterns
3069++ test-types-union-patterns
3045− (weld (check ~.types-union-patterns src-532 `tok-532 `tre-532) (check-module-types ~.types-union-patterns ~[%tests %golden ~.types-union-patterns %source %jibb] src-532 `typ-532 ~ ~ ~))
3070+ (weld (check ~.types-union-patterns src-536 `tok-536 `tre-536) (check-module-types ~.types-union-patterns ~[%tests %golden ~.types-union-patterns %source %jibb] src-536 `typ-536 ~ ~ ~))
3046++ test-types-union-patterns-generic
3071++ test-types-union-patterns-generic
3047− (weld (check ~.types-union-patterns-generic src-533 `tok-533 `tre-533) (check-module-types ~.types-union-patterns-generic ~[%tests %golden ~.types-union-patterns-generic %source %jibb] src-533 `typ-533 ~ ~ ~))
3072+ (weld (check ~.types-union-patterns-generic src-537 `tok-537 `tre-537) (check-module-types ~.types-union-patterns-generic ~[%tests %golden ~.types-union-patterns-generic %source %jibb] src-537 `typ-537 ~ ~ ~))
3048++ test-types-union-patterns-import
3073++ test-types-union-patterns-import
3049− (weld (weld (check ~.types-union-patterns-import src-534 `tok-534 `tre-534) (check-module-types ~.types-union-patterns-import ~[%tests %golden ~.types-union-patterns-import %source %jibb] src-534 `typ-534 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-534-1]])) (check-module-trees ~.types-union-patterns-import `mtre-534 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-534-1]]))
3074+ (weld (weld (check ~.types-union-patterns-import src-538 `tok-538 `tre-538) (check-module-types ~.types-union-patterns-import ~[%tests %golden ~.types-union-patterns-import %source %jibb] src-538 `typ-538 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-538-1]])) (check-module-trees ~.types-union-patterns-import `mtre-538 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-538-1]]))
3050++ test-types-union-phantom-generic
3075++ test-types-union-phantom-generic
3051− (weld (check ~.types-union-phantom-generic src-535 `tok-535 `tre-535) (check-types ~.types-union-phantom-generic ~[%tests %golden ~.types-union-phantom-generic %source %jibb] src-535 `typ-535))
3076+ (weld (check ~.types-union-phantom-generic src-539 `tok-539 `tre-539) (check-types ~.types-union-phantom-generic ~[%tests %golden ~.types-union-phantom-generic %source %jibb] src-539 `typ-539))
3052++ test-types-union-print-cross-namespace
3077++ test-types-union-print-cross-namespace
3053− (weld (weld (check ~.types-union-print-cross-namespace src-536 `tok-536 `tre-536) (check-module-types ~.types-union-print-cross-namespace ~[%tests %golden ~.types-union-print-cross-namespace %source %jibb] src-536 `typ-536 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-536-1]])) (check-module-trees ~.types-union-print-cross-namespace `mtre-536 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-536-1]]))
3078+ (weld (weld (check ~.types-union-print-cross-namespace src-540 `tok-540 `tre-540) (check-module-types ~.types-union-print-cross-namespace ~[%tests %golden ~.types-union-print-cross-namespace %source %jibb] src-540 `typ-540 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-540-1]])) (check-module-trees ~.types-union-print-cross-namespace `mtre-540 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-540-1]]))
3054++ test-types-union-print-distinct
3079++ test-types-union-print-distinct
3055− (weld (weld (check ~.types-union-print-distinct src-537 `tok-537 `tre-537) (check-module-types ~.types-union-print-distinct ~[%tests %golden ~.types-union-print-distinct %source %jibb] src-537 `typ-537 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-537-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-537-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-537-3]])) (check-module-trees ~.types-union-print-distinct `mtre-537 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-537-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-537-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-537-3]]))
3080+ (weld (weld (check ~.types-union-print-distinct src-541 `tok-541 `tre-541) (check-module-types ~.types-union-print-distinct ~[%tests %golden ~.types-union-print-distinct %source %jibb] src-541 `typ-541 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-541-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-541-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-541-3]])) (check-module-trees ~.types-union-print-distinct `mtre-541 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-541-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-541-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-541-3]]))
3056++ test-types-union-print-escape
3081++ test-types-union-print-escape
3057− (weld (check ~.types-union-print-escape src-538 `tok-538 `tre-538) (check-types ~.types-union-print-escape ~[%tests %golden ~.types-union-print-escape %source %jibb] src-538 `typ-538))
3082+ (weld (check ~.types-union-print-escape src-542 `tok-542 `tre-542) (check-types ~.types-union-print-escape ~[%tests %golden ~.types-union-print-escape %source %jibb] src-542 `typ-542))
3058++ test-types-union-print-local
3083++ test-types-union-print-local
3059− (weld (check ~.types-union-print-local src-539 `tok-539 `tre-539) (check-types ~.types-union-print-local ~[%tests %golden ~.types-union-print-local %source %jibb] src-539 `typ-539))
3084+ (weld (check ~.types-union-print-local src-543 `tok-543 `tre-543) (check-types ~.types-union-print-local ~[%tests %golden ~.types-union-print-local %source %jibb] src-543 `typ-543))
3060++ test-types-union-print-nested
3085++ test-types-union-print-nested
3061− (weld (check ~.types-union-print-nested src-540 `tok-540 `tre-540) (check-types ~.types-union-print-nested ~[%tests %golden ~.types-union-print-nested %source %jibb] src-540 `typ-540))
3086+ (weld (check ~.types-union-print-nested src-544 `tok-544 `tre-544) (check-types ~.types-union-print-nested ~[%tests %golden ~.types-union-print-nested %source %jibb] src-544 `typ-544))
3062++ test-types-union-print-same-origin
3087++ test-types-union-print-same-origin
3063− (weld (weld (check ~.types-union-print-same-origin src-541 `tok-541 `tre-541) (check-module-types ~.types-union-print-same-origin ~[%tests %golden ~.types-union-print-same-origin %source %jibb] src-541 `typ-541 ~ ~ ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-541-1]])) (check-module-trees ~.types-union-print-same-origin `mtre-541 ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-541-1]]))
3088+ (weld (weld (check ~.types-union-print-same-origin src-545 `tok-545 `tre-545) (check-module-types ~.types-union-print-same-origin ~[%tests %golden ~.types-union-print-same-origin %source %jibb] src-545 `typ-545 ~ ~ ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-545-1]])) (check-module-trees ~.types-union-print-same-origin `mtre-545 ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-545-1]]))
3064++ test-types-union-print-transitive
3089++ test-types-union-print-transitive
3065− (weld (weld (check ~.types-union-print-transitive src-542 `tok-542 `tre-542) (check-module-types ~.types-union-print-transitive ~[%tests %golden ~.types-union-print-transitive %source %jibb] src-542 `typ-542 ~ ~ ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-542-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-542-2]])) (check-module-trees ~.types-union-print-transitive `mtre-542 ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-542-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-542-2]]))
3090+ (weld (weld (check ~.types-union-print-transitive src-546 `tok-546 `tre-546) (check-module-types ~.types-union-print-transitive ~[%tests %golden ~.types-union-print-transitive %source %jibb] src-546 `typ-546 ~ ~ ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-546-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-546-2]])) (check-module-trees ~.types-union-print-transitive `mtre-546 ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-546-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-546-2]]))
3066++ test-types-union-singleton
3091++ test-types-union-singleton
3067− (weld (check ~.types-union-singleton src-543 `tok-543 `tre-543) (check-types ~.types-union-singleton ~[%tests %golden ~.types-union-singleton %source %jibb] src-543 `typ-543))
3092+ (weld (check ~.types-union-singleton src-547 `tok-547 `tre-547) (check-types ~.types-union-singleton ~[%tests %golden ~.types-union-singleton %source %jibb] src-547 `typ-547))
3068++ test-types-union-tag-atoms
3093++ test-types-union-tag-atoms
3069− (weld (check ~.types-union-tag-atoms src-544 `tok-544 `tre-544) (check-types ~.types-union-tag-atoms ~[%tests %golden ~.types-union-tag-atoms %source %jibb] src-544 `typ-544))
3094+ (weld (check ~.types-union-tag-atoms src-548 `tok-548 `tre-548) (check-types ~.types-union-tag-atoms ~[%tests %golden ~.types-union-tag-atoms %source %jibb] src-548 `typ-548))
3070++ test-types-union-tags
3095++ test-types-union-tags
3071− (weld (check ~.types-union-tags src-545 `tok-545 `tre-545) (check-types ~.types-union-tags ~[%tests %golden ~.types-union-tags %source %jibb] src-545 `typ-545))
3096+ (weld (check ~.types-union-tags src-549 `tok-549 `tre-549) (check-types ~.types-union-tags ~[%tests %golden ~.types-union-tags %source %jibb] src-549 `typ-549))
3072++ test-types-union-unresolved
3097++ test-types-union-unresolved
3073− (weld (check ~.types-union-unresolved src-546 `tok-546 `tre-546) (check-types ~.types-union-unresolved ~[%tests %golden ~.types-union-unresolved %source %jibb] src-546 `typ-546))
3098+ (weld (check ~.types-union-unresolved src-550 `tok-550 `tre-550) (check-types ~.types-union-unresolved ~[%tests %golden ~.types-union-unresolved %source %jibb] src-550 `typ-550))
3074++ test-types-union-unresolved-flow
3099++ test-types-union-unresolved-flow
3075− (weld (check ~.types-union-unresolved-flow src-547 `tok-547 `tre-547) (check-types ~.types-union-unresolved-flow ~[%tests %golden ~.types-union-unresolved-flow %source %jibb] src-547 `typ-547))
3100+ (weld (check ~.types-union-unresolved-flow src-551 `tok-551 `tre-551) (check-types ~.types-union-unresolved-flow ~[%tests %golden ~.types-union-unresolved-flow %source %jibb] src-551 `typ-551))
3076++ test-types-unit-construction
3101++ test-types-unit-construction
3077− (weld (check ~.types-unit-construction src-548 `tok-548 `tre-548) (check-module-types ~.types-unit-construction ~[%tests %golden ~.types-unit-construction %source %jibb] src-548 `typ-548 ~ ~ ~))
3102+ (weld (check ~.types-unit-construction src-552 `tok-552 `tre-552) (check-module-types ~.types-unit-construction ~[%tests %golden ~.types-unit-construction %source %jibb] src-552 `typ-552 ~ ~ ~))
3078++ test-types-unit-context
3103++ test-types-unit-context
3079− (weld (check ~.types-unit-context src-549 `tok-549 `tre-549) (check-module-types ~.types-unit-context ~[%tests %golden ~.types-unit-context %source %jibb] src-549 `typ-549 ~ ~ ~))
3104+ (weld (check ~.types-unit-context src-553 `tok-553 `tre-553) (check-module-types ~.types-unit-context ~[%tests %golden ~.types-unit-context %source %jibb] src-553 `typ-553 ~ ~ ~))
3080++ test-types-unit-patterns
3105++ test-types-unit-patterns
3081− (weld (check ~.types-unit-patterns src-550 `tok-550 `tre-550) (check-types ~.types-unit-patterns ~[%tests %golden ~.types-unit-patterns %source %jibb] src-550 `typ-550))
3106+ (weld (check ~.types-unit-patterns src-554 `tok-554 `tre-554) (check-types ~.types-unit-patterns ~[%tests %golden ~.types-unit-patterns %source %jibb] src-554 `typ-554))
3083:: +check: run golden:jibb on a case and compare both outputs
3108:: +check: run golden:jibb on a case and compare both outputs
@@ -3241,6 +3266,6 @@
3241 =/ sources=(list [path=path source=@t])
3266 =/ sources=(list [path=path source=@t])
3242 (turn modules |=(item=[label=@t at=path source=@t] [at.item source.item]))
3267 (turn modules |=(item=[label=@t at=path source=@t] [at.item source.item]))
3243 ?~ prepared-prelude
3268 ?~ prepared-prelude
3244− (golden-types-with-prelude:jibb at src external mark-external sources prelude-source)
3269+ (golden-types-with-prelude-and-internal:jibb at src external mark-external sources prelude-source internal-source)
3245 (golden-types-with-prepared-prelude:jibb at src external mark-external sources prepared-prelude)
3270 (golden-types-with-prepared-prelude:jibb at src external mark-external sources prepared-prelude)