blob: 0c3dce3750c056baf545cd50ec7b1b144d4d5e12 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
|
main :: Bool
main = True
------------ desugared source code
from = _lhs from (_rhs \(a :: _) -> a : from (primAddInt (fromInt 1) a))
main
= _lhs
main
(_rhs
((\(a :: _) -> case'List
(\(_ :: _) -> _)
undefined
(\(_ :: _) (b :: _) -> case'List
(\(_ :: _) -> _)
undefined
(\(_ :: _) (c :: _) -> case'List
(\(_ :: _) -> _)
undefined
(\(_ :: _) (d :: _) -> case'List
(\(_ :: _) -> _)
undefined
(\(e :: _) (_ :: _) -> (\(f :: _) -> case'Ordering
(\(_ :: _) -> _)
undefined
True
undefined
f)
(primCompareInt e (fromInt 3)))
d)
c)
b)
a)
(from (fromInt 0))))
------------ core code
from :: Int -> [Int]
from = primFix ('Int -> ['Int]) \a -> _rhs \b -> b : a (primAddInt 1 b)
main :: Bool
main = _rhs True
------------ tooltips
testdata/it.lc 4:1-4:5
Int -> [Int]
testdata/it.lc 4:14-4:15
_c
testdata/it.lc 4:14-4:16
[_b] -> [_b]
testdata/it.lc 4:14-4:38
[Int]
testdata/it.lc 4:15-4:16
forall a . a -> [a] -> [a]
testdata/it.lc 4:17-4:21
_d
testdata/it.lc 4:23-4:33
Int -> Int -> Int
testdata/it.lc 4:23-4:35
Int -> Int
testdata/it.lc 4:23-4:37
Int
testdata/it.lc 4:34-4:35
_b
testdata/it.lc 4:36-4:37
_e
testdata/it.lc 6:1-6:5
Bool
testdata/it.lc 6:8-7:57
Bool
testdata/it.lc 6:13-6:17
Int -> [Int]
testdata/it.lc 6:13-6:19
[Int]
testdata/it.lc 6:18-6:19
_b
testdata/it.lc 7:20-7:57
Bool | Bool | Bool | Bool
testdata/it.lc 7:25-7:39
Int -> Int -> Ordering
testdata/it.lc 7:25-7:41
Int -> Ordering
testdata/it.lc 7:25-7:43
Ordering
testdata/it.lc 7:40-7:41
_c
testdata/it.lc 7:42-7:43
_b
testdata/it.lc 7:53-7:57
Bool
------------ warnings
Uncovered pattern(s) at testdata/it.lc:7:25:
(_:_:_:i:_) -> case primCompareInt i 3 of EQ -> True
^^^^^^^^^^^^^^^^^^
Missing case(s):
LT
GT
Uncovered pattern(s) at testdata/it.lc:6:13:
main = case from 0 of
^^^^^^
Missing case(s):
[]
[_]
[_, _]
[_, _, _]
|
