summaryrefslogtreecommitdiff
path: root/testdata/Prelude.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-05-12 23:55:35 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-05-12 23:55:35 +0200
commit7310e4916b8ee7d96db0e64e75ab98499a826674 (patch)
treefbcb77a6383a15598a924714abcf97c71b73e1ac /testdata/Prelude.out
parent67304cc71d2f0efa76b2b2a46575230a5102c6a0 (diff)
don't show module path
Diffstat (limited to 'testdata/Prelude.out')
-rw-r--r--testdata/Prelude.out2820
1 files changed, 1410 insertions, 1410 deletions
diff --git a/testdata/Prelude.out b/testdata/Prelude.out
index d080c7e4..014b4c4e 100644
--- a/testdata/Prelude.out
+++ b/testdata/Prelude.out
@@ -1633,2859 +1633,2859 @@ zip
1633||| :: Bool -> Bool -> Bool 1633||| :: Bool -> Bool -> Bool
1634||| = \a b -> case'Bool (\_ -> 'Bool) (_rhs b) (_rhs True) a 1634||| = \a b -> case'Bool (\_ -> 'Bool) (_rhs b) (_rhs True) a
1635------------ tooltips 1635------------ tooltips
1636testdata/Prelude.lc 16:1-16:6 1636Prelude.lc 16:1-16:6
1637 forall a b . a -> b -> a 1637 forall a b . a -> b -> a
1638testdata/Prelude.lc 16:13-16:14 1638Prelude.lc 16:13-16:14
1639 _d 1639 _d
1640testdata/Prelude.lc 18:1-18:10 1640Prelude.lc 18:1-18:10
1641 Bool 1641 Bool
1642testdata/Prelude.lc 18:13-18:17 1642Prelude.lc 18:13-18:17
1643 Bool 1643 Bool
1644testdata/Prelude.lc 20:3-20:4 1644Prelude.lc 20:3-20:4
1645 forall a b . a -> (a -> b) -> b 1645 forall a b . a -> (a -> b) -> b
1646testdata/Prelude.lc 20:9-20:10 1646Prelude.lc 20:9-20:10
1647 _b 1647 _b
1648testdata/Prelude.lc 20:11-20:12 1648Prelude.lc 20:11-20:12
1649 _g 1649 _g
1650testdata/Prelude.lc 22:2-22:3 1650Prelude.lc 22:2-22:3
1651 forall a b . (a -> b) -> a -> b 1651 forall a b . (a -> b) -> a -> b
1652testdata/Prelude.lc 22:15-22:16 1652Prelude.lc 22:15-22:16
1653 _d 1653 _d
1654testdata/Prelude.lc 22:17-22:18 1654Prelude.lc 22:17-22:18
1655 _e 1655 _e
1656testdata/Prelude.lc 23:2-23:3 1656Prelude.lc 23:2-23:3
1657 forall a b c . (b -> c) -> (a -> b) -> a -> c 1657 forall a b c . (b -> c) -> (a -> b) -> a -> c
1658testdata/Prelude.lc 23:17-23:18 1658Prelude.lc 23:17-23:18
1659 _f 1659 _f
1660testdata/Prelude.lc 23:20-23:21 1660Prelude.lc 23:20-23:21
1661 _g 1661 _g
1662testdata/Prelude.lc 23:22-23:23 1662Prelude.lc 23:22-23:23
1663 _h 1663 _h
1664testdata/Prelude.lc 25:1-25:8 1664Prelude.lc 25:1-25:8
1665 forall a b c . (a -> c -> b) -> (a, c) -> b 1665 forall a b c . (a -> c -> b) -> (a, c) -> b
1666testdata/Prelude.lc 25:20-25:21 1666Prelude.lc 25:20-25:21
1667 _o 1667 _o
1668testdata/Prelude.lc 25:20-25:25 1668Prelude.lc 25:20-25:25
1669 _c | _d 1669 _c | _d
1670testdata/Prelude.lc 25:22-25:23 1670Prelude.lc 25:22-25:23
1671 _n 1671 _n
1672testdata/Prelude.lc 25:24-25:25 1672Prelude.lc 25:24-25:25
1673 _j 1673 _j
1674testdata/Prelude.lc 27:2-27:5 1674Prelude.lc 27:2-27:5
1675 forall a b c d . (a -> c) -> (b -> d) -> (a, b) -> (c, d) 1675 forall a b c d . (a -> c) -> (b -> d) -> (a, b) -> (c, d)
1676testdata/Prelude.lc 27:20-27:30 1676Prelude.lc 27:20-27:30
1677 (_b, _a) | (_b, _a) | (_b, _a) 1677 (_b, _a) | (_b, _a) | (_b, _a)
1678testdata/Prelude.lc 27:21-27:22 1678Prelude.lc 27:21-27:22
1679 _s 1679 _s
1680testdata/Prelude.lc 27:23-27:24 1680Prelude.lc 27:23-27:24
1681 _p 1681 _p
1682testdata/Prelude.lc 27:26-27:27 1682Prelude.lc 27:26-27:27
1683 _r 1683 _r
1684testdata/Prelude.lc 27:26-27:29 1684Prelude.lc 27:26-27:29
1685 ((_a)) 1685 ((_a))
1686testdata/Prelude.lc 27:28-27:29 1686Prelude.lc 27:28-27:29
1687 _l 1687 _l
1688testdata/Prelude.lc 29:1-29:3 1688Prelude.lc 29:1-29:3
1689 Float 1689 Float
1690testdata/Prelude.lc 29:6-29:23 1690Prelude.lc 29:6-29:23
1691 Float 1691 Float
1692testdata/Prelude.lc 31:8-31:11 1692Prelude.lc 31:8-31:11
1693 Type 1693 Type
1694testdata/Prelude.lc 31:8-31:29 1694Prelude.lc 31:8-31:29
1695 Type | Type 1695 Type | Type
1696testdata/Prelude.lc 31:9-31:10 1696Prelude.lc 31:9-31:10
1697 _d 1697 _d
1698testdata/Prelude.lc 31:15-31:18 1698Prelude.lc 31:15-31:18
1699 Type 1699 Type
1700testdata/Prelude.lc 31:15-31:29 1700Prelude.lc 31:15-31:29
1701 Type 1701 Type
1702testdata/Prelude.lc 31:16-31:17 1702Prelude.lc 31:16-31:17
1703 _c 1703 _c
1704testdata/Prelude.lc 31:22-31:29 1704Prelude.lc 31:22-31:29
1705 Type | Type 1705 Type | Type
1706testdata/Prelude.lc 31:23-31:28 1706Prelude.lc 31:23-31:28
1707 Type 1707 Type
1708testdata/Prelude.lc 31:24-31:25 1708Prelude.lc 31:24-31:25
1709 Type 1709 Type
1710testdata/Prelude.lc 31:24-31:27 1710Prelude.lc 31:24-31:27
1711 [Type] 1711 [Type]
1712testdata/Prelude.lc 31:26-31:27 1712Prelude.lc 31:26-31:27
1713 Type | [Type] 1713 Type | [Type]
1714testdata/Prelude.lc 32:1-32:4 1714Prelude.lc 32:1-32:4
1715 forall a b . [a] -> [b] -> [(a, b)] 1715 forall a b . [a] -> [b] -> [(a, b)]
1716testdata/Prelude.lc 32:22-32:24 1716Prelude.lc 32:22-32:24
1717 forall a . [a] 1717 forall a . [a]
1718testdata/Prelude.lc 32:22-34:39 1718Prelude.lc 32:22-34:39
1719 [_a] -> [(_a, _d)] | [(_d, _c)] 1719 [_a] -> [(_a, _d)] | [(_d, _c)]
1720testdata/Prelude.lc 33:22-33:24 1720Prelude.lc 33:22-33:24
1721 forall a . [a] 1721 forall a . [a]
1722testdata/Prelude.lc 33:22-34:39 1722Prelude.lc 33:22-34:39
1723 [_a] -> [(_e, _a)] | [(_c, _f)] 1723 [_a] -> [(_e, _a)] | [(_c, _f)]
1724testdata/Prelude.lc 34:23-34:28 1724Prelude.lc 34:23-34:28
1725 (_h, _d) 1725 (_h, _d)
1726testdata/Prelude.lc 34:23-34:29 1726Prelude.lc 34:23-34:29
1727 [(_h, _d)] -> [(_h, _d)] 1727 [(_h, _d)] -> [(_h, _d)]
1728testdata/Prelude.lc 34:23-34:39 1728Prelude.lc 34:23-34:39
1729 [(_g, _c)] 1729 [(_g, _c)]
1730testdata/Prelude.lc 34:24-34:25 1730Prelude.lc 34:24-34:25
1731 _k 1731 _k
1732testdata/Prelude.lc 34:26-34:27 1732Prelude.lc 34:26-34:27
1733 _g | ((_d)) 1733 _g | ((_d))
1734testdata/Prelude.lc 34:28-34:29 1734Prelude.lc 34:28-34:29
1735 forall a . a -> [a] -> [a] 1735 forall a . a -> [a] -> [a]
1736testdata/Prelude.lc 34:30-34:33 1736Prelude.lc 34:30-34:33
1737 forall a b . [a] -> [b] -> [(a, b)] 1737 forall a b . [a] -> [b] -> [(a, b)]
1738testdata/Prelude.lc 34:30-34:36 1738Prelude.lc 34:30-34:36
1739 [_a] -> [(_h, _a)] 1739 [_a] -> [(_h, _a)]
1740testdata/Prelude.lc 34:30-34:39 1740Prelude.lc 34:30-34:39
1741 [(_g, _c)] 1741 [(_g, _c)]
1742testdata/Prelude.lc 34:34-34:36 1742Prelude.lc 34:34-34:36
1743 [_i] 1743 [_i]
1744testdata/Prelude.lc 34:37-34:39 1744Prelude.lc 34:37-34:39
1745 [_c] 1745 [_c]
1746testdata/Prelude.lc 36:10-36:17 1746Prelude.lc 36:10-36:17
1747 Type 1747 Type
1748testdata/Prelude.lc 36:10-36:30 1748Prelude.lc 36:10-36:30
1749 Type | Type 1749 Type | Type
1750testdata/Prelude.lc 36:11-36:16 1750Prelude.lc 36:11-36:16
1751 Type 1751 Type
1752testdata/Prelude.lc 36:12-36:13 1752Prelude.lc 36:12-36:13
1753 _e 1753 _e
1754testdata/Prelude.lc 36:12-36:15 1754Prelude.lc 36:12-36:15
1755 [Type] 1755 [Type]
1756testdata/Prelude.lc 36:14-36:15 1756Prelude.lc 36:14-36:15
1757 _c | [Type] 1757 _c | [Type]
1758testdata/Prelude.lc 36:21-36:30 1758Prelude.lc 36:21-36:30
1759 Type | Type 1759 Type | Type
1760testdata/Prelude.lc 36:22-36:25 1760Prelude.lc 36:22-36:25
1761 Type 1761 Type
1762testdata/Prelude.lc 36:22-36:29 1762Prelude.lc 36:22-36:29
1763 [Type] 1763 [Type]
1764testdata/Prelude.lc 36:23-36:24 1764Prelude.lc 36:23-36:24
1765 Type 1765 Type
1766testdata/Prelude.lc 36:26-36:29 1766Prelude.lc 36:26-36:29
1767 Type | [Type] 1767 Type | [Type]
1768testdata/Prelude.lc 36:27-36:28 1768Prelude.lc 36:27-36:28
1769 Type 1769 Type
1770testdata/Prelude.lc 37:1-37:6 1770Prelude.lc 37:1-37:6
1771 forall a b . [(a, b)] -> ([a], [b]) 1771 forall a b . [(a, b)] -> ([a], [b])
1772testdata/Prelude.lc 37:12-37:19 1772Prelude.lc 37:12-37:19
1773 ([_b], [_a]) 1773 ([_b], [_a])
1774testdata/Prelude.lc 37:12-39:27 1774Prelude.lc 37:12-39:27
1775 [(_b, _a)] -> ([_b], [_a]) | ([_c], [_b]) 1775 [(_b, _a)] -> ([_b], [_a]) | ([_c], [_b])
1776testdata/Prelude.lc 37:13-37:15 1776Prelude.lc 37:13-37:15
1777 forall a . [a] 1777 forall a . [a]
1778testdata/Prelude.lc 37:16-37:18 1778Prelude.lc 37:16-37:18
1779 forall a . [a] | (([_a])) 1779 forall a . [a] | (([_a]))
1780testdata/Prelude.lc 38:20-38:31 1780Prelude.lc 38:20-38:31
1781 ([_n], [_i]) 1781 ([_n], [_i])
1782testdata/Prelude.lc 38:20-39:27 1782Prelude.lc 38:20-39:27
1783 ([_h], [_c]) | ([_d], [_a]) | ([_d], [_c]) 1783 ([_h], [_c]) | ([_d], [_a]) | ([_d], [_c])
1784testdata/Prelude.lc 38:21-38:22 1784Prelude.lc 38:21-38:22
1785 _s 1785 _s
1786testdata/Prelude.lc 38:21-38:23 1786Prelude.lc 38:21-38:23
1787 [_r] -> [_r] 1787 [_r] -> [_r]
1788testdata/Prelude.lc 38:21-38:25 1788Prelude.lc 38:21-38:25
1789 [_p] 1789 [_p]
1790testdata/Prelude.lc 38:22-38:23 1790Prelude.lc 38:22-38:23
1791 forall a . a -> [a] -> [a] 1791 forall a . a -> [a] -> [a]
1792testdata/Prelude.lc 38:23-38:25 1792Prelude.lc 38:23-38:25
1793 [_f] 1793 [_f]
1794testdata/Prelude.lc 38:26-38:27 1794Prelude.lc 38:26-38:27
1795 _n 1795 _n
1796testdata/Prelude.lc 38:26-38:28 1796Prelude.lc 38:26-38:28
1797 [_m] -> [_m] 1797 [_m] -> [_m]
1798testdata/Prelude.lc 38:26-38:30 1798Prelude.lc 38:26-38:30
1799 [_k] | (([_i])) 1799 [_k] | (([_i]))
1800testdata/Prelude.lc 38:27-38:28 1800Prelude.lc 38:27-38:28
1801 forall a . a -> [a] -> [a] 1801 forall a . a -> [a] -> [a]
1802testdata/Prelude.lc 38:28-38:30 1802Prelude.lc 38:28-38:30
1803 [_f] 1803 [_f]
1804testdata/Prelude.lc 39:10-39:12 1804Prelude.lc 39:10-39:12
1805 _k | _h | _d 1805 _k | _h | _d
1806testdata/Prelude.lc 39:10-39:15 1806Prelude.lc 39:10-39:15
1807 ([_e], [_d]) | ([_f], [_e]) 1807 ([_e], [_d]) | ([_f], [_e])
1808testdata/Prelude.lc 39:13-39:15 1808Prelude.lc 39:13-39:15
1809 _f | _c | _c 1809 _f | _c | _c
1810testdata/Prelude.lc 39:19-39:24 1810Prelude.lc 39:19-39:24
1811 forall a b . [(a, b)] -> ([a], [b]) 1811 forall a b . [(a, b)] -> ([a], [b])
1812testdata/Prelude.lc 39:19-39:27 1812Prelude.lc 39:19-39:27
1813 ([_b], [_a]) 1813 ([_b], [_a])
1814testdata/Prelude.lc 39:25-39:27 1814Prelude.lc 39:25-39:27
1815 [_r] 1815 [_r]
1816testdata/Prelude.lc 41:1-41:7 1816Prelude.lc 41:1-41:7
1817 forall a . (a -> Bool) -> [a] -> [a] 1817 forall a . (a -> Bool) -> [a] -> [a]
1818testdata/Prelude.lc 41:21-41:23 1818Prelude.lc 41:21-41:23
1819 forall a . [a] 1819 forall a . [a]
1820testdata/Prelude.lc 41:21-44:49 1820Prelude.lc 41:21-44:49
1821 [_a] -> [_a] 1821 [_a] -> [_a]
1822testdata/Prelude.lc 42:22-44:49 1822Prelude.lc 42:22-44:49
1823 [_c] 1823 [_c]
1824testdata/Prelude.lc 42:27-42:31 1824Prelude.lc 42:27-42:31
1825 _g 1825 _g
1826testdata/Prelude.lc 42:32-42:33 1826Prelude.lc 42:32-42:33
1827 _f 1827 _f
1828testdata/Prelude.lc 43:32-44:49 1828Prelude.lc 43:32-44:49
1829 Bool -> [_f] 1829 Bool -> [_f]
1830testdata/Prelude.lc 43:33-43:34 1830Prelude.lc 43:33-43:34
1831 _h 1831 _h
1832testdata/Prelude.lc 43:33-43:36 1832Prelude.lc 43:33-43:36
1833 [_g] -> [_g] 1833 [_g] -> [_g]
1834testdata/Prelude.lc 43:33-43:51 1834Prelude.lc 43:33-43:51
1835 [_f] 1835 [_f]
1836testdata/Prelude.lc 43:35-43:36 1836Prelude.lc 43:35-43:36
1837 forall a . a -> [a] -> [a] 1837 forall a . a -> [a] -> [a]
1838testdata/Prelude.lc 43:37-43:43 1838Prelude.lc 43:37-43:43
1839 _j -> [_f] -> [_f] 1839 _j -> [_f] -> [_f]
1840testdata/Prelude.lc 43:37-43:48 1840Prelude.lc 43:37-43:48
1841 [_f] -> [_f] 1841 [_f] -> [_f]
1842testdata/Prelude.lc 43:37-43:51 1842Prelude.lc 43:37-43:51
1843 [_f] 1843 [_f]
1844testdata/Prelude.lc 43:44-43:48 1844Prelude.lc 43:44-43:48
1845 _j 1845 _j
1846testdata/Prelude.lc 43:49-43:51 1846Prelude.lc 43:49-43:51
1847 [_f] 1847 [_f]
1848testdata/Prelude.lc 44:34-44:40 1848Prelude.lc 44:34-44:40
1849 _m 1849 _m
1850testdata/Prelude.lc 44:41-44:45 1850Prelude.lc 44:41-44:45
1851 _n 1851 _n
1852testdata/Prelude.lc 44:46-44:48 1852Prelude.lc 44:46-44:48
1853 [_k] 1853 [_k]
1854testdata/Prelude.lc 49:9-49:12 1854Prelude.lc 49:9-49:12
1855 Type 1855 Type
1856testdata/Prelude.lc 49:9-49:19 1856Prelude.lc 49:9-49:19
1857 Type 1857 Type
1858testdata/Prelude.lc 49:10-49:11 1858Prelude.lc 49:10-49:11
1859 _b 1859 _b
1860testdata/Prelude.lc 49:16-49:19 1860Prelude.lc 49:16-49:19
1861 Type | Type 1861 Type | Type
1862testdata/Prelude.lc 49:17-49:18 1862Prelude.lc 49:17-49:18
1863 Type 1863 Type
1864testdata/Prelude.lc 50:1-50:5 1864Prelude.lc 50:1-50:5
1865 forall a . [a] -> [a] 1865 forall a . [a] -> [a]
1866testdata/Prelude.lc 50:16-50:18 1866Prelude.lc 50:16-50:18
1867 [_d] | [_b] 1867 [_d] | [_b]
1868testdata/Prelude.lc 52:10-52:13 1868Prelude.lc 52:10-52:13
1869 Type 1869 Type
1870testdata/Prelude.lc 52:10-52:25 1870Prelude.lc 52:10-52:25
1871 Type 1871 Type
1872testdata/Prelude.lc 52:11-52:12 1872Prelude.lc 52:11-52:12
1873 _b 1873 _b
1874testdata/Prelude.lc 52:17-52:25 1874Prelude.lc 52:17-52:25
1875 Type | Type 1875 Type | Type
1876testdata/Prelude.lc 52:18-52:24 1876Prelude.lc 52:18-52:24
1877 Type 1877 Type
1878testdata/Prelude.lc 52:19-52:20 1878Prelude.lc 52:19-52:20
1879 Type 1879 Type
1880testdata/Prelude.lc 52:19-52:23 1880Prelude.lc 52:19-52:23
1881 [Type] 1881 [Type]
1882testdata/Prelude.lc 52:22-52:23 1882Prelude.lc 52:22-52:23
1883 Type | [Type] 1883 Type | [Type]
1884testdata/Prelude.lc 53:1-53:6 1884Prelude.lc 53:1-53:6
1885 forall a . [a] -> [(a, a)] 1885 forall a . [a] -> [(a, a)]
1886testdata/Prelude.lc 53:11-53:14 1886Prelude.lc 53:11-53:14
1887 forall a b . [a] -> [b] -> [(a, b)] 1887 forall a b . [a] -> [b] -> [(a, b)]
1888testdata/Prelude.lc 53:11-53:16 1888Prelude.lc 53:11-53:16
1889 [_a] -> [(_c, _a)] 1889 [_a] -> [(_c, _a)]
1890testdata/Prelude.lc 53:11-53:25 1890Prelude.lc 53:11-53:25
1891 [(_b, _b)] 1891 [(_b, _b)]
1892testdata/Prelude.lc 53:15-53:16 1892Prelude.lc 53:15-53:16
1893 [_d] 1893 [_d]
1894testdata/Prelude.lc 53:18-53:22 1894Prelude.lc 53:18-53:22
1895 forall a . [a] -> [a] 1895 forall a . [a] -> [a]
1896testdata/Prelude.lc 53:18-53:24 1896Prelude.lc 53:18-53:24
1897 [_b] 1897 [_b]
1898testdata/Prelude.lc 53:23-53:24 1898Prelude.lc 53:23-53:24
1899 [_c] 1899 [_c]
1900testdata/Prelude.lc 55:1-55:7 1900Prelude.lc 55:1-55:7
1901 forall a b . (a -> b -> a) -> a -> [b] -> a 1901 forall a b . (a -> b -> a) -> a -> [b] -> a
1902testdata/Prelude.lc 55:17-55:18 1902Prelude.lc 55:17-55:18
1903 _f 1903 _f
1904testdata/Prelude.lc 55:17-56:41 1904Prelude.lc 55:17-56:41
1905 [_b] -> _f 1905 [_b] -> _f
1906testdata/Prelude.lc 56:22-56:28 1906Prelude.lc 56:22-56:28
1907 _k 1907 _k
1908testdata/Prelude.lc 56:29-56:30 1908Prelude.lc 56:29-56:30
1909 _l 1909 _l
1910testdata/Prelude.lc 56:32-56:33 1910Prelude.lc 56:32-56:33
1911 _m 1911 _m
1912testdata/Prelude.lc 56:34-56:35 1912Prelude.lc 56:34-56:35
1913 _n 1913 _n
1914testdata/Prelude.lc 56:36-56:37 1914Prelude.lc 56:36-56:37
1915 _k 1915 _k
1916testdata/Prelude.lc 56:39-56:41 1916Prelude.lc 56:39-56:41
1917 [_h] 1917 [_h]
1918testdata/Prelude.lc 58:1-58:7 1918Prelude.lc 58:1-58:7
1919 forall a . (a -> a -> a) -> [a] -> a 1919 forall a . (a -> a -> a) -> [a] -> a
1920testdata/Prelude.lc 58:20-58:25 1920Prelude.lc 58:20-58:25
1921 forall a b . (b -> a -> a) -> a -> [b] -> a 1921 forall a b . (b -> a -> a) -> a -> [b] -> a
1922testdata/Prelude.lc 58:20-58:27 1922Prelude.lc 58:20-58:27
1923 _b -> [_a] -> _b 1923 _b -> [_a] -> _b
1924testdata/Prelude.lc 58:20-58:29 1924Prelude.lc 58:20-58:29
1925 [_a] -> _e 1925 [_a] -> _e
1926testdata/Prelude.lc 58:20-58:32 1926Prelude.lc 58:20-58:32
1927 _c 1927 _c
1928testdata/Prelude.lc 58:26-58:27 1928Prelude.lc 58:26-58:27
1929 _j 1929 _j
1930testdata/Prelude.lc 58:28-58:29 1930Prelude.lc 58:28-58:29
1931 _f 1931 _f
1932testdata/Prelude.lc 58:30-58:32 1932Prelude.lc 58:30-58:32
1933 [_d] 1933 [_d]
1934testdata/Prelude.lc 60:1-60:6 1934Prelude.lc 60:1-60:6
1935 forall a . [a] -> ([a], [a]) 1935 forall a . [a] -> ([a], [a])
1936testdata/Prelude.lc 60:12-60:20 1936Prelude.lc 60:12-60:20
1937 ([_b], [_a]) 1937 ([_b], [_a])
1938testdata/Prelude.lc 60:12-61:55 1938Prelude.lc 60:12-61:55
1939 [_b] -> ([_b], [_a]) 1939 [_b] -> ([_b], [_a])
1940testdata/Prelude.lc 60:13-60:15 1940Prelude.lc 60:13-60:15
1941 forall a . [a] 1941 forall a . [a]
1942testdata/Prelude.lc 60:17-60:19 1942Prelude.lc 60:17-60:19
1943 forall a . [a] | (([_a])) 1943 forall a . [a] | (([_a]))
1944testdata/Prelude.lc 61:17-61:28 1944Prelude.lc 61:17-61:28
1945 ([_i], _c) 1945 ([_i], _c)
1946testdata/Prelude.lc 61:18-61:19 1946Prelude.lc 61:18-61:19
1947 _m 1947 _m
1948testdata/Prelude.lc 61:18-61:20 1948Prelude.lc 61:18-61:20
1949 [_l] -> [_l] 1949 [_l] -> [_l]
1950testdata/Prelude.lc 61:18-61:23 1950Prelude.lc 61:18-61:23
1951 [_j] 1951 [_j]
1952testdata/Prelude.lc 61:19-61:20 1952Prelude.lc 61:19-61:20
1953 forall a . a -> [a] -> [a] 1953 forall a . a -> [a] -> [a]
1954testdata/Prelude.lc 61:21-61:23 1954Prelude.lc 61:21-61:23
1955 _d 1955 _d
1956testdata/Prelude.lc 61:25-61:27 1956Prelude.lc 61:25-61:27
1957 _f | ((_c)) 1957 _f | ((_c))
1958testdata/Prelude.lc 61:37-61:39 1958Prelude.lc 61:37-61:39
1959 _k | _h | _d 1959 _k | _h | _d
1960testdata/Prelude.lc 61:37-61:43 1960Prelude.lc 61:37-61:43
1961 _d | (_e, _d) 1961 _d | (_e, _d)
1962testdata/Prelude.lc 61:41-61:43 1962Prelude.lc 61:41-61:43
1963 _f | _c | _c 1963 _f | _c | _c
1964testdata/Prelude.lc 61:47-61:52 1964Prelude.lc 61:47-61:52
1965 _i 1965 _i
1966testdata/Prelude.lc 61:53-61:55 1966Prelude.lc 61:53-61:55
1967 [_h] 1967 [_h]
1968testdata/Prelude.lc 63:1-63:8 1968Prelude.lc 63:1-63:8
1969 forall a . (a -> a -> Ordering) -> [a] -> [a] -> [a] 1969 forall a . (a -> a -> Ordering) -> [a] -> [a] -> [a]
1970testdata/Prelude.lc 63:27-65:32 1970Prelude.lc 63:27-65:32
1971 [_e] 1971 [_e]
1972testdata/Prelude.lc 63:27-67:21 1972Prelude.lc 63:27-67:21
1973 [_c] -> [_c] | [_c] 1973 [_c] -> [_c] | [_c]
1974testdata/Prelude.lc 63:32-63:33 1974Prelude.lc 63:32-63:33
1975 _j 1975 _j
1976testdata/Prelude.lc 63:34-63:35 1976Prelude.lc 63:34-63:35
1977 _h 1977 _h
1978testdata/Prelude.lc 63:36-63:37 1978Prelude.lc 63:36-63:37
1979 _i 1979 _i
1980testdata/Prelude.lc 64:11-64:12 1980Prelude.lc 64:11-64:12
1981 _j 1981 _j
1982testdata/Prelude.lc 64:11-64:13 1982Prelude.lc 64:11-64:13
1983 [_i] -> [_i] 1983 [_i] -> [_i]
1984testdata/Prelude.lc 64:11-64:33 1984Prelude.lc 64:11-64:33
1985 [_h] 1985 [_h]
1986testdata/Prelude.lc 64:11-65:32 1986Prelude.lc 64:11-65:32
1987 [_g] -> Ordering -> [_g] 1987 [_g] -> Ordering -> [_g]
1988testdata/Prelude.lc 64:12-64:13 1988Prelude.lc 64:12-64:13
1989 forall a . a -> [a] -> [a] 1989 forall a . a -> [a] -> [a]
1990testdata/Prelude.lc 64:14-64:21 1990Prelude.lc 64:14-64:21
1991 _p 1991 _p
1992testdata/Prelude.lc 64:22-64:23 1992Prelude.lc 64:22-64:23
1993 _q 1993 _q
1994testdata/Prelude.lc 64:24-64:26 1994Prelude.lc 64:24-64:26
1995 [_l] 1995 [_l]
1996testdata/Prelude.lc 64:28-64:29 1996Prelude.lc 64:28-64:29
1997 _j 1997 _j
1998testdata/Prelude.lc 64:28-64:30 1998Prelude.lc 64:28-64:30
1999 [_i] -> [_i] 1999 [_i] -> [_i]
2000testdata/Prelude.lc 64:28-64:32 2000Prelude.lc 64:28-64:32
2001 [_i] 2001 [_i]
2002testdata/Prelude.lc 64:29-64:30 2002Prelude.lc 64:29-64:30
2003 forall a . a -> [a] -> [a] 2003 forall a . a -> [a] -> [a]
2004testdata/Prelude.lc 64:30-64:32 2004Prelude.lc 64:30-64:32
2005 [_i] 2005 [_i]
2006testdata/Prelude.lc 65:10-65:11 2006Prelude.lc 65:10-65:11
2007 _f | _h 2007 _f | _h
2008testdata/Prelude.lc 65:10-65:12 2008Prelude.lc 65:10-65:12
2009 [_e] -> [_e] | [_g] -> [_g] 2009 [_e] -> [_e] | [_g] -> [_g]
2010testdata/Prelude.lc 65:10-65:32 2010Prelude.lc 65:10-65:32
2011 [_g] | [_g] 2011 [_g] | [_g]
2012testdata/Prelude.lc 65:11-65:12 2012Prelude.lc 65:11-65:12
2013 forall a . a -> [a] -> [a] | forall a . a -> [a] -> [a] 2013 forall a . a -> [a] -> [a] | forall a . a -> [a] -> [a]
2014testdata/Prelude.lc 65:13-65:20 2014Prelude.lc 65:13-65:20
2015 _m -> [_g] -> [_g] -> [_g] | _m -> [_g] -> [_g] -> [_g] 2015 _m -> [_g] -> [_g] -> [_g] | _m -> [_g] -> [_g] -> [_g]
2016testdata/Prelude.lc 65:13-65:22 2016Prelude.lc 65:13-65:22
2017 [_g] -> [_g] -> [_g] | [_g] -> [_g] -> [_g] 2017 [_g] -> [_g] -> [_g] | [_g] -> [_g] -> [_g]
2018testdata/Prelude.lc 65:13-65:29 2018Prelude.lc 65:13-65:29
2019 [_g] -> [_g] | [_g] -> [_g] 2019 [_g] -> [_g] | [_g] -> [_g]
2020testdata/Prelude.lc 65:13-65:32 2020Prelude.lc 65:13-65:32
2021 [_g] | [_g] 2021 [_g] | [_g]
2022testdata/Prelude.lc 65:21-65:22 2022Prelude.lc 65:21-65:22
2023 _m | _m 2023 _m | _m
2024testdata/Prelude.lc 65:24-65:25 2024Prelude.lc 65:24-65:25
2025 _h | _h 2025 _h | _h
2026testdata/Prelude.lc 65:24-65:26 2026Prelude.lc 65:24-65:26
2027 [_g] -> [_g] | [_g] -> [_g] 2027 [_g] -> [_g] | [_g] -> [_g]
2028testdata/Prelude.lc 65:24-65:28 2028Prelude.lc 65:24-65:28
2029 [_g] | [_g] 2029 [_g] | [_g]
2030testdata/Prelude.lc 65:25-65:26 2030Prelude.lc 65:25-65:26
2031 forall a . a -> [a] -> [a] | forall a . a -> [a] -> [a] 2031 forall a . a -> [a] -> [a] | forall a . a -> [a] -> [a]
2032testdata/Prelude.lc 65:26-65:28 2032Prelude.lc 65:26-65:28
2033 [_g] | [_g] 2033 [_g] | [_g]
2034testdata/Prelude.lc 65:30-65:32 2034Prelude.lc 65:30-65:32
2035 [_g] | [_g] 2035 [_g] | [_g]
2036testdata/Prelude.lc 66:19-66:21 2036Prelude.lc 66:19-66:21
2037 _d 2037 _d
2038testdata/Prelude.lc 67:19-67:21 2038Prelude.lc 67:19-67:21
2039 _i 2039 _i
2040testdata/Prelude.lc 69:1-69:7 2040Prelude.lc 69:1-69:7
2041 forall a . (a -> a -> Ordering) -> [a] -> [a] 2041 forall a . (a -> a -> Ordering) -> [a] -> [a]
2042testdata/Prelude.lc 69:15-69:17 2042Prelude.lc 69:15-69:17
2043 forall a . [a] 2043 forall a . [a]
2044testdata/Prelude.lc 69:15-71:71 2044Prelude.lc 69:15-71:71
2045 [_b] -> [_b] 2045 [_b] -> [_b]
2046testdata/Prelude.lc 70:16-70:19 2046Prelude.lc 70:16-70:19
2047 [_e] 2047 [_e]
2048testdata/Prelude.lc 70:16-71:71 2048Prelude.lc 70:16-71:71
2049 [_b] -> [_f] | [_d] 2049 [_b] -> [_f] | [_d]
2050testdata/Prelude.lc 70:17-70:18 2050Prelude.lc 70:17-70:18
2051 _g 2051 _g
2052testdata/Prelude.lc 71:15-71:22 2052Prelude.lc 71:15-71:22
2053 forall a b c . (a -> c -> b) -> (a, c) -> b 2053 forall a b c . (a -> c -> b) -> (a, c) -> b
2054testdata/Prelude.lc 71:15-71:34 2054Prelude.lc 71:15-71:34
2055 ([_a], [_a]) -> [_a] 2055 ([_a], [_a]) -> [_a]
2056testdata/Prelude.lc 71:15-71:71 2056Prelude.lc 71:15-71:71
2057 [_h] 2057 [_h]
2058testdata/Prelude.lc 71:24-71:31 2058Prelude.lc 71:24-71:31
2059 forall a . (a -> a -> Ordering) -> [a] -> [a] -> [a] 2059 forall a . (a -> a -> Ordering) -> [a] -> [a] -> [a]
2060testdata/Prelude.lc 71:24-71:33 2060Prelude.lc 71:24-71:33
2061 [_a] -> [_a] -> [_a] 2061 [_a] -> [_a] -> [_a]
2062testdata/Prelude.lc 71:32-71:33 2062Prelude.lc 71:32-71:33
2063 _o 2063 _o
2064testdata/Prelude.lc 71:36-71:70 2064Prelude.lc 71:36-71:70
2065 ([_h], [_h]) 2065 ([_h], [_h])
2066testdata/Prelude.lc 71:37-71:43 2066Prelude.lc 71:37-71:43
2067 _p 2067 _p
2068testdata/Prelude.lc 71:37-71:49 2068Prelude.lc 71:37-71:49
2069 (_c -> _a) -> (_d, _c) -> (_b, _a) 2069 (_c -> _a) -> (_d, _c) -> (_b, _a)
2070testdata/Prelude.lc 71:37-71:58 2070Prelude.lc 71:37-71:58
2071 (_b, _b) -> (_a, _a) 2071 (_b, _b) -> (_a, _a)
2072testdata/Prelude.lc 71:44-71:45 2072Prelude.lc 71:44-71:45
2073 _n -> _n -> Ordering 2073 _n -> _n -> Ordering
2074testdata/Prelude.lc 71:46-71:49 2074Prelude.lc 71:46-71:49
2075 forall a b c d . (a -> c) -> (b -> d) -> (a, b) -> (c, d) 2075 forall a b c d . (a -> c) -> (b -> d) -> (a, b) -> (c, d)
2076testdata/Prelude.lc 71:50-71:56 2076Prelude.lc 71:50-71:56
2077 (_k -> _k -> Ordering) -> _d -> _b 2077 (_k -> _k -> Ordering) -> _d -> _b
2078testdata/Prelude.lc 71:50-71:58 2078Prelude.lc 71:50-71:58
2079 _b -> _a 2079 _b -> _a
2080testdata/Prelude.lc 71:57-71:58 2080Prelude.lc 71:57-71:58
2081 _i -> _i -> Ordering 2081 _i -> _i -> Ordering
2082testdata/Prelude.lc 71:61-71:66 2082Prelude.lc 71:61-71:66
2083 forall a . [a] -> ([a], [a]) 2083 forall a . [a] -> ([a], [a])
2084testdata/Prelude.lc 71:61-71:69 2084Prelude.lc 71:61-71:69
2085 ([_a], [_a]) 2085 ([_a], [_a])
2086testdata/Prelude.lc 71:67-71:69 2086Prelude.lc 71:67-71:69
2087 _k 2087 _k
2088testdata/Prelude.lc 73:12-73:32 2088Prelude.lc 73:12-73:32
2089 Type 2089 Type
2090testdata/Prelude.lc 73:13-73:14 2090Prelude.lc 73:13-73:14
2091 _b 2091 _b
2092testdata/Prelude.lc 73:18-73:19 2092Prelude.lc 73:18-73:19
2093 Type | Type 2093 Type | Type
2094testdata/Prelude.lc 73:24-73:25 2094Prelude.lc 73:24-73:25
2095 Type 2095 Type
2096testdata/Prelude.lc 73:24-73:32 2096Prelude.lc 73:24-73:32
2097 Type 2097 Type
2098testdata/Prelude.lc 73:29-73:32 2098Prelude.lc 73:29-73:32
2099 Type | Type 2099 Type | Type
2100testdata/Prelude.lc 73:30-73:31 2100Prelude.lc 73:30-73:31
2101 Type 2101 Type
2102testdata/Prelude.lc 74:1-74:8 2102Prelude.lc 74:1-74:8
2103 forall a . (a -> a) -> a -> [a] 2103 forall a . (a -> a) -> a -> [a]
2104testdata/Prelude.lc 74:16-74:17 2104Prelude.lc 74:16-74:17
2105 _d 2105 _d
2106testdata/Prelude.lc 74:16-74:19 2106Prelude.lc 74:16-74:19
2107 [_c] -> [_c] 2107 [_c] -> [_c]
2108testdata/Prelude.lc 74:16-74:35 2108Prelude.lc 74:16-74:35
2109 [_c] 2109 [_c]
2110testdata/Prelude.lc 74:18-74:19 2110Prelude.lc 74:18-74:19
2111 forall a . a -> [a] -> [a] 2111 forall a . a -> [a] -> [a]
2112testdata/Prelude.lc 74:20-74:27 2112Prelude.lc 74:20-74:27
2113 forall a . (a -> a) -> a -> [a] 2113 forall a . (a -> a) -> a -> [a]
2114testdata/Prelude.lc 74:20-74:29 2114Prelude.lc 74:20-74:29
2115 _c -> [_c] 2115 _c -> [_c]
2116testdata/Prelude.lc 74:20-74:35 2116Prelude.lc 74:20-74:35
2117 [_c] 2117 [_c]
2118testdata/Prelude.lc 74:28-74:29 2118Prelude.lc 74:28-74:29
2119 _d -> _d 2119 _d -> _d
2120testdata/Prelude.lc 74:31-74:32 2120Prelude.lc 74:31-74:32
2121 _c -> _c 2121 _c -> _c
2122testdata/Prelude.lc 74:31-74:34 2122Prelude.lc 74:31-74:34
2123 _c 2123 _c
2124testdata/Prelude.lc 74:33-74:34 2124Prelude.lc 74:33-74:34
2125 _c 2125 _c
2126testdata/Prelude.lc 76:1-76:4 2126Prelude.lc 76:1-76:4
2127 forall a b . (a, b) -> a 2127 forall a b . (a, b) -> a
2128testdata/Prelude.lc 76:14-76:15 2128Prelude.lc 76:14-76:15
2129 _k | _h | _d 2129 _k | _h | _d
2130testdata/Prelude.lc 77:1-77:4 2130Prelude.lc 77:1-77:4
2131 forall a b . (a, b) -> b 2131 forall a b . (a, b) -> b
2132testdata/Prelude.lc 77:14-77:15 2132Prelude.lc 77:14-77:15
2133 _f | _c | _c 2133 _f | _c | _c
2134testdata/Prelude.lc 79:7-79:10 2134Prelude.lc 79:7-79:10
2135 Bool -> Bool -> Bool 2135 Bool -> Bool -> Bool
2136testdata/Prelude.lc 79:15-79:16 2136Prelude.lc 79:15-79:16
2137 _c 2137 _c
2138testdata/Prelude.lc 79:15-80:18 2138Prelude.lc 79:15-80:18
2139 Bool -> Bool 2139 Bool -> Bool
2140testdata/Prelude.lc 80:14-80:18 2140Prelude.lc 80:14-80:18
2141 Bool 2141 Bool
2142testdata/Prelude.lc 84:6-84:9 2142Prelude.lc 84:6-84:9
2143 Bool -> Bool -> Bool 2143 Bool -> Bool -> Bool
2144testdata/Prelude.lc 84:14-84:15 2144Prelude.lc 84:14-84:15
2145 _b 2145 _b
2146testdata/Prelude.lc 84:14-85:20 2146Prelude.lc 84:14-85:20
2147 Bool -> Bool 2147 Bool -> Bool
2148testdata/Prelude.lc 85:15-85:20 2148Prelude.lc 85:15-85:20
2149 Bool 2149 Bool
2150testdata/Prelude.lc 122:6-122:13 2150Prelude.lc 122:6-122:13
2151 Type | Type | Type | Type | Type | Type 2151 Type | Type | Type | Type | Type | Type
2152testdata/Prelude.lc 122:6-122:23 2152Prelude.lc 122:6-122:23
2153 Type 2153 Type
2154testdata/Prelude.lc 122:6-122:35 2154Prelude.lc 122:6-122:35
2155 Type 2155 Type
2156testdata/Prelude.lc 122:16-122:23 2156Prelude.lc 122:16-122:23
2157 String -> Type -> RecItem | RecItem | Type | Type | Type 2157 String -> Type -> RecItem | RecItem | Type | Type | Type
2158testdata/Prelude.lc 122:24-122:30 2158Prelude.lc 122:24-122:30
2159 Type 2159 Type
2160testdata/Prelude.lc 122:31-122:35 2160Prelude.lc 122:31-122:35
2161 Type 2161 Type
2162testdata/Prelude.lc 124:1-124:12 2162Prelude.lc 124:1-124:12
2163 RecItem -> Type 2163 RecItem -> Type
2164testdata/Prelude.lc 124:29-124:30 2164Prelude.lc 124:29-124:30
2165 Type 2165 Type
2166testdata/Prelude.lc 126:6-126:13 2166Prelude.lc 126:6-126:13
2167 [RecItem] -> Type | [RecItem] -> Type | [RecItem] -> Type | [RecItem] 2167 [RecItem] -> Type | [RecItem] -> Type | [RecItem] -> Type | [RecItem]
2168 -> Type | Type 2168 -> Type | Type
2169testdata/Prelude.lc 126:6-126:17 2169Prelude.lc 126:6-126:17
2170 Type | Type 2170 Type | Type
2171testdata/Prelude.lc 126:6-127:17 2171Prelude.lc 126:6-127:17
2172 Type | Type 2172 Type | Type
2173testdata/Prelude.lc 126:6-127:46 2173Prelude.lc 126:6-127:46
2174 Type 2174 Type
2175testdata/Prelude.lc 126:15-126:17 2175Prelude.lc 126:15-126:17
2176 [RecItem] 2176 [RecItem]
2177testdata/Prelude.lc 126:21-126:30 2177Prelude.lc 126:21-126:30
2178 Type | Type | Type 2178 Type | Type | Type
2179testdata/Prelude.lc 126:22-126:29 2179Prelude.lc 126:22-126:29
2180 Type | Type | Type 2180 Type | Type | Type
2181testdata/Prelude.lc 127:7-127:17 2181Prelude.lc 127:7-127:17
2182 forall (a :: [RecItem]) . HList (map recItemType a) -> RecordC a | RecordC 2182 forall (a :: [RecItem]) . HList (map recItemType a) -> RecordC a | RecordC
2183 _c | Type | Type 2183 _c | Type | Type
2184testdata/Prelude.lc 127:19-127:24 2184Prelude.lc 127:19-127:24
2185 [Type] -> Type 2185 [Type] -> Type
2186testdata/Prelude.lc 127:19-127:45 2186Prelude.lc 127:19-127:45
2187 Type 2187 Type
2188testdata/Prelude.lc 127:26-127:29 2188Prelude.lc 127:26-127:29
2189 forall a b . (a -> b) -> [a] -> [b] 2189 forall a b . (a -> b) -> [a] -> [b]
2190testdata/Prelude.lc 127:26-127:41 2190Prelude.lc 127:26-127:41
2191 [RecItem] -> [Type] 2191 [RecItem] -> [Type]
2192testdata/Prelude.lc 127:26-127:44 2192Prelude.lc 127:26-127:44
2193 [Type] 2193 [Type]
2194testdata/Prelude.lc 127:30-127:41 2194Prelude.lc 127:30-127:41
2195 RecItem -> Type 2195 RecItem -> Type
2196testdata/Prelude.lc 127:42-127:44 2196Prelude.lc 127:42-127:44
2197 [RecItem] 2197 [RecItem]
2198testdata/Prelude.lc 129:1-129:7 2198Prelude.lc 129:1-129:7
2199 String -> Type -> [RecItem] -> Constraint 2199 String -> Type -> [RecItem] -> Constraint
2200testdata/Prelude.lc 129:17-129:24 2200Prelude.lc 129:17-129:24
2201 String -> Constraint 2201 String -> Constraint
2202testdata/Prelude.lc 129:17-129:27 2202Prelude.lc 129:17-129:27
2203 Constraint 2203 Constraint
2204testdata/Prelude.lc 129:17-130:75 2204Prelude.lc 129:17-130:75
2205 [RecItem] -> Constraint 2205 [RecItem] -> Constraint
2206testdata/Prelude.lc 129:25-129:27 2206Prelude.lc 129:25-129:27
2207 String 2207 String
2208testdata/Prelude.lc 130:34-130:75 2208Prelude.lc 130:34-130:75
2209 Constraint | Constraint 2209 Constraint | Constraint
2210testdata/Prelude.lc 130:37-130:38 2210Prelude.lc 130:37-130:38
2211 _o 2211 _o
2212testdata/Prelude.lc 130:37-130:41 2212Prelude.lc 130:37-130:41
2213 _n -> Bool 2213 _n -> Bool
2214testdata/Prelude.lc 130:37-130:44 2214Prelude.lc 130:37-130:44
2215 Bool 2215 Bool
2216testdata/Prelude.lc 130:37-130:56 2216Prelude.lc 130:37-130:56
2217 Constraint -> Constraint 2217 Constraint -> Constraint
2218testdata/Prelude.lc 130:39-130:41 2218Prelude.lc 130:39-130:41
2219 forall a . Eq a => a -> a -> Bool 2219 forall a . Eq a => a -> a -> Bool
2220testdata/Prelude.lc 130:42-130:44 2220Prelude.lc 130:42-130:44
2221 String 2221 String
2222testdata/Prelude.lc 130:50-130:51 2222Prelude.lc 130:50-130:51
2223 _l 2223 _l
2224testdata/Prelude.lc 130:50-130:53 2224Prelude.lc 130:50-130:53
2225 _k -> Constraint 2225 _k -> Constraint
2226testdata/Prelude.lc 130:50-130:56 2226Prelude.lc 130:50-130:56
2227 Constraint 2227 Constraint
2228testdata/Prelude.lc 130:52-130:53 2228Prelude.lc 130:52-130:53
2229 forall a . a -> a -> Constraint 2229 forall a . a -> a -> Constraint
2230testdata/Prelude.lc 130:54-130:56 2230Prelude.lc 130:54-130:56
2231 Type 2231 Type
2232testdata/Prelude.lc 130:62-130:68 2232Prelude.lc 130:62-130:68
2233 _k 2233 _k
2234testdata/Prelude.lc 130:69-130:70 2234Prelude.lc 130:69-130:70
2235 String 2235 String
2236testdata/Prelude.lc 130:71-130:72 2236Prelude.lc 130:71-130:72
2237 Type 2237 Type
2238testdata/Prelude.lc 130:73-130:75 2238Prelude.lc 130:73-130:75
2239 [_i] 2239 [_i]
2240testdata/Prelude.lc 132:1-132:7 2240Prelude.lc 132:1-132:7
2241 forall a (b :: [Type]) . HList (a : b) -> a 2241 forall a (b :: [Type]) . HList (a : b) -> a
2242testdata/Prelude.lc 132:10-132:23 2242Prelude.lc 132:10-132:23
2243 forall a (b :: [Type]) . forall c -> (a -> HList b -> c) -> HList (a : b) -> c 2243 forall a (b :: [Type]) . forall c -> (a -> HList b -> c) -> HList (a : b) -> c
2244testdata/Prelude.lc 132:10-132:25 2244Prelude.lc 132:10-132:25
2245 (_c -> HList _b -> _a) -> HList (_c : _b) -> _a 2245 (_c -> HList _b -> _a) -> HList (_c : _b) -> _a
2246testdata/Prelude.lc 132:10-132:37 2246Prelude.lc 132:10-132:37
2247 HList (_b : _a) -> _b 2247 HList (_b : _a) -> _b
2248testdata/Prelude.lc 132:35-132:36 2248Prelude.lc 132:35-132:36
2249 _e 2249 _e
2250testdata/Prelude.lc 133:1-133:7 2250Prelude.lc 133:1-133:7
2251 forall a (b :: [Type]) . HList (a : b) -> HList b 2251 forall a (b :: [Type]) . HList (a : b) -> HList b
2252testdata/Prelude.lc 133:10-133:23 2252Prelude.lc 133:10-133:23
2253 forall a (b :: [Type]) . forall c -> (a -> HList b -> c) -> HList (a : b) -> c 2253 forall a (b :: [Type]) . forall c -> (a -> HList b -> c) -> HList (a : b) -> c
2254testdata/Prelude.lc 133:10-133:25 2254Prelude.lc 133:10-133:25
2255 (_c -> HList _b -> _a) -> HList (_c : _b) -> _a 2255 (_c -> HList _b -> _a) -> HList (_c : _b) -> _a
2256testdata/Prelude.lc 133:10-133:37 2256Prelude.lc 133:10-133:37
2257 HList (_b : _a) -> HList _a 2257 HList (_b : _a) -> HList _a
2258testdata/Prelude.lc 133:35-133:36 2258Prelude.lc 133:35-133:36
2259 HList _d 2259 HList _d
2260testdata/Prelude.lc 136:28-136:37 2260Prelude.lc 136:28-136:37
2261 Type 2261 Type
2262testdata/Prelude.lc 136:28-136:97 2262Prelude.lc 136:28-136:97
2263 Type 2263 Type
2264testdata/Prelude.lc 136:29-136:36 2264Prelude.lc 136:29-136:36
2265 Type 2265 Type
2266testdata/Prelude.lc 136:41-136:97 2266Prelude.lc 136:41-136:97
2267 Type 2267 Type
2268testdata/Prelude.lc 136:54-136:60 2268Prelude.lc 136:54-136:60
2269 Type 2269 Type
2270testdata/Prelude.lc 136:65-136:71 2270Prelude.lc 136:65-136:71
2271 String -> Type -> [RecItem] -> Constraint 2271 String -> Type -> [RecItem] -> Constraint
2272testdata/Prelude.lc 136:65-136:73 2272Prelude.lc 136:65-136:73
2273 Type -> [RecItem] -> Constraint 2273 Type -> [RecItem] -> Constraint
2274testdata/Prelude.lc 136:65-136:75 2274Prelude.lc 136:65-136:75
2275 [RecItem] -> Constraint 2275 [RecItem] -> Constraint
2276testdata/Prelude.lc 136:65-136:78 2276Prelude.lc 136:65-136:78
2277 Constraint 2277 Constraint
2278testdata/Prelude.lc 136:65-136:97 2278Prelude.lc 136:65-136:97
2279 Type 2279 Type
2280testdata/Prelude.lc 136:72-136:73 2280Prelude.lc 136:72-136:73
2281 String 2281 String
2282testdata/Prelude.lc 136:74-136:75 2282Prelude.lc 136:74-136:75
2283 _d 2283 _d
2284testdata/Prelude.lc 136:76-136:78 2284Prelude.lc 136:76-136:78
2285 [RecItem] 2285 [RecItem]
2286testdata/Prelude.lc 136:82-136:89 2286Prelude.lc 136:82-136:89
2287 [RecItem] -> Type 2287 [RecItem] -> Type
2288testdata/Prelude.lc 136:82-136:92 2288Prelude.lc 136:82-136:92
2289 Type 2289 Type
2290testdata/Prelude.lc 136:82-136:97 2290Prelude.lc 136:82-136:97
2291 Type 2291 Type
2292testdata/Prelude.lc 136:90-136:92 2292Prelude.lc 136:90-136:92
2293 [RecItem] 2293 [RecItem]
2294testdata/Prelude.lc 136:96-136:97 2294Prelude.lc 136:96-136:97
2295 Type | Type 2295 Type | Type
2296testdata/Prelude.lc 137:1-137:8 2296Prelude.lc 137:1-137:8
2297 forall a (b :: [RecItem]) 2297 forall a (b :: [RecItem])
2298 . forall (c :: String) -> isKeyC c a b => RecordC b -> a 2298 . forall (c :: String) -> isKeyC c a b => RecordC b -> a
2299testdata/Prelude.lc 137:57-137:58 2299Prelude.lc 137:57-137:58
2300 String 2300 String
2301testdata/Prelude.lc 137:57-137:61 2301Prelude.lc 137:57-137:61
2302 String -> Bool 2302 String -> Bool
2303testdata/Prelude.lc 137:57-137:64 2303Prelude.lc 137:57-137:64
2304 Bool 2304 Bool
2305testdata/Prelude.lc 137:57-138:186 2305Prelude.lc 137:57-138:186
2306 _m | _j | _g | _e 2306 _m | _j | _g | _e
2307testdata/Prelude.lc 137:59-137:61 2307Prelude.lc 137:59-137:61
2308 forall a . Eq a => a -> a -> Bool 2308 forall a . Eq a => a -> a -> Bool
2309testdata/Prelude.lc 137:62-137:64 2309Prelude.lc 137:62-137:64
2310 String 2310 String
2311testdata/Prelude.lc 137:67-137:73 2311Prelude.lc 137:67-137:73
2312 forall a (b :: [Type]) . HList (a : b) -> a 2312 forall a (b :: [Type]) . HList (a : b) -> a
2313testdata/Prelude.lc 137:67-137:129 2313Prelude.lc 137:67-137:129
2314 _n 2314 _n
2315testdata/Prelude.lc 137:67-138:186 2315Prelude.lc 137:67-138:186
2316 Bool -> _n 2316 Bool -> _n
2317testdata/Prelude.lc 137:75-137:87 2317Prelude.lc 137:75-137:87
2318 forall a b . a -> b 2318 forall a b . a -> b
2319testdata/Prelude.lc 137:75-137:90 2319Prelude.lc 137:75-137:90
2320 forall a . _a -> a 2320 forall a . _a -> a
2321testdata/Prelude.lc 137:75-137:125 2321Prelude.lc 137:75-137:125
2322 _a -> HList (_q : map recItemType _j) 2322 _a -> HList (_q : map recItemType _j)
2323testdata/Prelude.lc 137:75-137:128 2323Prelude.lc 137:75-137:128
2324 HList (_n : map recItemType _g) 2324 HList (_n : map recItemType _g)
2325testdata/Prelude.lc 137:93-137:98 2325Prelude.lc 137:93-137:98
2326 [Type] -> Type 2326 [Type] -> Type
2327testdata/Prelude.lc 137:93-137:124 2327Prelude.lc 137:93-137:124
2328 Type 2328 Type
2329testdata/Prelude.lc 137:101-137:102 2329Prelude.lc 137:101-137:102
2330 Type 2330 Type
2331testdata/Prelude.lc 137:101-137:104 2331Prelude.lc 137:101-137:104
2332 [Type] -> [Type] 2332 [Type] -> [Type]
2333testdata/Prelude.lc 137:101-137:123 2333Prelude.lc 137:101-137:123
2334 [Type] 2334 [Type]
2335testdata/Prelude.lc 137:103-137:104 2335Prelude.lc 137:103-137:104
2336 forall a . a -> [a] -> [a] 2336 forall a . a -> [a] -> [a]
2337testdata/Prelude.lc 137:105-137:108 2337Prelude.lc 137:105-137:108
2338 forall a b . (a -> b) -> [a] -> [b] 2338 forall a b . (a -> b) -> [a] -> [b]
2339testdata/Prelude.lc 137:105-137:120 2339Prelude.lc 137:105-137:120
2340 [RecItem] -> [Type] 2340 [RecItem] -> [Type]
2341testdata/Prelude.lc 137:105-137:123 2341Prelude.lc 137:105-137:123
2342 [Type] 2342 [Type]
2343testdata/Prelude.lc 137:109-137:120 2343Prelude.lc 137:109-137:120
2344 RecItem -> Type 2344 RecItem -> Type
2345testdata/Prelude.lc 137:121-137:123 2345Prelude.lc 137:121-137:123
2346 [RecItem] 2346 [RecItem]
2347testdata/Prelude.lc 137:126-137:128 2347Prelude.lc 137:126-137:128
2348 HList (map recItemType _d) 2348 HList (map recItemType _d)
2349testdata/Prelude.lc 138:57-138:64 2349Prelude.lc 138:57-138:64
2350 forall a (b :: [RecItem]) 2350 forall a (b :: [RecItem])
2351 . forall (c :: String) -> isKeyC c a b => RecordC b -> a 2351 . forall (c :: String) -> isKeyC c a b => RecordC b -> a
2352testdata/Prelude.lc 138:57-138:67 2352Prelude.lc 138:57-138:67
2353 forall (a :: [RecItem]) 2353 forall (a :: [RecItem])
2354 . forall (b :: String) -> isKeyC b _p a => RecordC a -> _p 2354 . forall (b :: String) -> isKeyC b _p a => RecordC a -> _p
2355testdata/Prelude.lc 138:57-138:71 2355Prelude.lc 138:57-138:71
2356 forall (a :: String) -> isKeyC a _o _h => RecordC _h -> _o 2356 forall (a :: String) -> isKeyC a _o _h => RecordC _h -> _o
2357testdata/Prelude.lc 138:57-138:73 2357Prelude.lc 138:57-138:73
2358 isKeyC _m _o _h => RecordC _h -> _o 2358 isKeyC _m _o _h => RecordC _h -> _o
2359testdata/Prelude.lc 138:57-138:108 2359Prelude.lc 138:57-138:108
2360 RecordC _h -> _o 2360 RecordC _h -> _o
2361testdata/Prelude.lc 138:57-138:186 2361Prelude.lc 138:57-138:186
2362 _n 2362 _n
2363testdata/Prelude.lc 138:66-138:67 2363Prelude.lc 138:66-138:67
2364 Type 2364 Type
2365testdata/Prelude.lc 138:69-138:71 2365Prelude.lc 138:69-138:71
2366 [_k] 2366 [_k]
2367testdata/Prelude.lc 138:72-138:73 2367Prelude.lc 138:72-138:73
2368 String 2368 String
2369testdata/Prelude.lc 138:76-138:85 2369Prelude.lc 138:76-138:85
2370 forall a . a 2370 forall a . a
2371testdata/Prelude.lc 138:76-138:107 2371Prelude.lc 138:76-138:107
2372 CW (isKeyC _m _o _h) 2372 CW (isKeyC _m _o _h)
2373testdata/Prelude.lc 138:88-138:90 2373Prelude.lc 138:88-138:90
2374 Constraint -> Type 2374 Constraint -> Type
2375testdata/Prelude.lc 138:88-138:106 2375Prelude.lc 138:88-138:106
2376 Type 2376 Type
2377testdata/Prelude.lc 138:92-138:98 2377Prelude.lc 138:92-138:98
2378 String -> Type -> [RecItem] -> Constraint 2378 String -> Type -> [RecItem] -> Constraint
2379testdata/Prelude.lc 138:92-138:100 2379Prelude.lc 138:92-138:100
2380 Type -> [RecItem] -> Constraint 2380 Type -> [RecItem] -> Constraint
2381testdata/Prelude.lc 138:92-138:102 2381Prelude.lc 138:92-138:102
2382 [RecItem] -> Constraint 2382 [RecItem] -> Constraint
2383testdata/Prelude.lc 138:92-138:105 2383Prelude.lc 138:92-138:105
2384 Constraint 2384 Constraint
2385testdata/Prelude.lc 138:99-138:100 2385Prelude.lc 138:99-138:100
2386 String 2386 String
2387testdata/Prelude.lc 138:101-138:102 2387Prelude.lc 138:101-138:102
2388 Type 2388 Type
2389testdata/Prelude.lc 138:103-138:105 2389Prelude.lc 138:103-138:105
2390 [RecItem] 2390 [RecItem]
2391testdata/Prelude.lc 138:110-138:120 2391Prelude.lc 138:110-138:120
2392 forall (a :: [RecItem]) . HList (map recItemType a) -> RecordC a 2392 forall (a :: [RecItem]) . HList (map recItemType a) -> RecordC a
2393testdata/Prelude.lc 138:110-138:185 2393Prelude.lc 138:110-138:185
2394 RecordC _b 2394 RecordC _b
2395testdata/Prelude.lc 138:122-138:128 2395Prelude.lc 138:122-138:128
2396 forall a (b :: [Type]) . HList (a : b) -> HList b 2396 forall a (b :: [Type]) . HList (a : b) -> HList b
2397testdata/Prelude.lc 138:122-138:184 2397Prelude.lc 138:122-138:184
2398 HList (map recItemType _h) 2398 HList (map recItemType _h)
2399testdata/Prelude.lc 138:130-138:142 2399Prelude.lc 138:130-138:142
2400 forall a b . a -> b 2400 forall a b . a -> b
2401testdata/Prelude.lc 138:130-138:145 2401Prelude.lc 138:130-138:145
2402 forall a . _a -> a 2402 forall a . _a -> a
2403testdata/Prelude.lc 138:130-138:180 2403Prelude.lc 138:130-138:180
2404 _a -> HList (_r : map recItemType _k) 2404 _a -> HList (_r : map recItemType _k)
2405testdata/Prelude.lc 138:130-138:183 2405Prelude.lc 138:130-138:183
2406 HList (_o : map recItemType _h) 2406 HList (_o : map recItemType _h)
2407testdata/Prelude.lc 138:148-138:153 2407Prelude.lc 138:148-138:153
2408 [Type] -> Type 2408 [Type] -> Type
2409testdata/Prelude.lc 138:148-138:179 2409Prelude.lc 138:148-138:179
2410 Type 2410 Type
2411testdata/Prelude.lc 138:156-138:157 2411Prelude.lc 138:156-138:157
2412 Type 2412 Type
2413testdata/Prelude.lc 138:156-138:159 2413Prelude.lc 138:156-138:159
2414 [Type] -> [Type] 2414 [Type] -> [Type]
2415testdata/Prelude.lc 138:156-138:178 2415Prelude.lc 138:156-138:178
2416 [Type] 2416 [Type]
2417testdata/Prelude.lc 138:158-138:159 2417Prelude.lc 138:158-138:159
2418 forall a . a -> [a] -> [a] 2418 forall a . a -> [a] -> [a]
2419testdata/Prelude.lc 138:160-138:163 2419Prelude.lc 138:160-138:163
2420 forall a b . (a -> b) -> [a] -> [b] 2420 forall a b . (a -> b) -> [a] -> [b]
2421testdata/Prelude.lc 138:160-138:175 2421Prelude.lc 138:160-138:175
2422 [RecItem] -> [Type] 2422 [RecItem] -> [Type]
2423testdata/Prelude.lc 138:160-138:178 2423Prelude.lc 138:160-138:178
2424 [Type] 2424 [Type]
2425testdata/Prelude.lc 138:164-138:175 2425Prelude.lc 138:164-138:175
2426 RecItem -> Type 2426 RecItem -> Type
2427testdata/Prelude.lc 138:176-138:178 2427Prelude.lc 138:176-138:178
2428 [RecItem] 2428 [RecItem]
2429testdata/Prelude.lc 138:181-138:183 2429Prelude.lc 138:181-138:183
2430 HList (map recItemType _e) 2430 HList (map recItemType _e)
2431testdata/Prelude.lc 142:1-142:4 2431Prelude.lc 142:1-142:4
2432 Float -> Float -> Float -> VecS Float 4 2432 Float -> Float -> Float -> VecS Float 4
2433testdata/Prelude.lc 142:13-142:15 2433Prelude.lc 142:13-142:15
2434 forall a . a -> a -> a -> a -> VecS a 4 2434 forall a . a -> a -> a -> a -> VecS a 4
2435testdata/Prelude.lc 142:13-142:17 2435Prelude.lc 142:13-142:17
2436 _f -> _f -> _f -> VecS _f 4 2436 _f -> _f -> _f -> VecS _f 4
2437testdata/Prelude.lc 142:13-142:19 2437Prelude.lc 142:13-142:19
2438 _e -> _e -> VecS _e 4 2438 _e -> _e -> VecS _e 4
2439testdata/Prelude.lc 142:13-142:21 2439Prelude.lc 142:13-142:21
2440 _d -> VecS _d 4 2440 _d -> VecS _d 4
2441testdata/Prelude.lc 142:13-142:25 2441Prelude.lc 142:13-142:25
2442 VecS Float 4 2442 VecS Float 4
2443testdata/Prelude.lc 142:16-142:17 2443Prelude.lc 142:16-142:17
2444 _g 2444 _g
2445testdata/Prelude.lc 142:18-142:19 2445Prelude.lc 142:18-142:19
2446 _d 2446 _d
2447testdata/Prelude.lc 142:20-142:21 2447Prelude.lc 142:20-142:21
2448 _b 2448 _b
2449testdata/Prelude.lc 142:22-142:25 2449Prelude.lc 142:22-142:25
2450 Float 2450 Float
2451testdata/Prelude.lc 144:1-144:6 2451Prelude.lc 144:1-144:6
2452 VecS Float 4 2452 VecS Float 4
2453testdata/Prelude.lc 144:11-144:14 2453Prelude.lc 144:11-144:14
2454 Float -> Float -> Float -> VecS Float 4 2454 Float -> Float -> Float -> VecS Float 4
2455testdata/Prelude.lc 144:11-144:18 2455Prelude.lc 144:11-144:18
2456 Float -> Float -> VecS Float 4 2456 Float -> Float -> VecS Float 4
2457testdata/Prelude.lc 144:11-144:22 2457Prelude.lc 144:11-144:22
2458 Float -> VecS Float 4 2458 Float -> VecS Float 4
2459testdata/Prelude.lc 144:11-144:26 2459Prelude.lc 144:11-144:26
2460 VecS Float 4 2460 VecS Float 4
2461testdata/Prelude.lc 144:15-144:18 2461Prelude.lc 144:15-144:18
2462 Float 2462 Float
2463testdata/Prelude.lc 144:19-144:22 2463Prelude.lc 144:19-144:22
2464 Float 2464 Float
2465testdata/Prelude.lc 144:23-144:26 2465Prelude.lc 144:23-144:26
2466 Float 2466 Float
2467testdata/Prelude.lc 145:1-145:5 2467Prelude.lc 145:1-145:5
2468 VecS Float 4 2468 VecS Float 4
2469testdata/Prelude.lc 145:11-145:14 2469Prelude.lc 145:11-145:14
2470 Float -> Float -> Float -> VecS Float 4 2470 Float -> Float -> Float -> VecS Float 4
2471testdata/Prelude.lc 145:11-145:18 2471Prelude.lc 145:11-145:18
2472 Float -> Float -> VecS Float 4 2472 Float -> Float -> VecS Float 4
2473testdata/Prelude.lc 145:11-145:22 2473Prelude.lc 145:11-145:22
2474 Float -> VecS Float 4 2474 Float -> VecS Float 4
2475testdata/Prelude.lc 145:11-145:26 2475Prelude.lc 145:11-145:26
2476 VecS Float 4 2476 VecS Float 4
2477testdata/Prelude.lc 145:15-145:18 2477Prelude.lc 145:15-145:18
2478 Float 2478 Float
2479testdata/Prelude.lc 145:19-145:22 2479Prelude.lc 145:19-145:22
2480 Float 2480 Float
2481testdata/Prelude.lc 145:23-145:26 2481Prelude.lc 145:23-145:26
2482 Float 2482 Float
2483testdata/Prelude.lc 146:1-146:7 2483Prelude.lc 146:1-146:7
2484 VecS Float 4 2484 VecS Float 4
2485testdata/Prelude.lc 146:11-146:14 2485Prelude.lc 146:11-146:14
2486 Float -> Float -> Float -> VecS Float 4 2486 Float -> Float -> Float -> VecS Float 4
2487testdata/Prelude.lc 146:11-146:19 2487Prelude.lc 146:11-146:19
2488 Float -> Float -> VecS Float 4 2488 Float -> Float -> VecS Float 4
2489testdata/Prelude.lc 146:11-146:24 2489Prelude.lc 146:11-146:24
2490 Float -> VecS Float 4 2490 Float -> VecS Float 4
2491testdata/Prelude.lc 146:11-146:29 2491Prelude.lc 146:11-146:29
2492 VecS Float 4 2492 VecS Float 4
2493testdata/Prelude.lc 146:15-146:19 2493Prelude.lc 146:15-146:19
2494 Float 2494 Float
2495testdata/Prelude.lc 146:20-146:24 2495Prelude.lc 146:20-146:24
2496 Float 2496 Float
2497testdata/Prelude.lc 146:25-146:29 2497Prelude.lc 146:25-146:29
2498 Float 2498 Float
2499testdata/Prelude.lc 147:1-147:6 2499Prelude.lc 147:1-147:6
2500 VecS Float 4 2500 VecS Float 4
2501testdata/Prelude.lc 147:11-147:14 2501Prelude.lc 147:11-147:14
2502 Float -> Float -> Float -> VecS Float 4 2502 Float -> Float -> Float -> VecS Float 4
2503testdata/Prelude.lc 147:11-147:18 2503Prelude.lc 147:11-147:18
2504 Float -> Float -> VecS Float 4 2504 Float -> Float -> VecS Float 4
2505testdata/Prelude.lc 147:11-147:22 2505Prelude.lc 147:11-147:22
2506 Float -> VecS Float 4 2506 Float -> VecS Float 4
2507testdata/Prelude.lc 147:11-147:26 2507Prelude.lc 147:11-147:26
2508 VecS Float 4 2508 VecS Float 4
2509testdata/Prelude.lc 147:15-147:18 2509Prelude.lc 147:15-147:18
2510 Float 2510 Float
2511testdata/Prelude.lc 147:19-147:22 2511Prelude.lc 147:19-147:22
2512 Float 2512 Float
2513testdata/Prelude.lc 147:23-147:26 2513Prelude.lc 147:23-147:26
2514 Float 2514 Float
2515testdata/Prelude.lc 148:1-148:7 2515Prelude.lc 148:1-148:7
2516 VecS Float 4 2516 VecS Float 4
2517testdata/Prelude.lc 148:11-148:14 2517Prelude.lc 148:11-148:14
2518 Float -> Float -> Float -> VecS Float 4 2518 Float -> Float -> Float -> VecS Float 4
2519testdata/Prelude.lc 148:11-148:18 2519Prelude.lc 148:11-148:18
2520 Float -> Float -> VecS Float 4 2520 Float -> Float -> VecS Float 4
2521testdata/Prelude.lc 148:11-148:22 2521Prelude.lc 148:11-148:22
2522 Float -> VecS Float 4 2522 Float -> VecS Float 4
2523testdata/Prelude.lc 148:11-148:26 2523Prelude.lc 148:11-148:26
2524 VecS Float 4 2524 VecS Float 4
2525testdata/Prelude.lc 148:15-148:18 2525Prelude.lc 148:15-148:18
2526 Float 2526 Float
2527testdata/Prelude.lc 148:19-148:22 2527Prelude.lc 148:19-148:22
2528 Float 2528 Float
2529testdata/Prelude.lc 148:23-148:26 2529Prelude.lc 148:23-148:26
2530 Float 2530 Float
2531testdata/Prelude.lc 149:1-149:4 2531Prelude.lc 149:1-149:4
2532 VecS Float 4 2532 VecS Float 4
2533testdata/Prelude.lc 149:11-149:14 2533Prelude.lc 149:11-149:14
2534 Float -> Float -> Float -> VecS Float 4 2534 Float -> Float -> Float -> VecS Float 4
2535testdata/Prelude.lc 149:11-149:18 2535Prelude.lc 149:11-149:18
2536 Float -> Float -> VecS Float 4 2536 Float -> Float -> VecS Float 4
2537testdata/Prelude.lc 149:11-149:22 2537Prelude.lc 149:11-149:22
2538 Float -> VecS Float 4 2538 Float -> VecS Float 4
2539testdata/Prelude.lc 149:11-149:26 2539Prelude.lc 149:11-149:26
2540 VecS Float 4 2540 VecS Float 4
2541testdata/Prelude.lc 149:15-149:18 2541Prelude.lc 149:15-149:18
2542 Float 2542 Float
2543testdata/Prelude.lc 149:19-149:22 2543Prelude.lc 149:19-149:22
2544 Float 2544 Float
2545testdata/Prelude.lc 149:23-149:26 2545Prelude.lc 149:23-149:26
2546 Float 2546 Float
2547testdata/Prelude.lc 150:1-150:6 2547Prelude.lc 150:1-150:6
2548 VecS Float 4 2548 VecS Float 4
2549testdata/Prelude.lc 150:11-150:14 2549Prelude.lc 150:11-150:14
2550 Float -> Float -> Float -> VecS Float 4 2550 Float -> Float -> Float -> VecS Float 4
2551testdata/Prelude.lc 150:11-150:18 2551Prelude.lc 150:11-150:18
2552 Float -> Float -> VecS Float 4 2552 Float -> Float -> VecS Float 4
2553testdata/Prelude.lc 150:11-150:22 2553Prelude.lc 150:11-150:22
2554 Float -> VecS Float 4 2554 Float -> VecS Float 4
2555testdata/Prelude.lc 150:11-150:26 2555Prelude.lc 150:11-150:26
2556 VecS Float 4 2556 VecS Float 4
2557testdata/Prelude.lc 150:15-150:18 2557Prelude.lc 150:15-150:18
2558 Float 2558 Float
2559testdata/Prelude.lc 150:19-150:22 2559Prelude.lc 150:19-150:22
2560 Float 2560 Float
2561testdata/Prelude.lc 150:23-150:26 2561Prelude.lc 150:23-150:26
2562 Float 2562 Float
2563testdata/Prelude.lc 151:1-151:7 2563Prelude.lc 151:1-151:7
2564 VecS Float 4 2564 VecS Float 4
2565testdata/Prelude.lc 151:11-151:14 2565Prelude.lc 151:11-151:14
2566 Float -> Float -> Float -> VecS Float 4 2566 Float -> Float -> Float -> VecS Float 4
2567testdata/Prelude.lc 151:11-151:18 2567Prelude.lc 151:11-151:18
2568 Float -> Float -> VecS Float 4 2568 Float -> Float -> VecS Float 4
2569testdata/Prelude.lc 151:11-151:22 2569Prelude.lc 151:11-151:22
2570 Float -> VecS Float 4 2570 Float -> VecS Float 4
2571testdata/Prelude.lc 151:11-151:26 2571Prelude.lc 151:11-151:26
2572 VecS Float 4 2572 VecS Float 4
2573testdata/Prelude.lc 151:15-151:18 2573Prelude.lc 151:15-151:18
2574 Float 2574 Float
2575testdata/Prelude.lc 151:19-151:22 2575Prelude.lc 151:19-151:22
2576 Float 2576 Float
2577testdata/Prelude.lc 151:23-151:26 2577Prelude.lc 151:23-151:26
2578 Float 2578 Float
2579testdata/Prelude.lc 152:1-152:6 2579Prelude.lc 152:1-152:6
2580 VecS Float 4 2580 VecS Float 4
2581testdata/Prelude.lc 152:11-152:14 2581Prelude.lc 152:11-152:14
2582 Float -> Float -> Float -> VecS Float 4 2582 Float -> Float -> Float -> VecS Float 4
2583testdata/Prelude.lc 152:11-152:18 2583Prelude.lc 152:11-152:18
2584 Float -> Float -> VecS Float 4 2584 Float -> Float -> VecS Float 4
2585testdata/Prelude.lc 152:11-152:22 2585Prelude.lc 152:11-152:22
2586 Float -> VecS Float 4 2586 Float -> VecS Float 4
2587testdata/Prelude.lc 152:11-152:26 2587Prelude.lc 152:11-152:26
2588 VecS Float 4 2588 VecS Float 4
2589testdata/Prelude.lc 152:15-152:18 2589Prelude.lc 152:15-152:18
2590 Float 2590 Float
2591testdata/Prelude.lc 152:19-152:22 2591Prelude.lc 152:19-152:22
2592 Float 2592 Float
2593testdata/Prelude.lc 152:23-152:26 2593Prelude.lc 152:23-152:26
2594 Float 2594 Float
2595testdata/Prelude.lc 153:1-153:5 2595Prelude.lc 153:1-153:5
2596 VecS Float 4 2596 VecS Float 4
2597testdata/Prelude.lc 153:11-153:14 2597Prelude.lc 153:11-153:14
2598 Float -> Float -> Float -> VecS Float 4 2598 Float -> Float -> Float -> VecS Float 4
2599testdata/Prelude.lc 153:11-153:18 2599Prelude.lc 153:11-153:18
2600 Float -> Float -> VecS Float 4 2600 Float -> Float -> VecS Float 4
2601testdata/Prelude.lc 153:11-153:22 2601Prelude.lc 153:11-153:22
2602 Float -> VecS Float 4 2602 Float -> VecS Float 4
2603testdata/Prelude.lc 153:11-153:26 2603Prelude.lc 153:11-153:26
2604 VecS Float 4 2604 VecS Float 4
2605testdata/Prelude.lc 153:15-153:18 2605Prelude.lc 153:15-153:18
2606 Float 2606 Float
2607testdata/Prelude.lc 153:19-153:22 2607Prelude.lc 153:19-153:22
2608 Float 2608 Float
2609testdata/Prelude.lc 153:23-153:26 2609Prelude.lc 153:23-153:26
2610 Float 2610 Float
2611testdata/Prelude.lc 154:1-154:5 2611Prelude.lc 154:1-154:5
2612 VecS Float 4 2612 VecS Float 4
2613testdata/Prelude.lc 154:11-154:14 2613Prelude.lc 154:11-154:14
2614 Float -> Float -> Float -> VecS Float 4 2614 Float -> Float -> Float -> VecS Float 4
2615testdata/Prelude.lc 154:11-154:18 2615Prelude.lc 154:11-154:18
2616 Float -> Float -> VecS Float 4 2616 Float -> Float -> VecS Float 4
2617testdata/Prelude.lc 154:11-154:22 2617Prelude.lc 154:11-154:22
2618 Float -> VecS Float 4 2618 Float -> VecS Float 4
2619testdata/Prelude.lc 154:11-154:26 2619Prelude.lc 154:11-154:26
2620 VecS Float 4 2620 VecS Float 4
2621testdata/Prelude.lc 154:15-154:18 2621Prelude.lc 154:15-154:18
2622 Float 2622 Float
2623testdata/Prelude.lc 154:19-154:22 2623Prelude.lc 154:19-154:22
2624 Float 2624 Float
2625testdata/Prelude.lc 154:23-154:26 2625Prelude.lc 154:23-154:26
2626 Float 2626 Float
2627testdata/Prelude.lc 155:1-155:5 2627Prelude.lc 155:1-155:5
2628 VecS Float 4 2628 VecS Float 4
2629testdata/Prelude.lc 155:11-155:14 2629Prelude.lc 155:11-155:14
2630 Float -> Float -> Float -> VecS Float 4 2630 Float -> Float -> Float -> VecS Float 4
2631testdata/Prelude.lc 155:11-155:18 2631Prelude.lc 155:11-155:18
2632 Float -> Float -> VecS Float 4 2632 Float -> Float -> VecS Float 4
2633testdata/Prelude.lc 155:11-155:22 2633Prelude.lc 155:11-155:22
2634 Float -> VecS Float 4 2634 Float -> VecS Float 4
2635testdata/Prelude.lc 155:11-155:26 2635Prelude.lc 155:11-155:26
2636 VecS Float 4 2636 VecS Float 4
2637testdata/Prelude.lc 155:15-155:18 2637Prelude.lc 155:15-155:18
2638 Float 2638 Float
2639testdata/Prelude.lc 155:19-155:22 2639Prelude.lc 155:19-155:22
2640 Float 2640 Float
2641testdata/Prelude.lc 155:23-155:26 2641Prelude.lc 155:23-155:26
2642 Float 2642 Float
2643testdata/Prelude.lc 156:1-156:5 2643Prelude.lc 156:1-156:5
2644 VecS Float 4 2644 VecS Float 4
2645testdata/Prelude.lc 156:11-156:14 2645Prelude.lc 156:11-156:14
2646 Float -> Float -> Float -> VecS Float 4 2646 Float -> Float -> Float -> VecS Float 4
2647testdata/Prelude.lc 156:11-156:18 2647Prelude.lc 156:11-156:18
2648 Float -> Float -> VecS Float 4 2648 Float -> Float -> VecS Float 4
2649testdata/Prelude.lc 156:11-156:22 2649Prelude.lc 156:11-156:22
2650 Float -> VecS Float 4 2650 Float -> VecS Float 4
2651testdata/Prelude.lc 156:11-156:26 2651Prelude.lc 156:11-156:26
2652 VecS Float 4 2652 VecS Float 4
2653testdata/Prelude.lc 156:15-156:18 2653Prelude.lc 156:15-156:18
2654 Float 2654 Float
2655testdata/Prelude.lc 156:19-156:22 2655Prelude.lc 156:19-156:22
2656 Float 2656 Float
2657testdata/Prelude.lc 156:23-156:26 2657Prelude.lc 156:23-156:26
2658 Float 2658 Float
2659testdata/Prelude.lc 157:1-157:5 2659Prelude.lc 157:1-157:5
2660 VecS Float 4 2660 VecS Float 4
2661testdata/Prelude.lc 157:11-157:14 2661Prelude.lc 157:11-157:14
2662 Float -> Float -> Float -> VecS Float 4 2662 Float -> Float -> Float -> VecS Float 4
2663testdata/Prelude.lc 157:11-157:18 2663Prelude.lc 157:11-157:18
2664 Float -> Float -> VecS Float 4 2664 Float -> Float -> VecS Float 4
2665testdata/Prelude.lc 157:11-157:22 2665Prelude.lc 157:11-157:22
2666 Float -> VecS Float 4 2666 Float -> VecS Float 4
2667testdata/Prelude.lc 157:11-157:26 2667Prelude.lc 157:11-157:26
2668 VecS Float 4 2668 VecS Float 4
2669testdata/Prelude.lc 157:15-157:18 2669Prelude.lc 157:15-157:18
2670 Float 2670 Float
2671testdata/Prelude.lc 157:19-157:22 2671Prelude.lc 157:19-157:22
2672 Float 2672 Float
2673testdata/Prelude.lc 157:23-157:26 2673Prelude.lc 157:23-157:26
2674 Float 2674 Float
2675testdata/Prelude.lc 158:1-158:7 2675Prelude.lc 158:1-158:7
2676 VecS Float 4 2676 VecS Float 4
2677testdata/Prelude.lc 158:11-158:14 2677Prelude.lc 158:11-158:14
2678 Float -> Float -> Float -> VecS Float 4 2678 Float -> Float -> Float -> VecS Float 4
2679testdata/Prelude.lc 158:11-158:18 2679Prelude.lc 158:11-158:18
2680 Float -> Float -> VecS Float 4 2680 Float -> Float -> VecS Float 4
2681testdata/Prelude.lc 158:11-158:22 2681Prelude.lc 158:11-158:22
2682 Float -> VecS Float 4 2682 Float -> VecS Float 4
2683testdata/Prelude.lc 158:11-158:26 2683Prelude.lc 158:11-158:26
2684 VecS Float 4 2684 VecS Float 4
2685testdata/Prelude.lc 158:15-158:18 2685Prelude.lc 158:15-158:18
2686 Float 2686 Float
2687testdata/Prelude.lc 158:19-158:22 2687Prelude.lc 158:19-158:22
2688 Float 2688 Float
2689testdata/Prelude.lc 158:23-158:26 2689Prelude.lc 158:23-158:26
2690 Float 2690 Float
2691testdata/Prelude.lc 159:1-159:8 2691Prelude.lc 159:1-159:8
2692 VecS Float 4 2692 VecS Float 4
2693testdata/Prelude.lc 159:11-159:14 2693Prelude.lc 159:11-159:14
2694 Float -> Float -> Float -> VecS Float 4 2694 Float -> Float -> Float -> VecS Float 4
2695testdata/Prelude.lc 159:11-159:18 2695Prelude.lc 159:11-159:18
2696 Float -> Float -> VecS Float 4 2696 Float -> Float -> VecS Float 4
2697testdata/Prelude.lc 159:11-159:22 2697Prelude.lc 159:11-159:22
2698 Float -> VecS Float 4 2698 Float -> VecS Float 4
2699testdata/Prelude.lc 159:11-159:26 2699Prelude.lc 159:11-159:26
2700 VecS Float 4 2700 VecS Float 4
2701testdata/Prelude.lc 159:15-159:18 2701Prelude.lc 159:15-159:18
2702 Float 2702 Float
2703testdata/Prelude.lc 159:19-159:22 2703Prelude.lc 159:19-159:22
2704 Float 2704 Float
2705testdata/Prelude.lc 159:23-159:26 2705Prelude.lc 159:23-159:26
2706 Float 2706 Float
2707testdata/Prelude.lc 161:1-161:12 2707Prelude.lc 161:1-161:12
2708 forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 1 ('Color c) 2708 forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 1 ('Color c)
2709testdata/Prelude.lc 161:15-161:25 2709Prelude.lc 161:15-161:25
2710 forall (a :: Nat) (b :: Nat) c d 2710 forall (a :: Nat) (b :: Nat) c d
2711 . (Num c, d ~ VecScalar b c) => d -> Image a ('Color d) 2711 . (Num c, d ~ VecScalar b c) => d -> Image a ('Color d)
2712testdata/Prelude.lc 161:15-161:28 2712Prelude.lc 161:15-161:28
2713 forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 1 ('Color c) 2713 forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 1 ('Color c)
2714testdata/Prelude.lc 161:27-161:28 2714Prelude.lc 161:27-161:28
2715 _b 2715 _b
2716testdata/Prelude.lc 162:1-162:12 2716Prelude.lc 162:1-162:12
2717 forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 2 ('Color c) 2717 forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 2 ('Color c)
2718testdata/Prelude.lc 162:15-162:25 2718Prelude.lc 162:15-162:25
2719 forall (a :: Nat) (b :: Nat) c d 2719 forall (a :: Nat) (b :: Nat) c d
2720 . (Num c, d ~ VecScalar b c) => d -> Image a ('Color d) 2720 . (Num c, d ~ VecScalar b c) => d -> Image a ('Color d)
2721testdata/Prelude.lc 162:15-162:28 2721Prelude.lc 162:15-162:28
2722 forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 2 ('Color c) 2722 forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 2 ('Color c)
2723testdata/Prelude.lc 162:27-162:28 2723Prelude.lc 162:27-162:28
2724 _b 2724 _b
2725testdata/Prelude.lc 164:1-164:12 2725Prelude.lc 164:1-164:12
2726 Float -> Image 1 'Depth 2726 Float -> Image 1 'Depth
2727testdata/Prelude.lc 164:15-164:25 2727Prelude.lc 164:15-164:25
2728 forall (a :: Nat) . Float -> Image a 'Depth 2728 forall (a :: Nat) . Float -> Image a 'Depth
2729testdata/Prelude.lc 164:15-164:28 2729Prelude.lc 164:15-164:28
2730 Float -> Image 1 'Depth 2730 Float -> Image 1 'Depth
2731testdata/Prelude.lc 164:27-164:28 2731Prelude.lc 164:27-164:28
2732 _b 2732 _b
2733testdata/Prelude.lc 166:13-166:16 2733Prelude.lc 166:13-166:16
2734 Nat -> Type -> Type 2734 Nat -> Type -> Type
2735testdata/Prelude.lc 166:13-166:18 2735Prelude.lc 166:13-166:18
2736 Type -> Type 2736 Type -> Type
2737testdata/Prelude.lc 166:13-166:24 2737Prelude.lc 166:13-166:24
2738 Type 2738 Type
2739testdata/Prelude.lc 166:17-166:18 2739Prelude.lc 166:17-166:18
2740 _b 2740 _b
2741testdata/Prelude.lc 166:19-166:24 2741Prelude.lc 166:19-166:24
2742 Type 2742 Type
2743testdata/Prelude.lc 166:28-166:31 2743Prelude.lc 166:28-166:31
2744 Nat -> Type -> Type 2744 Nat -> Type -> Type
2745testdata/Prelude.lc 166:28-166:33 2745Prelude.lc 166:28-166:33
2746 Type -> Type 2746 Type -> Type
2747testdata/Prelude.lc 166:28-166:39 2747Prelude.lc 166:28-166:39
2748 Type | Type 2748 Type | Type
2749testdata/Prelude.lc 166:32-166:33 2749Prelude.lc 166:32-166:33
2750 _b 2750 _b
2751testdata/Prelude.lc 166:34-166:39 2751Prelude.lc 166:34-166:39
2752 Type 2752 Type
2753testdata/Prelude.lc 167:1-167:9 2753Prelude.lc 167:1-167:9
2754 Vec 3 Float -> VecS Float 4 2754 Vec 3 Float -> VecS Float 4
2755testdata/Prelude.lc 167:14-167:16 2755Prelude.lc 167:14-167:16
2756 forall a . a -> a -> a -> a -> VecS a 4 2756 forall a . a -> a -> a -> a -> VecS a 4
2757testdata/Prelude.lc 167:14-167:20 2757Prelude.lc 167:14-167:20
2758 Float -> Float -> Float -> VecS Float 4 2758 Float -> Float -> Float -> VecS Float 4
2759testdata/Prelude.lc 167:14-167:24 2759Prelude.lc 167:14-167:24
2760 Float -> Float -> VecS Float 4 2760 Float -> Float -> VecS Float 4
2761testdata/Prelude.lc 167:14-167:28 2761Prelude.lc 167:14-167:28
2762 Float -> VecS Float 4 2762 Float -> VecS Float 4
2763testdata/Prelude.lc 167:14-167:30 2763Prelude.lc 167:14-167:30
2764 VecS Float 4 2764 VecS Float 4
2765testdata/Prelude.lc 167:17-167:18 2765Prelude.lc 167:17-167:18
2766 Vec 3 Float 2766 Vec 3 Float
2767testdata/Prelude.lc 167:17-167:20 2767Prelude.lc 167:17-167:20
2768 Float 2768 Float
2769testdata/Prelude.lc 167:21-167:22 2769Prelude.lc 167:21-167:22
2770 Vec 3 Float 2770 Vec 3 Float
2771testdata/Prelude.lc 167:21-167:24 2771Prelude.lc 167:21-167:24
2772 Float 2772 Float
2773testdata/Prelude.lc 167:25-167:26 2773Prelude.lc 167:25-167:26
2774 Vec 3 Float 2774 Vec 3 Float
2775testdata/Prelude.lc 167:25-167:28 2775Prelude.lc 167:25-167:28
2776 Float 2776 Float
2777testdata/Prelude.lc 167:29-167:30 2777Prelude.lc 167:29-167:30
2778 _b 2778 _b
2779testdata/Prelude.lc 174:1-174:8 2779Prelude.lc 174:1-174:8
2780 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2780 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2781testdata/Prelude.lc 174:11-174:22 2781Prelude.lc 174:11-174:22
2782 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2782 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2783testdata/Prelude.lc 175:1-175:8 2783Prelude.lc 175:1-175:8
2784 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2784 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2785testdata/Prelude.lc 175:11-175:22 2785Prelude.lc 175:11-175:22
2786 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2786 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2787testdata/Prelude.lc 176:1-176:4 2787Prelude.lc 176:1-176:4
2788 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2788 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2789testdata/Prelude.lc 176:7-176:14 2789Prelude.lc 176:7-176:14
2790 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2790 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2791testdata/Prelude.lc 177:1-177:4 2791Prelude.lc 177:1-177:4
2792 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2792 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2793testdata/Prelude.lc 177:7-177:14 2793Prelude.lc 177:7-177:14
2794 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2794 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2795testdata/Prelude.lc 178:1-178:4 2795Prelude.lc 178:1-178:4
2796 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2796 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2797testdata/Prelude.lc 178:7-178:14 2797Prelude.lc 178:7-178:14
2798 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2798 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2799testdata/Prelude.lc 179:1-179:5 2799Prelude.lc 179:1-179:5
2800 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2800 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2801testdata/Prelude.lc 179:8-179:16 2801Prelude.lc 179:8-179:16
2802 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2802 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2803testdata/Prelude.lc 180:1-180:5 2803Prelude.lc 180:1-180:5
2804 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2804 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2805testdata/Prelude.lc 180:8-180:16 2805Prelude.lc 180:8-180:16
2806 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2806 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2807testdata/Prelude.lc 181:1-181:5 2807Prelude.lc 181:1-181:5
2808 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2808 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2809testdata/Prelude.lc 181:8-181:16 2809Prelude.lc 181:8-181:16
2810 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2810 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2811testdata/Prelude.lc 182:1-182:5 2811Prelude.lc 182:1-182:5
2812 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2812 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2813testdata/Prelude.lc 182:8-182:16 2813Prelude.lc 182:8-182:16
2814 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2814 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2815testdata/Prelude.lc 183:1-183:6 2815Prelude.lc 183:1-183:6
2816 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2816 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2817testdata/Prelude.lc 183:9-183:18 2817Prelude.lc 183:9-183:18
2818 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2818 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2819testdata/Prelude.lc 184:1-184:5 2819Prelude.lc 184:1-184:5
2820 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2820 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2821testdata/Prelude.lc 184:8-184:16 2821Prelude.lc 184:8-184:16
2822 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2822 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2823testdata/Prelude.lc 185:1-185:6 2823Prelude.lc 185:1-185:6
2824 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2824 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2825testdata/Prelude.lc 185:9-185:18 2825Prelude.lc 185:9-185:18
2826 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2826 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2827testdata/Prelude.lc 186:1-186:5 2827Prelude.lc 186:1-186:5
2828 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2828 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2829testdata/Prelude.lc 186:8-186:16 2829Prelude.lc 186:8-186:16
2830 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2830 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2831testdata/Prelude.lc 187:1-187:6 2831Prelude.lc 187:1-187:6
2832 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2832 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2833testdata/Prelude.lc 187:9-187:18 2833Prelude.lc 187:9-187:18
2834 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2834 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2835testdata/Prelude.lc 188:1-188:6 2835Prelude.lc 188:1-188:6
2836 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a 2836 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a
2837testdata/Prelude.lc 188:9-188:18 2837Prelude.lc 188:9-188:18
2838 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a 2838 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a
2839testdata/Prelude.lc 191:1-191:4 2839Prelude.lc 191:1-191:4
2840 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a 2840 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a
2841testdata/Prelude.lc 191:7-191:14 2841Prelude.lc 191:7-191:14
2842 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a 2842 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a
2843testdata/Prelude.lc 192:1-192:4 2843Prelude.lc 192:1-192:4
2844 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2844 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2845testdata/Prelude.lc 192:7-192:14 2845Prelude.lc 192:7-192:14
2846 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2846 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2847testdata/Prelude.lc 193:1-193:4 2847Prelude.lc 193:1-193:4
2848 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2848 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2849testdata/Prelude.lc 193:7-193:14 2849Prelude.lc 193:7-193:14
2850 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2850 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2851testdata/Prelude.lc 194:1-194:5 2851Prelude.lc 194:1-194:5
2852 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2852 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2853testdata/Prelude.lc 194:8-194:16 2853Prelude.lc 194:8-194:16
2854 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2854 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2855testdata/Prelude.lc 195:1-195:5 2855Prelude.lc 195:1-195:5
2856 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2856 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2857testdata/Prelude.lc 195:8-195:16 2857Prelude.lc 195:8-195:16
2858 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2858 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2859testdata/Prelude.lc 196:1-196:5 2859Prelude.lc 196:1-196:5
2860 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2860 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2861testdata/Prelude.lc 196:8-196:16 2861Prelude.lc 196:8-196:16
2862 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2862 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2863testdata/Prelude.lc 197:1-197:12 2863Prelude.lc 197:1-197:12
2864 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2864 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2865testdata/Prelude.lc 197:15-197:26 2865Prelude.lc 197:15-197:26
2866 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2866 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2867testdata/Prelude.lc 200:1-200:4 2867Prelude.lc 200:1-200:4
2868 forall a b (c :: Nat) . (Signed a, b ~ VecScalar c a) => b -> b 2868 forall a b (c :: Nat) . (Signed a, b ~ VecScalar c a) => b -> b
2869testdata/Prelude.lc 200:7-200:14 2869Prelude.lc 200:7-200:14
2870 forall a b (c :: Nat) . (Signed a, b ~ VecScalar c a) => b -> b 2870 forall a b (c :: Nat) . (Signed a, b ~ VecScalar c a) => b -> b
2871testdata/Prelude.lc 201:1-201:5 2871Prelude.lc 201:1-201:5
2872 forall a b (c :: Nat) . (Signed a, b ~ VecScalar c a) => b -> b 2872 forall a b (c :: Nat) . (Signed a, b ~ VecScalar c a) => b -> b
2873testdata/Prelude.lc 201:8-201:16 2873Prelude.lc 201:8-201:16
2874 forall a b (c :: Nat) . (Signed a, b ~ VecScalar c a) => b -> b 2874 forall a b (c :: Nat) . (Signed a, b ~ VecScalar c a) => b -> b
2875testdata/Prelude.lc 202:1-202:6 2875Prelude.lc 202:1-202:6
2876 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2876 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2877testdata/Prelude.lc 202:9-202:18 2877Prelude.lc 202:9-202:18
2878 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2878 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2879testdata/Prelude.lc 203:1-203:6 2879Prelude.lc 203:1-203:6
2880 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2880 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2881testdata/Prelude.lc 203:9-203:18 2881Prelude.lc 203:9-203:18
2882 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2882 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2883testdata/Prelude.lc 204:1-204:6 2883Prelude.lc 204:1-204:6
2884 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2884 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2885testdata/Prelude.lc 204:9-204:18 2885Prelude.lc 204:9-204:18
2886 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2886 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2887testdata/Prelude.lc 205:1-205:10 2887Prelude.lc 205:1-205:10
2888 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2888 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2889testdata/Prelude.lc 205:13-205:26 2889Prelude.lc 205:13-205:26
2890 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2890 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2891testdata/Prelude.lc 206:1-206:5 2891Prelude.lc 206:1-206:5
2892 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2892 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2893testdata/Prelude.lc 206:8-206:16 2893Prelude.lc 206:8-206:16
2894 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2894 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2895testdata/Prelude.lc 207:1-207:6 2895Prelude.lc 207:1-207:6
2896 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2896 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2897testdata/Prelude.lc 207:9-207:18 2897Prelude.lc 207:9-207:18
2898 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2898 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2899testdata/Prelude.lc 208:1-208:4 2899Prelude.lc 208:1-208:4
2900 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b 2900 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b
2901testdata/Prelude.lc 208:7-208:14 2901Prelude.lc 208:7-208:14
2902 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b 2902 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b
2903testdata/Prelude.lc 209:1-209:4 2903Prelude.lc 209:1-209:4
2904 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b 2904 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b
2905testdata/Prelude.lc 209:7-209:14 2905Prelude.lc 209:7-209:14
2906 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b 2906 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b
2907testdata/Prelude.lc 210:1-210:4 2907Prelude.lc 210:1-210:4
2908 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b 2908 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b
2909testdata/Prelude.lc 210:7-210:14 2909Prelude.lc 210:7-210:14
2910 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b 2910 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b
2911testdata/Prelude.lc 211:1-211:5 2911Prelude.lc 211:1-211:5
2912 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> (a, a) 2912 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> (a, a)
2913testdata/Prelude.lc 211:8-211:16 2913Prelude.lc 211:8-211:16
2914 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> (a, a) 2914 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> (a, a)
2915testdata/Prelude.lc 212:1-212:6 2915Prelude.lc 212:1-212:6
2916 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b -> b 2916 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b -> b
2917testdata/Prelude.lc 212:9-212:18 2917Prelude.lc 212:9-212:18
2918 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b -> b 2918 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b -> b
2919testdata/Prelude.lc 213:1-213:7 2919Prelude.lc 213:1-213:7
2920 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> a -> a -> b 2920 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> a -> a -> b
2921testdata/Prelude.lc 213:10-213:20 2921Prelude.lc 213:10-213:20
2922 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> a -> a -> b 2922 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> a -> a -> b
2923testdata/Prelude.lc 214:1-214:4 2923Prelude.lc 214:1-214:4
2924 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a -> a 2924 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a -> a
2925testdata/Prelude.lc 214:7-214:14 2925Prelude.lc 214:7-214:14
2926 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a -> a 2926 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a -> a
2927testdata/Prelude.lc 215:1-215:5 2927Prelude.lc 215:1-215:5
2928 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> Float -> a 2928 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> Float -> a
2929testdata/Prelude.lc 215:8-215:16 2929Prelude.lc 215:8-215:16
2930 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> Float -> a 2930 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> Float -> a
2931testdata/Prelude.lc 216:1-216:5 2931Prelude.lc 216:1-216:5
2932 forall a (b :: Nat) c 2932 forall a (b :: Nat) c
2933 . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> a -> c -> a 2933 . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> a -> c -> a
2934testdata/Prelude.lc 216:8-216:16 2934Prelude.lc 216:8-216:16
2935 forall a (b :: Nat) c 2935 forall a (b :: Nat) c
2936 . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> a -> c -> a 2936 . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> a -> c -> a
2937testdata/Prelude.lc 217:1-217:5 2937Prelude.lc 217:1-217:5
2938 forall a (b :: Nat) . (a ~ VecS Float b) => a -> a -> a 2938 forall a (b :: Nat) . (a ~ VecS Float b) => a -> a -> a
2939testdata/Prelude.lc 217:8-217:16 2939Prelude.lc 217:8-217:16
2940 forall a (b :: Nat) . (a ~ VecS Float b) => a -> a -> a 2940 forall a (b :: Nat) . (a ~ VecS Float b) => a -> a -> a
2941testdata/Prelude.lc 218:1-218:6 2941Prelude.lc 218:1-218:6
2942 forall a (b :: Nat) . (a ~ VecScalar b Float) => Float -> a -> a 2942 forall a (b :: Nat) . (a ~ VecScalar b Float) => Float -> a -> a
2943testdata/Prelude.lc 218:9-218:18 2943Prelude.lc 218:9-218:18
2944 forall a (b :: Nat) . (a ~ VecScalar b Float) => Float -> a -> a 2944 forall a (b :: Nat) . (a ~ VecScalar b Float) => Float -> a -> a
2945testdata/Prelude.lc 219:1-219:11 2945Prelude.lc 219:1-219:11
2946 forall a (b :: Nat) . (a ~ VecS Float b) => a -> a -> a -> a 2946 forall a (b :: Nat) . (a ~ VecS Float b) => a -> a -> a -> a
2947testdata/Prelude.lc 219:14-219:28 2947Prelude.lc 219:14-219:28
2948 forall a (b :: Nat) . (a ~ VecS Float b) => a -> a -> a -> a 2948 forall a (b :: Nat) . (a ~ VecS Float b) => a -> a -> a -> a
2949testdata/Prelude.lc 220:1-220:12 2949Prelude.lc 220:1-220:12
2950 forall a (b :: Nat) . (a ~ VecScalar b Float) => Float -> Float -> a -> a 2950 forall a (b :: Nat) . (a ~ VecScalar b Float) => Float -> Float -> a -> a
2951testdata/Prelude.lc 220:15-220:30 2951Prelude.lc 220:15-220:30
2952 forall a (b :: Nat) . (a ~ VecScalar b Float) => Float -> Float -> a -> a 2952 forall a (b :: Nat) . (a ~ VecScalar b Float) => Float -> Float -> a -> a
2953testdata/Prelude.lc 221:1-221:6 2953Prelude.lc 221:1-221:6
2954 forall a (b :: Nat) c . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> c 2954 forall a (b :: Nat) c . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> c
2955testdata/Prelude.lc 221:9-221:18 2955Prelude.lc 221:9-221:18
2956 forall a (b :: Nat) c . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> c 2956 forall a (b :: Nat) c . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> c
2957testdata/Prelude.lc 222:1-222:6 2957Prelude.lc 222:1-222:6
2958 forall a (b :: Nat) c . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> c 2958 forall a (b :: Nat) c . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> c
2959testdata/Prelude.lc 222:9-222:18 2959Prelude.lc 222:9-222:18
2960 forall a (b :: Nat) c . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> c 2960 forall a (b :: Nat) c . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> c
2961testdata/Prelude.lc 224:1-224:5 2961Prelude.lc 224:1-224:5
2962 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2962 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2963testdata/Prelude.lc 224:8-224:16 2963Prelude.lc 224:8-224:16
2964 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2964 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2965testdata/Prelude.lc 225:1-225:5 2965Prelude.lc 225:1-225:5
2966 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2966 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2967testdata/Prelude.lc 225:8-225:16 2967Prelude.lc 225:8-225:16
2968 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2968 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2969testdata/Prelude.lc 226:1-226:7 2969Prelude.lc 226:1-226:7
2970 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2970 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2971testdata/Prelude.lc 226:10-226:20 2971Prelude.lc 226:10-226:20
2972 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 2972 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
2973testdata/Prelude.lc 228:1-228:7 2973Prelude.lc 228:1-228:7
2974 forall (a :: Nat) . VecScalar a Float -> Float 2974 forall (a :: Nat) . VecScalar a Float -> Float
2975testdata/Prelude.lc 228:10-228:20 2975Prelude.lc 228:10-228:20
2976 forall (a :: Nat) . VecScalar a Float -> Float 2976 forall (a :: Nat) . VecScalar a Float -> Float
2977testdata/Prelude.lc 229:1-229:7 2977Prelude.lc 229:1-229:7
2978 forall (a :: Nat) . VecScalar a Float -> Vec 2 Float 2978 forall (a :: Nat) . VecScalar a Float -> Vec 2 Float
2979testdata/Prelude.lc 229:10-229:20 2979Prelude.lc 229:10-229:20
2980 forall (a :: Nat) . VecScalar a Float -> Vec 2 Float 2980 forall (a :: Nat) . VecScalar a Float -> Vec 2 Float
2981testdata/Prelude.lc 230:1-230:7 2981Prelude.lc 230:1-230:7
2982 forall (a :: Nat) . VecScalar a Float -> Vec 3 Float 2982 forall (a :: Nat) . VecScalar a Float -> Vec 3 Float
2983testdata/Prelude.lc 230:10-230:20 2983Prelude.lc 230:10-230:20
2984 forall (a :: Nat) . VecScalar a Float -> Vec 3 Float 2984 forall (a :: Nat) . VecScalar a Float -> Vec 3 Float
2985testdata/Prelude.lc 231:1-231:7 2985Prelude.lc 231:1-231:7
2986 forall (a :: Nat) . VecScalar a Float -> Vec 4 Float 2986 forall (a :: Nat) . VecScalar a Float -> Vec 4 Float
2987testdata/Prelude.lc 231:10-231:20 2987Prelude.lc 231:10-231:20
2988 forall (a :: Nat) . VecScalar a Float -> Vec 4 Float 2988 forall (a :: Nat) . VecScalar a Float -> Vec 4 Float
2989testdata/Prelude.lc 234:1-234:7 2989Prelude.lc 234:1-234:7
2990 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> Float 2990 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> Float
2991testdata/Prelude.lc 234:10-234:20 2991Prelude.lc 234:10-234:20
2992 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> Float 2992 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> Float
2993testdata/Prelude.lc 235:1-235:9 2993Prelude.lc 235:1-235:9
2994 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> Float 2994 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> Float
2995testdata/Prelude.lc 235:12-235:24 2995Prelude.lc 235:12-235:24
2996 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> Float 2996 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> Float
2997testdata/Prelude.lc 236:1-236:4 2997Prelude.lc 236:1-236:4
2998 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> Float 2998 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> Float
2999testdata/Prelude.lc 236:7-236:14 2999Prelude.lc 236:7-236:14
3000 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> Float 3000 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> Float
3001testdata/Prelude.lc 237:1-237:6 3001Prelude.lc 237:1-237:6
3002 forall a . (a ~ VecS Float 3) => a -> a -> a 3002 forall a . (a ~ VecS Float 3) => a -> a -> a
3003testdata/Prelude.lc 237:9-237:18 3003Prelude.lc 237:9-237:18
3004 forall a . (a ~ VecS Float 3) => a -> a -> a 3004 forall a . (a ~ VecS Float 3) => a -> a -> a
3005testdata/Prelude.lc 238:1-238:10 3005Prelude.lc 238:1-238:10
3006 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 3006 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
3007testdata/Prelude.lc 238:13-238:26 3007Prelude.lc 238:13-238:26
3008 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 3008 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
3009testdata/Prelude.lc 239:1-239:12 3009Prelude.lc 239:1-239:12
3010 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a -> a 3010 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a -> a
3011testdata/Prelude.lc 239:15-239:30 3011Prelude.lc 239:15-239:30
3012 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a -> a 3012 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a -> a
3013testdata/Prelude.lc 240:1-240:8 3013Prelude.lc 240:1-240:8
3014 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a 3014 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a
3015testdata/Prelude.lc 240:11-240:22 3015Prelude.lc 240:11-240:22
3016 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a 3016 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a
3017testdata/Prelude.lc 241:1-241:8 3017Prelude.lc 241:1-241:8
3018 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a -> a 3018 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a -> a
3019testdata/Prelude.lc 241:11-241:22 3019Prelude.lc 241:11-241:22
3020 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a -> a 3020 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a -> a
3021testdata/Prelude.lc 243:1-243:10 3021Prelude.lc 243:1-243:10
3022 forall (a :: Nat) (b :: Nat) c . Mat a b c -> Mat b a c 3022 forall (a :: Nat) (b :: Nat) c . Mat a b c -> Mat b a c
3023testdata/Prelude.lc 243:13-243:26 3023Prelude.lc 243:13-243:26
3024 forall (a :: Nat) (b :: Nat) c . Mat a b c -> Mat b a c 3024 forall (a :: Nat) (b :: Nat) c . Mat a b c -> Mat b a c
3025testdata/Prelude.lc 244:1-244:4 3025Prelude.lc 244:1-244:4
3026 forall (a :: Nat) b . Mat a a b -> Float 3026 forall (a :: Nat) b . Mat a a b -> Float
3027testdata/Prelude.lc 244:7-244:22 3027Prelude.lc 244:7-244:22
3028 forall (a :: Nat) b . Mat a a b -> Float 3028 forall (a :: Nat) b . Mat a a b -> Float
3029testdata/Prelude.lc 245:1-245:4 3029Prelude.lc 245:1-245:4
3030 forall (a :: Nat) b . Mat a a b -> Mat a a b 3030 forall (a :: Nat) b . Mat a a b -> Mat a a b
3031testdata/Prelude.lc 245:7-245:18 3031Prelude.lc 245:7-245:18
3032 forall (a :: Nat) b . Mat a a b -> Mat a a b 3032 forall (a :: Nat) b . Mat a a b -> Mat a a b
3033testdata/Prelude.lc 246:1-246:6 3033Prelude.lc 246:1-246:6
3034 forall (a :: Nat) b (c :: Nat) . Vec a b -> Vec c b -> Mat c a b 3034 forall (a :: Nat) b (c :: Nat) . Vec a b -> Vec c b -> Mat c a b
3035testdata/Prelude.lc 246:9-246:25 3035Prelude.lc 246:9-246:25
3036 forall (a :: Nat) b (c :: Nat) . Vec a b -> Vec c b -> Mat c a b 3036 forall (a :: Nat) b (c :: Nat) . Vec a b -> Vec c b -> Mat c a b
3037testdata/Prelude.lc 248:1-248:5 3037Prelude.lc 248:1-248:5
3038 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b -> b 3038 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b -> b
3039testdata/Prelude.lc 248:11-248:19 3039Prelude.lc 248:11-248:19
3040 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b -> b 3040 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b -> b
3041testdata/Prelude.lc 249:1-249:4 3041Prelude.lc 249:1-249:4
3042 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b -> b 3042 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b -> b
3043testdata/Prelude.lc 249:11-249:18 3043Prelude.lc 249:11-249:18
3044 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b -> b 3044 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b -> b
3045testdata/Prelude.lc 250:1-250:5 3045Prelude.lc 250:1-250:5
3046 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b -> b 3046 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b -> b
3047testdata/Prelude.lc 250:11-250:19 3047Prelude.lc 250:11-250:19
3048 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b -> b 3048 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b -> b
3049testdata/Prelude.lc 251:1-251:5 3049Prelude.lc 251:1-251:5
3050 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b 3050 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b
3051testdata/Prelude.lc 251:11-251:19 3051Prelude.lc 251:11-251:19
3052 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b 3052 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b
3053testdata/Prelude.lc 252:1-252:6 3053Prelude.lc 252:1-252:6
3054 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> a -> b 3054 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> a -> b
3055testdata/Prelude.lc 252:11-252:20 3055Prelude.lc 252:11-252:20
3056 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> a -> b 3056 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> a -> b
3057testdata/Prelude.lc 253:1-253:5 3057Prelude.lc 253:1-253:5
3058 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> a -> b 3058 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> a -> b
3059testdata/Prelude.lc 253:11-253:19 3059Prelude.lc 253:11-253:19
3060 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> a -> b 3060 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> a -> b
3061testdata/Prelude.lc 254:1-254:6 3061Prelude.lc 254:1-254:6
3062 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> a -> b 3062 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> a -> b
3063testdata/Prelude.lc 254:11-254:20 3063Prelude.lc 254:11-254:20
3064 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> a -> b 3064 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> a -> b
3065testdata/Prelude.lc 255:1-255:7 3065Prelude.lc 255:1-255:7
3066 forall a b (c :: Nat) d 3066 forall a b (c :: Nat) d
3067 . (Integral a, b ~ VecScalar c a, d ~ VecScalar c Word) => b -> d -> b 3067 . (Integral a, b ~ VecScalar c a, d ~ VecScalar c Word) => b -> d -> b
3068testdata/Prelude.lc 255:11-255:22 3068Prelude.lc 255:11-255:22
3069 forall a b (c :: Nat) d 3069 forall a b (c :: Nat) d
3070 . (Integral a, b ~ VecScalar c a, d ~ VecScalar c Word) => b -> d -> b 3070 . (Integral a, b ~ VecScalar c a, d ~ VecScalar c Word) => b -> d -> b
3071testdata/Prelude.lc 256:1-256:7 3071Prelude.lc 256:1-256:7
3072 forall a b (c :: Nat) d 3072 forall a b (c :: Nat) d
3073 . (Integral a, b ~ VecScalar c a, d ~ VecScalar c Word) => b -> d -> b 3073 . (Integral a, b ~ VecScalar c a, d ~ VecScalar c Word) => b -> d -> b
3074testdata/Prelude.lc 256:11-256:22 3074Prelude.lc 256:11-256:22
3075 forall a b (c :: Nat) d 3075 forall a b (c :: Nat) d
3076 . (Integral a, b ~ VecScalar c a, d ~ VecScalar c Word) => b -> d -> b 3076 . (Integral a, b ~ VecScalar c a, d ~ VecScalar c Word) => b -> d -> b
3077testdata/Prelude.lc 257:1-257:8 3077Prelude.lc 257:1-257:8
3078 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> Word -> b 3078 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> Word -> b
3079testdata/Prelude.lc 257:11-257:23 3079Prelude.lc 257:11-257:23
3080 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> Word -> b 3080 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> Word -> b
3081testdata/Prelude.lc 258:1-258:8 3081Prelude.lc 258:1-258:8
3082 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> Word -> b 3082 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> Word -> b
3083testdata/Prelude.lc 258:11-258:23 3083Prelude.lc 258:11-258:23
3084 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> Word -> b 3084 forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> Word -> b
3085testdata/Prelude.lc 260:1-260:15 3085Prelude.lc 260:1-260:15
3086 forall (a :: Nat) . VecScalar a Float -> VecScalar a Int 3086 forall (a :: Nat) . VecScalar a Float -> VecScalar a Int
3087testdata/Prelude.lc 260:19-260:37 3087Prelude.lc 260:19-260:37
3088 forall (a :: Nat) . VecScalar a Float -> VecScalar a Int 3088 forall (a :: Nat) . VecScalar a Float -> VecScalar a Int
3089testdata/Prelude.lc 261:1-261:16 3089Prelude.lc 261:1-261:16
3090 forall (a :: Nat) . VecScalar a Float -> VecScalar a Word 3090 forall (a :: Nat) . VecScalar a Float -> VecScalar a Word
3091testdata/Prelude.lc 261:19-261:38 3091Prelude.lc 261:19-261:38
3092 forall (a :: Nat) . VecScalar a Float -> VecScalar a Word 3092 forall (a :: Nat) . VecScalar a Float -> VecScalar a Word
3093testdata/Prelude.lc 262:1-262:15 3093Prelude.lc 262:1-262:15
3094 forall (a :: Nat) . VecScalar a Int -> VecScalar a Float 3094 forall (a :: Nat) . VecScalar a Int -> VecScalar a Float
3095testdata/Prelude.lc 262:19-262:37 3095Prelude.lc 262:19-262:37
3096 forall (a :: Nat) . VecScalar a Int -> VecScalar a Float 3096 forall (a :: Nat) . VecScalar a Int -> VecScalar a Float
3097testdata/Prelude.lc 263:1-263:16 3097Prelude.lc 263:1-263:16
3098 forall (a :: Nat) . VecScalar a Word -> VecScalar a Float 3098 forall (a :: Nat) . VecScalar a Word -> VecScalar a Float
3099testdata/Prelude.lc 263:19-263:38 3099Prelude.lc 263:19-263:38
3100 forall (a :: Nat) . VecScalar a Word -> VecScalar a Float 3100 forall (a :: Nat) . VecScalar a Word -> VecScalar a Float
3101testdata/Prelude.lc 281:3-281:4 3101Prelude.lc 281:3-281:4
3102 forall a . Num (MatVecScalarElem a) => a -> a -> a 3102 forall a . Num (MatVecScalarElem a) => a -> a -> a
3103testdata/Prelude.lc 281:9-281:16 3103Prelude.lc 281:9-281:16
3104 forall a . Num (MatVecScalarElem a) => a -> a -> a 3104 forall a . Num (MatVecScalarElem a) => a -> a -> a
3105testdata/Prelude.lc 281:9-281:18 3105Prelude.lc 281:9-281:18
3106 _e -> _e 3106 _e -> _e
3107testdata/Prelude.lc 281:9-281:20 3107Prelude.lc 281:9-281:20
3108 _d 3108 _d
3109testdata/Prelude.lc 281:17-281:18 3109Prelude.lc 281:17-281:18
3110 _f 3110 _f
3111testdata/Prelude.lc 281:19-281:20 3111Prelude.lc 281:19-281:20
3112 _c 3112 _c
3113testdata/Prelude.lc 282:3-282:4 3113Prelude.lc 282:3-282:4
3114 forall a . Num (MatVecScalarElem a) => a -> a -> a 3114 forall a . Num (MatVecScalarElem a) => a -> a -> a
3115testdata/Prelude.lc 282:9-282:16 3115Prelude.lc 282:9-282:16
3116 forall a . Num (MatVecScalarElem a) => a -> a -> a 3116 forall a . Num (MatVecScalarElem a) => a -> a -> a
3117testdata/Prelude.lc 282:9-282:18 3117Prelude.lc 282:9-282:18
3118 _e -> _e 3118 _e -> _e
3119testdata/Prelude.lc 282:9-282:20 3119Prelude.lc 282:9-282:20
3120 _d 3120 _d
3121testdata/Prelude.lc 282:17-282:18 3121Prelude.lc 282:17-282:18
3122 _f 3122 _f
3123testdata/Prelude.lc 282:19-282:20 3123Prelude.lc 282:19-282:20
3124 _c 3124 _c
3125testdata/Prelude.lc 283:3-283:4 3125Prelude.lc 283:3-283:4
3126 forall a . Num (MatVecScalarElem a) => a -> a -> a 3126 forall a . Num (MatVecScalarElem a) => a -> a -> a
3127testdata/Prelude.lc 283:9-283:16 3127Prelude.lc 283:9-283:16
3128 forall a . Num (MatVecScalarElem a) => a -> a -> a 3128 forall a . Num (MatVecScalarElem a) => a -> a -> a
3129testdata/Prelude.lc 283:9-283:18 3129Prelude.lc 283:9-283:18
3130 _e -> _e 3130 _e -> _e
3131testdata/Prelude.lc 283:9-283:20 3131Prelude.lc 283:9-283:20
3132 _d 3132 _d
3133testdata/Prelude.lc 283:17-283:18 3133Prelude.lc 283:17-283:18
3134 _f 3134 _f
3135testdata/Prelude.lc 283:19-283:20 3135Prelude.lc 283:19-283:20
3136 _c 3136 _c
3137testdata/Prelude.lc 284:3-284:4 3137Prelude.lc 284:3-284:4
3138 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a 3138 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a
3139testdata/Prelude.lc 284:9-284:16 3139Prelude.lc 284:9-284:16
3140 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b 3140 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b
3141testdata/Prelude.lc 284:9-284:18 3141Prelude.lc 284:9-284:18
3142 VecScalar _b _c -> VecScalar _b _c 3142 VecScalar _b _c -> VecScalar _b _c
3143testdata/Prelude.lc 284:9-284:20 3143Prelude.lc 284:9-284:20
3144 VecScalar _b _c 3144 VecScalar _b _c
3145testdata/Prelude.lc 284:17-284:18 3145Prelude.lc 284:17-284:18
3146 _g 3146 _g
3147testdata/Prelude.lc 284:19-284:20 3147Prelude.lc 284:19-284:20
3148 _e 3148 _e
3149testdata/Prelude.lc 285:3-285:4 3149Prelude.lc 285:3-285:4
3150 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a 3150 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a
3151testdata/Prelude.lc 285:9-285:16 3151Prelude.lc 285:9-285:16
3152 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b 3152 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b
3153testdata/Prelude.lc 285:9-285:18 3153Prelude.lc 285:9-285:18
3154 VecScalar _b _c -> VecScalar _b _c 3154 VecScalar _b _c -> VecScalar _b _c
3155testdata/Prelude.lc 285:9-285:20 3155Prelude.lc 285:9-285:20
3156 VecScalar _b _c 3156 VecScalar _b _c
3157testdata/Prelude.lc 285:17-285:18 3157Prelude.lc 285:17-285:18
3158 _g 3158 _g
3159testdata/Prelude.lc 285:19-285:20 3159Prelude.lc 285:19-285:20
3160 _e 3160 _e
3161testdata/Prelude.lc 287:1-287:4 3161Prelude.lc 287:1-287:4
3162 forall a . Signed (MatVecScalarElem a) => a -> a 3162 forall a . Signed (MatVecScalarElem a) => a -> a
3163testdata/Prelude.lc 287:9-287:16 3163Prelude.lc 287:9-287:16
3164 forall a . Signed (MatVecScalarElem a) => a -> a 3164 forall a . Signed (MatVecScalarElem a) => a -> a
3165testdata/Prelude.lc 287:9-287:18 3165Prelude.lc 287:9-287:18
3166 _c 3166 _c
3167testdata/Prelude.lc 287:17-287:18 3167Prelude.lc 287:17-287:18
3168 _d 3168 _d
3169testdata/Prelude.lc 291:3-291:5 3169Prelude.lc 291:3-291:5
3170 forall a . a -> a -> Bool 3170 forall a . a -> a -> Bool
3171testdata/Prelude.lc 291:10-291:22 3171Prelude.lc 291:10-291:22
3172 forall a b . (b ~ MatVecScalarElem a) => a -> a -> Bool 3172 forall a b . (b ~ MatVecScalarElem a) => a -> a -> Bool
3173testdata/Prelude.lc 291:10-291:24 3173Prelude.lc 291:10-291:24
3174 _d -> Bool 3174 _d -> Bool
3175testdata/Prelude.lc 291:10-291:26 3175Prelude.lc 291:10-291:26
3176 Bool 3176 Bool
3177testdata/Prelude.lc 291:23-291:24 3177Prelude.lc 291:23-291:24
3178 _e 3178 _e
3179testdata/Prelude.lc 291:25-291:26 3179Prelude.lc 291:25-291:26
3180 _b 3180 _b
3181testdata/Prelude.lc 292:3-292:4 3181Prelude.lc 292:3-292:4
3182 forall (a :: Nat) b 3182 forall (a :: Nat) b
3183 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool 3183 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool
3184testdata/Prelude.lc 292:9-292:21 3184Prelude.lc 292:9-292:21
3185 forall a (b :: Nat) c d 3185 forall a (b :: Nat) c d
3186 . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d 3186 . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
3187testdata/Prelude.lc 292:9-292:23 3187Prelude.lc 292:9-292:23
3188 VecScalar _c _b -> VecScalar _c Bool 3188 VecScalar _c _b -> VecScalar _c Bool
3189testdata/Prelude.lc 292:9-292:25 3189Prelude.lc 292:9-292:25
3190 VecScalar _c Bool 3190 VecScalar _c Bool
3191testdata/Prelude.lc 292:22-292:23 3191Prelude.lc 292:22-292:23
3192 _g 3192 _g
3193testdata/Prelude.lc 292:24-292:25 3193Prelude.lc 292:24-292:25
3194 _e 3194 _e
3195testdata/Prelude.lc 293:3-293:5 3195Prelude.lc 293:3-293:5
3196 forall (a :: Nat) b 3196 forall (a :: Nat) b
3197 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool 3197 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool
3198testdata/Prelude.lc 293:10-293:27 3198Prelude.lc 293:10-293:27
3199 forall a (b :: Nat) c d 3199 forall a (b :: Nat) c d
3200 . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d 3200 . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
3201testdata/Prelude.lc 293:10-293:29 3201Prelude.lc 293:10-293:29
3202 VecScalar _c _b -> VecScalar _c Bool 3202 VecScalar _c _b -> VecScalar _c Bool
3203testdata/Prelude.lc 293:10-293:31 3203Prelude.lc 293:10-293:31
3204 VecScalar _c Bool 3204 VecScalar _c Bool
3205testdata/Prelude.lc 293:28-293:29 3205Prelude.lc 293:28-293:29
3206 _g 3206 _g
3207testdata/Prelude.lc 293:30-293:31 3207Prelude.lc 293:30-293:31
3208 _e 3208 _e
3209testdata/Prelude.lc 294:3-294:5 3209Prelude.lc 294:3-294:5
3210 forall (a :: Nat) b 3210 forall (a :: Nat) b
3211 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool 3211 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool
3212testdata/Prelude.lc 294:10-294:30 3212Prelude.lc 294:10-294:30
3213 forall a (b :: Nat) c d 3213 forall a (b :: Nat) c d
3214 . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d 3214 . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
3215testdata/Prelude.lc 294:10-294:32 3215Prelude.lc 294:10-294:32
3216 VecScalar _c _b -> VecScalar _c Bool 3216 VecScalar _c _b -> VecScalar _c Bool
3217testdata/Prelude.lc 294:10-294:34 3217Prelude.lc 294:10-294:34
3218 VecScalar _c Bool 3218 VecScalar _c Bool
3219testdata/Prelude.lc 294:31-294:32 3219Prelude.lc 294:31-294:32
3220 _g 3220 _g
3221testdata/Prelude.lc 294:33-294:34 3221Prelude.lc 294:33-294:34
3222 _e 3222 _e
3223testdata/Prelude.lc 295:3-295:4 3223Prelude.lc 295:3-295:4
3224 forall (a :: Nat) b 3224 forall (a :: Nat) b
3225 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool 3225 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool
3226testdata/Prelude.lc 295:9-295:24 3226Prelude.lc 295:9-295:24
3227 forall a (b :: Nat) c d 3227 forall a (b :: Nat) c d
3228 . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d 3228 . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
3229testdata/Prelude.lc 295:9-295:26 3229Prelude.lc 295:9-295:26
3230 VecScalar _c _b -> VecScalar _c Bool 3230 VecScalar _c _b -> VecScalar _c Bool
3231testdata/Prelude.lc 295:9-295:28 3231Prelude.lc 295:9-295:28
3232 VecScalar _c Bool 3232 VecScalar _c Bool
3233testdata/Prelude.lc 295:25-295:26 3233Prelude.lc 295:25-295:26
3234 _g 3234 _g
3235testdata/Prelude.lc 295:27-295:28 3235Prelude.lc 295:27-295:28
3236 _e 3236 _e
3237testdata/Prelude.lc 298:3-298:5 3237Prelude.lc 298:3-298:5
3238 Bool -> Bool -> Bool 3238 Bool -> Bool -> Bool
3239testdata/Prelude.lc 298:10-298:17 3239Prelude.lc 298:10-298:17
3240 Bool -> Bool -> Bool 3240 Bool -> Bool -> Bool
3241testdata/Prelude.lc 298:10-298:19 3241Prelude.lc 298:10-298:19
3242 Bool -> Bool 3242 Bool -> Bool
3243testdata/Prelude.lc 298:10-298:21 3243Prelude.lc 298:10-298:21
3244 Bool 3244 Bool
3245testdata/Prelude.lc 298:18-298:19 3245Prelude.lc 298:18-298:19
3246 _d 3246 _d
3247testdata/Prelude.lc 298:20-298:21 3247Prelude.lc 298:20-298:21
3248 _b 3248 _b
3249testdata/Prelude.lc 299:3-299:5 3249Prelude.lc 299:3-299:5
3250 Bool -> Bool -> Bool 3250 Bool -> Bool -> Bool
3251testdata/Prelude.lc 299:10-299:16 3251Prelude.lc 299:10-299:16
3252 Bool -> Bool -> Bool 3252 Bool -> Bool -> Bool
3253testdata/Prelude.lc 299:10-299:18 3253Prelude.lc 299:10-299:18
3254 Bool -> Bool 3254 Bool -> Bool
3255testdata/Prelude.lc 299:10-299:20 3255Prelude.lc 299:10-299:20
3256 Bool 3256 Bool
3257testdata/Prelude.lc 299:17-299:18 3257Prelude.lc 299:17-299:18
3258 _d 3258 _d
3259testdata/Prelude.lc 299:19-299:20 3259Prelude.lc 299:19-299:20
3260 _b 3260 _b
3261testdata/Prelude.lc 300:1-300:4 3261Prelude.lc 300:1-300:4
3262 Bool -> Bool -> Bool 3262 Bool -> Bool -> Bool
3263testdata/Prelude.lc 300:7-300:14 3263Prelude.lc 300:7-300:14
3264 Bool -> Bool -> Bool 3264 Bool -> Bool -> Bool
3265testdata/Prelude.lc 301:1-301:4 3265Prelude.lc 301:1-301:4
3266 forall (a :: Nat) . VecScalar a Bool -> VecScalar a Bool 3266 forall (a :: Nat) . VecScalar a Bool -> VecScalar a Bool
3267testdata/Prelude.lc 301:9-301:16 3267Prelude.lc 301:9-301:16
3268 forall a (b :: Nat) . (a ~ VecScalar b Bool) => a -> a 3268 forall a (b :: Nat) . (a ~ VecScalar b Bool) => a -> a
3269testdata/Prelude.lc 301:9-301:18 3269Prelude.lc 301:9-301:18
3270 VecScalar _a Bool 3270 VecScalar _a Bool
3271testdata/Prelude.lc 301:17-301:18 3271Prelude.lc 301:17-301:18
3272 _c 3272 _c
3273testdata/Prelude.lc 302:1-302:4 3273Prelude.lc 302:1-302:4
3274 forall (a :: Nat) . VecScalar a Bool -> Bool 3274 forall (a :: Nat) . VecScalar a Bool -> Bool
3275testdata/Prelude.lc 302:9-302:16 3275Prelude.lc 302:9-302:16
3276 forall (a :: Nat) . VecScalar a Bool -> Bool 3276 forall (a :: Nat) . VecScalar a Bool -> Bool
3277testdata/Prelude.lc 302:9-302:18 3277Prelude.lc 302:9-302:18
3278 Bool 3278 Bool
3279testdata/Prelude.lc 302:17-302:18 3279Prelude.lc 302:17-302:18
3280 _c 3280 _c
3281testdata/Prelude.lc 303:1-303:4 3281Prelude.lc 303:1-303:4
3282 forall (a :: Nat) . VecScalar a Bool -> Bool 3282 forall (a :: Nat) . VecScalar a Bool -> Bool
3283testdata/Prelude.lc 303:9-303:16 3283Prelude.lc 303:9-303:16
3284 forall (a :: Nat) . VecScalar a Bool -> Bool 3284 forall (a :: Nat) . VecScalar a Bool -> Bool
3285testdata/Prelude.lc 303:9-303:18 3285Prelude.lc 303:9-303:18
3286 Bool 3286 Bool
3287testdata/Prelude.lc 303:17-303:18 3287Prelude.lc 303:17-303:18
3288 _c 3288 _c
3289testdata/Prelude.lc 306:3-306:6 3289Prelude.lc 306:3-306:6
3290 forall (a :: Nat) (b :: Nat) c (d :: Nat) . Mat a b c -> Mat b d c -> Mat a d c 3290 forall (a :: Nat) (b :: Nat) c (d :: Nat) . Mat a b c -> Mat b d c -> Mat a d c
3291testdata/Prelude.lc 306:11-306:24 3291Prelude.lc 306:11-306:24
3292 forall (a :: Nat) (b :: Nat) c (d :: Nat) . Mat a b c -> Mat b d c -> Mat a d c 3292 forall (a :: Nat) (b :: Nat) c (d :: Nat) . Mat a b c -> Mat b d c -> Mat a d c
3293testdata/Prelude.lc 306:11-306:26 3293Prelude.lc 306:11-306:26
3294 Mat _c _a _b -> Mat _d _a _b 3294 Mat _c _a _b -> Mat _d _a _b
3295testdata/Prelude.lc 306:11-306:28 3295Prelude.lc 306:11-306:28
3296 Mat _d _a _b 3296 Mat _d _a _b
3297testdata/Prelude.lc 306:25-306:26 3297Prelude.lc 306:25-306:26
3298 _h 3298 _h
3299testdata/Prelude.lc 306:27-306:28 3299Prelude.lc 306:27-306:28
3300 _f 3300 _f
3301testdata/Prelude.lc 307:3-307:5 3301Prelude.lc 307:3-307:5
3302 forall (a :: Nat) (b :: Nat) c . Mat a b c -> VecS c b -> Vec a c 3302 forall (a :: Nat) (b :: Nat) c . Mat a b c -> VecS c b -> Vec a c
3303testdata/Prelude.lc 307:10-307:23 3303Prelude.lc 307:10-307:23
3304 forall (a :: Nat) (b :: Nat) c . Mat a b c -> Vec b c -> Vec a c 3304 forall (a :: Nat) (b :: Nat) c . Mat a b c -> Vec b c -> Vec a c
3305testdata/Prelude.lc 307:10-307:25 3305Prelude.lc 307:10-307:25
3306 Vec _b _a -> Vec _c _a 3306 Vec _b _a -> Vec _c _a
3307testdata/Prelude.lc 307:10-307:27 3307Prelude.lc 307:10-307:27
3308 Vec _c _a 3308 Vec _c _a
3309testdata/Prelude.lc 307:24-307:25 3309Prelude.lc 307:24-307:25
3310 _g 3310 _g
3311testdata/Prelude.lc 307:26-307:27 3311Prelude.lc 307:26-307:27
3312 _e 3312 _e
3313testdata/Prelude.lc 308:3-308:5 3313Prelude.lc 308:3-308:5
3314 forall (a :: Nat) b (c :: Nat) . VecS b a -> Mat a c b -> Vec c b 3314 forall (a :: Nat) b (c :: Nat) . VecS b a -> Mat a c b -> Vec c b
3315testdata/Prelude.lc 308:10-308:23 3315Prelude.lc 308:10-308:23
3316 forall (a :: Nat) b (c :: Nat) . Vec a b -> Mat a c b -> Vec c b 3316 forall (a :: Nat) b (c :: Nat) . Vec a b -> Mat a c b -> Vec c b
3317testdata/Prelude.lc 308:10-308:25 3317Prelude.lc 308:10-308:25
3318 Mat _c _a _b -> Vec _a _b 3318 Mat _c _a _b -> Vec _a _b
3319testdata/Prelude.lc 308:10-308:27 3319Prelude.lc 308:10-308:27
3320 Vec _a _b 3320 Vec _a _b
3321testdata/Prelude.lc 308:24-308:25 3321Prelude.lc 308:24-308:25
3322 _g 3322 _g
3323testdata/Prelude.lc 308:26-308:27 3323Prelude.lc 308:26-308:27
3324 _e 3324 _e
3325testdata/Prelude.lc 315:3-315:5 3325Prelude.lc 315:3-315:5
3326 forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a 3326 forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a
3327testdata/Prelude.lc 315:10-315:18 3327Prelude.lc 315:10-315:18
3328 forall a b . (a ~ MatVecScalarElem b, Num a) => b -> a -> b 3328 forall a b . (a ~ MatVecScalarElem b, Num a) => b -> a -> b
3329testdata/Prelude.lc 315:10-315:20 3329Prelude.lc 315:10-315:20
3330 MatVecScalarElem _e -> _e 3330 MatVecScalarElem _e -> _e
3331testdata/Prelude.lc 315:10-315:22 3331Prelude.lc 315:10-315:22
3332 _d 3332 _d
3333testdata/Prelude.lc 315:19-315:20 3333Prelude.lc 315:19-315:20
3334 _f 3334 _f
3335testdata/Prelude.lc 315:21-315:22 3335Prelude.lc 315:21-315:22
3336 _c 3336 _c
3337testdata/Prelude.lc 316:3-316:5 3337Prelude.lc 316:3-316:5
3338 forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a 3338 forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a
3339testdata/Prelude.lc 316:10-316:18 3339Prelude.lc 316:10-316:18
3340 forall a b . (a ~ MatVecScalarElem b, Num a) => b -> a -> b 3340 forall a b . (a ~ MatVecScalarElem b, Num a) => b -> a -> b
3341testdata/Prelude.lc 316:10-316:20 3341Prelude.lc 316:10-316:20
3342 MatVecScalarElem _e -> _e 3342 MatVecScalarElem _e -> _e
3343testdata/Prelude.lc 316:10-316:22 3343Prelude.lc 316:10-316:22
3344 _d 3344 _d
3345testdata/Prelude.lc 316:19-316:20 3345Prelude.lc 316:19-316:20
3346 _f 3346 _f
3347testdata/Prelude.lc 316:21-316:22 3347Prelude.lc 316:21-316:22
3348 _c 3348 _c
3349testdata/Prelude.lc 317:3-317:5 3349Prelude.lc 317:3-317:5
3350 forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a 3350 forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a
3351testdata/Prelude.lc 317:10-317:18 3351Prelude.lc 317:10-317:18
3352 forall a b . (a ~ MatVecScalarElem b, Num a) => b -> a -> b 3352 forall a b . (a ~ MatVecScalarElem b, Num a) => b -> a -> b
3353testdata/Prelude.lc 317:10-317:20 3353Prelude.lc 317:10-317:20
3354 MatVecScalarElem _e -> _e 3354 MatVecScalarElem _e -> _e
3355testdata/Prelude.lc 317:10-317:22 3355Prelude.lc 317:10-317:22
3356 _d 3356 _d
3357testdata/Prelude.lc 317:19-317:20 3357Prelude.lc 317:19-317:20
3358 _f 3358 _f
3359testdata/Prelude.lc 317:21-317:22 3359Prelude.lc 317:21-317:22
3360 _c 3360 _c
3361testdata/Prelude.lc 318:3-318:5 3361Prelude.lc 318:3-318:5
3362 forall a (b :: Nat) . Num a => VecScalar b a -> a -> VecScalar b a 3362 forall a (b :: Nat) . Num a => VecScalar b a -> a -> VecScalar b a
3363testdata/Prelude.lc 318:10-318:18 3363Prelude.lc 318:10-318:18
3364 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> a -> b 3364 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> a -> b
3365testdata/Prelude.lc 318:10-318:20 3365Prelude.lc 318:10-318:20
3366 _c -> VecScalar _b _c 3366 _c -> VecScalar _b _c
3367testdata/Prelude.lc 318:10-318:22 3367Prelude.lc 318:10-318:22
3368 VecScalar _b _d 3368 VecScalar _b _d
3369testdata/Prelude.lc 318:19-318:20 3369Prelude.lc 318:19-318:20
3370 _g 3370 _g
3371testdata/Prelude.lc 318:21-318:22 3371Prelude.lc 318:21-318:22
3372 _e 3372 _e
3373testdata/Prelude.lc 319:3-319:5 3373Prelude.lc 319:3-319:5
3374 forall a (b :: Nat) . Num a => VecScalar b a -> a -> VecScalar b a 3374 forall a (b :: Nat) . Num a => VecScalar b a -> a -> VecScalar b a
3375testdata/Prelude.lc 319:10-319:18 3375Prelude.lc 319:10-319:18
3376 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> a -> b 3376 forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> a -> b
3377testdata/Prelude.lc 319:10-319:20 3377Prelude.lc 319:10-319:20
3378 _c -> VecScalar _b _c 3378 _c -> VecScalar _b _c
3379testdata/Prelude.lc 319:10-319:22 3379Prelude.lc 319:10-319:22
3380 VecScalar _b _d 3380 VecScalar _b _d
3381testdata/Prelude.lc 319:19-319:20 3381Prelude.lc 319:19-319:20
3382 _g 3382 _g
3383testdata/Prelude.lc 319:21-319:22 3383Prelude.lc 319:21-319:22
3384 _e 3384 _e
3385testdata/Prelude.lc 326:16-326:21 3385Prelude.lc 326:16-326:21
3386 Type 3386 Type
3387testdata/Prelude.lc 327:16-327:21 3387Prelude.lc 327:16-327:21
3388 Type 3388 Type
3389testdata/Prelude.lc 327:16-330:29 3389Prelude.lc 327:16-330:29
3390 Type 3390 Type
3391testdata/Prelude.lc 328:16-328:21 3391Prelude.lc 328:16-328:21
3392 Type 3392 Type
3393testdata/Prelude.lc 328:16-330:29 3393Prelude.lc 328:16-330:29
3394 Type 3394 Type
3395testdata/Prelude.lc 329:16-329:21 3395Prelude.lc 329:16-329:21
3396 Type 3396 Type
3397testdata/Prelude.lc 329:16-330:29 3397Prelude.lc 329:16-330:29
3398 Type 3398 Type
3399testdata/Prelude.lc 330:16-330:19 3399Prelude.lc 330:16-330:19
3400 Nat -> Nat -> Type -> Type 3400 Nat -> Nat -> Type -> Type
3401testdata/Prelude.lc 330:16-330:21 3401Prelude.lc 330:16-330:21
3402 Nat -> Type -> Type 3402 Nat -> Type -> Type
3403testdata/Prelude.lc 330:16-330:23 3403Prelude.lc 330:16-330:23
3404 Type -> Type 3404 Type -> Type
3405testdata/Prelude.lc 330:16-330:29 3405Prelude.lc 330:16-330:29
3406 Type | Type 3406 Type | Type
3407testdata/Prelude.lc 330:20-330:21 3407Prelude.lc 330:20-330:21
3408 _b 3408 _b
3409testdata/Prelude.lc 330:22-330:23 3409Prelude.lc 330:22-330:23
3410 _b 3410 _b
3411testdata/Prelude.lc 330:24-330:29 3411Prelude.lc 330:24-330:29
3412 Type 3412 Type
3413testdata/Prelude.lc 331:1-331:12 3413Prelude.lc 331:1-331:12
3414 Float -> Float -> Float -> Float -> Mat 4 4 Float 3414 Float -> Float -> Float -> Float -> Mat 4 4 Float
3415testdata/Prelude.lc 332:5-332:9 3415Prelude.lc 332:5-332:9
3416 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float 3416 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
3417testdata/Prelude.lc 332:5-332:59 3417Prelude.lc 332:5-332:59
3418 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float 3418 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
3419testdata/Prelude.lc 332:5-333:59 3419Prelude.lc 332:5-333:59
3420 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float 3420 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
3421testdata/Prelude.lc 332:5-334:62 3421Prelude.lc 332:5-334:62
3422 Vec 4 Float -> Mat 4 4 Float 3422 Vec 4 Float -> Mat 4 4 Float
3423testdata/Prelude.lc 332:5-335:59 3423Prelude.lc 332:5-335:59
3424 Mat 4 4 Float 3424 Mat 4 4 Float
3425testdata/Prelude.lc 332:11-332:13 3425Prelude.lc 332:11-332:13
3426 forall a . a -> a -> a -> a -> VecS a 4 3426 forall a . a -> a -> a -> a -> VecS a 4
3427testdata/Prelude.lc 332:11-332:25 3427Prelude.lc 332:11-332:25
3428 Float -> Float -> Float -> VecS Float 4 3428 Float -> Float -> Float -> VecS Float 4
3429testdata/Prelude.lc 332:11-332:29 3429Prelude.lc 332:11-332:29
3430 Float -> Float -> VecS Float 4 3430 Float -> Float -> VecS Float 4
3431testdata/Prelude.lc 332:11-332:43 3431Prelude.lc 332:11-332:43
3432 Float -> VecS Float 4 3432 Float -> VecS Float 4
3433testdata/Prelude.lc 332:11-332:58 3433Prelude.lc 332:11-332:58
3434 VecS Float 4 3434 VecS Float 4
3435testdata/Prelude.lc 332:15-332:16 3435Prelude.lc 332:15-332:16
3436 _b 3436 _b
3437testdata/Prelude.lc 332:15-332:17 3437Prelude.lc 332:15-332:17
3438 _c -> _c 3438 _c -> _c
3439testdata/Prelude.lc 332:15-332:18 3439Prelude.lc 332:15-332:18
3440 VecScalar 1 Float 3440 VecScalar 1 Float
3441testdata/Prelude.lc 332:15-332:19 3441Prelude.lc 332:15-332:19
3442 VecScalar 1 Float -> VecScalar 1 Float 3442 VecScalar 1 Float -> VecScalar 1 Float
3443testdata/Prelude.lc 332:15-332:24 3443Prelude.lc 332:15-332:24
3444 VecScalar 1 Float 3444 VecScalar 1 Float
3445testdata/Prelude.lc 332:16-332:17 3445Prelude.lc 332:16-332:17
3446 forall a . Num (MatVecScalarElem a) => a -> a -> a 3446 forall a . Num (MatVecScalarElem a) => a -> a -> a
3447testdata/Prelude.lc 332:17-332:18 3447Prelude.lc 332:17-332:18
3448 Float 3448 Float
3449testdata/Prelude.lc 332:18-332:19 3449Prelude.lc 332:18-332:19
3450 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a 3450 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a
3451testdata/Prelude.lc 332:20-332:21 3451Prelude.lc 332:20-332:21
3452 Float 3452 Float
3453testdata/Prelude.lc 332:20-332:22 3453Prelude.lc 332:20-332:22
3454 Float -> Float 3454 Float -> Float
3455testdata/Prelude.lc 332:20-332:23 3455Prelude.lc 332:20-332:23
3456 Float 3456 Float
3457testdata/Prelude.lc 332:21-332:22 3457Prelude.lc 332:21-332:22
3458 forall a . Num (MatVecScalarElem a) => a -> a -> a 3458 forall a . Num (MatVecScalarElem a) => a -> a -> a
3459testdata/Prelude.lc 332:22-332:23 3459Prelude.lc 332:22-332:23
3460 Float 3460 Float
3461testdata/Prelude.lc 332:28-332:29 3461Prelude.lc 332:28-332:29
3462 _b 3462 _b
3463testdata/Prelude.lc 332:42-332:43 3463Prelude.lc 332:42-332:43
3464 _b 3464 _b
3465testdata/Prelude.lc 332:57-332:58 3465Prelude.lc 332:57-332:58
3466 _b 3466 _b
3467testdata/Prelude.lc 333:11-333:13 3467Prelude.lc 333:11-333:13
3468 forall a . a -> a -> a -> a -> VecS a 4 3468 forall a . a -> a -> a -> a -> VecS a 4
3469testdata/Prelude.lc 333:11-333:15 3469Prelude.lc 333:11-333:15
3470 _b -> _b -> _b -> VecS _b 4 3470 _b -> _b -> _b -> VecS _b 4
3471testdata/Prelude.lc 333:11-333:39 3471Prelude.lc 333:11-333:39
3472 Float -> Float -> VecS Float 4 3472 Float -> Float -> VecS Float 4
3473testdata/Prelude.lc 333:11-333:43 3473Prelude.lc 333:11-333:43
3474 Float -> VecS Float 4 3474 Float -> VecS Float 4
3475testdata/Prelude.lc 333:11-333:58 3475Prelude.lc 333:11-333:58
3476 VecS Float 4 3476 VecS Float 4
3477testdata/Prelude.lc 333:14-333:15 3477Prelude.lc 333:14-333:15
3478 _b 3478 _b
3479testdata/Prelude.lc 333:29-333:30 3479Prelude.lc 333:29-333:30
3480 _b 3480 _b
3481testdata/Prelude.lc 333:29-333:31 3481Prelude.lc 333:29-333:31
3482 _c -> _c 3482 _c -> _c
3483testdata/Prelude.lc 333:29-333:32 3483Prelude.lc 333:29-333:32
3484 VecScalar 1 Float 3484 VecScalar 1 Float
3485testdata/Prelude.lc 333:29-333:33 3485Prelude.lc 333:29-333:33
3486 VecScalar 1 Float -> VecScalar 1 Float 3486 VecScalar 1 Float -> VecScalar 1 Float
3487testdata/Prelude.lc 333:29-333:38 3487Prelude.lc 333:29-333:38
3488 VecScalar 1 Float 3488 VecScalar 1 Float
3489testdata/Prelude.lc 333:30-333:31 3489Prelude.lc 333:30-333:31
3490 forall a . Num (MatVecScalarElem a) => a -> a -> a 3490 forall a . Num (MatVecScalarElem a) => a -> a -> a
3491testdata/Prelude.lc 333:31-333:32 3491Prelude.lc 333:31-333:32
3492 Float 3492 Float
3493testdata/Prelude.lc 333:32-333:33 3493Prelude.lc 333:32-333:33
3494 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a 3494 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a
3495testdata/Prelude.lc 333:34-333:35 3495Prelude.lc 333:34-333:35
3496 Float 3496 Float
3497testdata/Prelude.lc 333:34-333:36 3497Prelude.lc 333:34-333:36
3498 Float -> Float 3498 Float -> Float
3499testdata/Prelude.lc 333:34-333:37 3499Prelude.lc 333:34-333:37
3500 Float 3500 Float
3501testdata/Prelude.lc 333:35-333:36 3501Prelude.lc 333:35-333:36
3502 forall a . Num (MatVecScalarElem a) => a -> a -> a 3502 forall a . Num (MatVecScalarElem a) => a -> a -> a
3503testdata/Prelude.lc 333:36-333:37 3503Prelude.lc 333:36-333:37
3504 Float 3504 Float
3505testdata/Prelude.lc 333:42-333:43 3505Prelude.lc 333:42-333:43
3506 _b 3506 _b
3507testdata/Prelude.lc 333:57-333:58 3507Prelude.lc 333:57-333:58
3508 _b 3508 _b
3509testdata/Prelude.lc 334:11-334:13 3509Prelude.lc 334:11-334:13
3510 forall a . a -> a -> a -> a -> VecS a 4 3510 forall a . a -> a -> a -> a -> VecS a 4
3511testdata/Prelude.lc 334:11-334:27 3511Prelude.lc 334:11-334:27
3512 Float -> Float -> Float -> VecS Float 4 3512 Float -> Float -> Float -> VecS Float 4
3513testdata/Prelude.lc 334:11-334:41 3513Prelude.lc 334:11-334:41
3514 Float -> Float -> VecS Float 4 3514 Float -> Float -> VecS Float 4
3515testdata/Prelude.lc 334:11-334:56 3515Prelude.lc 334:11-334:56
3516 Float -> VecS Float 4 3516 Float -> VecS Float 4
3517testdata/Prelude.lc 334:11-334:61 3517Prelude.lc 334:11-334:61
3518 VecS Float 4 3518 VecS Float 4
3519testdata/Prelude.lc 334:15-334:21 3519Prelude.lc 334:15-334:21
3520 VecScalar 1 Float -> VecScalar 1 Float 3520 VecScalar 1 Float -> VecScalar 1 Float
3521testdata/Prelude.lc 334:15-334:26 3521Prelude.lc 334:15-334:26
3522 VecScalar 1 Float 3522 VecScalar 1 Float
3523testdata/Prelude.lc 334:16-334:17 3523Prelude.lc 334:16-334:17
3524 Float 3524 Float
3525testdata/Prelude.lc 334:16-334:18 3525Prelude.lc 334:16-334:18
3526 Float -> Float 3526 Float -> Float
3527testdata/Prelude.lc 334:16-334:19 3527Prelude.lc 334:16-334:19
3528 Float 3528 Float
3529testdata/Prelude.lc 334:17-334:18 3529Prelude.lc 334:17-334:18
3530 forall a . Num (MatVecScalarElem a) => a -> a -> a 3530 forall a . Num (MatVecScalarElem a) => a -> a -> a
3531testdata/Prelude.lc 334:18-334:19 3531Prelude.lc 334:18-334:19
3532 Float 3532 Float
3533testdata/Prelude.lc 334:20-334:21 3533Prelude.lc 334:20-334:21
3534 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a 3534 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a
3535testdata/Prelude.lc 334:22-334:23 3535Prelude.lc 334:22-334:23
3536 Float 3536 Float
3537testdata/Prelude.lc 334:22-334:24 3537Prelude.lc 334:22-334:24
3538 Float -> Float 3538 Float -> Float
3539testdata/Prelude.lc 334:22-334:25 3539Prelude.lc 334:22-334:25
3540 Float 3540 Float
3541testdata/Prelude.lc 334:23-334:24 3541Prelude.lc 334:23-334:24
3542 forall a . Num (MatVecScalarElem a) => a -> a -> a 3542 forall a . Num (MatVecScalarElem a) => a -> a -> a
3543testdata/Prelude.lc 334:24-334:25 3543Prelude.lc 334:24-334:25
3544 Float 3544 Float
3545testdata/Prelude.lc 334:29-334:35 3545Prelude.lc 334:29-334:35
3546 VecScalar 1 Float -> VecScalar 1 Float 3546 VecScalar 1 Float -> VecScalar 1 Float
3547testdata/Prelude.lc 334:29-334:40 3547Prelude.lc 334:29-334:40
3548 VecScalar 1 Float 3548 VecScalar 1 Float
3549testdata/Prelude.lc 334:30-334:31 3549Prelude.lc 334:30-334:31
3550 Float 3550 Float
3551testdata/Prelude.lc 334:30-334:32 3551Prelude.lc 334:30-334:32
3552 Float -> Float 3552 Float -> Float
3553testdata/Prelude.lc 334:30-334:33 3553Prelude.lc 334:30-334:33
3554 Float 3554 Float
3555testdata/Prelude.lc 334:31-334:32 3555Prelude.lc 334:31-334:32
3556 forall a . Num (MatVecScalarElem a) => a -> a -> a 3556 forall a . Num (MatVecScalarElem a) => a -> a -> a
3557testdata/Prelude.lc 334:32-334:33 3557Prelude.lc 334:32-334:33
3558 Float 3558 Float
3559testdata/Prelude.lc 334:34-334:35 3559Prelude.lc 334:34-334:35
3560 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a 3560 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a
3561testdata/Prelude.lc 334:36-334:37 3561Prelude.lc 334:36-334:37
3562 Float 3562 Float
3563testdata/Prelude.lc 334:36-334:38 3563Prelude.lc 334:36-334:38
3564 Float -> Float 3564 Float -> Float
3565testdata/Prelude.lc 334:36-334:39 3565Prelude.lc 334:36-334:39
3566 Float 3566 Float
3567testdata/Prelude.lc 334:37-334:38 3567Prelude.lc 334:37-334:38
3568 forall a . Num (MatVecScalarElem a) => a -> a -> a 3568 forall a . Num (MatVecScalarElem a) => a -> a -> a
3569testdata/Prelude.lc 334:38-334:39 3569Prelude.lc 334:38-334:39
3570 Float 3570 Float
3571testdata/Prelude.lc 334:43-334:44 3571Prelude.lc 334:43-334:44
3572 forall a . Num (MatVecScalarElem a) => a -> a -> a 3572 forall a . Num (MatVecScalarElem a) => a -> a -> a
3573testdata/Prelude.lc 334:43-334:55 3573Prelude.lc 334:43-334:55
3574 Float 3574 Float
3575testdata/Prelude.lc 334:44-334:50 3575Prelude.lc 334:44-334:50
3576 VecScalar 1 Float -> VecScalar 1 Float 3576 VecScalar 1 Float -> VecScalar 1 Float
3577testdata/Prelude.lc 334:44-334:55 3577Prelude.lc 334:44-334:55
3578 VecScalar 1 Float 3578 VecScalar 1 Float
3579testdata/Prelude.lc 334:45-334:46 3579Prelude.lc 334:45-334:46
3580 Float 3580 Float
3581testdata/Prelude.lc 334:45-334:47 3581Prelude.lc 334:45-334:47
3582 Float -> Float 3582 Float -> Float
3583testdata/Prelude.lc 334:45-334:48 3583Prelude.lc 334:45-334:48
3584 Float 3584 Float
3585testdata/Prelude.lc 334:46-334:47 3585Prelude.lc 334:46-334:47
3586 forall a . Num (MatVecScalarElem a) => a -> a -> a 3586 forall a . Num (MatVecScalarElem a) => a -> a -> a
3587testdata/Prelude.lc 334:47-334:48 3587Prelude.lc 334:47-334:48
3588 Float 3588 Float
3589testdata/Prelude.lc 334:49-334:50 3589Prelude.lc 334:49-334:50
3590 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a 3590 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a
3591testdata/Prelude.lc 334:51-334:52 3591Prelude.lc 334:51-334:52
3592 Float 3592 Float
3593testdata/Prelude.lc 334:51-334:53 3593Prelude.lc 334:51-334:53
3594 Float -> Float 3594 Float -> Float
3595testdata/Prelude.lc 334:51-334:54 3595Prelude.lc 334:51-334:54
3596 Float 3596 Float
3597testdata/Prelude.lc 334:52-334:53 3597Prelude.lc 334:52-334:53
3598 forall a . Num (MatVecScalarElem a) => a -> a -> a 3598 forall a . Num (MatVecScalarElem a) => a -> a -> a
3599testdata/Prelude.lc 334:53-334:54 3599Prelude.lc 334:53-334:54
3600 Float 3600 Float
3601testdata/Prelude.lc 334:58-334:59 3601Prelude.lc 334:58-334:59
3602 forall a . Num (MatVecScalarElem a) => a -> a -> a 3602 forall a . Num (MatVecScalarElem a) => a -> a -> a
3603testdata/Prelude.lc 334:58-334:60 3603Prelude.lc 334:58-334:60
3604 Float 3604 Float
3605testdata/Prelude.lc 334:59-334:60 3605Prelude.lc 334:59-334:60
3606 _b 3606 _b
3607testdata/Prelude.lc 335:11-335:13 3607Prelude.lc 335:11-335:13
3608 forall a . a -> a -> a -> a -> VecS a 4 3608 forall a . a -> a -> a -> a -> VecS a 4
3609testdata/Prelude.lc 335:11-335:15 3609Prelude.lc 335:11-335:15
3610 _b -> _b -> _b -> VecS _b 4 3610 _b -> _b -> _b -> VecS _b 4
3611testdata/Prelude.lc 335:11-335:29 3611Prelude.lc 335:11-335:29
3612 _c -> _c -> VecS _c 4 3612 _c -> _c -> VecS _c 4
3613testdata/Prelude.lc 335:11-335:56 3613Prelude.lc 335:11-335:56
3614 Float -> VecS Float 4 3614 Float -> VecS Float 4
3615testdata/Prelude.lc 335:11-335:58 3615Prelude.lc 335:11-335:58
3616 VecS Float 4 3616 VecS Float 4
3617testdata/Prelude.lc 335:14-335:15 3617Prelude.lc 335:14-335:15
3618 _b 3618 _b
3619testdata/Prelude.lc 335:28-335:29 3619Prelude.lc 335:28-335:29
3620 _b 3620 _b
3621testdata/Prelude.lc 335:43-335:44 3621Prelude.lc 335:43-335:44
3622 forall a . Num (MatVecScalarElem a) => a -> a -> a 3622 forall a . Num (MatVecScalarElem a) => a -> a -> a
3623testdata/Prelude.lc 335:43-335:55 3623Prelude.lc 335:43-335:55
3624 Float 3624 Float
3625testdata/Prelude.lc 335:44-335:45 3625Prelude.lc 335:44-335:45
3626 _b 3626 _b
3627testdata/Prelude.lc 335:44-335:46 3627Prelude.lc 335:44-335:46
3628 _c -> _c 3628 _c -> _c
3629testdata/Prelude.lc 335:44-335:47 3629Prelude.lc 335:44-335:47
3630 Float 3630 Float
3631testdata/Prelude.lc 335:44-335:48 3631Prelude.lc 335:44-335:48
3632 Float -> Float 3632 Float -> Float
3633testdata/Prelude.lc 335:44-335:49 3633Prelude.lc 335:44-335:49
3634 Float 3634 Float
3635testdata/Prelude.lc 335:44-335:50 3635Prelude.lc 335:44-335:50
3636 VecScalar 1 Float -> VecScalar 1 Float 3636 VecScalar 1 Float -> VecScalar 1 Float
3637testdata/Prelude.lc 335:44-335:55 3637Prelude.lc 335:44-335:55
3638 VecScalar 1 Float 3638 VecScalar 1 Float
3639testdata/Prelude.lc 335:45-335:46 3639Prelude.lc 335:45-335:46
3640 forall a . Num (MatVecScalarElem a) => a -> a -> a 3640 forall a . Num (MatVecScalarElem a) => a -> a -> a
3641testdata/Prelude.lc 335:46-335:47 3641Prelude.lc 335:46-335:47
3642 Float 3642 Float
3643testdata/Prelude.lc 335:47-335:48 3643Prelude.lc 335:47-335:48
3644 forall a . Num (MatVecScalarElem a) => a -> a -> a 3644 forall a . Num (MatVecScalarElem a) => a -> a -> a
3645testdata/Prelude.lc 335:48-335:49 3645Prelude.lc 335:48-335:49
3646 Float 3646 Float
3647testdata/Prelude.lc 335:49-335:50 3647Prelude.lc 335:49-335:50
3648 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a 3648 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a
3649testdata/Prelude.lc 335:51-335:52 3649Prelude.lc 335:51-335:52
3650 Float 3650 Float
3651testdata/Prelude.lc 335:51-335:53 3651Prelude.lc 335:51-335:53
3652 Float -> Float 3652 Float -> Float
3653testdata/Prelude.lc 335:51-335:54 3653Prelude.lc 335:51-335:54
3654 Float 3654 Float
3655testdata/Prelude.lc 335:52-335:53 3655Prelude.lc 335:52-335:53
3656 forall a . Num (MatVecScalarElem a) => a -> a -> a 3656 forall a . Num (MatVecScalarElem a) => a -> a -> a
3657testdata/Prelude.lc 335:53-335:54 3657Prelude.lc 335:53-335:54
3658 Float 3658 Float
3659testdata/Prelude.lc 335:57-335:58 3659Prelude.lc 335:57-335:58
3660 _b 3660 _b
3661testdata/Prelude.lc 337:9-337:10 3661Prelude.lc 337:9-337:10
3662 Float 3662 Float
3663testdata/Prelude.lc 337:9-337:11 3663Prelude.lc 337:9-337:11
3664 Float -> Float 3664 Float -> Float
3665testdata/Prelude.lc 337:9-337:22 3665Prelude.lc 337:9-337:22
3666 Float 3666 Float
3667testdata/Prelude.lc 337:10-337:11 3667Prelude.lc 337:10-337:11
3668 forall a . Num (MatVecScalarElem a) => a -> a -> a 3668 forall a . Num (MatVecScalarElem a) => a -> a -> a
3669testdata/Prelude.lc 337:11-337:14 3669Prelude.lc 337:11-337:14
3670 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 3670 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
3671testdata/Prelude.lc 337:11-337:22 3671Prelude.lc 337:11-337:22
3672 VecScalar 1 Float 3672 VecScalar 1 Float
3673testdata/Prelude.lc 337:15-337:19 3673Prelude.lc 337:15-337:19
3674 Float 3674 Float
3675testdata/Prelude.lc 337:15-337:20 3675Prelude.lc 337:15-337:20
3676 VecScalar 1 Float -> VecScalar 1 Float 3676 VecScalar 1 Float -> VecScalar 1 Float
3677testdata/Prelude.lc 337:15-337:21 3677Prelude.lc 337:15-337:21
3678 VecScalar 1 Float 3678 VecScalar 1 Float
3679testdata/Prelude.lc 337:19-337:20 3679Prelude.lc 337:19-337:20
3680 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a 3680 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a
3681testdata/Prelude.lc 337:20-337:21 3681Prelude.lc 337:20-337:21
3682 _b 3682 _b
3683testdata/Prelude.lc 338:9-338:10 3683Prelude.lc 338:9-338:10
3684 forall a . Num (MatVecScalarElem a) => a -> a -> a 3684 forall a . Num (MatVecScalarElem a) => a -> a -> a
3685testdata/Prelude.lc 338:9-338:11 3685Prelude.lc 338:9-338:11
3686 Float 3686 Float
3687testdata/Prelude.lc 338:10-338:11 3687Prelude.lc 338:10-338:11
3688 Float 3688 Float
3689testdata/Prelude.lc 339:9-339:15 3689Prelude.lc 339:9-339:15
3690 Float 3690 Float
3691testdata/Prelude.lc 339:9-339:16 3691Prelude.lc 339:9-339:16
3692 Float -> Float 3692 Float -> Float
3693testdata/Prelude.lc 339:9-339:17 3693Prelude.lc 339:9-339:17
3694 Float 3694 Float
3695testdata/Prelude.lc 339:15-339:16 3695Prelude.lc 339:15-339:16
3696 forall a . Num (MatVecScalarElem a) => a -> a -> a 3696 forall a . Num (MatVecScalarElem a) => a -> a -> a
3697testdata/Prelude.lc 339:16-339:17 3697Prelude.lc 339:16-339:17
3698 Float 3698 Float
3699testdata/Prelude.lc 340:9-340:10 3699Prelude.lc 340:9-340:10
3700 forall a . Num (MatVecScalarElem a) => a -> a -> a 3700 forall a . Num (MatVecScalarElem a) => a -> a -> a
3701testdata/Prelude.lc 340:9-340:11 3701Prelude.lc 340:9-340:11
3702 Float 3702 Float
3703testdata/Prelude.lc 340:10-340:11 3703Prelude.lc 340:10-340:11
3704 Float 3704 Float
3705testdata/Prelude.lc 342:1-342:11 3705Prelude.lc 342:1-342:11
3706 VecScalar 1 Float -> Mat 4 4 Float 3706 VecScalar 1 Float -> Mat 4 4 Float
3707testdata/Prelude.lc 342:16-342:20 3707Prelude.lc 342:16-342:20
3708 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float 3708 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
3709testdata/Prelude.lc 342:16-342:33 3709Prelude.lc 342:16-342:33
3710 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float 3710 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
3711testdata/Prelude.lc 342:16-342:49 3711Prelude.lc 342:16-342:49
3712 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float 3712 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
3713testdata/Prelude.lc 342:16-342:62 3713Prelude.lc 342:16-342:62
3714 Vec 4 Float -> Mat 4 4 Float 3714 Vec 4 Float -> Mat 4 4 Float
3715testdata/Prelude.lc 342:16-342:75 3715Prelude.lc 342:16-342:75
3716 Mat 4 4 Float 3716 Mat 4 4 Float
3717testdata/Prelude.lc 342:22-342:24 3717Prelude.lc 342:22-342:24
3718 forall a . a -> a -> a -> a -> VecS a 4 3718 forall a . a -> a -> a -> a -> VecS a 4
3719testdata/Prelude.lc 342:22-342:26 3719Prelude.lc 342:22-342:26
3720 VecScalar _c Float 3720 VecScalar _c Float
3721 -> VecScalar _c Float -> VecScalar _c Float -> VecS (VecScalar _c Float) 4 3721 -> VecScalar _c Float -> VecScalar _c Float -> VecS (VecScalar _c Float) 4
3722testdata/Prelude.lc 342:22-342:28 3722Prelude.lc 342:22-342:28
3723 VecScalar _c Float -> VecScalar _c Float -> VecS (VecScalar _c Float) 4 3723 VecScalar _c Float -> VecScalar _c Float -> VecS (VecScalar _c Float) 4
3724testdata/Prelude.lc 342:22-342:30 3724Prelude.lc 342:22-342:30
3725 VecScalar _d Float -> VecS (VecScalar _d Float) 4 3725 VecScalar _d Float -> VecS (VecScalar _d Float) 4
3726testdata/Prelude.lc 342:22-342:32 3726Prelude.lc 342:22-342:32
3727 VecS (VecScalar 1 Float) 4 3727 VecS (VecScalar 1 Float) 4
3728testdata/Prelude.lc 342:25-342:26 3728Prelude.lc 342:25-342:26
3729 VecScalar _d Float 3729 VecScalar _d Float
3730testdata/Prelude.lc 342:27-342:28 3730Prelude.lc 342:27-342:28
3731 VecScalar _c Float 3731 VecScalar _c Float
3732testdata/Prelude.lc 342:29-342:30 3732Prelude.lc 342:29-342:30
3733 _b 3733 _b
3734testdata/Prelude.lc 342:31-342:32 3734Prelude.lc 342:31-342:32
3735 _b 3735 _b
3736testdata/Prelude.lc 342:35-342:37 3736Prelude.lc 342:35-342:37
3737 forall a . a -> a -> a -> a -> VecS a 4 3737 forall a . a -> a -> a -> a -> VecS a 4
3738testdata/Prelude.lc 342:35-342:42 3738Prelude.lc 342:35-342:42
3739 Float -> Float -> Float -> VecS Float 4 3739 Float -> Float -> Float -> VecS Float 4
3740testdata/Prelude.lc 342:35-342:44 3740Prelude.lc 342:35-342:44
3741 Float -> Float -> VecS Float 4 3741 Float -> Float -> VecS Float 4
3742testdata/Prelude.lc 342:35-342:46 3742Prelude.lc 342:35-342:46
3743 Float -> VecS Float 4 3743 Float -> VecS Float 4
3744testdata/Prelude.lc 342:35-342:48 3744Prelude.lc 342:35-342:48
3745 VecS Float 4 3745 VecS Float 4
3746testdata/Prelude.lc 342:39-342:40 3746Prelude.lc 342:39-342:40
3747 forall a . Num (MatVecScalarElem a) => a -> a -> a 3747 forall a . Num (MatVecScalarElem a) => a -> a -> a
3748testdata/Prelude.lc 342:39-342:41 3748Prelude.lc 342:39-342:41
3749 Float 3749 Float
3750testdata/Prelude.lc 342:40-342:41 3750Prelude.lc 342:40-342:41
3751 VecScalar 1 Float 3751 VecScalar 1 Float
3752testdata/Prelude.lc 342:43-342:44 3752Prelude.lc 342:43-342:44
3753 VecScalar 1 Float 3753 VecScalar 1 Float
3754testdata/Prelude.lc 342:45-342:46 3754Prelude.lc 342:45-342:46
3755 _b 3755 _b
3756testdata/Prelude.lc 342:47-342:48 3756Prelude.lc 342:47-342:48
3757 _b 3757 _b
3758testdata/Prelude.lc 342:51-342:53 3758Prelude.lc 342:51-342:53
3759 forall a . a -> a -> a -> a -> VecS a 4 3759 forall a . a -> a -> a -> a -> VecS a 4
3760testdata/Prelude.lc 342:51-342:55 3760Prelude.lc 342:51-342:55
3761 _b -> _b -> _b -> VecS _b 4 3761 _b -> _b -> _b -> VecS _b 4
3762testdata/Prelude.lc 342:51-342:57 3762Prelude.lc 342:51-342:57
3763 _c -> _c -> VecS _c 4 3763 _c -> _c -> VecS _c 4
3764testdata/Prelude.lc 342:51-342:59 3764Prelude.lc 342:51-342:59
3765 _c -> VecS _c 4 3765 _c -> VecS _c 4
3766testdata/Prelude.lc 342:51-342:61 3766Prelude.lc 342:51-342:61
3767 VecS Float 4 3767 VecS Float 4
3768testdata/Prelude.lc 342:54-342:55 3768Prelude.lc 342:54-342:55
3769 _b 3769 _b
3770testdata/Prelude.lc 342:56-342:57 3770Prelude.lc 342:56-342:57
3771 _b 3771 _b
3772testdata/Prelude.lc 342:58-342:59 3772Prelude.lc 342:58-342:59
3773 _b 3773 _b
3774testdata/Prelude.lc 342:60-342:61 3774Prelude.lc 342:60-342:61
3775 _b 3775 _b
3776testdata/Prelude.lc 342:64-342:66 3776Prelude.lc 342:64-342:66
3777 forall a . a -> a -> a -> a -> VecS a 4 3777 forall a . a -> a -> a -> a -> VecS a 4
3778testdata/Prelude.lc 342:64-342:68 3778Prelude.lc 342:64-342:68
3779 _b -> _b -> _b -> VecS _b 4 3779 _b -> _b -> _b -> VecS _b 4
3780testdata/Prelude.lc 342:64-342:70 3780Prelude.lc 342:64-342:70
3781 _c -> _c -> VecS _c 4 3781 _c -> _c -> VecS _c 4
3782testdata/Prelude.lc 342:64-342:72 3782Prelude.lc 342:64-342:72
3783 _c -> VecS _c 4 3783 _c -> VecS _c 4
3784testdata/Prelude.lc 342:64-342:74 3784Prelude.lc 342:64-342:74
3785 VecS Float 4 3785 VecS Float 4
3786testdata/Prelude.lc 342:67-342:68 3786Prelude.lc 342:67-342:68
3787 _b 3787 _b
3788testdata/Prelude.lc 342:69-342:70 3788Prelude.lc 342:69-342:70
3789 _b 3789 _b
3790testdata/Prelude.lc 342:71-342:72 3790Prelude.lc 342:71-342:72
3791 _b 3791 _b
3792testdata/Prelude.lc 342:73-342:74 3792Prelude.lc 342:73-342:74
3793 _b 3793 _b
3794testdata/Prelude.lc 344:9-344:12 3794Prelude.lc 344:9-344:12
3795 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 3795 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
3796testdata/Prelude.lc 344:9-344:14 3796Prelude.lc 344:9-344:14
3797 VecScalar _a Float 3797 VecScalar _a Float
3798testdata/Prelude.lc 344:13-344:14 3798Prelude.lc 344:13-344:14
3799 _c 3799 _c
3800testdata/Prelude.lc 345:9-345:12 3800Prelude.lc 345:9-345:12
3801 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 3801 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
3802testdata/Prelude.lc 345:9-345:14 3802Prelude.lc 345:9-345:14
3803 VecScalar _b Float 3803 VecScalar _b Float
3804testdata/Prelude.lc 345:13-345:14 3804Prelude.lc 345:13-345:14
3805 VecScalar _c Float 3805 VecScalar _c Float
3806testdata/Prelude.lc 347:1-347:11 3806Prelude.lc 347:1-347:11
3807 VecScalar 1 Float -> Mat 4 4 Float 3807 VecScalar 1 Float -> Mat 4 4 Float
3808testdata/Prelude.lc 347:16-347:20 3808Prelude.lc 347:16-347:20
3809 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float 3809 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
3810testdata/Prelude.lc 347:16-347:36 3810Prelude.lc 347:16-347:36
3811 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float 3811 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
3812testdata/Prelude.lc 347:16-347:49 3812Prelude.lc 347:16-347:49
3813 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float 3813 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
3814testdata/Prelude.lc 347:16-347:62 3814Prelude.lc 347:16-347:62
3815 Vec 4 Float -> Mat 4 4 Float 3815 Vec 4 Float -> Mat 4 4 Float
3816testdata/Prelude.lc 347:16-347:75 3816Prelude.lc 347:16-347:75
3817 Mat 4 4 Float 3817 Mat 4 4 Float
3818testdata/Prelude.lc 347:22-347:24 3818Prelude.lc 347:22-347:24
3819 forall a . a -> a -> a -> a -> VecS a 4 3819 forall a . a -> a -> a -> a -> VecS a 4
3820testdata/Prelude.lc 347:22-347:26 3820Prelude.lc 347:22-347:26
3821 VecScalar _c Float 3821 VecScalar _c Float
3822 -> VecScalar _c Float -> VecScalar _c Float -> VecS (VecScalar _c Float) 4 3822 -> VecScalar _c Float -> VecScalar _c Float -> VecS (VecScalar _c Float) 4
3823testdata/Prelude.lc 347:22-347:28 3823Prelude.lc 347:22-347:28
3824 VecScalar _d Float -> VecScalar _d Float -> VecS (VecScalar _d Float) 4 3824 VecScalar _d Float -> VecScalar _d Float -> VecS (VecScalar _d Float) 4
3825testdata/Prelude.lc 347:22-347:33 3825Prelude.lc 347:22-347:33
3826 VecScalar _f Float -> VecS (VecScalar _f Float) 4 3826 VecScalar _f Float -> VecS (VecScalar _f Float) 4
3827testdata/Prelude.lc 347:22-347:35 3827Prelude.lc 347:22-347:35
3828 VecS (VecScalar 1 Float) 4 3828 VecS (VecScalar 1 Float) 4
3829testdata/Prelude.lc 347:25-347:26 3829Prelude.lc 347:25-347:26
3830 VecScalar _d Float 3830 VecScalar _d Float
3831testdata/Prelude.lc 347:27-347:28 3831Prelude.lc 347:27-347:28
3832 _b 3832 _b
3833testdata/Prelude.lc 347:30-347:31 3833Prelude.lc 347:30-347:31
3834 forall a . Num (MatVecScalarElem a) => a -> a -> a 3834 forall a . Num (MatVecScalarElem a) => a -> a -> a
3835testdata/Prelude.lc 347:30-347:32 3835Prelude.lc 347:30-347:32
3836 VecScalar _f Float 3836 VecScalar _f Float
3837testdata/Prelude.lc 347:31-347:32 3837Prelude.lc 347:31-347:32
3838 VecScalar _f Float 3838 VecScalar _f Float
3839testdata/Prelude.lc 347:34-347:35 3839Prelude.lc 347:34-347:35
3840 _b 3840 _b
3841testdata/Prelude.lc 347:38-347:40 3841Prelude.lc 347:38-347:40
3842 forall a . a -> a -> a -> a -> VecS a 4 3842 forall a . a -> a -> a -> a -> VecS a 4
3843testdata/Prelude.lc 347:38-347:42 3843Prelude.lc 347:38-347:42
3844 _b -> _b -> _b -> VecS _b 4 3844 _b -> _b -> _b -> VecS _b 4
3845testdata/Prelude.lc 347:38-347:44 3845Prelude.lc 347:38-347:44
3846 _c -> _c -> VecS _c 4 3846 _c -> _c -> VecS _c 4
3847testdata/Prelude.lc 347:38-347:46 3847Prelude.lc 347:38-347:46
3848 _c -> VecS _c 4 3848 _c -> VecS _c 4
3849testdata/Prelude.lc 347:38-347:48 3849Prelude.lc 347:38-347:48
3850 VecS Float 4 3850 VecS Float 4
3851testdata/Prelude.lc 347:41-347:42 3851Prelude.lc 347:41-347:42
3852 _b 3852 _b
3853testdata/Prelude.lc 347:43-347:44 3853Prelude.lc 347:43-347:44
3854 _b 3854 _b
3855testdata/Prelude.lc 347:45-347:46 3855Prelude.lc 347:45-347:46
3856 _b 3856 _b
3857testdata/Prelude.lc 347:47-347:48 3857Prelude.lc 347:47-347:48
3858 _b 3858 _b
3859testdata/Prelude.lc 347:51-347:53 3859Prelude.lc 347:51-347:53
3860 forall a . a -> a -> a -> a -> VecS a 4 3860 forall a . a -> a -> a -> a -> VecS a 4
3861testdata/Prelude.lc 347:51-347:55 3861Prelude.lc 347:51-347:55
3862 Float -> Float -> Float -> VecS Float 4 3862 Float -> Float -> Float -> VecS Float 4
3863testdata/Prelude.lc 347:51-347:57 3863Prelude.lc 347:51-347:57
3864 Float -> Float -> VecS Float 4 3864 Float -> Float -> VecS Float 4
3865testdata/Prelude.lc 347:51-347:59 3865Prelude.lc 347:51-347:59
3866 Float -> VecS Float 4 3866 Float -> VecS Float 4
3867testdata/Prelude.lc 347:51-347:61 3867Prelude.lc 347:51-347:61
3868 VecS Float 4 3868 VecS Float 4
3869testdata/Prelude.lc 347:54-347:55 3869Prelude.lc 347:54-347:55
3870 VecScalar 1 Float 3870 VecScalar 1 Float
3871testdata/Prelude.lc 347:56-347:57 3871Prelude.lc 347:56-347:57
3872 _b 3872 _b
3873testdata/Prelude.lc 347:58-347:59 3873Prelude.lc 347:58-347:59
3874 VecScalar 1 Float 3874 VecScalar 1 Float
3875testdata/Prelude.lc 347:60-347:61 3875Prelude.lc 347:60-347:61
3876 _b 3876 _b
3877testdata/Prelude.lc 347:64-347:66 3877Prelude.lc 347:64-347:66
3878 forall a . a -> a -> a -> a -> VecS a 4 3878 forall a . a -> a -> a -> a -> VecS a 4
3879testdata/Prelude.lc 347:64-347:68 3879Prelude.lc 347:64-347:68
3880 _b -> _b -> _b -> VecS _b 4 3880 _b -> _b -> _b -> VecS _b 4
3881testdata/Prelude.lc 347:64-347:70 3881Prelude.lc 347:64-347:70
3882 _c -> _c -> VecS _c 4 3882 _c -> _c -> VecS _c 4
3883testdata/Prelude.lc 347:64-347:72 3883Prelude.lc 347:64-347:72
3884 _c -> VecS _c 4 3884 _c -> VecS _c 4
3885testdata/Prelude.lc 347:64-347:74 3885Prelude.lc 347:64-347:74
3886 VecS Float 4 3886 VecS Float 4
3887testdata/Prelude.lc 347:67-347:68 3887Prelude.lc 347:67-347:68
3888 _b 3888 _b
3889testdata/Prelude.lc 347:69-347:70 3889Prelude.lc 347:69-347:70
3890 _b 3890 _b
3891testdata/Prelude.lc 347:71-347:72 3891Prelude.lc 347:71-347:72
3892 _b 3892 _b
3893testdata/Prelude.lc 347:73-347:74 3893Prelude.lc 347:73-347:74
3894 _b 3894 _b
3895testdata/Prelude.lc 349:9-349:12 3895Prelude.lc 349:9-349:12
3896 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 3896 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
3897testdata/Prelude.lc 349:9-349:14 3897Prelude.lc 349:9-349:14
3898 VecScalar _a Float 3898 VecScalar _a Float
3899testdata/Prelude.lc 349:13-349:14 3899Prelude.lc 349:13-349:14
3900 _c 3900 _c
3901testdata/Prelude.lc 350:9-350:12 3901Prelude.lc 350:9-350:12
3902 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 3902 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
3903testdata/Prelude.lc 350:9-350:14 3903Prelude.lc 350:9-350:14
3904 VecScalar _b Float 3904 VecScalar _b Float
3905testdata/Prelude.lc 350:13-350:14 3905Prelude.lc 350:13-350:14
3906 VecScalar _c Float 3906 VecScalar _c Float
3907testdata/Prelude.lc 352:1-352:11 3907Prelude.lc 352:1-352:11
3908 VecScalar 1 Float -> Mat 4 4 Float 3908 VecScalar 1 Float -> Mat 4 4 Float
3909testdata/Prelude.lc 352:16-352:20 3909Prelude.lc 352:16-352:20
3910 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float 3910 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
3911testdata/Prelude.lc 352:16-352:33 3911Prelude.lc 352:16-352:33
3912 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float 3912 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
3913testdata/Prelude.lc 352:16-352:46 3913Prelude.lc 352:16-352:46
3914 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float 3914 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
3915testdata/Prelude.lc 352:16-352:62 3915Prelude.lc 352:16-352:62
3916 Vec 4 Float -> Mat 4 4 Float 3916 Vec 4 Float -> Mat 4 4 Float
3917testdata/Prelude.lc 352:16-352:75 3917Prelude.lc 352:16-352:75
3918 Mat 4 4 Float 3918 Mat 4 4 Float
3919testdata/Prelude.lc 352:22-352:24 3919Prelude.lc 352:22-352:24
3920 forall a . a -> a -> a -> a -> VecS a 4 3920 forall a . a -> a -> a -> a -> VecS a 4
3921testdata/Prelude.lc 352:22-352:26 3921Prelude.lc 352:22-352:26
3922 _b -> _b -> _b -> VecS _b 4 3922 _b -> _b -> _b -> VecS _b 4
3923testdata/Prelude.lc 352:22-352:28 3923Prelude.lc 352:22-352:28
3924 _c -> _c -> VecS _c 4 3924 _c -> _c -> VecS _c 4
3925testdata/Prelude.lc 352:22-352:30 3925Prelude.lc 352:22-352:30
3926 _c -> VecS _c 4 3926 _c -> VecS _c 4
3927testdata/Prelude.lc 352:22-352:32 3927Prelude.lc 352:22-352:32
3928 VecS Float 4 3928 VecS Float 4
3929testdata/Prelude.lc 352:25-352:26 3929Prelude.lc 352:25-352:26
3930 _b 3930 _b
3931testdata/Prelude.lc 352:27-352:28 3931Prelude.lc 352:27-352:28
3932 _b 3932 _b
3933testdata/Prelude.lc 352:29-352:30 3933Prelude.lc 352:29-352:30
3934 _b 3934 _b
3935testdata/Prelude.lc 352:31-352:32 3935Prelude.lc 352:31-352:32
3936 _b 3936 _b
3937testdata/Prelude.lc 352:35-352:37 3937Prelude.lc 352:35-352:37
3938 forall a . a -> a -> a -> a -> VecS a 4 3938 forall a . a -> a -> a -> a -> VecS a 4
3939testdata/Prelude.lc 352:35-352:39 3939Prelude.lc 352:35-352:39
3940 _b -> _b -> _b -> VecS _b 4 3940 _b -> _b -> _b -> VecS _b 4
3941testdata/Prelude.lc 352:35-352:41 3941Prelude.lc 352:35-352:41
3942 VecScalar _d Float -> VecScalar _d Float -> VecS (VecScalar _d Float) 4 3942 VecScalar _d Float -> VecScalar _d Float -> VecS (VecScalar _d Float) 4
3943testdata/Prelude.lc 352:35-352:43 3943Prelude.lc 352:35-352:43
3944 VecScalar _d Float -> VecS (VecScalar _d Float) 4 3944 VecScalar _d Float -> VecS (VecScalar _d Float) 4
3945testdata/Prelude.lc 352:35-352:45 3945Prelude.lc 352:35-352:45
3946 VecS (VecScalar 1 Float) 4 3946 VecS (VecScalar 1 Float) 4
3947testdata/Prelude.lc 352:38-352:39 3947Prelude.lc 352:38-352:39
3948 _b 3948 _b
3949testdata/Prelude.lc 352:40-352:41 3949Prelude.lc 352:40-352:41
3950 VecScalar _e Float 3950 VecScalar _e Float
3951testdata/Prelude.lc 352:42-352:43 3951Prelude.lc 352:42-352:43
3952 VecScalar _d Float 3952 VecScalar _d Float
3953testdata/Prelude.lc 352:44-352:45 3953Prelude.lc 352:44-352:45
3954 _b 3954 _b
3955testdata/Prelude.lc 352:48-352:50 3955Prelude.lc 352:48-352:50
3956 forall a . a -> a -> a -> a -> VecS a 4 3956 forall a . a -> a -> a -> a -> VecS a 4
3957testdata/Prelude.lc 352:48-352:52 3957Prelude.lc 352:48-352:52
3958 _b -> _b -> _b -> VecS _b 4 3958 _b -> _b -> _b -> VecS _b 4
3959testdata/Prelude.lc 352:48-352:57 3959Prelude.lc 352:48-352:57
3960 Float -> Float -> VecS Float 4 3960 Float -> Float -> VecS Float 4
3961testdata/Prelude.lc 352:48-352:59 3961Prelude.lc 352:48-352:59
3962 Float -> VecS Float 4 3962 Float -> VecS Float 4
3963testdata/Prelude.lc 352:48-352:61 3963Prelude.lc 352:48-352:61
3964 VecS Float 4 3964 VecS Float 4
3965testdata/Prelude.lc 352:51-352:52 3965Prelude.lc 352:51-352:52
3966 _b 3966 _b
3967testdata/Prelude.lc 352:54-352:55 3967Prelude.lc 352:54-352:55
3968 forall a . Num (MatVecScalarElem a) => a -> a -> a 3968 forall a . Num (MatVecScalarElem a) => a -> a -> a
3969testdata/Prelude.lc 352:54-352:56 3969Prelude.lc 352:54-352:56
3970 Float 3970 Float
3971testdata/Prelude.lc 352:55-352:56 3971Prelude.lc 352:55-352:56
3972 VecScalar 1 Float 3972 VecScalar 1 Float
3973testdata/Prelude.lc 352:58-352:59 3973Prelude.lc 352:58-352:59
3974 VecScalar 1 Float 3974 VecScalar 1 Float
3975testdata/Prelude.lc 352:60-352:61 3975Prelude.lc 352:60-352:61
3976 _b 3976 _b
3977testdata/Prelude.lc 352:64-352:66 3977Prelude.lc 352:64-352:66
3978 forall a . a -> a -> a -> a -> VecS a 4 3978 forall a . a -> a -> a -> a -> VecS a 4
3979testdata/Prelude.lc 352:64-352:68 3979Prelude.lc 352:64-352:68
3980 _b -> _b -> _b -> VecS _b 4 3980 _b -> _b -> _b -> VecS _b 4
3981testdata/Prelude.lc 352:64-352:70 3981Prelude.lc 352:64-352:70
3982 _c -> _c -> VecS _c 4 3982 _c -> _c -> VecS _c 4
3983testdata/Prelude.lc 352:64-352:72 3983Prelude.lc 352:64-352:72
3984 _c -> VecS _c 4 3984 _c -> VecS _c 4
3985testdata/Prelude.lc 352:64-352:74 3985Prelude.lc 352:64-352:74
3986 VecS Float 4 3986 VecS Float 4
3987testdata/Prelude.lc 352:67-352:68 3987Prelude.lc 352:67-352:68
3988 _b 3988 _b
3989testdata/Prelude.lc 352:69-352:70 3989Prelude.lc 352:69-352:70
3990 _b 3990 _b
3991testdata/Prelude.lc 352:71-352:72 3991Prelude.lc 352:71-352:72
3992 _b 3992 _b
3993testdata/Prelude.lc 352:73-352:74 3993Prelude.lc 352:73-352:74
3994 _b 3994 _b
3995testdata/Prelude.lc 354:9-354:12 3995Prelude.lc 354:9-354:12
3996 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 3996 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
3997testdata/Prelude.lc 354:9-354:14 3997Prelude.lc 354:9-354:14
3998 VecScalar _a Float 3998 VecScalar _a Float
3999testdata/Prelude.lc 354:13-354:14 3999Prelude.lc 354:13-354:14
4000 _c 4000 _c
4001testdata/Prelude.lc 355:9-355:12 4001Prelude.lc 355:9-355:12
4002 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 4002 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
4003testdata/Prelude.lc 355:9-355:14 4003Prelude.lc 355:9-355:14
4004 VecScalar _b Float 4004 VecScalar _b Float
4005testdata/Prelude.lc 355:13-355:14 4005Prelude.lc 355:13-355:14
4006 VecScalar _c Float 4006 VecScalar _c Float
4007testdata/Prelude.lc 357:1-357:14 4007Prelude.lc 357:1-357:14
4008 Float -> Float -> Float -> Mat 4 4 Float 4008 Float -> Float -> Float -> Mat 4 4 Float
4009testdata/Prelude.lc 357:23-357:33 4009Prelude.lc 357:23-357:33
4010 VecScalar 1 Float -> Mat 4 4 Float 4010 VecScalar 1 Float -> Mat 4 4 Float
4011testdata/Prelude.lc 357:23-357:35 4011Prelude.lc 357:23-357:35
4012 Mat 4 4 Float 4012 Mat 4 4 Float
4013testdata/Prelude.lc 357:23-357:39 4013Prelude.lc 357:23-357:39
4014 Mat 4 _a Float -> Mat 4 _a Float 4014 Mat 4 _a Float -> Mat 4 _a Float
4015testdata/Prelude.lc 357:23-357:52 4015Prelude.lc 357:23-357:52
4016 Mat 4 4 Float 4016 Mat 4 4 Float
4017testdata/Prelude.lc 357:23-357:56 4017Prelude.lc 357:23-357:56
4018 Mat 4 _a Float -> Mat 4 _a Float 4018 Mat 4 _a Float -> Mat 4 _a Float
4019testdata/Prelude.lc 357:23-357:69 4019Prelude.lc 357:23-357:69
4020 Mat 4 4 Float 4020 Mat 4 4 Float
4021testdata/Prelude.lc 357:34-357:35 4021Prelude.lc 357:34-357:35
4022 _k 4022 _k
4023testdata/Prelude.lc 357:36-357:39 4023Prelude.lc 357:36-357:39
4024 forall (a :: Nat) (b :: Nat) c (d :: Nat) . Mat a b c -> Mat b d c -> Mat a d c 4024 forall (a :: Nat) (b :: Nat) c (d :: Nat) . Mat a b c -> Mat b d c -> Mat a d c
4025testdata/Prelude.lc 357:40-357:50 4025Prelude.lc 357:40-357:50
4026 VecScalar 1 Float -> Mat 4 4 Float 4026 VecScalar 1 Float -> Mat 4 4 Float
4027testdata/Prelude.lc 357:40-357:52 4027Prelude.lc 357:40-357:52
4028 Mat 4 4 Float 4028 Mat 4 4 Float
4029testdata/Prelude.lc 357:51-357:52 4029Prelude.lc 357:51-357:52
4030 _e 4030 _e
4031testdata/Prelude.lc 357:53-357:56 4031Prelude.lc 357:53-357:56
4032 forall (a :: Nat) (b :: Nat) c (d :: Nat) . Mat a b c -> Mat b d c -> Mat a d c 4032 forall (a :: Nat) (b :: Nat) c (d :: Nat) . Mat a b c -> Mat b d c -> Mat a d c
4033testdata/Prelude.lc 357:57-357:67 4033Prelude.lc 357:57-357:67
4034 VecScalar 1 Float -> Mat 4 4 Float 4034 VecScalar 1 Float -> Mat 4 4 Float
4035testdata/Prelude.lc 357:57-357:69 4035Prelude.lc 357:57-357:69
4036 Mat 4 4 Float 4036 Mat 4 4 Float
4037testdata/Prelude.lc 357:68-357:69 4037Prelude.lc 357:68-357:69
4038 _b 4038 _b
4039testdata/Prelude.lc 359:21-359:24 4039Prelude.lc 359:21-359:24
4040 Nat -> Type -> Type 4040 Nat -> Type -> Type
4041testdata/Prelude.lc 359:21-359:26 4041Prelude.lc 359:21-359:26
4042 Type -> Type 4042 Type -> Type
4043testdata/Prelude.lc 359:21-359:32 4043Prelude.lc 359:21-359:32
4044 Type 4044 Type
4045testdata/Prelude.lc 359:25-359:26 4045Prelude.lc 359:25-359:26
4046 _b 4046 _b
4047testdata/Prelude.lc 359:27-359:32 4047Prelude.lc 359:27-359:32
4048 Type 4048 Type
4049testdata/Prelude.lc 359:36-359:39 4049Prelude.lc 359:36-359:39
4050 Nat -> Nat -> Type -> Type 4050 Nat -> Nat -> Type -> Type
4051testdata/Prelude.lc 359:36-359:41 4051Prelude.lc 359:36-359:41
4052 Nat -> Type -> Type 4052 Nat -> Type -> Type
4053testdata/Prelude.lc 359:36-359:43 4053Prelude.lc 359:36-359:43
4054 Type -> Type 4054 Type -> Type
4055testdata/Prelude.lc 359:36-359:49 4055Prelude.lc 359:36-359:49
4056 Type | Type 4056 Type | Type
4057testdata/Prelude.lc 359:40-359:41 4057Prelude.lc 359:40-359:41
4058 _b 4058 _b
4059testdata/Prelude.lc 359:42-359:43 4059Prelude.lc 359:42-359:43
4060 _b 4060 _b
4061testdata/Prelude.lc 359:44-359:49 4061Prelude.lc 359:44-359:49
4062 Type 4062 Type
4063testdata/Prelude.lc 360:1-360:17 4063Prelude.lc 360:1-360:17
4064 Vec 3 Float -> Mat 4 4 Float 4064 Vec 3 Float -> Mat 4 4 Float
4065testdata/Prelude.lc 360:22-360:26 4065Prelude.lc 360:22-360:26
4066 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float 4066 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
4067testdata/Prelude.lc 360:22-360:29 4067Prelude.lc 360:22-360:29
4068 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float 4068 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
4069testdata/Prelude.lc 360:22-360:32 4069Prelude.lc 360:22-360:32
4070 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float 4070 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
4071testdata/Prelude.lc 360:22-360:35 4071Prelude.lc 360:22-360:35
4072 Vec 4 Float -> Mat 4 4 Float 4072 Vec 4 Float -> Mat 4 4 Float
4073testdata/Prelude.lc 360:22-360:38 4073Prelude.lc 360:22-360:38
4074 Mat 4 4 Float 4074 Mat 4 4 Float
4075testdata/Prelude.lc 360:27-360:29 4075Prelude.lc 360:27-360:29
4076 forall a . Num a => VecS a 4 4076 forall a . Num a => VecS a 4
4077testdata/Prelude.lc 360:30-360:32 4077Prelude.lc 360:30-360:32
4078 forall a . Num a => VecS a 4 4078 forall a . Num a => VecS a 4
4079testdata/Prelude.lc 360:33-360:35 4079Prelude.lc 360:33-360:35
4080 forall a . Num a => VecS a 4 4080 forall a . Num a => VecS a 4
4081testdata/Prelude.lc 360:36-360:38 4081Prelude.lc 360:36-360:38
4082 VecS Float 4 4082 VecS Float 4
4083testdata/Prelude.lc 362:9-362:11 4083Prelude.lc 362:9-362:11
4084 forall a . a -> a -> a -> a -> VecS a 4 4084 forall a . a -> a -> a -> a -> VecS a 4
4085testdata/Prelude.lc 362:9-362:13 4085Prelude.lc 362:9-362:13
4086 _b -> _b -> _b -> VecS _b 4 4086 _b -> _b -> _b -> VecS _b 4
4087testdata/Prelude.lc 362:9-362:15 4087Prelude.lc 362:9-362:15
4088 _c -> _c -> VecS _c 4 4088 _c -> _c -> VecS _c 4
4089testdata/Prelude.lc 362:9-362:17 4089Prelude.lc 362:9-362:17
4090 _c -> VecS _c 4 4090 _c -> VecS _c 4
4091testdata/Prelude.lc 362:9-362:19 4091Prelude.lc 362:9-362:19
4092 VecS _c 4 4092 VecS _c 4
4093testdata/Prelude.lc 362:12-362:13 4093Prelude.lc 362:12-362:13
4094 _b 4094 _b
4095testdata/Prelude.lc 362:14-362:15 4095Prelude.lc 362:14-362:15
4096 _b 4096 _b
4097testdata/Prelude.lc 362:16-362:17 4097Prelude.lc 362:16-362:17
4098 _b 4098 _b
4099testdata/Prelude.lc 362:18-362:19 4099Prelude.lc 362:18-362:19
4100 _b 4100 _b
4101testdata/Prelude.lc 363:9-363:11 4101Prelude.lc 363:9-363:11
4102 forall a . a -> a -> a -> a -> VecS a 4 4102 forall a . a -> a -> a -> a -> VecS a 4
4103testdata/Prelude.lc 363:9-363:13 4103Prelude.lc 363:9-363:13
4104 _b -> _b -> _b -> VecS _b 4 4104 _b -> _b -> _b -> VecS _b 4
4105testdata/Prelude.lc 363:9-363:15 4105Prelude.lc 363:9-363:15
4106 _c -> _c -> VecS _c 4 4106 _c -> _c -> VecS _c 4
4107testdata/Prelude.lc 363:9-363:17 4107Prelude.lc 363:9-363:17
4108 _c -> VecS _c 4 4108 _c -> VecS _c 4
4109testdata/Prelude.lc 363:9-363:19 4109Prelude.lc 363:9-363:19
4110 VecS _c 4 4110 VecS _c 4
4111testdata/Prelude.lc 363:12-363:13 4111Prelude.lc 363:12-363:13
4112 _b 4112 _b
4113testdata/Prelude.lc 363:14-363:15 4113Prelude.lc 363:14-363:15
4114 _b 4114 _b
4115testdata/Prelude.lc 363:16-363:17 4115Prelude.lc 363:16-363:17
4116 _b 4116 _b
4117testdata/Prelude.lc 363:18-363:19 4117Prelude.lc 363:18-363:19
4118 _b 4118 _b
4119testdata/Prelude.lc 364:9-364:11 4119Prelude.lc 364:9-364:11
4120 forall a . a -> a -> a -> a -> VecS a 4 4120 forall a . a -> a -> a -> a -> VecS a 4
4121testdata/Prelude.lc 364:9-364:13 4121Prelude.lc 364:9-364:13
4122 _b -> _b -> _b -> VecS _b 4 4122 _b -> _b -> _b -> VecS _b 4
4123testdata/Prelude.lc 364:9-364:15 4123Prelude.lc 364:9-364:15
4124 _c -> _c -> VecS _c 4 4124 _c -> _c -> VecS _c 4
4125testdata/Prelude.lc 364:9-364:17 4125Prelude.lc 364:9-364:17
4126 _c -> VecS _c 4 4126 _c -> VecS _c 4
4127testdata/Prelude.lc 364:9-364:19 4127Prelude.lc 364:9-364:19
4128 VecS _c 4 4128 VecS _c 4
4129testdata/Prelude.lc 364:12-364:13 4129Prelude.lc 364:12-364:13
4130 _b 4130 _b
4131testdata/Prelude.lc 364:14-364:15 4131Prelude.lc 364:14-364:15
4132 _b 4132 _b
4133testdata/Prelude.lc 364:16-364:17 4133Prelude.lc 364:16-364:17
4134 _b 4134 _b
4135testdata/Prelude.lc 364:18-364:19 4135Prelude.lc 364:18-364:19
4136 _b 4136 _b
4137testdata/Prelude.lc 365:9-365:11 4137Prelude.lc 365:9-365:11
4138 forall a . a -> a -> a -> a -> VecS a 4 4138 forall a . a -> a -> a -> a -> VecS a 4
4139testdata/Prelude.lc 365:9-365:15 4139Prelude.lc 365:9-365:15
4140 Float -> Float -> Float -> VecS Float 4 4140 Float -> Float -> Float -> VecS Float 4
4141testdata/Prelude.lc 365:9-365:19 4141Prelude.lc 365:9-365:19
4142 Float -> Float -> VecS Float 4 4142 Float -> Float -> VecS Float 4
4143testdata/Prelude.lc 365:9-365:23 4143Prelude.lc 365:9-365:23
4144 Float -> VecS Float 4 4144 Float -> VecS Float 4
4145testdata/Prelude.lc 365:9-365:25 4145Prelude.lc 365:9-365:25
4146 VecS Float 4 4146 VecS Float 4
4147testdata/Prelude.lc 365:12-365:13 4147Prelude.lc 365:12-365:13
4148 Vec 3 Float 4148 Vec 3 Float
4149testdata/Prelude.lc 365:12-365:15 4149Prelude.lc 365:12-365:15
4150 Float 4150 Float
4151testdata/Prelude.lc 365:16-365:17 4151Prelude.lc 365:16-365:17
4152 Vec 3 Float 4152 Vec 3 Float
4153testdata/Prelude.lc 365:16-365:19 4153Prelude.lc 365:16-365:19
4154 Float 4154 Float
4155testdata/Prelude.lc 365:20-365:21 4155Prelude.lc 365:20-365:21
4156 Vec 3 Float 4156 Vec 3 Float
4157testdata/Prelude.lc 365:20-365:23 4157Prelude.lc 365:20-365:23
4158 Float 4158 Float
4159testdata/Prelude.lc 365:24-365:25 4159Prelude.lc 365:24-365:25
4160 _b 4160 _b
4161testdata/Prelude.lc 368:11-368:14 4161Prelude.lc 368:11-368:14
4162 Nat -> Type -> Type 4162 Nat -> Type -> Type
4163testdata/Prelude.lc 368:11-368:16 4163Prelude.lc 368:11-368:16
4164 Type -> Type 4164 Type -> Type
4165testdata/Prelude.lc 368:11-368:22 4165Prelude.lc 368:11-368:22
4166 Type 4166 Type
4167testdata/Prelude.lc 368:15-368:16 4167Prelude.lc 368:15-368:16
4168 _b 4168 _b
4169testdata/Prelude.lc 368:17-368:22 4169Prelude.lc 368:17-368:22
4170 Type 4170 Type
4171testdata/Prelude.lc 369:11-369:14 4171Prelude.lc 369:11-369:14
4172 Nat -> Type -> Type 4172 Nat -> Type -> Type
4173testdata/Prelude.lc 369:11-369:16 4173Prelude.lc 369:11-369:16
4174 Type -> Type 4174 Type -> Type
4175testdata/Prelude.lc 369:11-369:22 4175Prelude.lc 369:11-369:22
4176 Type 4176 Type
4177testdata/Prelude.lc 369:11-371:24 4177Prelude.lc 369:11-371:24
4178 Type 4178 Type
4179testdata/Prelude.lc 369:15-369:16 4179Prelude.lc 369:15-369:16
4180 _b 4180 _b
4181testdata/Prelude.lc 369:17-369:22 4181Prelude.lc 369:17-369:22
4182 Type 4182 Type
4183testdata/Prelude.lc 370:11-370:14 4183Prelude.lc 370:11-370:14
4184 Nat -> Type -> Type 4184 Nat -> Type -> Type
4185testdata/Prelude.lc 370:11-370:16 4185Prelude.lc 370:11-370:16
4186 Type -> Type 4186 Type -> Type
4187testdata/Prelude.lc 370:11-370:22 4187Prelude.lc 370:11-370:22
4188 Type 4188 Type
4189testdata/Prelude.lc 370:11-371:24 4189Prelude.lc 370:11-371:24
4190 Type 4190 Type
4191testdata/Prelude.lc 370:15-370:16 4191Prelude.lc 370:15-370:16
4192 _b 4192 _b
4193testdata/Prelude.lc 370:17-370:22 4193Prelude.lc 370:17-370:22
4194 Type 4194 Type
4195testdata/Prelude.lc 371:11-371:14 4195Prelude.lc 371:11-371:14
4196 Nat -> Nat -> Type -> Type 4196 Nat -> Nat -> Type -> Type
4197testdata/Prelude.lc 371:11-371:16 4197Prelude.lc 371:11-371:16
4198 Nat -> Type -> Type 4198 Nat -> Type -> Type
4199testdata/Prelude.lc 371:11-371:18 4199Prelude.lc 371:11-371:18
4200 Type -> Type 4200 Type -> Type
4201testdata/Prelude.lc 371:11-371:24 4201Prelude.lc 371:11-371:24
4202 Type | Type 4202 Type | Type
4203testdata/Prelude.lc 371:15-371:16 4203Prelude.lc 371:15-371:16
4204 _b 4204 _b
4205testdata/Prelude.lc 371:17-371:18 4205Prelude.lc 371:17-371:18
4206 _b 4206 _b
4207testdata/Prelude.lc 371:19-371:24 4207Prelude.lc 371:19-371:24
4208 Type 4208 Type
4209testdata/Prelude.lc 372:1-372:7 4209Prelude.lc 372:1-372:7
4210 Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 4 4 Float 4210 Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 4 4 Float
4211testdata/Prelude.lc 372:24-372:25 4211Prelude.lc 372:24-372:25
4212 Mat 4 4 Float 4212 Mat 4 4 Float
4213testdata/Prelude.lc 372:24-372:29 4213Prelude.lc 372:24-372:29
4214 Mat 4 _a Float -> Mat 4 _a Float 4214 Mat 4 _a Float -> Mat 4 _a Float
4215testdata/Prelude.lc 372:24-372:56 4215Prelude.lc 372:24-372:56
4216 Mat 4 4 Float 4216 Mat 4 4 Float
4217testdata/Prelude.lc 372:26-372:29 4217Prelude.lc 372:26-372:29
4218 forall (a :: Nat) (b :: Nat) c (d :: Nat) . Mat a b c -> Mat b d c -> Mat a d c 4218 forall (a :: Nat) (b :: Nat) c (d :: Nat) . Mat a b c -> Mat b d c -> Mat a d c
4219testdata/Prelude.lc 372:30-372:46 4219Prelude.lc 372:30-372:46
4220 Vec 3 Float -> Mat 4 4 Float 4220 Vec 3 Float -> Mat 4 4 Float
4221testdata/Prelude.lc 372:30-372:56 4221Prelude.lc 372:30-372:56
4222 Mat 4 4 Float 4222 Mat 4 4 Float
4223testdata/Prelude.lc 372:48-372:51 4223Prelude.lc 372:48-372:51
4224 forall a . Signed (MatVecScalarElem a) => a -> a 4224 forall a . Signed (MatVecScalarElem a) => a -> a
4225testdata/Prelude.lc 372:48-372:55 4225Prelude.lc 372:48-372:55
4226 VecS Float 3 4226 VecS Float 3
4227testdata/Prelude.lc 372:52-372:55 4227Prelude.lc 372:52-372:55
4228 Vec 3 Float 4228 Vec 3 Float
4229testdata/Prelude.lc 374:14-374:16 4229Prelude.lc 374:14-374:16
4230 forall a . a -> a -> a -> a -> VecS a 4 4230 forall a . a -> a -> a -> a -> VecS a 4
4231testdata/Prelude.lc 374:14-374:20 4231Prelude.lc 374:14-374:20
4232 _b -> _b -> _b -> VecS _b 4 4232 _b -> _b -> _b -> VecS _b 4
4233testdata/Prelude.lc 374:14-374:24 4233Prelude.lc 374:14-374:24
4234 _b -> _b -> VecS _b 4 4234 _b -> _b -> VecS _b 4
4235testdata/Prelude.lc 374:14-374:28 4235Prelude.lc 374:14-374:28
4236 _b -> VecS _b 4 4236 _b -> VecS _b 4
4237testdata/Prelude.lc 374:14-374:30 4237Prelude.lc 374:14-374:30
4238 VecS _c 4 4238 VecS _c 4
4239testdata/Prelude.lc 374:17-374:18 4239Prelude.lc 374:17-374:18
4240 _e 4240 _e
4241testdata/Prelude.lc 374:17-374:20 4241Prelude.lc 374:17-374:20
4242 _b 4242 _b
4243testdata/Prelude.lc 374:21-374:22 4243Prelude.lc 374:21-374:22
4244 VecS _d _c 4244 VecS _d _c
4245testdata/Prelude.lc 374:21-374:24 4245Prelude.lc 374:21-374:24
4246 _b 4246 _b
4247testdata/Prelude.lc 374:25-374:26 4247Prelude.lc 374:25-374:26
4248 VecS _d _c 4248 VecS _d _c
4249testdata/Prelude.lc 374:25-374:28 4249Prelude.lc 374:25-374:28
4250 _b 4250 _b
4251testdata/Prelude.lc 374:29-374:30 4251Prelude.lc 374:29-374:30
4252 _b 4252 _b
4253testdata/Prelude.lc 375:9-375:18 4253Prelude.lc 375:9-375:18
4254 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 4254 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
4255testdata/Prelude.lc 375:9-375:20 4255Prelude.lc 375:9-375:20
4256 VecScalar _a Float -> VecScalar _a Float 4256 VecScalar _a Float -> VecScalar _a Float
4257testdata/Prelude.lc 375:9-375:33 4257Prelude.lc 375:9-375:33
4258 VecScalar 3 Float 4258 VecScalar 3 Float
4259testdata/Prelude.lc 375:19-375:20 4259Prelude.lc 375:19-375:20
4260 forall a b . (a -> b) -> a -> b 4260 forall a b . (a -> b) -> a -> b
4261testdata/Prelude.lc 375:21-375:24 4261Prelude.lc 375:21-375:24
4262 Vec 3 Float 4262 Vec 3 Float
4263testdata/Prelude.lc 375:21-375:26 4263Prelude.lc 375:21-375:26
4264 VecS Float 3 -> VecS Float 3 4264 VecS Float 3 -> VecS Float 3
4265testdata/Prelude.lc 375:21-375:33 4265Prelude.lc 375:21-375:33
4266 VecS Float 3 4266 VecS Float 3
4267testdata/Prelude.lc 375:25-375:26 4267Prelude.lc 375:25-375:26
4268 forall a . Num (MatVecScalarElem a) => a -> a -> a 4268 forall a . Num (MatVecScalarElem a) => a -> a -> a
4269testdata/Prelude.lc 375:27-375:33 4269Prelude.lc 375:27-375:33
4270 Vec 3 Float 4270 Vec 3 Float
4271testdata/Prelude.lc 376:9-376:18 4271Prelude.lc 376:9-376:18
4272 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 4272 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
4273testdata/Prelude.lc 376:9-376:20 4273Prelude.lc 376:9-376:20
4274 VecScalar _a Float -> VecScalar _a Float 4274 VecScalar _a Float -> VecScalar _a Float
4275testdata/Prelude.lc 376:9-376:33 4275Prelude.lc 376:9-376:33
4276 VecScalar 3 Float 4276 VecScalar 3 Float
4277testdata/Prelude.lc 376:19-376:20 4277Prelude.lc 376:19-376:20
4278 forall a b . (a -> b) -> a -> b 4278 forall a b . (a -> b) -> a -> b
4279testdata/Prelude.lc 376:21-376:23 4279Prelude.lc 376:21-376:23
4280 Vec 3 Float 4280 Vec 3 Float
4281testdata/Prelude.lc 376:21-376:31 4281Prelude.lc 376:21-376:31
4282 VecS Float 3 -> VecS Float 3 4282 VecS Float 3 -> VecS Float 3
4283testdata/Prelude.lc 376:21-376:33 4283Prelude.lc 376:21-376:33
4284 VecS Float 3 4284 VecS Float 3
4285testdata/Prelude.lc 376:24-376:31 4285Prelude.lc 376:24-376:31
4286 forall a . (a ~ VecS Float 3) => a -> a -> a 4286 forall a . (a ~ VecS Float 3) => a -> a -> a
4287testdata/Prelude.lc 376:32-376:33 4287Prelude.lc 376:32-376:33
4288 VecScalar 3 Float 4288 VecScalar 3 Float
4289testdata/Prelude.lc 377:9-377:10 4289Prelude.lc 377:9-377:10
4290 VecScalar 3 Float 4290 VecScalar 3 Float
4291testdata/Prelude.lc 377:9-377:18 4291Prelude.lc 377:9-377:18
4292 VecS Float 3 -> VecS Float 3 4292 VecS Float 3 -> VecS Float 3
4293testdata/Prelude.lc 377:9-377:20 4293Prelude.lc 377:9-377:20
4294 VecS Float 3 4294 VecS Float 3
4295testdata/Prelude.lc 377:11-377:18 4295Prelude.lc 377:11-377:18
4296 forall a . (a ~ VecS Float 3) => a -> a -> a 4296 forall a . (a ~ VecS Float 3) => a -> a -> a
4297testdata/Prelude.lc 377:19-377:20 4297Prelude.lc 377:19-377:20
4298 VecScalar 3 Float 4298 VecScalar 3 Float
4299testdata/Prelude.lc 378:9-378:18 4299Prelude.lc 378:9-378:18
4300 forall (a :: Nat) (b :: Nat) c . Mat a b c -> Mat b a c 4300 forall (a :: Nat) (b :: Nat) c . Mat a b c -> Mat b a c
4301testdata/Prelude.lc 378:9-378:20 4301Prelude.lc 378:9-378:20
4302 Mat _c _b _a -> Mat _b _c _a 4302 Mat _c _b _a -> Mat _b _c _a
4303testdata/Prelude.lc 378:9-378:65 4303Prelude.lc 378:9-378:65
4304 Mat 4 4 Float 4304 Mat 4 4 Float
4305testdata/Prelude.lc 378:19-378:20 4305Prelude.lc 378:19-378:20
4306 forall a b . (a -> b) -> a -> b 4306 forall a b . (a -> b) -> a -> b
4307testdata/Prelude.lc 378:21-378:25 4307Prelude.lc 378:21-378:25
4308 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float 4308 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
4309testdata/Prelude.lc 378:21-378:34 4309Prelude.lc 378:21-378:34
4310 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float 4310 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
4311testdata/Prelude.lc 378:21-378:43 4311Prelude.lc 378:21-378:43
4312 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float 4312 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
4313testdata/Prelude.lc 378:21-378:52 4313Prelude.lc 378:21-378:52
4314 Vec 4 Float -> Mat 4 4 Float 4314 Vec 4 Float -> Mat 4 4 Float
4315testdata/Prelude.lc 378:21-378:65 4315Prelude.lc 378:21-378:65
4316 Mat 4 4 Float 4316 Mat 4 4 Float
4317testdata/Prelude.lc 378:27-378:31 4317Prelude.lc 378:27-378:31
4318 forall a (b :: Nat) . Num a => VecS a b -> VecS a 4 4318 forall a (b :: Nat) . Num a => VecS a b -> VecS a 4
4319testdata/Prelude.lc 378:27-378:33 4319Prelude.lc 378:27-378:33
4320 VecS Float 4 4320 VecS Float 4
4321testdata/Prelude.lc 378:32-378:33 4321Prelude.lc 378:32-378:33
4322 VecScalar 3 Float 4322 VecScalar 3 Float
4323testdata/Prelude.lc 378:36-378:40 4323Prelude.lc 378:36-378:40
4324 forall a (b :: Nat) . Num a => VecS a b -> VecS a 4 4324 forall a (b :: Nat) . Num a => VecS a b -> VecS a 4
4325testdata/Prelude.lc 378:36-378:42 4325Prelude.lc 378:36-378:42
4326 VecS Float 4 4326 VecS Float 4
4327testdata/Prelude.lc 378:41-378:42 4327Prelude.lc 378:41-378:42
4328 VecS Float 3 4328 VecS Float 3
4329testdata/Prelude.lc 378:45-378:49 4329Prelude.lc 378:45-378:49
4330 forall a (b :: Nat) . Num a => VecS a b -> VecS a 4 4330 forall a (b :: Nat) . Num a => VecS a b -> VecS a 4
4331testdata/Prelude.lc 378:45-378:51 4331Prelude.lc 378:45-378:51
4332 VecS Float 4 4332 VecS Float 4
4333testdata/Prelude.lc 378:50-378:51 4333Prelude.lc 378:50-378:51
4334 VecScalar 3 Float 4334 VecScalar 3 Float
4335testdata/Prelude.lc 378:54-378:56 4335Prelude.lc 378:54-378:56
4336 forall a . a -> a -> a -> a -> VecS a 4 4336 forall a . a -> a -> a -> a -> VecS a 4
4337testdata/Prelude.lc 378:54-378:58 4337Prelude.lc 378:54-378:58
4338 _b -> _b -> _b -> VecS _b 4 4338 _b -> _b -> _b -> VecS _b 4
4339testdata/Prelude.lc 378:54-378:60 4339Prelude.lc 378:54-378:60
4340 _c -> _c -> VecS _c 4 4340 _c -> _c -> VecS _c 4
4341testdata/Prelude.lc 378:54-378:62 4341Prelude.lc 378:54-378:62
4342 _c -> VecS _c 4 4342 _c -> VecS _c 4
4343testdata/Prelude.lc 378:54-378:64 4343Prelude.lc 378:54-378:64
4344 VecS Float 4 4344 VecS Float 4
4345testdata/Prelude.lc 378:57-378:58 4345Prelude.lc 378:57-378:58
4346 _b 4346 _b
4347testdata/Prelude.lc 378:59-378:60 4347Prelude.lc 378:59-378:60
4348 _b 4348 _b
4349testdata/Prelude.lc 378:61-378:62 4349Prelude.lc 378:61-378:62
4350 _b 4350 _b
4351testdata/Prelude.lc 378:63-378:64 4351Prelude.lc 378:63-378:64
4352 _b 4352 _b
4353testdata/Prelude.lc 380:1-380:6 4353Prelude.lc 380:1-380:6
4354 Float -> VecS Float 4 -> VecS Float 4 4354 Float -> VecS Float 4 -> VecS Float 4
4355testdata/Prelude.lc 380:13-380:14 4355Prelude.lc 380:13-380:14
4356 _d 4356 _d
4357testdata/Prelude.lc 380:13-380:16 4357Prelude.lc 380:13-380:16
4358 _c -> _c 4358 _c -> _c
4359testdata/Prelude.lc 380:13-380:29 4359Prelude.lc 380:13-380:29
4360 VecS Float 4 4360 VecS Float 4
4361testdata/Prelude.lc 380:15-380:16 4361Prelude.lc 380:15-380:16
4362 forall a . Num (MatVecScalarElem a) => a -> a -> a 4362 forall a . Num (MatVecScalarElem a) => a -> a -> a
4363testdata/Prelude.lc 380:17-380:19 4363Prelude.lc 380:17-380:19
4364 forall a . a -> a -> a -> a -> VecS a 4 4364 forall a . a -> a -> a -> a -> VecS a 4
4365testdata/Prelude.lc 380:17-380:21 4365Prelude.lc 380:17-380:21
4366 _e -> _e -> _e -> VecS _e 4 4366 _e -> _e -> _e -> VecS _e 4
4367testdata/Prelude.lc 380:17-380:23 4367Prelude.lc 380:17-380:23
4368 _e -> _e -> VecS _e 4 4368 _e -> _e -> VecS _e 4
4369testdata/Prelude.lc 380:17-380:25 4369Prelude.lc 380:17-380:25
4370 _e -> VecS _e 4 4370 _e -> VecS _e 4
4371testdata/Prelude.lc 380:17-380:29 4371Prelude.lc 380:17-380:29
4372 VecS Float 4 4372 VecS Float 4
4373testdata/Prelude.lc 380:20-380:21 4373Prelude.lc 380:20-380:21
4374 _f 4374 _f
4375testdata/Prelude.lc 380:22-380:23 4375Prelude.lc 380:22-380:23
4376 _e 4376 _e
4377testdata/Prelude.lc 380:24-380:25 4377Prelude.lc 380:24-380:25
4378 _e 4378 _e
4379testdata/Prelude.lc 380:26-380:29 4379Prelude.lc 380:26-380:29
4380 Float 4380 Float
4381testdata/Prelude.lc 382:11-382:16 4381Prelude.lc 382:11-382:16
4382 Type 4382 Type
4383testdata/Prelude.lc 382:20-382:25 4383Prelude.lc 382:20-382:25
4384 Type 4384 Type
4385testdata/Prelude.lc 382:20-382:36 4385Prelude.lc 382:20-382:36
4386 Type 4386 Type
4387testdata/Prelude.lc 382:29-382:36 4387Prelude.lc 382:29-382:36
4388 Type | Type 4388 Type | Type
4389testdata/Prelude.lc 382:30-382:35 4389Prelude.lc 382:30-382:35
4390 Type 4390 Type
4391testdata/Prelude.lc 383:1-383:7 4391Prelude.lc 383:1-383:7
4392 Float -> Float -> [Float] 4392 Float -> Float -> [Float]
4393testdata/Prelude.lc 384:7-384:8 4393Prelude.lc 384:7-384:8
4394 Float 4394 Float
4395testdata/Prelude.lc 384:7-384:10 4395Prelude.lc 384:7-384:10
4396 VecScalar 1 Float -> VecScalar 1 Bool 4396 VecScalar 1 Float -> VecScalar 1 Bool
4397testdata/Prelude.lc 384:7-384:12 4397Prelude.lc 384:7-384:12
4398 VecScalar 1 Bool 4398 VecScalar 1 Bool
4399testdata/Prelude.lc 384:7-385:38 4399Prelude.lc 384:7-385:38
4400 [Float] 4400 [Float]
4401testdata/Prelude.lc 384:9-384:10 4401Prelude.lc 384:9-384:10
4402 forall (a :: Nat) b 4402 forall (a :: Nat) b
4403 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool 4403 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool
4404testdata/Prelude.lc 384:11-384:12 4404Prelude.lc 384:11-384:12
4405 Float 4405 Float
4406testdata/Prelude.lc 384:15-384:17 4406Prelude.lc 384:15-384:17
4407 forall a . [a] 4407 forall a . [a]
4408testdata/Prelude.lc 384:15-385:38 4408Prelude.lc 384:15-385:38
4409 Bool -> [Float] 4409 Bool -> [Float]
4410testdata/Prelude.lc 385:19-385:20 4410Prelude.lc 385:19-385:20
4411 Float 4411 Float
4412testdata/Prelude.lc 385:19-385:21 4412Prelude.lc 385:19-385:21
4413 [Float] -> [Float] 4413 [Float] -> [Float]
4414testdata/Prelude.lc 385:19-385:38 4414Prelude.lc 385:19-385:38
4415 [Float] 4415 [Float]
4416testdata/Prelude.lc 385:20-385:21 4416Prelude.lc 385:20-385:21
4417 forall a . a -> [a] -> [a] 4417 forall a . a -> [a] -> [a]
4418testdata/Prelude.lc 385:22-385:28 4418Prelude.lc 385:22-385:28
4419 Float -> Float -> [Float] 4419 Float -> Float -> [Float]
4420testdata/Prelude.lc 385:22-385:36 4420Prelude.lc 385:22-385:36
4421 Float -> [Float] 4421 Float -> [Float]
4422testdata/Prelude.lc 385:22-385:38 4422Prelude.lc 385:22-385:38
4423 [Float] 4423 [Float]
4424testdata/Prelude.lc 385:30-385:31 4424Prelude.lc 385:30-385:31
4425 Float 4425 Float
4426testdata/Prelude.lc 385:30-385:33 4426Prelude.lc 385:30-385:33
4427 Float -> Float 4427 Float -> Float
4428testdata/Prelude.lc 385:30-385:35 4428Prelude.lc 385:30-385:35
4429 Float 4429 Float
4430testdata/Prelude.lc 385:32-385:33 4430Prelude.lc 385:32-385:33
4431 forall a . Num (MatVecScalarElem a) => a -> a -> a 4431 forall a . Num (MatVecScalarElem a) => a -> a -> a
4432testdata/Prelude.lc 385:34-385:35 4432Prelude.lc 385:34-385:35
4433 _b 4433 _b
4434testdata/Prelude.lc 385:37-385:38 4434Prelude.lc 385:37-385:38
4435 Float 4435 Float
4436testdata/Prelude.lc 387:9-387:12 4436Prelude.lc 387:9-387:12
4437 Type 4437 Type
4438testdata/Prelude.lc 387:9-387:24 4438Prelude.lc 387:9-387:24
4439 Type 4439 Type
4440testdata/Prelude.lc 387:10-387:11 4440Prelude.lc 387:10-387:11
4441 _b 4441 _b
4442testdata/Prelude.lc 387:16-387:19 4442Prelude.lc 387:16-387:19
4443 Type 4443 Type
4444testdata/Prelude.lc 387:16-387:24 4444Prelude.lc 387:16-387:24
4445 Type 4445 Type
4446testdata/Prelude.lc 387:23-387:24 4446Prelude.lc 387:23-387:24
4447 Type | Type 4447 Type | Type
4448testdata/Prelude.lc 388:10-388:12 4448Prelude.lc 388:10-388:12
4449 forall a . [a] -> Int -> a 4449 forall a . [a] -> Int -> a
4450testdata/Prelude.lc 388:19-388:20 4450Prelude.lc 388:19-388:20
4451 _d 4451 _d
4452testdata/Prelude.lc 388:19-389:30 4452Prelude.lc 388:19-389:30
4453 Bool -> _d | _c | _c 4453 Bool -> _d | _c | _c
4454testdata/Prelude.lc 389:19-389:21 4454Prelude.lc 389:19-389:21
4455 [_f] 4455 [_f]
4456testdata/Prelude.lc 389:19-389:24 4456Prelude.lc 389:19-389:24
4457 Int -> _e 4457 Int -> _e
4458testdata/Prelude.lc 389:19-389:30 4458Prelude.lc 389:19-389:30
4459 _d 4459 _d
4460testdata/Prelude.lc 389:22-389:24 4460Prelude.lc 389:22-389:24
4461 forall a . [a] -> Int -> a 4461 forall a . [a] -> Int -> a
4462testdata/Prelude.lc 389:26-389:27 4462Prelude.lc 389:26-389:27
4463 Int 4463 Int
4464testdata/Prelude.lc 389:26-389:28 4464Prelude.lc 389:26-389:28
4465 Int -> Int 4465 Int -> Int
4466testdata/Prelude.lc 389:26-389:29 4466Prelude.lc 389:26-389:29
4467 Int 4467 Int
4468testdata/Prelude.lc 389:27-389:28 4468Prelude.lc 389:27-389:28
4469 forall a . Num (MatVecScalarElem a) => a -> a -> a 4469 forall a . Num (MatVecScalarElem a) => a -> a -> a
4470testdata/Prelude.lc 389:28-389:29 4470Prelude.lc 389:28-389:29
4471 _b 4471 _b
4472------------ warnings 4472------------ warnings
4473Uncovered pattern(s) at testdata/Prelude.lc:50:1: 4473Uncovered pattern(s) at Prelude.lc:50:1:
4474tail (_: xs) = xs 4474tail (_: xs) = xs
4475^^^^ 4475^^^^
4476Missing case(s): 4476Missing case(s):
4477 tail [] 4477 tail []
4478Uncovered pattern(s) at testdata/Prelude.lc:58:1: 4478Uncovered pattern(s) at Prelude.lc:58:1:
4479foldr1 f (x: xs) = foldr f x xs 4479foldr1 f (x: xs) = foldr f x xs
4480^^^^^^ 4480^^^^^^
4481Missing case(s): 4481Missing case(s):
4482 foldr1 _ [] 4482 foldr1 _ []
4483Uncovered pattern(s) at testdata/Prelude.lc:137:1: 4483Uncovered pattern(s) at Prelude.lc:137:1:
4484project @a @('RecItem s' a': xs) s @_ (RecordCons ts) | s == s' = fstTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts) 4484project @a @('RecItem s' a': xs) s @_ (RecordCons ts) | s == s' = fstTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts)
4485project @a @('RecItem s' a': xs) s @_ (RecordCons ts) = project @a @xs s @(undefined @(CW (isKeyC s a xs))) (RecordCons (sndTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts))) 4485project @a @('RecItem s' a': xs) s @_ (RecordCons ts) = project @a @xs s @(undefined @(CW (isKeyC s a xs))) (RecordCons (sndTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts)))
4486Missing case(s): 4486Missing case(s):
4487 project _ [] _ _ _ 4487 project _ [] _ _ _
4488Uncovered pattern(s) at testdata/Prelude.lc:388:10: 4488Uncovered pattern(s) at Prelude.lc:388:10:
4489(x : _) !! 0 = x 4489(x : _) !! 0 = x
4490(_ : xs) !! n = xs !! (n-1) 4490(_ : xs) !! n = xs !! (n-1)
4491Missing case(s): 4491Missing case(s):
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 14:20:42 +0000