diff options
Diffstat (limited to 'testdata')
-rw-r--r-- | testdata/Builtins.out | 92 | ||||
-rw-r--r-- | testdata/Internals.out | 254 | ||||
-rw-r--r-- | testdata/Prelude.out | 2 | ||||
-rw-r--r-- | testdata/language-features/basic-values/def05.reject.out | 2 | ||||
-rw-r--r-- | testdata/language-features/basic-values/def06.reject.out | 2 | ||||
-rw-r--r-- | testdata/language-features/basic-values/redefine03.reject.out | 2 | ||||
-rw-r--r-- | testdata/language-features/guard/guard10.reject.out | 2 | ||||
-rw-r--r-- | testdata/listcompr01.reject.out | 2 |
8 files changed, 228 insertions, 130 deletions
diff --git a/testdata/Builtins.out b/testdata/Builtins.out index 5c4ff581..6f407c39 100644 --- a/testdata/Builtins.out +++ b/testdata/Builtins.out | |||
@@ -1019,15 +1019,19 @@ testdata/Builtins.lc 329:3-329:10 FragmentOperation (Color V6) | {a} -> {b:Nat} | |||
1019 | testdata/Builtins.lc 329:3-330:102 Type | 1019 | testdata/Builtins.lc 329:3-330:102 Type |
1020 | testdata/Builtins.lc 329:26-330:102 Type | 1020 | testdata/Builtins.lc 329:26-330:102 Type |
1021 | testdata/Builtins.lc 329:27-329:31 V7 | 1021 | testdata/Builtins.lc 329:27-329:31 V7 |
1022 | testdata/Builtins.lc 329:27-329:33 Type->Type | ||
1022 | testdata/Builtins.lc 329:27-329:50 Type | 1023 | testdata/Builtins.lc 329:27-329:50 Type |
1024 | testdata/Builtins.lc 329:32-329:33 Type -> Type->Type | ||
1023 | testdata/Builtins.lc 329:34-329:43 Nat -> Type->Type | 1025 | testdata/Builtins.lc 329:34-329:43 Nat -> Type->Type |
1024 | testdata/Builtins.lc 329:34-329:45 Type->Type | 1026 | testdata/Builtins.lc 329:34-329:45 Type->Type |
1025 | testdata/Builtins.lc 329:34-329:50 Type | 1027 | testdata/Builtins.lc 329:34-329:50 Type |
1026 | testdata/Builtins.lc 329:44-329:45 V5 | 1028 | testdata/Builtins.lc 329:44-329:45 V5 |
1027 | testdata/Builtins.lc 329:46-329:50 Type | 1029 | testdata/Builtins.lc 329:46-329:50 Type |
1028 | testdata/Builtins.lc 329:52-329:57 V4 | 1030 | testdata/Builtins.lc 329:52-329:57 V4 |
1031 | testdata/Builtins.lc 329:52-329:59 Type->Type | ||
1029 | testdata/Builtins.lc 329:52-329:73 Type | 1032 | testdata/Builtins.lc 329:52-329:73 Type |
1030 | testdata/Builtins.lc 329:52-330:102 Type | 1033 | testdata/Builtins.lc 329:52-330:102 Type |
1034 | testdata/Builtins.lc 329:58-329:59 Type -> Type->Type | ||
1031 | testdata/Builtins.lc 329:60-329:69 Nat -> Type->Type | 1035 | testdata/Builtins.lc 329:60-329:69 Nat -> Type->Type |
1032 | testdata/Builtins.lc 329:60-329:71 Type->Type | 1036 | testdata/Builtins.lc 329:60-329:71 Type->Type |
1033 | testdata/Builtins.lc 329:60-329:73 Type | 1037 | testdata/Builtins.lc 329:60-329:73 Type |
@@ -1219,8 +1223,10 @@ testdata/Builtins.lc 361:42-361:56 Type->Type | |||
1219 | testdata/Builtins.lc 361:42-361:58 Type | 1223 | testdata/Builtins.lc 361:42-361:58 Type |
1220 | testdata/Builtins.lc 361:57-361:58 V3 | 1224 | testdata/Builtins.lc 361:57-361:58 V3 |
1221 | testdata/Builtins.lc 361:60-361:61 Type | 1225 | testdata/Builtins.lc 361:60-361:61 Type |
1226 | testdata/Builtins.lc 361:60-361:63 Type->Type | ||
1222 | testdata/Builtins.lc 361:60-361:74 Type | 1227 | testdata/Builtins.lc 361:60-361:74 Type |
1223 | testdata/Builtins.lc 361:60-361:104 Type | 1228 | testdata/Builtins.lc 361:60-361:104 Type |
1229 | testdata/Builtins.lc 361:62-361:63 Type -> Type->Type | ||
1224 | testdata/Builtins.lc 361:64-361:71 Type->Type | 1230 | testdata/Builtins.lc 361:64-361:71 Type->Type |
1225 | testdata/Builtins.lc 361:64-361:74 Type | 1231 | testdata/Builtins.lc 361:64-361:74 Type |
1226 | testdata/Builtins.lc 361:72-361:74 V2 | 1232 | testdata/Builtins.lc 361:72-361:74 V2 |
@@ -1367,13 +1373,17 @@ testdata/Builtins.lc 389:47-389:48 V5 | |||
1367 | testdata/Builtins.lc 391:1-391:11 {a} -> {b} -> {c} -> {d:PrimitiveType} -> {e : a ~ InterpolatedType b} -> {f : c ~ JoinTupleType (VecS Float 4) a} -> c->Float -> b -> RasterContext d -> Primitive d c -> Stream (Fragment 1 a) | 1373 | testdata/Builtins.lc 391:1-391:11 {a} -> {b} -> {c} -> {d:PrimitiveType} -> {e : a ~ InterpolatedType b} -> {f : c ~ JoinTupleType (VecS Float 4) a} -> c->Float -> b -> RasterContext d -> Primitive d c -> Stream (Fragment 1 a) |
1368 | testdata/Builtins.lc 391:20-395:55 Type | 1374 | testdata/Builtins.lc 391:20-395:55 Type |
1369 | testdata/Builtins.lc 391:21-391:22 V7 | 1375 | testdata/Builtins.lc 391:21-391:22 V7 |
1376 | testdata/Builtins.lc 391:21-391:24 Type->Type | ||
1370 | testdata/Builtins.lc 391:21-391:43 Type | 1377 | testdata/Builtins.lc 391:21-391:43 Type |
1378 | testdata/Builtins.lc 391:23-391:24 Type -> Type->Type | ||
1371 | testdata/Builtins.lc 391:25-391:41 Type->Type | 1379 | testdata/Builtins.lc 391:25-391:41 Type->Type |
1372 | testdata/Builtins.lc 391:25-391:43 Type | 1380 | testdata/Builtins.lc 391:25-391:43 Type |
1373 | testdata/Builtins.lc 391:42-391:43 V5 | 1381 | testdata/Builtins.lc 391:42-391:43 V5 |
1374 | testdata/Builtins.lc 391:45-391:46 V4 | 1382 | testdata/Builtins.lc 391:45-391:46 V4 |
1383 | testdata/Builtins.lc 391:45-391:48 Type->Type | ||
1375 | testdata/Builtins.lc 391:45-391:78 Type | 1384 | testdata/Builtins.lc 391:45-391:78 Type |
1376 | testdata/Builtins.lc 391:45-395:55 Type | 1385 | testdata/Builtins.lc 391:45-395:55 Type |
1386 | testdata/Builtins.lc 391:47-391:48 Type -> Type->Type | ||
1377 | testdata/Builtins.lc 391:49-391:62 Type -> Type->Type | 1387 | testdata/Builtins.lc 391:49-391:62 Type -> Type->Type |
1378 | testdata/Builtins.lc 391:49-391:76 Type->Type | 1388 | testdata/Builtins.lc 391:49-391:76 Type->Type |
1379 | testdata/Builtins.lc 391:49-391:78 Type | 1389 | testdata/Builtins.lc 391:49-391:78 Type |
@@ -1468,8 +1478,10 @@ testdata/Builtins.lc 409:48-409:51 Type->Type | |||
1468 | testdata/Builtins.lc 409:48-409:53 Type | 1478 | testdata/Builtins.lc 409:48-409:53 Type |
1469 | testdata/Builtins.lc 409:52-409:53 V3 | 1479 | testdata/Builtins.lc 409:52-409:53 V3 |
1470 | testdata/Builtins.lc 409:55-409:60 V2 | 1480 | testdata/Builtins.lc 409:55-409:60 V2 |
1481 | testdata/Builtins.lc 409:55-409:62 Type->Type | ||
1471 | testdata/Builtins.lc 409:55-409:76 Type | 1482 | testdata/Builtins.lc 409:55-409:76 Type |
1472 | testdata/Builtins.lc 409:55-410:57 Type | 1483 | testdata/Builtins.lc 409:55-410:57 Type |
1484 | testdata/Builtins.lc 409:61-409:62 Type -> Type->Type | ||
1473 | testdata/Builtins.lc 409:63-409:72 Nat -> Type->Type | 1485 | testdata/Builtins.lc 409:63-409:72 Nat -> Type->Type |
1474 | testdata/Builtins.lc 409:63-409:74 Type->Type | 1486 | testdata/Builtins.lc 409:63-409:74 Type->Type |
1475 | testdata/Builtins.lc 409:63-409:76 Type | 1487 | testdata/Builtins.lc 409:63-409:76 Type |
@@ -1644,10 +1656,12 @@ testdata/Builtins.lc 438:56-438:57 V2 | |||
1644 | testdata/Builtins.lc 438:59-438:73 Nat -> Type->Type | 1656 | testdata/Builtins.lc 438:59-438:73 Nat -> Type->Type |
1645 | testdata/Builtins.lc 438:59-438:75 Type->Type | 1657 | testdata/Builtins.lc 438:59-438:75 Type->Type |
1646 | testdata/Builtins.lc 438:59-438:77 Type | 1658 | testdata/Builtins.lc 438:59-438:77 Type |
1659 | testdata/Builtins.lc 438:59-438:79 Type->Type | ||
1647 | testdata/Builtins.lc 438:59-438:95 Type | 1660 | testdata/Builtins.lc 438:59-438:95 Type |
1648 | testdata/Builtins.lc 438:59-438:120 Type | 1661 | testdata/Builtins.lc 438:59-438:120 Type |
1649 | testdata/Builtins.lc 438:74-438:75 Nat | 1662 | testdata/Builtins.lc 438:74-438:75 Nat |
1650 | testdata/Builtins.lc 438:76-438:77 Type | 1663 | testdata/Builtins.lc 438:76-438:77 Type |
1664 | testdata/Builtins.lc 438:78-438:79 Type -> Type->Type | ||
1651 | testdata/Builtins.lc 438:80-438:93 Type->Type | 1665 | testdata/Builtins.lc 438:80-438:93 Type->Type |
1652 | testdata/Builtins.lc 438:80-438:95 Type | 1666 | testdata/Builtins.lc 438:80-438:95 Type |
1653 | testdata/Builtins.lc 438:94-438:95 Type | 1667 | testdata/Builtins.lc 438:94-438:95 Type |
@@ -1740,7 +1754,9 @@ testdata/Builtins.lc 456:11-456:19 {a} -> {b} -> {c : a ~ MatVecScalarElem b} - | |||
1740 | testdata/Builtins.lc 456:21-456:29 {a} -> {b} -> {c : a ~ MatVecScalarElem b} -> {d : Num a} -> b -> a->b | 1754 | testdata/Builtins.lc 456:21-456:29 {a} -> {b} -> {c : a ~ MatVecScalarElem b} -> {d : Num a} -> b -> a->b |
1741 | testdata/Builtins.lc 456:34-456:80 Type | 1755 | testdata/Builtins.lc 456:34-456:80 Type |
1742 | testdata/Builtins.lc 456:35-456:36 V3 | 1756 | testdata/Builtins.lc 456:35-456:36 V3 |
1757 | testdata/Builtins.lc 456:35-456:38 Type->Type | ||
1743 | testdata/Builtins.lc 456:35-456:57 Type | 1758 | testdata/Builtins.lc 456:35-456:57 Type |
1759 | testdata/Builtins.lc 456:37-456:38 Type -> Type->Type | ||
1744 | testdata/Builtins.lc 456:39-456:55 Type->Type | 1760 | testdata/Builtins.lc 456:39-456:55 Type->Type |
1745 | testdata/Builtins.lc 456:39-456:57 Type | 1761 | testdata/Builtins.lc 456:39-456:57 Type |
1746 | testdata/Builtins.lc 456:56-456:57 V1 | 1762 | testdata/Builtins.lc 456:56-456:57 V1 |
@@ -1760,8 +1776,10 @@ testdata/Builtins.lc 457:35-457:38 Type->Type | |||
1760 | testdata/Builtins.lc 457:35-457:40 Type | 1776 | testdata/Builtins.lc 457:35-457:40 Type |
1761 | testdata/Builtins.lc 457:39-457:40 V5 | 1777 | testdata/Builtins.lc 457:39-457:40 V5 |
1762 | testdata/Builtins.lc 457:42-457:43 V4 | 1778 | testdata/Builtins.lc 457:42-457:43 V4 |
1779 | testdata/Builtins.lc 457:42-457:45 Type->Type | ||
1763 | testdata/Builtins.lc 457:42-457:59 Type | 1780 | testdata/Builtins.lc 457:42-457:59 Type |
1764 | testdata/Builtins.lc 457:42-457:75 Type | 1781 | testdata/Builtins.lc 457:42-457:75 Type |
1782 | testdata/Builtins.lc 457:44-457:45 Type -> Type->Type | ||
1765 | testdata/Builtins.lc 457:46-457:55 Nat -> Type->Type | 1783 | testdata/Builtins.lc 457:46-457:55 Nat -> Type->Type |
1766 | testdata/Builtins.lc 457:46-457:57 Type->Type | 1784 | testdata/Builtins.lc 457:46-457:57 Type->Type |
1767 | testdata/Builtins.lc 457:46-457:59 Type | 1785 | testdata/Builtins.lc 457:46-457:59 Type |
@@ -1779,8 +1797,10 @@ testdata/Builtins.lc 458:35-458:38 Type->Type | |||
1779 | testdata/Builtins.lc 458:35-458:40 Type | 1797 | testdata/Builtins.lc 458:35-458:40 Type |
1780 | testdata/Builtins.lc 458:39-458:40 V5 | 1798 | testdata/Builtins.lc 458:39-458:40 V5 |
1781 | testdata/Builtins.lc 458:42-458:43 V4 | 1799 | testdata/Builtins.lc 458:42-458:43 V4 |
1800 | testdata/Builtins.lc 458:42-458:45 Type->Type | ||
1782 | testdata/Builtins.lc 458:42-458:59 Type | 1801 | testdata/Builtins.lc 458:42-458:59 Type |
1783 | testdata/Builtins.lc 458:42-458:75 Type | 1802 | testdata/Builtins.lc 458:42-458:75 Type |
1803 | testdata/Builtins.lc 458:44-458:45 Type -> Type->Type | ||
1784 | testdata/Builtins.lc 458:46-458:55 Nat -> Type->Type | 1804 | testdata/Builtins.lc 458:46-458:55 Nat -> Type->Type |
1785 | testdata/Builtins.lc 458:46-458:57 Type->Type | 1805 | testdata/Builtins.lc 458:46-458:57 Type->Type |
1786 | testdata/Builtins.lc 458:46-458:59 Type | 1806 | testdata/Builtins.lc 458:46-458:59 Type |
@@ -1809,8 +1829,10 @@ testdata/Builtins.lc 461:35-461:43 Type->Type | |||
1809 | testdata/Builtins.lc 461:35-461:45 Type | 1829 | testdata/Builtins.lc 461:35-461:45 Type |
1810 | testdata/Builtins.lc 461:44-461:45 V5 | 1830 | testdata/Builtins.lc 461:44-461:45 V5 |
1811 | testdata/Builtins.lc 461:47-461:48 V4 | 1831 | testdata/Builtins.lc 461:47-461:48 V4 |
1832 | testdata/Builtins.lc 461:47-461:50 Type->Type | ||
1812 | testdata/Builtins.lc 461:47-461:64 Type | 1833 | testdata/Builtins.lc 461:47-461:64 Type |
1813 | testdata/Builtins.lc 461:47-461:80 Type | 1834 | testdata/Builtins.lc 461:47-461:80 Type |
1835 | testdata/Builtins.lc 461:49-461:50 Type -> Type->Type | ||
1814 | testdata/Builtins.lc 461:51-461:60 Nat -> Type->Type | 1836 | testdata/Builtins.lc 461:51-461:60 Nat -> Type->Type |
1815 | testdata/Builtins.lc 461:51-461:62 Type->Type | 1837 | testdata/Builtins.lc 461:51-461:62 Type->Type |
1816 | testdata/Builtins.lc 461:51-461:64 Type | 1838 | testdata/Builtins.lc 461:51-461:64 Type |
@@ -1829,8 +1851,10 @@ testdata/Builtins.lc 462:35-462:43 Type->Type | |||
1829 | testdata/Builtins.lc 462:35-462:45 Type | 1851 | testdata/Builtins.lc 462:35-462:45 Type |
1830 | testdata/Builtins.lc 462:44-462:45 V5 | 1852 | testdata/Builtins.lc 462:44-462:45 V5 |
1831 | testdata/Builtins.lc 462:47-462:48 V4 | 1853 | testdata/Builtins.lc 462:47-462:48 V4 |
1854 | testdata/Builtins.lc 462:47-462:50 Type->Type | ||
1832 | testdata/Builtins.lc 462:47-462:64 Type | 1855 | testdata/Builtins.lc 462:47-462:64 Type |
1833 | testdata/Builtins.lc 462:47-462:80 Type | 1856 | testdata/Builtins.lc 462:47-462:80 Type |
1857 | testdata/Builtins.lc 462:49-462:50 Type -> Type->Type | ||
1834 | testdata/Builtins.lc 462:51-462:60 Nat -> Type->Type | 1858 | testdata/Builtins.lc 462:51-462:60 Nat -> Type->Type |
1835 | testdata/Builtins.lc 462:51-462:62 Type->Type | 1859 | testdata/Builtins.lc 462:51-462:62 Type->Type |
1836 | testdata/Builtins.lc 462:51-462:64 Type | 1860 | testdata/Builtins.lc 462:51-462:64 Type |
@@ -1847,8 +1871,10 @@ testdata/Builtins.lc 463:35-463:43 Type->Type | |||
1847 | testdata/Builtins.lc 463:35-463:45 Type | 1871 | testdata/Builtins.lc 463:35-463:45 Type |
1848 | testdata/Builtins.lc 463:44-463:45 V5 | 1872 | testdata/Builtins.lc 463:44-463:45 V5 |
1849 | testdata/Builtins.lc 463:47-463:48 V4 | 1873 | testdata/Builtins.lc 463:47-463:48 V4 |
1874 | testdata/Builtins.lc 463:47-463:50 Type->Type | ||
1850 | testdata/Builtins.lc 463:47-463:64 Type | 1875 | testdata/Builtins.lc 463:47-463:64 Type |
1851 | testdata/Builtins.lc 463:47-463:75 Type | 1876 | testdata/Builtins.lc 463:47-463:75 Type |
1877 | testdata/Builtins.lc 463:49-463:50 Type -> Type->Type | ||
1852 | testdata/Builtins.lc 463:51-463:60 Nat -> Type->Type | 1878 | testdata/Builtins.lc 463:51-463:60 Nat -> Type->Type |
1853 | testdata/Builtins.lc 463:51-463:62 Type->Type | 1879 | testdata/Builtins.lc 463:51-463:62 Type->Type |
1854 | testdata/Builtins.lc 463:51-463:64 Type | 1880 | testdata/Builtins.lc 463:51-463:64 Type |
@@ -1864,16 +1890,20 @@ testdata/Builtins.lc 464:35-464:43 Type->Type | |||
1864 | testdata/Builtins.lc 464:35-464:45 Type | 1890 | testdata/Builtins.lc 464:35-464:45 Type |
1865 | testdata/Builtins.lc 464:44-464:45 V7 | 1891 | testdata/Builtins.lc 464:44-464:45 V7 |
1866 | testdata/Builtins.lc 464:47-464:48 V6 | 1892 | testdata/Builtins.lc 464:47-464:48 V6 |
1893 | testdata/Builtins.lc 464:47-464:50 Type->Type | ||
1867 | testdata/Builtins.lc 464:47-464:64 Type | 1894 | testdata/Builtins.lc 464:47-464:64 Type |
1868 | testdata/Builtins.lc 464:47-464:102 Type | 1895 | testdata/Builtins.lc 464:47-464:102 Type |
1896 | testdata/Builtins.lc 464:49-464:50 Type -> Type->Type | ||
1869 | testdata/Builtins.lc 464:51-464:60 Nat -> Type->Type | 1897 | testdata/Builtins.lc 464:51-464:60 Nat -> Type->Type |
1870 | testdata/Builtins.lc 464:51-464:62 Type->Type | 1898 | testdata/Builtins.lc 464:51-464:62 Type->Type |
1871 | testdata/Builtins.lc 464:51-464:64 Type | 1899 | testdata/Builtins.lc 464:51-464:64 Type |
1872 | testdata/Builtins.lc 464:61-464:62 V4 | 1900 | testdata/Builtins.lc 464:61-464:62 V4 |
1873 | testdata/Builtins.lc 464:63-464:64 Type | 1901 | testdata/Builtins.lc 464:63-464:64 Type |
1874 | testdata/Builtins.lc 464:66-464:67 V3 | 1902 | testdata/Builtins.lc 464:66-464:67 V3 |
1903 | testdata/Builtins.lc 464:66-464:69 Type->Type | ||
1875 | testdata/Builtins.lc 464:66-464:86 Type | 1904 | testdata/Builtins.lc 464:66-464:86 Type |
1876 | testdata/Builtins.lc 464:66-464:102 Type | 1905 | testdata/Builtins.lc 464:66-464:102 Type |
1906 | testdata/Builtins.lc 464:68-464:69 Type -> Type->Type | ||
1877 | testdata/Builtins.lc 464:70-464:79 Nat -> Type->Type | 1907 | testdata/Builtins.lc 464:70-464:79 Nat -> Type->Type |
1878 | testdata/Builtins.lc 464:70-464:81 Type->Type | 1908 | testdata/Builtins.lc 464:70-464:81 Type->Type |
1879 | testdata/Builtins.lc 464:70-464:86 Type | 1909 | testdata/Builtins.lc 464:70-464:86 Type |
@@ -1891,8 +1921,10 @@ testdata/Builtins.lc 465:35-465:43 Type->Type | |||
1891 | testdata/Builtins.lc 465:35-465:45 Type | 1921 | testdata/Builtins.lc 465:35-465:45 Type |
1892 | testdata/Builtins.lc 465:44-465:45 V5 | 1922 | testdata/Builtins.lc 465:44-465:45 V5 |
1893 | testdata/Builtins.lc 465:47-465:48 V4 | 1923 | testdata/Builtins.lc 465:47-465:48 V4 |
1924 | testdata/Builtins.lc 465:47-465:50 Type->Type | ||
1894 | testdata/Builtins.lc 465:47-465:64 Type | 1925 | testdata/Builtins.lc 465:47-465:64 Type |
1895 | testdata/Builtins.lc 465:47-465:83 Type | 1926 | testdata/Builtins.lc 465:47-465:83 Type |
1927 | testdata/Builtins.lc 465:49-465:50 Type -> Type->Type | ||
1896 | testdata/Builtins.lc 465:51-465:60 Nat -> Type->Type | 1928 | testdata/Builtins.lc 465:51-465:60 Nat -> Type->Type |
1897 | testdata/Builtins.lc 465:51-465:62 Type->Type | 1929 | testdata/Builtins.lc 465:51-465:62 Type->Type |
1898 | testdata/Builtins.lc 465:51-465:64 Type | 1930 | testdata/Builtins.lc 465:51-465:64 Type |
@@ -1914,6 +1946,8 @@ testdata/Builtins.lc 468:1-468:8 {a} -> {b:Nat} -> {c : a ~ VecScalar b Bool} - | |||
1914 | testdata/Builtins.lc 468:34-468:56 Type | 1946 | testdata/Builtins.lc 468:34-468:56 Type |
1915 | testdata/Builtins.lc 468:34-468:66 Type | 1947 | testdata/Builtins.lc 468:34-468:66 Type |
1916 | testdata/Builtins.lc 468:35-468:36 V3 | 1948 | testdata/Builtins.lc 468:35-468:36 V3 |
1949 | testdata/Builtins.lc 468:35-468:38 Type->Type | ||
1950 | testdata/Builtins.lc 468:37-468:38 Type -> Type->Type | ||
1917 | testdata/Builtins.lc 468:39-468:48 Nat -> Type->Type | 1951 | testdata/Builtins.lc 468:39-468:48 Nat -> Type->Type |
1918 | testdata/Builtins.lc 468:39-468:50 Type->Type | 1952 | testdata/Builtins.lc 468:39-468:50 Type->Type |
1919 | testdata/Builtins.lc 468:39-468:55 Type | 1953 | testdata/Builtins.lc 468:39-468:55 Type |
@@ -1954,6 +1988,8 @@ testdata/Builtins.lc 472:195-472:206 {a} -> {b:Nat} -> {c : a ~ VecScalar b Flo | |||
1954 | testdata/Builtins.lc 473:34-473:57 Type | 1988 | testdata/Builtins.lc 473:34-473:57 Type |
1955 | testdata/Builtins.lc 473:34-473:67 Type | 1989 | testdata/Builtins.lc 473:34-473:67 Type |
1956 | testdata/Builtins.lc 473:35-473:36 V3 | 1990 | testdata/Builtins.lc 473:35-473:36 V3 |
1991 | testdata/Builtins.lc 473:35-473:38 Type->Type | ||
1992 | testdata/Builtins.lc 473:37-473:38 Type -> Type->Type | ||
1957 | testdata/Builtins.lc 473:39-473:48 Nat -> Type->Type | 1993 | testdata/Builtins.lc 473:39-473:48 Nat -> Type->Type |
1958 | testdata/Builtins.lc 473:39-473:50 Type->Type | 1994 | testdata/Builtins.lc 473:39-473:50 Type->Type |
1959 | testdata/Builtins.lc 473:39-473:56 Type | 1995 | testdata/Builtins.lc 473:39-473:56 Type |
@@ -1967,6 +2003,8 @@ testdata/Builtins.lc 474:10-474:19 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float | |||
1967 | testdata/Builtins.lc 474:34-474:57 Type | 2003 | testdata/Builtins.lc 474:34-474:57 Type |
1968 | testdata/Builtins.lc 474:34-474:72 Type | 2004 | testdata/Builtins.lc 474:34-474:72 Type |
1969 | testdata/Builtins.lc 474:35-474:36 V3 | 2005 | testdata/Builtins.lc 474:35-474:36 V3 |
2006 | testdata/Builtins.lc 474:35-474:38 Type->Type | ||
2007 | testdata/Builtins.lc 474:37-474:38 Type -> Type->Type | ||
1970 | testdata/Builtins.lc 474:39-474:48 Nat -> Type->Type | 2008 | testdata/Builtins.lc 474:39-474:48 Nat -> Type->Type |
1971 | testdata/Builtins.lc 474:39-474:50 Type->Type | 2009 | testdata/Builtins.lc 474:39-474:50 Type->Type |
1972 | testdata/Builtins.lc 474:39-474:56 Type | 2010 | testdata/Builtins.lc 474:39-474:56 Type |
@@ -1986,6 +2024,8 @@ testdata/Builtins.lc 476:59-476:68 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float | |||
1986 | testdata/Builtins.lc 477:34-477:57 Type | 2024 | testdata/Builtins.lc 477:34-477:57 Type |
1987 | testdata/Builtins.lc 477:34-477:67 Type | 2025 | testdata/Builtins.lc 477:34-477:67 Type |
1988 | testdata/Builtins.lc 477:35-477:36 V3 | 2026 | testdata/Builtins.lc 477:35-477:36 V3 |
2027 | testdata/Builtins.lc 477:35-477:38 Type->Type | ||
2028 | testdata/Builtins.lc 477:37-477:38 Type -> Type->Type | ||
1989 | testdata/Builtins.lc 477:39-477:48 Nat -> Type->Type | 2029 | testdata/Builtins.lc 477:39-477:48 Nat -> Type->Type |
1990 | testdata/Builtins.lc 477:39-477:50 Type->Type | 2030 | testdata/Builtins.lc 477:39-477:50 Type->Type |
1991 | testdata/Builtins.lc 477:39-477:56 Type | 2031 | testdata/Builtins.lc 477:39-477:56 Type |
@@ -2001,8 +2041,10 @@ testdata/Builtins.lc 478:35-478:38 Type->Type | |||
2001 | testdata/Builtins.lc 478:35-478:40 Type | 2041 | testdata/Builtins.lc 478:35-478:40 Type |
2002 | testdata/Builtins.lc 478:39-478:40 V5 | 2042 | testdata/Builtins.lc 478:39-478:40 V5 |
2003 | testdata/Builtins.lc 478:42-478:43 V4 | 2043 | testdata/Builtins.lc 478:42-478:43 V4 |
2044 | testdata/Builtins.lc 478:42-478:45 Type->Type | ||
2004 | testdata/Builtins.lc 478:42-478:59 Type | 2045 | testdata/Builtins.lc 478:42-478:59 Type |
2005 | testdata/Builtins.lc 478:42-478:75 Type | 2046 | testdata/Builtins.lc 478:42-478:75 Type |
2047 | testdata/Builtins.lc 478:44-478:45 Type -> Type->Type | ||
2006 | testdata/Builtins.lc 478:46-478:55 Nat -> Type->Type | 2048 | testdata/Builtins.lc 478:46-478:55 Nat -> Type->Type |
2007 | testdata/Builtins.lc 478:46-478:57 Type->Type | 2049 | testdata/Builtins.lc 478:46-478:57 Type->Type |
2008 | testdata/Builtins.lc 478:46-478:59 Type | 2050 | testdata/Builtins.lc 478:46-478:59 Type |
@@ -2020,8 +2062,10 @@ testdata/Builtins.lc 479:35-479:38 Type->Type | |||
2020 | testdata/Builtins.lc 479:35-479:40 Type | 2062 | testdata/Builtins.lc 479:35-479:40 Type |
2021 | testdata/Builtins.lc 479:39-479:40 V5 | 2063 | testdata/Builtins.lc 479:39-479:40 V5 |
2022 | testdata/Builtins.lc 479:42-479:43 V4 | 2064 | testdata/Builtins.lc 479:42-479:43 V4 |
2065 | testdata/Builtins.lc 479:42-479:45 Type->Type | ||
2023 | testdata/Builtins.lc 479:42-479:59 Type | 2066 | testdata/Builtins.lc 479:42-479:59 Type |
2024 | testdata/Builtins.lc 479:42-479:75 Type | 2067 | testdata/Builtins.lc 479:42-479:75 Type |
2068 | testdata/Builtins.lc 479:44-479:45 Type -> Type->Type | ||
2025 | testdata/Builtins.lc 479:46-479:55 Nat -> Type->Type | 2069 | testdata/Builtins.lc 479:46-479:55 Nat -> Type->Type |
2026 | testdata/Builtins.lc 479:46-479:57 Type->Type | 2070 | testdata/Builtins.lc 479:46-479:57 Type->Type |
2027 | testdata/Builtins.lc 479:46-479:59 Type | 2071 | testdata/Builtins.lc 479:46-479:59 Type |
@@ -2036,15 +2080,19 @@ testdata/Builtins.lc 480:1-480:10 {a} -> {b:Nat} -> {c} -> {d : a ~ VecScalar b | |||
2036 | testdata/Builtins.lc 480:12-480:21 {a} -> {b:Nat} -> {c} -> {d : a ~ VecScalar b Float} -> {e : c ~ VecScalar b Bool} -> a->c | 2080 | testdata/Builtins.lc 480:12-480:21 {a} -> {b:Nat} -> {c} -> {d : a ~ VecScalar b Float} -> {e : c ~ VecScalar b Bool} -> a->c |
2037 | testdata/Builtins.lc 480:34-480:89 Type | 2081 | testdata/Builtins.lc 480:34-480:89 Type |
2038 | testdata/Builtins.lc 480:35-480:36 V5 | 2082 | testdata/Builtins.lc 480:35-480:36 V5 |
2083 | testdata/Builtins.lc 480:35-480:38 Type->Type | ||
2039 | testdata/Builtins.lc 480:35-480:56 Type | 2084 | testdata/Builtins.lc 480:35-480:56 Type |
2085 | testdata/Builtins.lc 480:37-480:38 Type -> Type->Type | ||
2040 | testdata/Builtins.lc 480:39-480:48 Nat -> Type->Type | 2086 | testdata/Builtins.lc 480:39-480:48 Nat -> Type->Type |
2041 | testdata/Builtins.lc 480:39-480:50 Type->Type | 2087 | testdata/Builtins.lc 480:39-480:50 Type->Type |
2042 | testdata/Builtins.lc 480:39-480:56 Type | 2088 | testdata/Builtins.lc 480:39-480:56 Type |
2043 | testdata/Builtins.lc 480:49-480:50 V3 | 2089 | testdata/Builtins.lc 480:49-480:50 V3 |
2044 | testdata/Builtins.lc 480:51-480:56 Type | 2090 | testdata/Builtins.lc 480:51-480:56 Type |
2045 | testdata/Builtins.lc 480:58-480:59 V2 | 2091 | testdata/Builtins.lc 480:58-480:59 V2 |
2092 | testdata/Builtins.lc 480:58-480:61 Type->Type | ||
2046 | testdata/Builtins.lc 480:58-480:78 Type | 2093 | testdata/Builtins.lc 480:58-480:78 Type |
2047 | testdata/Builtins.lc 480:58-480:89 Type | 2094 | testdata/Builtins.lc 480:58-480:89 Type |
2095 | testdata/Builtins.lc 480:60-480:61 Type -> Type->Type | ||
2048 | testdata/Builtins.lc 480:62-480:71 Nat -> Type->Type | 2096 | testdata/Builtins.lc 480:62-480:71 Nat -> Type->Type |
2049 | testdata/Builtins.lc 480:62-480:73 Type->Type | 2097 | testdata/Builtins.lc 480:62-480:73 Type->Type |
2050 | testdata/Builtins.lc 480:62-480:78 Type | 2098 | testdata/Builtins.lc 480:62-480:78 Type |
@@ -2060,8 +2108,10 @@ testdata/Builtins.lc 481:35-481:41 Type->Type | |||
2060 | testdata/Builtins.lc 481:35-481:43 Type | 2108 | testdata/Builtins.lc 481:35-481:43 Type |
2061 | testdata/Builtins.lc 481:42-481:43 V5 | 2109 | testdata/Builtins.lc 481:42-481:43 V5 |
2062 | testdata/Builtins.lc 481:45-481:46 V4 | 2110 | testdata/Builtins.lc 481:45-481:46 V4 |
2111 | testdata/Builtins.lc 481:45-481:48 Type->Type | ||
2063 | testdata/Builtins.lc 481:45-481:62 Type | 2112 | testdata/Builtins.lc 481:45-481:62 Type |
2064 | testdata/Builtins.lc 481:45-481:73 Type | 2113 | testdata/Builtins.lc 481:45-481:73 Type |
2114 | testdata/Builtins.lc 481:47-481:48 Type -> Type->Type | ||
2065 | testdata/Builtins.lc 481:49-481:58 Nat -> Type->Type | 2115 | testdata/Builtins.lc 481:49-481:58 Nat -> Type->Type |
2066 | testdata/Builtins.lc 481:49-481:60 Type->Type | 2116 | testdata/Builtins.lc 481:49-481:60 Type->Type |
2067 | testdata/Builtins.lc 481:49-481:62 Type | 2117 | testdata/Builtins.lc 481:49-481:62 Type |
@@ -2074,6 +2124,8 @@ testdata/Builtins.lc 482:1-482:9 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} | |||
2074 | testdata/Builtins.lc 482:34-482:57 Type | 2124 | testdata/Builtins.lc 482:34-482:57 Type |
2075 | testdata/Builtins.lc 482:34-482:72 Type | 2125 | testdata/Builtins.lc 482:34-482:72 Type |
2076 | testdata/Builtins.lc 482:35-482:36 V3 | 2126 | testdata/Builtins.lc 482:35-482:36 V3 |
2127 | testdata/Builtins.lc 482:35-482:38 Type->Type | ||
2128 | testdata/Builtins.lc 482:37-482:38 Type -> Type->Type | ||
2077 | testdata/Builtins.lc 482:39-482:48 Nat -> Type->Type | 2129 | testdata/Builtins.lc 482:39-482:48 Nat -> Type->Type |
2078 | testdata/Builtins.lc 482:39-482:50 Type->Type | 2130 | testdata/Builtins.lc 482:39-482:50 Type->Type |
2079 | testdata/Builtins.lc 482:39-482:56 Type | 2131 | testdata/Builtins.lc 482:39-482:56 Type |
@@ -2090,8 +2142,10 @@ testdata/Builtins.lc 483:35-483:38 Type->Type | |||
2090 | testdata/Builtins.lc 483:35-483:40 Type | 2142 | testdata/Builtins.lc 483:35-483:40 Type |
2091 | testdata/Builtins.lc 483:39-483:40 V5 | 2143 | testdata/Builtins.lc 483:39-483:40 V5 |
2092 | testdata/Builtins.lc 483:42-483:43 V4 | 2144 | testdata/Builtins.lc 483:42-483:43 V4 |
2145 | testdata/Builtins.lc 483:42-483:45 Type->Type | ||
2093 | testdata/Builtins.lc 483:42-483:59 Type | 2146 | testdata/Builtins.lc 483:42-483:59 Type |
2094 | testdata/Builtins.lc 483:42-483:80 Type | 2147 | testdata/Builtins.lc 483:42-483:80 Type |
2148 | testdata/Builtins.lc 483:44-483:45 Type -> Type->Type | ||
2095 | testdata/Builtins.lc 483:46-483:55 Nat -> Type->Type | 2149 | testdata/Builtins.lc 483:46-483:55 Nat -> Type->Type |
2096 | testdata/Builtins.lc 483:46-483:57 Type->Type | 2150 | testdata/Builtins.lc 483:46-483:57 Type->Type |
2097 | testdata/Builtins.lc 483:46-483:59 Type | 2151 | testdata/Builtins.lc 483:46-483:59 Type |
@@ -2110,8 +2164,10 @@ testdata/Builtins.lc 484:35-484:38 Type->Type | |||
2110 | testdata/Builtins.lc 484:35-484:40 Type | 2164 | testdata/Builtins.lc 484:35-484:40 Type |
2111 | testdata/Builtins.lc 484:39-484:40 V5 | 2165 | testdata/Builtins.lc 484:39-484:40 V5 |
2112 | testdata/Builtins.lc 484:42-484:43 V4 | 2166 | testdata/Builtins.lc 484:42-484:43 V4 |
2167 | testdata/Builtins.lc 484:42-484:45 Type->Type | ||
2113 | testdata/Builtins.lc 484:42-484:59 Type | 2168 | testdata/Builtins.lc 484:42-484:59 Type |
2114 | testdata/Builtins.lc 484:42-484:80 Type | 2169 | testdata/Builtins.lc 484:42-484:80 Type |
2170 | testdata/Builtins.lc 484:44-484:45 Type -> Type->Type | ||
2115 | testdata/Builtins.lc 484:46-484:55 Nat -> Type->Type | 2171 | testdata/Builtins.lc 484:46-484:55 Nat -> Type->Type |
2116 | testdata/Builtins.lc 484:46-484:57 Type->Type | 2172 | testdata/Builtins.lc 484:46-484:57 Type->Type |
2117 | testdata/Builtins.lc 484:46-484:59 Type | 2173 | testdata/Builtins.lc 484:46-484:59 Type |
@@ -2128,6 +2184,8 @@ testdata/Builtins.lc 485:1-485:8 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} | |||
2128 | testdata/Builtins.lc 485:34-485:57 Type | 2184 | testdata/Builtins.lc 485:34-485:57 Type |
2129 | testdata/Builtins.lc 485:34-485:77 Type | 2185 | testdata/Builtins.lc 485:34-485:77 Type |
2130 | testdata/Builtins.lc 485:35-485:36 V3 | 2186 | testdata/Builtins.lc 485:35-485:36 V3 |
2187 | testdata/Builtins.lc 485:35-485:38 Type->Type | ||
2188 | testdata/Builtins.lc 485:37-485:38 Type -> Type->Type | ||
2131 | testdata/Builtins.lc 485:39-485:48 Nat -> Type->Type | 2189 | testdata/Builtins.lc 485:39-485:48 Nat -> Type->Type |
2132 | testdata/Builtins.lc 485:39-485:50 Type->Type | 2190 | testdata/Builtins.lc 485:39-485:50 Type->Type |
2133 | testdata/Builtins.lc 485:39-485:56 Type | 2191 | testdata/Builtins.lc 485:39-485:56 Type |
@@ -2144,6 +2202,8 @@ testdata/Builtins.lc 486:1-486:9 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} | |||
2144 | testdata/Builtins.lc 486:34-486:57 Type | 2202 | testdata/Builtins.lc 486:34-486:57 Type |
2145 | testdata/Builtins.lc 486:34-486:81 Type | 2203 | testdata/Builtins.lc 486:34-486:81 Type |
2146 | testdata/Builtins.lc 486:35-486:36 V3 | 2204 | testdata/Builtins.lc 486:35-486:36 V3 |
2205 | testdata/Builtins.lc 486:35-486:38 Type->Type | ||
2206 | testdata/Builtins.lc 486:37-486:38 Type -> Type->Type | ||
2147 | testdata/Builtins.lc 486:39-486:48 Nat -> Type->Type | 2207 | testdata/Builtins.lc 486:39-486:48 Nat -> Type->Type |
2148 | testdata/Builtins.lc 486:39-486:50 Type->Type | 2208 | testdata/Builtins.lc 486:39-486:50 Type->Type |
2149 | testdata/Builtins.lc 486:39-486:56 Type | 2209 | testdata/Builtins.lc 486:39-486:56 Type |
@@ -2159,15 +2219,19 @@ testdata/Builtins.lc 486:80-486:81 Type | |||
2159 | testdata/Builtins.lc 487:1-487:9 {a} -> {b:Nat} -> {c} -> {d : a ~ VecScalar b Float} -> {e : c ~ VecScalar b Bool} -> a -> a -> c->a | 2219 | testdata/Builtins.lc 487:1-487:9 {a} -> {b:Nat} -> {c} -> {d : a ~ VecScalar b Float} -> {e : c ~ VecScalar b Bool} -> a -> a -> c->a |
2160 | testdata/Builtins.lc 487:34-487:99 Type | 2220 | testdata/Builtins.lc 487:34-487:99 Type |
2161 | testdata/Builtins.lc 487:35-487:36 V5 | 2221 | testdata/Builtins.lc 487:35-487:36 V5 |
2222 | testdata/Builtins.lc 487:35-487:38 Type->Type | ||
2162 | testdata/Builtins.lc 487:35-487:56 Type | 2223 | testdata/Builtins.lc 487:35-487:56 Type |
2224 | testdata/Builtins.lc 487:37-487:38 Type -> Type->Type | ||
2163 | testdata/Builtins.lc 487:39-487:48 Nat -> Type->Type | 2225 | testdata/Builtins.lc 487:39-487:48 Nat -> Type->Type |
2164 | testdata/Builtins.lc 487:39-487:50 Type->Type | 2226 | testdata/Builtins.lc 487:39-487:50 Type->Type |
2165 | testdata/Builtins.lc 487:39-487:56 Type | 2227 | testdata/Builtins.lc 487:39-487:56 Type |
2166 | testdata/Builtins.lc 487:49-487:50 V3 | 2228 | testdata/Builtins.lc 487:49-487:50 V3 |
2167 | testdata/Builtins.lc 487:51-487:56 Type | 2229 | testdata/Builtins.lc 487:51-487:56 Type |
2168 | testdata/Builtins.lc 487:58-487:59 V2 | 2230 | testdata/Builtins.lc 487:58-487:59 V2 |
2231 | testdata/Builtins.lc 487:58-487:61 Type->Type | ||
2169 | testdata/Builtins.lc 487:58-487:78 Type | 2232 | testdata/Builtins.lc 487:58-487:78 Type |
2170 | testdata/Builtins.lc 487:58-487:99 Type | 2233 | testdata/Builtins.lc 487:58-487:99 Type |
2234 | testdata/Builtins.lc 487:60-487:61 Type -> Type->Type | ||
2171 | testdata/Builtins.lc 487:62-487:71 Nat -> Type->Type | 2235 | testdata/Builtins.lc 487:62-487:71 Nat -> Type->Type |
2172 | testdata/Builtins.lc 487:62-487:73 Type->Type | 2236 | testdata/Builtins.lc 487:62-487:73 Type->Type |
2173 | testdata/Builtins.lc 487:62-487:78 Type | 2237 | testdata/Builtins.lc 487:62-487:78 Type |
@@ -2184,6 +2248,8 @@ testdata/Builtins.lc 488:1-488:9 {a} -> {b:Nat} -> {c : a ~ VecS Float b} -> a | |||
2184 | testdata/Builtins.lc 488:34-488:53 Type | 2248 | testdata/Builtins.lc 488:34-488:53 Type |
2185 | testdata/Builtins.lc 488:34-488:68 Type | 2249 | testdata/Builtins.lc 488:34-488:68 Type |
2186 | testdata/Builtins.lc 488:35-488:36 V3 | 2250 | testdata/Builtins.lc 488:35-488:36 V3 |
2251 | testdata/Builtins.lc 488:35-488:38 Type->Type | ||
2252 | testdata/Builtins.lc 488:37-488:38 Type -> Type->Type | ||
2187 | testdata/Builtins.lc 488:39-488:44 Nat -> Type->Type | 2253 | testdata/Builtins.lc 488:39-488:44 Nat -> Type->Type |
2188 | testdata/Builtins.lc 488:39-488:46 Type->Type | 2254 | testdata/Builtins.lc 488:39-488:46 Type->Type |
2189 | testdata/Builtins.lc 488:39-488:52 Type | 2255 | testdata/Builtins.lc 488:39-488:52 Type |
@@ -2198,6 +2264,8 @@ testdata/Builtins.lc 489:1-489:10 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} | |||
2198 | testdata/Builtins.lc 489:34-489:57 Type | 2264 | testdata/Builtins.lc 489:34-489:57 Type |
2199 | testdata/Builtins.lc 489:34-489:76 Type | 2265 | testdata/Builtins.lc 489:34-489:76 Type |
2200 | testdata/Builtins.lc 489:35-489:36 V3 | 2266 | testdata/Builtins.lc 489:35-489:36 V3 |
2267 | testdata/Builtins.lc 489:35-489:38 Type->Type | ||
2268 | testdata/Builtins.lc 489:37-489:38 Type -> Type->Type | ||
2201 | testdata/Builtins.lc 489:39-489:48 Nat -> Type->Type | 2269 | testdata/Builtins.lc 489:39-489:48 Nat -> Type->Type |
2202 | testdata/Builtins.lc 489:39-489:50 Type->Type | 2270 | testdata/Builtins.lc 489:39-489:50 Type->Type |
2203 | testdata/Builtins.lc 489:39-489:56 Type | 2271 | testdata/Builtins.lc 489:39-489:56 Type |
@@ -2212,6 +2280,8 @@ testdata/Builtins.lc 490:1-490:15 {a} -> {b:Nat} -> {c : a ~ VecS Float b} -> a | |||
2212 | testdata/Builtins.lc 490:34-490:53 Type | 2280 | testdata/Builtins.lc 490:34-490:53 Type |
2213 | testdata/Builtins.lc 490:34-490:73 Type | 2281 | testdata/Builtins.lc 490:34-490:73 Type |
2214 | testdata/Builtins.lc 490:35-490:36 V3 | 2282 | testdata/Builtins.lc 490:35-490:36 V3 |
2283 | testdata/Builtins.lc 490:35-490:38 Type->Type | ||
2284 | testdata/Builtins.lc 490:37-490:38 Type -> Type->Type | ||
2215 | testdata/Builtins.lc 490:39-490:44 Nat -> Type->Type | 2285 | testdata/Builtins.lc 490:39-490:44 Nat -> Type->Type |
2216 | testdata/Builtins.lc 490:39-490:46 Type->Type | 2286 | testdata/Builtins.lc 490:39-490:46 Type->Type |
2217 | testdata/Builtins.lc 490:39-490:52 Type | 2287 | testdata/Builtins.lc 490:39-490:52 Type |
@@ -2228,6 +2298,8 @@ testdata/Builtins.lc 491:1-491:16 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} | |||
2228 | testdata/Builtins.lc 491:34-491:57 Type | 2298 | testdata/Builtins.lc 491:34-491:57 Type |
2229 | testdata/Builtins.lc 491:34-491:85 Type | 2299 | testdata/Builtins.lc 491:34-491:85 Type |
2230 | testdata/Builtins.lc 491:35-491:36 V3 | 2300 | testdata/Builtins.lc 491:35-491:36 V3 |
2301 | testdata/Builtins.lc 491:35-491:38 Type->Type | ||
2302 | testdata/Builtins.lc 491:37-491:38 Type -> Type->Type | ||
2231 | testdata/Builtins.lc 491:39-491:48 Nat -> Type->Type | 2303 | testdata/Builtins.lc 491:39-491:48 Nat -> Type->Type |
2232 | testdata/Builtins.lc 491:39-491:50 Type->Type | 2304 | testdata/Builtins.lc 491:39-491:50 Type->Type |
2233 | testdata/Builtins.lc 491:39-491:56 Type | 2305 | testdata/Builtins.lc 491:39-491:56 Type |
@@ -2292,6 +2364,8 @@ testdata/Builtins.lc 499:1-499:11 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} | |||
2292 | testdata/Builtins.lc 499:34-499:57 Type | 2364 | testdata/Builtins.lc 499:34-499:57 Type |
2293 | testdata/Builtins.lc 499:34-499:71 Type | 2365 | testdata/Builtins.lc 499:34-499:71 Type |
2294 | testdata/Builtins.lc 499:35-499:36 V3 | 2366 | testdata/Builtins.lc 499:35-499:36 V3 |
2367 | testdata/Builtins.lc 499:35-499:38 Type->Type | ||
2368 | testdata/Builtins.lc 499:37-499:38 Type -> Type->Type | ||
2295 | testdata/Builtins.lc 499:39-499:48 Nat -> Type->Type | 2369 | testdata/Builtins.lc 499:39-499:48 Nat -> Type->Type |
2296 | testdata/Builtins.lc 499:39-499:50 Type->Type | 2370 | testdata/Builtins.lc 499:39-499:50 Type->Type |
2297 | testdata/Builtins.lc 499:39-499:56 Type | 2371 | testdata/Builtins.lc 499:39-499:56 Type |
@@ -2305,6 +2379,8 @@ testdata/Builtins.lc 500:15-500:22 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float | |||
2305 | testdata/Builtins.lc 500:34-500:57 Type | 2379 | testdata/Builtins.lc 500:34-500:57 Type |
2306 | testdata/Builtins.lc 500:34-500:76 Type | 2380 | testdata/Builtins.lc 500:34-500:76 Type |
2307 | testdata/Builtins.lc 500:35-500:36 V3 | 2381 | testdata/Builtins.lc 500:35-500:36 V3 |
2382 | testdata/Builtins.lc 500:35-500:38 Type->Type | ||
2383 | testdata/Builtins.lc 500:37-500:38 Type -> Type->Type | ||
2308 | testdata/Builtins.lc 500:39-500:48 Nat -> Type->Type | 2384 | testdata/Builtins.lc 500:39-500:48 Nat -> Type->Type |
2309 | testdata/Builtins.lc 500:39-500:50 Type->Type | 2385 | testdata/Builtins.lc 500:39-500:50 Type->Type |
2310 | testdata/Builtins.lc 500:39-500:56 Type | 2386 | testdata/Builtins.lc 500:39-500:56 Type |
@@ -2319,6 +2395,8 @@ testdata/Builtins.lc 501:1-501:10 {a} -> {b : a ~ VecS Float 3} -> a -> a->a | |||
2319 | testdata/Builtins.lc 501:34-501:57 Type | 2395 | testdata/Builtins.lc 501:34-501:57 Type |
2320 | testdata/Builtins.lc 501:34-501:72 Type | 2396 | testdata/Builtins.lc 501:34-501:72 Type |
2321 | testdata/Builtins.lc 501:35-501:36 V1 | 2397 | testdata/Builtins.lc 501:35-501:36 V1 |
2398 | testdata/Builtins.lc 501:35-501:38 Type->Type | ||
2399 | testdata/Builtins.lc 501:37-501:38 Type -> Type->Type | ||
2322 | testdata/Builtins.lc 501:39-501:48 Nat -> Type->Type | 2400 | testdata/Builtins.lc 501:39-501:48 Nat -> Type->Type |
2323 | testdata/Builtins.lc 501:39-501:50 Type->Type | 2401 | testdata/Builtins.lc 501:39-501:50 Type->Type |
2324 | testdata/Builtins.lc 501:39-501:56 Type | 2402 | testdata/Builtins.lc 501:39-501:56 Type |
@@ -2333,6 +2411,8 @@ testdata/Builtins.lc 502:1-502:14 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} | |||
2333 | testdata/Builtins.lc 502:34-502:57 Type | 2411 | testdata/Builtins.lc 502:34-502:57 Type |
2334 | testdata/Builtins.lc 502:34-502:67 Type | 2412 | testdata/Builtins.lc 502:34-502:67 Type |
2335 | testdata/Builtins.lc 502:35-502:36 V3 | 2413 | testdata/Builtins.lc 502:35-502:36 V3 |
2414 | testdata/Builtins.lc 502:35-502:38 Type->Type | ||
2415 | testdata/Builtins.lc 502:37-502:38 Type -> Type->Type | ||
2336 | testdata/Builtins.lc 502:39-502:48 Nat -> Type->Type | 2416 | testdata/Builtins.lc 502:39-502:48 Nat -> Type->Type |
2337 | testdata/Builtins.lc 502:39-502:50 Type->Type | 2417 | testdata/Builtins.lc 502:39-502:50 Type->Type |
2338 | testdata/Builtins.lc 502:39-502:56 Type | 2418 | testdata/Builtins.lc 502:39-502:56 Type |
@@ -2346,6 +2426,8 @@ testdata/Builtins.lc 503:18-503:29 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float | |||
2346 | testdata/Builtins.lc 503:34-503:57 Type | 2426 | testdata/Builtins.lc 503:34-503:57 Type |
2347 | testdata/Builtins.lc 503:34-503:77 Type | 2427 | testdata/Builtins.lc 503:34-503:77 Type |
2348 | testdata/Builtins.lc 503:35-503:36 V3 | 2428 | testdata/Builtins.lc 503:35-503:36 V3 |
2429 | testdata/Builtins.lc 503:35-503:38 Type->Type | ||
2430 | testdata/Builtins.lc 503:37-503:38 Type -> Type->Type | ||
2349 | testdata/Builtins.lc 503:39-503:48 Nat -> Type->Type | 2431 | testdata/Builtins.lc 503:39-503:48 Nat -> Type->Type |
2350 | testdata/Builtins.lc 503:39-503:50 Type->Type | 2432 | testdata/Builtins.lc 503:39-503:50 Type->Type |
2351 | testdata/Builtins.lc 503:39-503:56 Type | 2433 | testdata/Builtins.lc 503:39-503:56 Type |
@@ -2362,6 +2444,8 @@ testdata/Builtins.lc 504:1-504:12 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} | |||
2362 | testdata/Builtins.lc 504:34-504:57 Type | 2444 | testdata/Builtins.lc 504:34-504:57 Type |
2363 | testdata/Builtins.lc 504:34-504:72 Type | 2445 | testdata/Builtins.lc 504:34-504:72 Type |
2364 | testdata/Builtins.lc 504:35-504:36 V3 | 2446 | testdata/Builtins.lc 504:35-504:36 V3 |
2447 | testdata/Builtins.lc 504:35-504:38 Type->Type | ||
2448 | testdata/Builtins.lc 504:37-504:38 Type -> Type->Type | ||
2365 | testdata/Builtins.lc 504:39-504:48 Nat -> Type->Type | 2449 | testdata/Builtins.lc 504:39-504:48 Nat -> Type->Type |
2366 | testdata/Builtins.lc 504:39-504:50 Type->Type | 2450 | testdata/Builtins.lc 504:39-504:50 Type->Type |
2367 | testdata/Builtins.lc 504:39-504:56 Type | 2451 | testdata/Builtins.lc 504:39-504:56 Type |
@@ -2509,16 +2593,20 @@ testdata/Builtins.lc 515:35-515:38 Type->Type | |||
2509 | testdata/Builtins.lc 515:35-515:40 Type | 2593 | testdata/Builtins.lc 515:35-515:40 Type |
2510 | testdata/Builtins.lc 515:39-515:40 V7 | 2594 | testdata/Builtins.lc 515:39-515:40 V7 |
2511 | testdata/Builtins.lc 515:42-515:43 V6 | 2595 | testdata/Builtins.lc 515:42-515:43 V6 |
2596 | testdata/Builtins.lc 515:42-515:45 Type->Type | ||
2512 | testdata/Builtins.lc 515:42-515:59 Type | 2597 | testdata/Builtins.lc 515:42-515:59 Type |
2513 | testdata/Builtins.lc 515:42-515:97 Type | 2598 | testdata/Builtins.lc 515:42-515:97 Type |
2599 | testdata/Builtins.lc 515:44-515:45 Type -> Type->Type | ||
2514 | testdata/Builtins.lc 515:46-515:55 Nat -> Type->Type | 2600 | testdata/Builtins.lc 515:46-515:55 Nat -> Type->Type |
2515 | testdata/Builtins.lc 515:46-515:57 Type->Type | 2601 | testdata/Builtins.lc 515:46-515:57 Type->Type |
2516 | testdata/Builtins.lc 515:46-515:59 Type | 2602 | testdata/Builtins.lc 515:46-515:59 Type |
2517 | testdata/Builtins.lc 515:56-515:57 V4 | 2603 | testdata/Builtins.lc 515:56-515:57 V4 |
2518 | testdata/Builtins.lc 515:58-515:59 Type | 2604 | testdata/Builtins.lc 515:58-515:59 Type |
2519 | testdata/Builtins.lc 515:61-515:62 V3 | 2605 | testdata/Builtins.lc 515:61-515:62 V3 |
2606 | testdata/Builtins.lc 515:61-515:64 Type->Type | ||
2520 | testdata/Builtins.lc 515:61-515:81 Type | 2607 | testdata/Builtins.lc 515:61-515:81 Type |
2521 | testdata/Builtins.lc 515:61-515:97 Type | 2608 | testdata/Builtins.lc 515:61-515:97 Type |
2609 | testdata/Builtins.lc 515:63-515:64 Type -> Type->Type | ||
2522 | testdata/Builtins.lc 515:65-515:74 Nat -> Type->Type | 2610 | testdata/Builtins.lc 515:65-515:74 Nat -> Type->Type |
2523 | testdata/Builtins.lc 515:65-515:76 Type->Type | 2611 | testdata/Builtins.lc 515:65-515:76 Type->Type |
2524 | testdata/Builtins.lc 515:65-515:81 Type | 2612 | testdata/Builtins.lc 515:65-515:81 Type |
@@ -2534,6 +2622,8 @@ testdata/Builtins.lc 516:12-516:24 {a} -> {b} -> {c : a ~ MatVecScalarElem b} - | |||
2534 | testdata/Builtins.lc 516:34-516:58 Type | 2622 | testdata/Builtins.lc 516:34-516:58 Type |
2535 | testdata/Builtins.lc 516:34-516:76 Type | 2623 | testdata/Builtins.lc 516:34-516:76 Type |
2536 | testdata/Builtins.lc 516:35-516:36 V3 | 2624 | testdata/Builtins.lc 516:35-516:36 V3 |
2625 | testdata/Builtins.lc 516:35-516:38 Type->Type | ||
2626 | testdata/Builtins.lc 516:37-516:38 Type -> Type->Type | ||
2537 | testdata/Builtins.lc 516:39-516:55 Type->Type | 2627 | testdata/Builtins.lc 516:39-516:55 Type->Type |
2538 | testdata/Builtins.lc 516:39-516:57 Type | 2628 | testdata/Builtins.lc 516:39-516:57 Type |
2539 | testdata/Builtins.lc 516:56-516:57 V1 | 2629 | testdata/Builtins.lc 516:56-516:57 V1 |
@@ -2548,6 +2638,8 @@ testdata/Builtins.lc 518:21-518:31 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float | |||
2548 | testdata/Builtins.lc 519:34-519:57 Type | 2638 | testdata/Builtins.lc 519:34-519:57 Type |
2549 | testdata/Builtins.lc 519:34-519:67 Type | 2639 | testdata/Builtins.lc 519:34-519:67 Type |
2550 | testdata/Builtins.lc 519:35-519:36 V3 | 2640 | testdata/Builtins.lc 519:35-519:36 V3 |
2641 | testdata/Builtins.lc 519:35-519:38 Type->Type | ||
2642 | testdata/Builtins.lc 519:37-519:38 Type -> Type->Type | ||
2551 | testdata/Builtins.lc 519:39-519:48 Nat -> Type->Type | 2643 | testdata/Builtins.lc 519:39-519:48 Nat -> Type->Type |
2552 | testdata/Builtins.lc 519:39-519:50 Type->Type | 2644 | testdata/Builtins.lc 519:39-519:50 Type->Type |
2553 | testdata/Builtins.lc 519:39-519:56 Type | 2645 | testdata/Builtins.lc 519:39-519:56 Type |
diff --git a/testdata/Internals.out b/testdata/Internals.out index f55a02c2..a3430051 100644 --- a/testdata/Internals.out +++ b/testdata/Internals.out | |||
@@ -103,143 +103,147 @@ testdata/Internals.lc 42:24-42:28 Type | |||
103 | testdata/Internals.lc 42:36-42:37 Type | 103 | testdata/Internals.lc 42:36-42:37 Type |
104 | testdata/Internals.lc 42:36-42:46 Type | 104 | testdata/Internals.lc 42:36-42:46 Type |
105 | testdata/Internals.lc 42:45-42:46 Type | 105 | testdata/Internals.lc 42:45-42:46 Type |
106 | testdata/Internals.lc 47:1-47:4 Unit -> Unit->Unit | 106 | testdata/Internals.lc 44:6-44:11 Type -> Type->Type |
107 | testdata/Internals.lc 47:8-47:12 Type | 107 | testdata/Internals.lc 44:14-44:18 a:Type -> a -> a->Type |
108 | testdata/Internals.lc 47:16-47:20 Type | 108 | testdata/Internals.lc 44:14-44:23 Type -> Type->Type |
109 | testdata/Internals.lc 47:16-47:28 Type | 109 | testdata/Internals.lc 44:19-44:23 Type |
110 | testdata/Internals.lc 47:24-47:28 Type | 110 | testdata/Internals.lc 49:1-49:4 Unit -> Unit->Unit |
111 | testdata/Internals.lc 50:6-50:9 Type | 111 | testdata/Internals.lc 49:8-49:12 Type |
112 | testdata/Internals.lc 51:6-51:10 Type | 112 | testdata/Internals.lc 49:16-49:20 Type |
113 | testdata/Internals.lc 52:6-52:11 Type | 113 | testdata/Internals.lc 49:16-49:28 Type |
114 | testdata/Internals.lc 49:24-49:28 Type | ||
115 | testdata/Internals.lc 52:6-52:9 Type | ||
114 | testdata/Internals.lc 53:6-53:10 Type | 116 | testdata/Internals.lc 53:6-53:10 Type |
117 | testdata/Internals.lc 54:6-54:11 Type | ||
115 | testdata/Internals.lc 55:6-55:10 Type | 118 | testdata/Internals.lc 55:6-55:10 Type |
116 | testdata/Internals.lc 55:6-55:25 Type | 119 | testdata/Internals.lc 57:6-57:10 Type |
117 | testdata/Internals.lc 55:13-55:18 Bool | 120 | testdata/Internals.lc 57:6-57:25 Type |
118 | testdata/Internals.lc 55:21-55:25 Bool | 121 | testdata/Internals.lc 57:13-57:18 Bool |
119 | testdata/Internals.lc 57:6-57:14 Type | 122 | testdata/Internals.lc 57:21-57:25 Bool |
120 | testdata/Internals.lc 57:6-57:29 Type | 123 | testdata/Internals.lc 59:6-59:14 Type |
121 | testdata/Internals.lc 57:17-57:19 Ordering | 124 | testdata/Internals.lc 59:6-59:29 Type |
122 | testdata/Internals.lc 57:22-57:24 Ordering | 125 | testdata/Internals.lc 59:17-59:19 Ordering |
123 | testdata/Internals.lc 57:27-57:29 Ordering | 126 | testdata/Internals.lc 59:22-59:24 Ordering |
124 | testdata/Internals.lc 60:1-60:14 Int->Word | 127 | testdata/Internals.lc 59:27-59:29 Ordering |
125 | testdata/Internals.lc 60:24-60:27 Type | 128 | testdata/Internals.lc 62:1-62:14 Int->Word |
126 | testdata/Internals.lc 60:33-60:37 Type | ||
127 | testdata/Internals.lc 61:1-61:15 Int->Float | ||
128 | testdata/Internals.lc 61:24-61:27 Type | ||
129 | testdata/Internals.lc 61:33-61:38 Type | ||
130 | testdata/Internals.lc 62:1-62:15 Int -> Int->Ordering | ||
131 | testdata/Internals.lc 62:24-62:27 Type | 129 | testdata/Internals.lc 62:24-62:27 Type |
132 | testdata/Internals.lc 62:33-62:36 Type | 130 | testdata/Internals.lc 62:33-62:37 Type |
133 | testdata/Internals.lc 62:33-62:50 Type | 131 | testdata/Internals.lc 63:1-63:15 Int->Float |
134 | testdata/Internals.lc 62:42-62:50 Type | 132 | testdata/Internals.lc 63:24-63:27 Type |
135 | testdata/Internals.lc 63:1-63:16 Word -> Word->Ordering | 133 | testdata/Internals.lc 63:33-63:38 Type |
136 | testdata/Internals.lc 63:24-63:28 Type | 134 | testdata/Internals.lc 64:1-64:15 Int -> Int->Ordering |
137 | testdata/Internals.lc 63:33-63:37 Type | 135 | testdata/Internals.lc 64:24-64:27 Type |
138 | testdata/Internals.lc 63:33-63:50 Type | 136 | testdata/Internals.lc 64:33-64:36 Type |
139 | testdata/Internals.lc 63:42-63:50 Type | ||
140 | testdata/Internals.lc 64:1-64:17 Float -> Float->Ordering | ||
141 | testdata/Internals.lc 64:24-64:29 Type | ||
142 | testdata/Internals.lc 64:33-64:38 Type | ||
143 | testdata/Internals.lc 64:33-64:50 Type | 137 | testdata/Internals.lc 64:33-64:50 Type |
144 | testdata/Internals.lc 64:42-64:50 Type | 138 | testdata/Internals.lc 64:42-64:50 Type |
145 | testdata/Internals.lc 65:1-65:16 Char -> Char->Ordering | 139 | testdata/Internals.lc 65:1-65:16 Word -> Word->Ordering |
146 | testdata/Internals.lc 65:24-65:28 Type | 140 | testdata/Internals.lc 65:24-65:28 Type |
147 | testdata/Internals.lc 65:33-65:37 Type | 141 | testdata/Internals.lc 65:33-65:37 Type |
148 | testdata/Internals.lc 65:33-65:50 Type | 142 | testdata/Internals.lc 65:33-65:50 Type |
149 | testdata/Internals.lc 65:42-65:50 Type | 143 | testdata/Internals.lc 65:42-65:50 Type |
150 | testdata/Internals.lc 66:1-66:18 String -> String->Ordering | 144 | testdata/Internals.lc 66:1-66:17 Float -> Float->Ordering |
151 | testdata/Internals.lc 66:24-66:30 Type | 145 | testdata/Internals.lc 66:24-66:29 Type |
152 | testdata/Internals.lc 66:34-66:40 Type | 146 | testdata/Internals.lc 66:33-66:38 Type |
153 | testdata/Internals.lc 66:34-66:52 Type | 147 | testdata/Internals.lc 66:33-66:50 Type |
154 | testdata/Internals.lc 66:44-66:52 Type | 148 | testdata/Internals.lc 66:42-66:50 Type |
155 | testdata/Internals.lc 67:1-67:14 Int->Int | 149 | testdata/Internals.lc 67:1-67:16 Char -> Char->Ordering |
156 | testdata/Internals.lc 67:24-67:27 Type | 150 | testdata/Internals.lc 67:24-67:28 Type |
157 | testdata/Internals.lc 67:33-67:36 Type | 151 | testdata/Internals.lc 67:33-67:37 Type |
158 | testdata/Internals.lc 68:1-68:15 Word->Word | 152 | testdata/Internals.lc 67:33-67:50 Type |
159 | testdata/Internals.lc 68:24-68:28 Type | 153 | testdata/Internals.lc 67:42-67:50 Type |
160 | testdata/Internals.lc 68:33-68:37 Type | 154 | testdata/Internals.lc 68:1-68:18 String -> String->Ordering |
161 | testdata/Internals.lc 69:1-69:16 Float->Float | 155 | testdata/Internals.lc 68:24-68:30 Type |
162 | testdata/Internals.lc 69:24-69:29 Type | 156 | testdata/Internals.lc 68:34-68:40 Type |
163 | testdata/Internals.lc 69:33-69:38 Type | 157 | testdata/Internals.lc 68:34-68:52 Type |
164 | testdata/Internals.lc 70:1-70:11 Int -> Int->Int | 158 | testdata/Internals.lc 68:44-68:52 Type |
165 | testdata/Internals.lc 70:24-70:27 Type | 159 | testdata/Internals.lc 69:1-69:14 Int->Int |
166 | testdata/Internals.lc 70:33-70:36 Type | 160 | testdata/Internals.lc 69:24-69:27 Type |
167 | testdata/Internals.lc 70:33-70:45 Type | 161 | testdata/Internals.lc 69:33-69:36 Type |
168 | testdata/Internals.lc 70:42-70:45 Type | 162 | testdata/Internals.lc 70:1-70:15 Word->Word |
169 | testdata/Internals.lc 71:1-71:11 Int -> Int->Int | 163 | testdata/Internals.lc 70:24-70:28 Type |
170 | testdata/Internals.lc 71:24-71:27 Type | 164 | testdata/Internals.lc 70:33-70:37 Type |
171 | testdata/Internals.lc 71:33-71:36 Type | 165 | testdata/Internals.lc 71:1-71:16 Float->Float |
172 | testdata/Internals.lc 71:33-71:45 Type | 166 | testdata/Internals.lc 71:24-71:29 Type |
173 | testdata/Internals.lc 71:42-71:45 Type | 167 | testdata/Internals.lc 71:33-71:38 Type |
174 | testdata/Internals.lc 72:1-72:11 Int -> Int->Int | 168 | testdata/Internals.lc 72:1-72:11 Int -> Int->Int |
175 | testdata/Internals.lc 72:24-72:27 Type | 169 | testdata/Internals.lc 72:24-72:27 Type |
176 | testdata/Internals.lc 72:33-72:36 Type | 170 | testdata/Internals.lc 72:33-72:36 Type |
177 | testdata/Internals.lc 72:33-72:45 Type | 171 | testdata/Internals.lc 72:33-72:45 Type |
178 | testdata/Internals.lc 72:42-72:45 Type | 172 | testdata/Internals.lc 72:42-72:45 Type |
179 | testdata/Internals.lc 73:1-73:14 Float->Float | 173 | testdata/Internals.lc 73:1-73:11 Int -> Int->Int |
180 | testdata/Internals.lc 73:24-73:29 Type | 174 | testdata/Internals.lc 73:24-73:27 Type |
181 | testdata/Internals.lc 73:33-73:38 Type | 175 | testdata/Internals.lc 73:33-73:36 Type |
182 | testdata/Internals.lc 74:1-74:10 Float->Int | 176 | testdata/Internals.lc 73:33-73:45 Type |
183 | testdata/Internals.lc 74:24-74:29 Type | 177 | testdata/Internals.lc 73:42-73:45 Type |
178 | testdata/Internals.lc 74:1-74:11 Int -> Int->Int | ||
179 | testdata/Internals.lc 74:24-74:27 Type | ||
184 | testdata/Internals.lc 74:33-74:36 Type | 180 | testdata/Internals.lc 74:33-74:36 Type |
185 | testdata/Internals.lc 77:19-77:23 Type | 181 | testdata/Internals.lc 74:33-74:45 Type |
186 | testdata/Internals.lc 77:19-77:38 Type | 182 | testdata/Internals.lc 74:42-74:45 Type |
187 | testdata/Internals.lc 77:27-77:28 V2 | 183 | testdata/Internals.lc 75:1-75:14 Float->Float |
188 | testdata/Internals.lc 77:27-77:38 Type | 184 | testdata/Internals.lc 75:24-75:29 Type |
189 | testdata/Internals.lc 77:32-77:33 Type | 185 | testdata/Internals.lc 75:33-75:38 Type |
190 | testdata/Internals.lc 77:32-77:38 Type | 186 | testdata/Internals.lc 76:1-76:10 Float->Int |
191 | testdata/Internals.lc 77:37-77:38 Type | 187 | testdata/Internals.lc 76:24-76:29 Type |
192 | testdata/Internals.lc 78:1-78:15 {a} -> Bool -> a -> a->a | 188 | testdata/Internals.lc 76:33-76:36 Type |
193 | testdata/Internals.lc 78:16-78:20 Bool | 189 | testdata/Internals.lc 79:19-79:23 Type |
194 | testdata/Internals.lc 78:16-79:29 Bool -> V1 -> V2->V3 | V1 -> V2->V3 | V2->V3 | V3 | 190 | testdata/Internals.lc 79:19-79:38 Type |
195 | testdata/Internals.lc 78:28-78:29 V3 | 191 | testdata/Internals.lc 79:27-79:28 V2 |
196 | testdata/Internals.lc 78:28-79:29 Bool->V4 | 192 | testdata/Internals.lc 79:27-79:38 Type |
197 | testdata/Internals.lc 79:28-79:29 V4 | 193 | testdata/Internals.lc 79:32-79:33 Type |
198 | testdata/Internals.lc 82:7-82:10 Type->Type | 194 | testdata/Internals.lc 79:32-79:38 Type |
199 | testdata/Internals.lc 82:7-83:22 Type | 195 | testdata/Internals.lc 79:37-79:38 Type |
200 | testdata/Internals.lc 82:7-84:32 Type | 196 | testdata/Internals.lc 80:1-80:15 {a} -> Bool -> a -> a->a |
201 | testdata/Internals.lc 82:7-85:19 Type | 197 | testdata/Internals.lc 80:16-80:20 Bool |
202 | testdata/Internals.lc 83:3-83:10 {a} -> {b : Num a} -> Int->a | 198 | testdata/Internals.lc 80:16-81:29 Bool -> V1 -> V2->V3 | V1 -> V2->V3 | V2->V3 | V3 |
203 | testdata/Internals.lc 83:14-83:17 Type | 199 | testdata/Internals.lc 80:28-80:29 V3 |
204 | testdata/Internals.lc 83:14-83:22 Type | 200 | testdata/Internals.lc 80:28-81:29 Bool->V4 |
205 | testdata/Internals.lc 83:21-83:22 Type | 201 | testdata/Internals.lc 81:28-81:29 V4 |
206 | testdata/Internals.lc 84:3-84:10 {a} -> {b : Num a} -> a -> a->Ordering | 202 | testdata/Internals.lc 84:7-84:10 Type->Type |
207 | testdata/Internals.lc 84:14-84:15 Type | 203 | testdata/Internals.lc 84:7-85:22 Type |
208 | testdata/Internals.lc 84:14-84:32 Type | 204 | testdata/Internals.lc 84:7-86:32 Type |
209 | testdata/Internals.lc 84:19-84:20 Type | 205 | testdata/Internals.lc 84:7-87:19 Type |
210 | testdata/Internals.lc 84:19-84:32 Type | 206 | testdata/Internals.lc 85:3-85:10 {a} -> {b : Num a} -> Int->a |
211 | testdata/Internals.lc 84:24-84:32 Type | 207 | testdata/Internals.lc 85:14-85:17 Type |
212 | testdata/Internals.lc 85:3-85:9 {a} -> {b : Num a} -> a->a | 208 | testdata/Internals.lc 85:14-85:22 Type |
213 | testdata/Internals.lc 85:13-85:14 Type | 209 | testdata/Internals.lc 85:21-85:22 Type |
214 | testdata/Internals.lc 85:13-85:19 Type | 210 | testdata/Internals.lc 86:3-86:10 {a} -> {b : Num a} -> a -> a->Ordering |
215 | testdata/Internals.lc 85:18-85:19 Type | 211 | testdata/Internals.lc 86:14-86:15 Type |
216 | testdata/Internals.lc 87:14-87:17 Type | 212 | testdata/Internals.lc 86:14-86:32 Type |
217 | testdata/Internals.lc 87:14-88:20 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3 | 213 | testdata/Internals.lc 86:19-86:20 Type |
218 | testdata/Internals.lc 87:14-89:27 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering | 214 | testdata/Internals.lc 86:19-86:32 Type |
219 | testdata/Internals.lc 87:14-90:26 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3 | 215 | testdata/Internals.lc 86:24-86:32 Type |
220 | testdata/Internals.lc 87:14-95:19 Type | Type->Type | 216 | testdata/Internals.lc 87:3-87:9 {a} -> {b : Num a} -> a->a |
221 | testdata/Internals.lc 87:14-96:27 {a : Num V0} -> Int->V2 | {a} -> {b : Num a} -> Int->a | 217 | testdata/Internals.lc 87:13-87:14 Type |
222 | testdata/Internals.lc 87:14-97:29 {a : Num V0} -> V1 -> V2->Ordering | {a} -> {b : Num a} -> a -> a->Ordering | 218 | testdata/Internals.lc 87:13-87:19 Type |
223 | testdata/Internals.lc 87:14-98:28 {a : Num V0} -> V1->V2 | {a} -> {b : Num a} -> a->a | 219 | testdata/Internals.lc 87:18-87:19 Type |
224 | testdata/Internals.lc 88:13-88:20 Int->Int | 220 | testdata/Internals.lc 89:14-89:17 Type |
225 | testdata/Internals.lc 88:19-88:20 Int | 221 | testdata/Internals.lc 89:14-90:20 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3 |
226 | testdata/Internals.lc 89:13-89:27 Int -> Int->Ordering | 222 | testdata/Internals.lc 89:14-91:27 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering |
227 | testdata/Internals.lc 90:13-90:26 Int->Int | 223 | testdata/Internals.lc 89:14-92:26 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3 |
228 | testdata/Internals.lc 91:14-91:18 Type | 224 | testdata/Internals.lc 89:14-97:19 Type | Type->Type |
229 | testdata/Internals.lc 91:14-92:26 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3 | 225 | testdata/Internals.lc 89:14-98:27 {a : Num V0} -> Int->V2 | {a} -> {b : Num a} -> Int->a |
230 | testdata/Internals.lc 91:14-93:28 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering | 226 | testdata/Internals.lc 89:14-99:29 {a : Num V0} -> V1 -> V2->Ordering | {a} -> {b : Num a} -> a -> a->Ordering |
231 | testdata/Internals.lc 91:14-94:27 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3 | 227 | testdata/Internals.lc 89:14-100:28 {a : Num V0} -> V1->V2 | {a} -> {b : Num a} -> a->a |
232 | testdata/Internals.lc 91:14-95:19 Type | 228 | testdata/Internals.lc 90:13-90:20 Int->Int |
233 | testdata/Internals.lc 91:14-96:27 {a : Num V0} -> Int->V2 | 229 | testdata/Internals.lc 90:19-90:20 Int |
234 | testdata/Internals.lc 91:14-97:29 {a : Num V0} -> V1 -> V2->Ordering | 230 | testdata/Internals.lc 91:13-91:27 Int -> Int->Ordering |
235 | testdata/Internals.lc 91:14-98:28 {a : Num V0} -> V1->V2 | 231 | testdata/Internals.lc 92:13-92:26 Int->Int |
236 | testdata/Internals.lc 92:13-92:26 Int->Word | 232 | testdata/Internals.lc 93:14-93:18 Type |
237 | testdata/Internals.lc 93:13-93:28 Word -> Word->Ordering | 233 | testdata/Internals.lc 93:14-94:26 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3 |
238 | testdata/Internals.lc 94:13-94:27 Word->Word | 234 | testdata/Internals.lc 93:14-95:28 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering |
239 | testdata/Internals.lc 95:14-95:19 Type | 235 | testdata/Internals.lc 93:14-96:27 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3 |
240 | testdata/Internals.lc 95:14-96:27 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3 | 236 | testdata/Internals.lc 93:14-97:19 Type |
241 | testdata/Internals.lc 95:14-97:29 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering | 237 | testdata/Internals.lc 93:14-98:27 {a : Num V0} -> Int->V2 |
242 | testdata/Internals.lc 95:14-98:28 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3 | 238 | testdata/Internals.lc 93:14-99:29 {a : Num V0} -> V1 -> V2->Ordering |
243 | testdata/Internals.lc 96:13-96:27 Int->Float | 239 | testdata/Internals.lc 93:14-100:28 {a : Num V0} -> V1->V2 |
244 | testdata/Internals.lc 97:13-97:29 Float -> Float->Ordering | 240 | testdata/Internals.lc 94:13-94:26 Int->Word |
245 | testdata/Internals.lc 98:13-98:28 Float->Float | 241 | testdata/Internals.lc 95:13-95:28 Word -> Word->Ordering |
242 | testdata/Internals.lc 96:13-96:27 Word->Word | ||
243 | testdata/Internals.lc 97:14-97:19 Type | ||
244 | testdata/Internals.lc 97:14-98:27 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3 | ||
245 | testdata/Internals.lc 97:14-99:29 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering | ||
246 | testdata/Internals.lc 97:14-100:28 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3 | ||
247 | testdata/Internals.lc 98:13-98:27 Int->Float | ||
248 | testdata/Internals.lc 99:13-99:29 Float -> Float->Ordering | ||
249 | testdata/Internals.lc 100:13-100:28 Float->Float | ||
diff --git a/testdata/Prelude.out b/testdata/Prelude.out index 1ce1896f..4d590c76 100644 --- a/testdata/Prelude.out +++ b/testdata/Prelude.out | |||
@@ -400,7 +400,9 @@ testdata/Prelude.lc 165:32-165:52 Type->Type | |||
400 | testdata/Prelude.lc 165:34-165:37 {a} -> {b : Eq a} -> a -> a->Bool | 400 | testdata/Prelude.lc 165:34-165:37 {a} -> {b : Eq a} -> a -> a->Bool |
401 | testdata/Prelude.lc 165:38-165:40 V6 | 401 | testdata/Prelude.lc 165:38-165:40 V6 |
402 | testdata/Prelude.lc 165:46-165:47 V12 | 402 | testdata/Prelude.lc 165:46-165:47 V12 |
403 | testdata/Prelude.lc 165:46-165:49 Type->Type | ||
403 | testdata/Prelude.lc 165:46-165:52 Type | 404 | testdata/Prelude.lc 165:46-165:52 Type |
405 | testdata/Prelude.lc 165:48-165:49 Type -> Type->Type | ||
404 | testdata/Prelude.lc 165:50-165:52 V4 | 406 | testdata/Prelude.lc 165:50-165:52 V4 |
405 | testdata/Prelude.lc 165:58-165:64 V12 | 407 | testdata/Prelude.lc 165:58-165:64 V12 |
406 | testdata/Prelude.lc 165:65-165:66 V13 | 408 | testdata/Prelude.lc 165:65-165:66 V13 |
diff --git a/testdata/language-features/basic-values/def05.reject.out b/testdata/language-features/basic-values/def05.reject.out index f24dbe10..d260d164 100644 --- a/testdata/language-features/basic-values/def05.reject.out +++ b/testdata/language-features/basic-values/def05.reject.out | |||
@@ -1,4 +1,4 @@ | |||
1 | "testdata/language-features/basic-values/def05.reject.lc" (line 4, column 1): | 1 | "testdata/language-features/basic-values/def05.reject.lc" (line 4, column 1): |
2 | unexpected end of input | 2 | unexpected end of input |
3 | expecting projection, swizzling, "@", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, "[", "(", "{", "let", symbols, op symbols, backquoted ident, expression, lambda, "::", "~", "->", "=>", "where", "data", "class", "instance", type family, type instance, "type", typed ident, "infix", "infixl", "infixr", operator definition, lhs or pattern | 3 | expecting projection, swizzling, "@", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, "[", "(", "{", "let", symbols, op symbols, backquoted ident, "~", expression, lambda, "::", "->", "=>", "where", "data", "class", "instance", type family, type instance, "type", typed ident, "infix", "infixl", "infixr", operator definition, lhs or pattern |
4 | different number of arguments of fun at testdata/language-features/basic-values/def05.reject.lc 1:1-1:4 \ No newline at end of file | 4 | different number of arguments of fun at testdata/language-features/basic-values/def05.reject.lc 1:1-1:4 \ No newline at end of file |
diff --git a/testdata/language-features/basic-values/def06.reject.out b/testdata/language-features/basic-values/def06.reject.out index 32761406..f80e12f8 100644 --- a/testdata/language-features/basic-values/def06.reject.out +++ b/testdata/language-features/basic-values/def06.reject.out | |||
@@ -1,4 +1,4 @@ | |||
1 | "testdata/language-features/basic-values/def06.reject.lc" (line 5, column 1): | 1 | "testdata/language-features/basic-values/def06.reject.lc" (line 5, column 1): |
2 | unexpected end of input | 2 | unexpected end of input |
3 | expecting projection, swizzling, "@", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, "[", "(", "{", "let", symbols, op symbols, backquoted ident, expression, lambda, "::", "~", "->", "=>", "where", "data", "class", "instance", type family, type instance, "type", typed ident, "infix", "infixl", "infixr", operator definition, lhs or pattern | 3 | expecting projection, swizzling, "@", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, "[", "(", "{", "let", symbols, op symbols, backquoted ident, "~", expression, lambda, "::", "->", "=>", "where", "data", "class", "instance", type family, type instance, "type", typed ident, "infix", "infixl", "infixr", operator definition, lhs or pattern |
4 | different number of arguments of fun2 at testdata/language-features/basic-values/def06.reject.lc 1:1-1:5 \ No newline at end of file | 4 | different number of arguments of fun2 at testdata/language-features/basic-values/def06.reject.lc 1:1-1:5 \ No newline at end of file |
diff --git a/testdata/language-features/basic-values/redefine03.reject.out b/testdata/language-features/basic-values/redefine03.reject.out index aa37ecee..f8e236ab 100644 --- a/testdata/language-features/basic-values/redefine03.reject.out +++ b/testdata/language-features/basic-values/redefine03.reject.out | |||
@@ -1,4 +1,4 @@ | |||
1 | "testdata/language-features/basic-values/redefine03.reject.lc" (line 4, column 1): | 1 | "testdata/language-features/basic-values/redefine03.reject.lc" (line 4, column 1): |
2 | unexpected end of input | 2 | unexpected end of input |
3 | expecting projection, swizzling, "@", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, "[", "(", "{", "let", symbols, op symbols, backquoted ident, expression, lambda, "::", "~", "->", "=>", "where", "data", "class", "instance", type family, type instance, "type", typed ident, "infix", "infixl", "infixr", operator definition, lhs or pattern | 3 | expecting projection, swizzling, "@", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, "[", "(", "{", "let", symbols, op symbols, backquoted ident, "~", expression, lambda, "::", "->", "=>", "where", "data", "class", "instance", type family, type instance, "type", typed ident, "infix", "infixl", "infixr", operator definition, lhs or pattern |
4 | redefined x at testdata/language-features/basic-values/redefine03.reject.lc 2:9-2:10 \ No newline at end of file | 4 | redefined x at testdata/language-features/basic-values/redefine03.reject.lc 2:9-2:10 \ No newline at end of file |
diff --git a/testdata/language-features/guard/guard10.reject.out b/testdata/language-features/guard/guard10.reject.out index d998f2d5..16c0debe 100644 --- a/testdata/language-features/guard/guard10.reject.out +++ b/testdata/language-features/guard/guard10.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | "testdata/language-features/guard/guard10.reject.lc" (line 2, column 1): | 1 | "testdata/language-features/guard/guard10.reject.lc" (line 2, column 1): |
2 | unexpected '|' | 2 | unexpected '|' |
3 | expecting projection, swizzling, "@", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, "[", "(", "{", "let", symbols, op symbols, backquoted ident, expression, lambda, "::", "~", "->", "=>", "|", "data", "class", "instance", type family, type instance, "type", typed ident, "infix", "infixl", "infixr", operator definition, lhs, pattern or end of input \ No newline at end of file | 3 | expecting projection, swizzling, "@", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, "[", "(", "{", "let", symbols, op symbols, backquoted ident, "~", expression, lambda, "::", "->", "=>", "|", "data", "class", "instance", type family, type instance, "type", typed ident, "infix", "infixl", "infixr", operator definition, lhs, pattern or end of input \ No newline at end of file |
diff --git a/testdata/listcompr01.reject.out b/testdata/listcompr01.reject.out index b43b8f71..1d3a6936 100644 --- a/testdata/listcompr01.reject.out +++ b/testdata/listcompr01.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | "testdata/listcompr01.reject.lc" (line 6, column 42): | 1 | "testdata/listcompr01.reject.lc" (line 6, column 42): |
2 | unexpected ',' | 2 | unexpected ',' |
3 | expecting projection, swizzling, "@", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, "[", "(", "{", "let", symbols, op symbols, backquoted ident, expression, lambda, "::", "~", "->", "=>", "where", "data", "class", "instance", type family, type instance, "type", typed ident, "infix", "infixl", "infixr", operator definition, lhs, pattern or end of input \ No newline at end of file | 3 | expecting projection, swizzling, "@", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, "[", "(", "{", "let", symbols, op symbols, backquoted ident, "~", expression, lambda, "::", "->", "=>", "where", "data", "class", "instance", type family, type instance, "type", typed ident, "infix", "infixl", "infixr", operator definition, lhs, pattern or end of input \ No newline at end of file |