summaryrefslogtreecommitdiff
path: root/testdata/language-features/basic-list/list07.reject.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/basic-list/list07.reject.out')
-rw-r--r--testdata/language-features/basic-list/list07.reject.out159
1 files changed, 159 insertions, 0 deletions
diff --git a/testdata/language-features/basic-list/list07.reject.out b/testdata/language-features/basic-list/list07.reject.out
index 330be399..7a29dae2 100644
--- a/testdata/language-features/basic-list/list07.reject.out
+++ b/testdata/language-features/basic-list/list07.reject.out
@@ -4,3 +4,162 @@ with
4'Char 4'Char
5 5
6in builtin Nil 6in builtin Nil
7
8------------ trace
9infer: labelend (Cons (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
10infer: labEnd (Cons (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
11infer: labEnd (Cons (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
12infer: labEnd (Cons (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
13focus: labEnd (Cons (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
14focus: labEnd (Cons {_ : _:'Type} (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
15check: labEnd (Cons {(_ : _:'Type) :: Type} (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
16infer: labEnd (Cons {(_ : _:'Type) : Type} (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
17infer: labEnd (Cons {\(a : _:'Type)->a : Type} (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
18infer: labEnd (Cons {\(b : (\a:'Type -> a))->b : Type} (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
19focus: labEnd (Cons {\(b : (\a:Type -> a))->b : Type} (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
20infer: labEnd (Cons {\(b : \a->a)->b : Type} (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
21focus: labEnd (Cons {\(b : \a->a)->b : Type} (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
22focus: labEnd (Cons {(\a b:a -> b) : Type} (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
23infer: labEnd (Cons {(\a b:a -> b) : Type} (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
24focus: labEnd (Cons {(\a b:a -> b) : Type} (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
25focus: labEnd (Cons {\a b:a -> b:Type} (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
26focus: labEnd (Cons {\a b:a -> \(c : Type~a)->b} (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
27focus: labEnd (Cons {\a b:a a:=Type -> b} (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
28focus: labEnd (Cons {\a a:=Type -> \b->b} (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
29focus: labEnd (Cons {\a->a} (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
30focus: labEnd ((\a -> Cons {a}) (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
31focus: labEnd (\a->Cons (fromInt 1) (Cons 1.2 (Cons 'a' Nil)))
32focus: labEnd ((\a -> Cons (fromInt 1)) (Cons 1.2 (Cons 'a' Nil)))
33check: labEnd ((\a -> Cons (fromInt 1 :: a)) (Cons 1.2 (Cons 'a' Nil)))
34infer: labEnd ((\a -> Cons (fromInt 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
35focus: labEnd ((\a -> Cons (fromInt 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
36focus: labEnd ((\a -> Cons (fromInt 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
37focus: labEnd ((\a -> Cons (fromInt {_ : _:'Type} 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
38check: labEnd ((\a -> Cons (fromInt {(_ : _:'Type) :: Type} 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
39infer: labEnd ((\a -> Cons (fromInt {(_ : _:'Type) : Type} 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
40infer: labEnd ((\a -> Cons (fromInt {\(b : _:'Type)->b : Type} 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
41infer: labEnd ((\a -> Cons (fromInt {\(c : (\b:'Type -> b))->c : Type} 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
42focus: labEnd ((\a -> Cons (fromInt {\(c : (\b:Type -> b))->c : Type} 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
43infer: labEnd ((\a -> Cons (fromInt {\(c : \b->b)->c : Type} 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
44focus: labEnd ((\a -> Cons (fromInt {\(c : \b->b)->c : Type} 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
45focus: labEnd ((\a -> Cons (fromInt {(\b c:b -> c) : Type} 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
46infer: labEnd ((\a -> Cons (fromInt {(\b c:b -> c) : Type} 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
47focus: labEnd ((\a -> Cons (fromInt {(\b c:b -> c) : Type} 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
48focus: labEnd ((\a -> Cons (fromInt {\b c:b -> c:Type} 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
49focus: labEnd ((\a -> Cons (fromInt {\b c:b -> \(d : Type~b)->c} 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
50focus: labEnd ((\a -> Cons (fromInt {\b c:b b:=Type -> c} 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
51focus: labEnd ((\a -> Cons (fromInt {\b b:=Type -> \c->c} 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
52focus: labEnd ((\a -> Cons (fromInt {\b->b} 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
53focus: labEnd ((\a -> Cons ((\b -> fromInt {b}) 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
54focus: labEnd ((\a -> Cons ((\b -> fromInt b) 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
55focus: labEnd ((\a -> Cons ((\b -> fromInt b 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
56focus: labEnd ((\a -> Cons ((\b -> fromInt b {_ : _:'Type} 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
57check: labEnd ((\a -> Cons ((\b -> fromInt b {(_ : _:'Type) :: 'Num b} 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
58infer: labEnd ((\a -> Cons ((\b -> fromInt b {(_ : _:'Type) : 'Num b} 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
59infer: labEnd ((\a -> Cons ((\b -> fromInt b {\(c : _:'Type)->c : 'Num b} 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
60infer: labEnd ((\a -> Cons ((\b -> fromInt b {\(d : (\c:'Type -> c))->d : 'Num b} 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
61focus: labEnd ((\a -> Cons ((\b -> fromInt b {\(d : (\c:Type -> c))->d : 'Num b} 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
62infer: labEnd ((\a -> Cons ((\b -> fromInt b {\(d : \c->c)->d : 'Num b} 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
63focus: labEnd ((\a -> Cons ((\b -> fromInt b {\(d : \c->c)->d : 'Num b} 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
64focus: labEnd ((\a -> Cons ((\b -> fromInt b {(\c d:c -> d) : 'Num b} 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
65infer: labEnd ((\a -> Cons ((\b -> fromInt b {(\c d:c -> d) : 'Num b} 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
66focus: labEnd ((\a -> Cons ((\b -> fromInt b {(\c d:c -> d) : 'Num b} 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
67focus: labEnd ((\a -> Cons ((\b -> fromInt b {\c d:c -> d : 'Num b} 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
68focus: labEnd ((\a -> Cons ((\b -> fromInt b {\c d:c -> \(e : 'Num b ~ c)->d} 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
69focus: labEnd ((\a -> Cons ((\b -> fromInt b {\c d:c -> \(c := 'Num b)->d} 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
70focus: labEnd ((\a -> Cons ((\b -> fromInt b {\c (c := 'Num b) -> \(d : 'Num b)->d} 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
71focus: labEnd ((\a -> Cons ((\b -> fromInt b {\(c : 'Num b)->c} 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
72focus: labEnd ((\a -> Cons ((\b -> (\(c : 'Num b) -> fromInt b {c}) 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
73focus: labEnd ((\a -> Cons ((\b -> (\(c : 'Num b) -> fromInt b c) 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
74focus: labEnd ((\a -> Cons ((\b (c : 'Num b) -> fromInt b c 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
75check: labEnd ((\a -> Cons ((\b (c : 'Num b) -> fromInt b c 1::'Int) : a)) (Cons 1.2 (Cons 'a' Nil)))
76infer: labEnd ((\a -> Cons ((\b (c : 'Num b) -> fromInt b c 1:'Int) : a)) (Cons 1.2 (Cons 'a' Nil)))
77focus: labEnd ((\a -> Cons ((\b (c : 'Num b) -> fromInt b c 1:'Int) : a)) (Cons 1.2 (Cons 'a' Nil)))
78focus: labEnd ((\a -> Cons ((\b (c : 'Num b) -> fromInt b c (\d:'Unit -> 1)) : a)) (Cons 1.2 (Cons 'a' Nil)))
79focus: labEnd ((\a -> Cons ((\b (c : 'Num b) -> fromInt b c 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
80focus: labEnd ((\a -> Cons ((\b (c : 'Num b) -> fromInt b c 1) : a)) (Cons 1.2 (Cons 'a' Nil)))
81focus: labEnd ((\a -> Cons (\b (c : 'Num b) -> fromInt b c 1 : a)) (Cons 1.2 (Cons 'a' Nil)))
82focus: labEnd ((\a -> Cons (\b (c : 'Num b) (d : a~b) -> fromInt b c 1)) (Cons 1.2 (Cons 'a' Nil)))
83focus: labEnd ((\a -> Cons (\b (c : 'Num b) b:=a -> fromInt a c 1)) (Cons 1.2 (Cons 'a' Nil)))
84focus: labEnd ((\a -> Cons (\b b:=a (c : 'Num a) -> fromInt a c 1)) (Cons 1.2 (Cons 'a' Nil)))
85focus: labEnd ((\a -> Cons (\(b : 'Num a) -> fromInt a b 1)) (Cons 1.2 (Cons 'a' Nil)))
86focus: labEnd ((\a (b : 'Num a) -> Cons (fromInt a b 1)) (Cons 1.2 (Cons 'a' Nil)))
87focus: labEnd ((\a (b : 'Num a) -> Cons (fromInt a b 1)) (Cons 1.2 (Cons 'a' Nil)))
88focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons 1.2 (Cons 'a' Nil)))
89check: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons 1.2 (Cons 'a' Nil) :: 'List a))
90infer: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons 1.2 (Cons 'a' Nil) : 'List a))
91infer: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons 1.2 (Cons 'a' Nil) : 'List a))
92focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons 1.2 (Cons 'a' Nil) : 'List a))
93focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons {_ : _:'Type} 1.2 (Cons 'a' Nil) : 'List a))
94check: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons {(_ : _:'Type) :: Type} 1.2 (Cons 'a' Nil) : 'List a))
95infer: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons {(_ : _:'Type) : Type} 1.2 (Cons 'a' Nil) : 'List a))
96infer: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons {\(c : _:'Type)->c : Type} 1.2 (Cons 'a' Nil) : 'List a))
97infer: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons {\(d : (\c:'Type -> c))->d : Type} 1.2 (Cons 'a' Nil) : 'List a))
98focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons {\(d : (\c:Type -> c))->d : Type} 1.2 (Cons 'a' Nil) : 'List a))
99infer: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons {\(d : \c->c)->d : Type} 1.2 (Cons 'a' Nil) : 'List a))
100focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons {\(d : \c->c)->d : Type} 1.2 (Cons 'a' Nil) : 'List a))
101focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons {(\c d:c -> d) : Type} 1.2 (Cons 'a' Nil) : 'List a))
102infer: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons {(\c d:c -> d) : Type} 1.2 (Cons 'a' Nil) : 'List a))
103focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons {(\c d:c -> d) : Type} 1.2 (Cons 'a' Nil) : 'List a))
104focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons {\c d:c -> d:Type} 1.2 (Cons 'a' Nil) : 'List a))
105focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons {\c d:c -> \(e : Type~c)->d} 1.2 (Cons 'a' Nil) : 'List a))
106focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons {\c d:c c:=Type -> d} 1.2 (Cons 'a' Nil) : 'List a))
107focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons {\c c:=Type -> \d->d} 1.2 (Cons 'a' Nil) : 'List a))
108focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons {\c->c} 1.2 (Cons 'a' Nil) : 'List a))
109focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) ((\c -> Cons {c}) 1.2 (Cons 'a' Nil) : 'List a))
110focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\c->Cons 1.2 (Cons 'a' Nil) : 'List a))
111focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) ((\c -> Cons 1.2) (Cons 'a' Nil) : 'List a))
112check: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) ((\c -> Cons 1.2::c) (Cons 'a' Nil) : 'List a))
113infer: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) ((\c -> Cons 1.2:c) (Cons 'a' Nil) : 'List a))
114focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) ((\c -> Cons 1.2:c) (Cons 'a' Nil) : 'List a))
115focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) ((\c -> Cons \(d : c~'Float)->1.2) (Cons 'a' Nil) : 'List a))
116focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) ((\c -> Cons (\c:='Float -> 1.2)) (Cons 'a' Nil) : 'List a))
117focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) ((\c c:='Float -> Cons 1.2) (Cons 'a' Nil) : 'List a))
118focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) ((\c c:='Float -> Cons 1.2) (Cons 'a' Nil) : 'List a))
119focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (Cons 1.2 (Cons 'a' Nil) : 'List a))
120focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) ((\(c : a~'Float) -> Cons 1.2) (Cons 'a' Nil)))
121focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) ((\a:='Float -> Cons 1.2) (Cons 'a' Nil)))
122focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons 'a' Nil)))
123check: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons 'a' Nil :: 'List 'Float)))
124infer: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons 'a' Nil : 'List 'Float)))
125infer: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons 'a' Nil : 'List 'Float)))
126focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons 'a' Nil : 'List 'Float)))
127focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons {_ : _:'Type} 'a' Nil : 'List 'Float)))
128check: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons {(_ : _:'Type) :: Type} 'a' Nil : 'List 'Float)))
129infer: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons {(_ : _:'Type) : Type} 'a' Nil : 'List 'Float)))
130infer: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons {\(c : _:'Type)->c : Type} 'a' Nil : 'List 'Float)))
131infer: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons {\(d : (\c:'Type -> c))->d : Type} 'a' Nil : 'List 'Float)))
132focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons {\(d : (\c:Type -> c))->d : Type} 'a' Nil : 'List 'Float)))
133infer: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons {\(d : \c->c)->d : Type} 'a' Nil : 'List 'Float)))
134focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons {\(d : \c->c)->d : Type} 'a' Nil : 'List 'Float)))
135focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons {(\c d:c -> d) : Type} 'a' Nil : 'List 'Float)))
136infer: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons {(\c d:c -> d) : Type} 'a' Nil : 'List 'Float)))
137focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons {(\c d:c -> d) : Type} 'a' Nil : 'List 'Float)))
138focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons {\c d:c -> d:Type} 'a' Nil : 'List 'Float)))
139focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons {\c d:c -> \(e : Type~c)->d} 'a' Nil : 'List 'Float)))
140focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons {\c d:c c:=Type -> d} 'a' Nil : 'List 'Float)))
141focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons {\c c:=Type -> \d->d} 'a' Nil : 'List 'Float)))
142focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons {\c->c} 'a' Nil : 'List 'Float)))
143focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 ((\c -> Cons {c}) 'a' Nil : 'List 'Float)))
144focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (\c->Cons 'a' Nil : 'List 'Float)))
145focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 ((\c -> Cons 'a') Nil : 'List 'Float)))
146check: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 ((\c -> Cons 'a'::c) Nil : 'List 'Float)))
147infer: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 ((\c -> Cons 'a':c) Nil : 'List 'Float)))
148focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 ((\c -> Cons 'a':c) Nil : 'List 'Float)))
149focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 ((\c -> Cons \(d : c~'Char)->'a') Nil : 'List 'Float)))
150focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 ((\c -> Cons (\c:='Char -> 'a')) Nil : 'List 'Float)))
151focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 ((\c c:='Char -> Cons 'a') Nil : 'List 'Float)))
152focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 ((\c c:='Char -> Cons 'a') Nil : 'List 'Float)))
153focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 (Cons 'a' Nil : 'List 'Float)))
154focus: labEnd (\a (b : 'Num a) -> Cons (fromInt a b 1) (\a:='Float -> Cons 1.2 ((\(c : 'Empty "can not unify\n\ESC[32m'Float\ESC[m\nwith\n\ESC[32m'Char\ESC[m\n") -> Cons 'a') Nil)))
155!type error: can not unify
156'Float
157with
158'Char
159
160in builtin Nil
161
162------------ tooltips
163testdata/language-features/basic-list/list07.reject.lc 1:10-1:11 V1
164testdata/language-features/basic-list/list07.reject.lc 1:12-1:15 Float
165testdata/language-features/basic-list/list07.reject.lc 1:16-1:19 Char
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 22:30:57 +0000