summaryrefslogtreecommitdiff
path: root/testdata
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-05-12 17:56:48 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-05-12 17:56:48 +0200
commit4dd21ad51771619a0f750122f928872ed48e8c3b (patch)
tree759ca8b066d4bf34e83bc0b192753e5a7c6c0ddb /testdata
parent9e0ae891c28c7212ab69c117b08d5b656d74cfde (diff)
refactor hashed name handling
Diffstat (limited to 'testdata')
-rw-r--r--testdata/Builtins.out126
-rw-r--r--testdata/Internals.out24
-rw-r--r--testdata/language-features/adt/adt02.reject.out16
-rw-r--r--testdata/language-features/basic-list/list07.reject.out4
-rw-r--r--testdata/language-features/basic-list/list10.reject.out12
-rw-r--r--testdata/language-features/basic-list/listcomp08.reject.out8
-rw-r--r--testdata/language-features/basic-values/if03.reject.out8
-rw-r--r--testdata/language-features/guard/guard05.reject.out8
-rw-r--r--testdata/typeclass.out4
-rw-r--r--testdata/typesigctx.reject.out4
10 files changed, 119 insertions, 95 deletions
diff --git a/testdata/Builtins.out b/testdata/Builtins.out
index 8cfc533f..1dab081d 100644
--- a/testdata/Builtins.out
+++ b/testdata/Builtins.out
@@ -105,13 +105,13 @@ data Mat :: Nat -> Nat -> Type -> Type where
105 'Signed 105 'Signed
106 \(a :: _) -> match'Int 106 \(a :: _) -> match'Int
107 (\(_ :: _) -> _) 107 (\(_ :: _) -> _)
108 (_rhs 'CUnit) 108 (_rhs CUnit)
109 a 109 a
110 (match'Float 110 (match'Float
111 (\(_ :: _) -> _) 111 (\(_ :: _) -> _)
112 (_rhs 'CUnit) 112 (_rhs CUnit)
113 a 113 a
114 (_rhs ('CEmpty "no instance of 'Signed on ???"))) 114 (_rhs (CEmpty "no instance of 'Signed on ???")))
115 115
116'Component :: Type -> Constraint 116'Component :: Type -> Constraint
117'Component 117'Component
@@ -119,15 +119,15 @@ data Mat :: Nat -> Nat -> Type -> Type where
119 'Component 119 'Component
120 \(a :: _) -> match'Int 120 \(a :: _) -> match'Int
121 (\(_ :: _) -> _) 121 (\(_ :: _) -> _)
122 (_rhs 'CUnit) 122 (_rhs CUnit)
123 a 123 a
124 (match'Word 124 (match'Word
125 (\(_ :: _) -> _) 125 (\(_ :: _) -> _)
126 (_rhs 'CUnit) 126 (_rhs CUnit)
127 a 127 a
128 (match'Float 128 (match'Float
129 (\(_ :: _) -> _) 129 (\(_ :: _) -> _)
130 (_rhs 'CUnit) 130 (_rhs CUnit)
131 a 131 a
132 (match'VecS 132 (match'VecS
133 (\(_ :: _) -> _) 133 (\(_ :: _) -> _)
@@ -135,20 +135,20 @@ data Mat :: Nat -> Nat -> Type -> Type where
135 (\(_ :: _) -> _) 135 (\(_ :: _) -> _)
136 (case'Nat 136 (case'Nat
137 (\(_ :: _) -> _) 137 (\(_ :: _) -> _)
138 (_rhs ('CEmpty "no instance of 'Component on ???")) 138 (_rhs (CEmpty "no instance of 'Component on ???"))
139 (\(d :: _) -> case'Nat 139 (\(d :: _) -> case'Nat
140 (\(_ :: _) -> _) 140 (\(_ :: _) -> _)
141 (_rhs ('CEmpty "no instance of 'Component on ???")) 141 (_rhs (CEmpty "no instance of 'Component on ???"))
142 (\(e :: _) -> case'Nat 142 (\(e :: _) -> case'Nat
143 (\(_ :: _) -> _) 143 (\(_ :: _) -> _)
144 (_rhs 'CUnit) 144 (_rhs CUnit)
145 (\(f :: _) -> case'Nat 145 (\(f :: _) -> case'Nat
146 (\(_ :: _) -> _) 146 (\(_ :: _) -> _)
147 (_rhs 'CUnit) 147 (_rhs CUnit)
148 (\(g :: _) -> case'Nat 148 (\(g :: _) -> case'Nat
149 (\(_ :: _) -> _) 149 (\(_ :: _) -> _)
150 (_rhs 'CUnit) 150 (_rhs CUnit)
151 (\(_ :: _) -> _rhs ('CEmpty "no instance of 'Component on ???")) 151 (\(_ :: _) -> _rhs (CEmpty "no instance of 'Component on ???"))
152 g) 152 g)
153 f) 153 f)
154 e) 154 e)
@@ -159,33 +159,33 @@ data Mat :: Nat -> Nat -> Type -> Type where
159 (\(_ :: _) -> _) 159 (\(_ :: _) -> _)
160 (case'Nat 160 (case'Nat
161 (\(_ :: _) -> _) 161 (\(_ :: _) -> _)
162 (_rhs ('CEmpty "no instance of 'Component on ???")) 162 (_rhs (CEmpty "no instance of 'Component on ???"))
163 (\(h :: _) -> case'Nat 163 (\(h :: _) -> case'Nat
164 (\(_ :: _) -> _) 164 (\(_ :: _) -> _)
165 (_rhs ('CEmpty "no instance of 'Component on ???")) 165 (_rhs (CEmpty "no instance of 'Component on ???"))
166 (\(i :: _) -> case'Nat 166 (\(i :: _) -> case'Nat
167 (\(_ :: _) -> _) 167 (\(_ :: _) -> _)
168 (_rhs 'CUnit) 168 (_rhs CUnit)
169 (\(j :: _) -> case'Nat 169 (\(j :: _) -> case'Nat
170 (\(_ :: _) -> _) 170 (\(_ :: _) -> _)
171 (_rhs 'CUnit) 171 (_rhs CUnit)
172 (\(k :: _) -> case'Nat 172 (\(k :: _) -> case'Nat
173 (\(_ :: _) -> _) 173 (\(_ :: _) -> _)
174 (_rhs 'CUnit) 174 (_rhs CUnit)
175 (\(_ :: _) -> _rhs ('CEmpty "no instance of 'Component on ???")) 175 (\(_ :: _) -> _rhs (CEmpty "no instance of 'Component on ???"))
176 k) 176 k)
177 j) 177 j)
178 i) 178 i)
179 h) 179 h)
180 c) 180 c)
181 b 181 b
182 (_rhs ('CEmpty "no instance of 'Component on ???")))) 182 (_rhs (CEmpty "no instance of 'Component on ???"))))
183 a 183 a
184 (match'Bool 184 (match'Bool
185 (\(_ :: _) -> _) 185 (\(_ :: _) -> _)
186 (_rhs 'CUnit) 186 (_rhs CUnit)
187 a 187 a
188 (_rhs ('CEmpty "no instance of 'Component on ???")))))) 188 (_rhs (CEmpty "no instance of 'Component on ???"))))))
189 189
190zero :: forall a . Component a => a 190zero :: forall a . Component a => a
191zero 191zero
@@ -341,13 +341,13 @@ one
341 'Integral 341 'Integral
342 \(a :: _) -> match'Int 342 \(a :: _) -> match'Int
343 (\(_ :: _) -> _) 343 (\(_ :: _) -> _)
344 (_rhs 'CUnit) 344 (_rhs CUnit)
345 a 345 a
346 (match'Word 346 (match'Word
347 (\(_ :: _) -> _) 347 (\(_ :: _) -> _)
348 (_rhs 'CUnit) 348 (_rhs CUnit)
349 a 349 a
350 (_rhs ('CEmpty "no instance of 'Integral on ???"))) 350 (_rhs (CEmpty "no instance of 'Integral on ???")))
351 351
352'Floating :: Type -> Constraint 352'Floating :: Type -> Constraint
353'Floating 353'Floating
@@ -355,7 +355,7 @@ one
355 'Floating 355 'Floating
356 \(a :: _) -> match'Float 356 \(a :: _) -> match'Float
357 (\(_ :: _) -> _) 357 (\(_ :: _) -> _)
358 (_rhs 'CUnit) 358 (_rhs CUnit)
359 a 359 a
360 (match'VecS 360 (match'VecS
361 (\(_ :: _) -> _) 361 (\(_ :: _) -> _)
@@ -363,66 +363,66 @@ one
363 (\(_ :: _) -> _) 363 (\(_ :: _) -> _)
364 (case'Nat 364 (case'Nat
365 (\(_ :: _) -> _) 365 (\(_ :: _) -> _)
366 (_rhs ('CEmpty "no instance of 'Floating on ???")) 366 (_rhs (CEmpty "no instance of 'Floating on ???"))
367 (\(d :: _) -> case'Nat 367 (\(d :: _) -> case'Nat
368 (\(_ :: _) -> _) 368 (\(_ :: _) -> _)
369 (_rhs ('CEmpty "no instance of 'Floating on ???")) 369 (_rhs (CEmpty "no instance of 'Floating on ???"))
370 (\(e :: _) -> case'Nat 370 (\(e :: _) -> case'Nat
371 (\(_ :: _) -> _) 371 (\(_ :: _) -> _)
372 (_rhs 'CUnit) 372 (_rhs CUnit)
373 (\(f :: _) -> case'Nat 373 (\(f :: _) -> case'Nat
374 (\(_ :: _) -> _) 374 (\(_ :: _) -> _)
375 (_rhs 'CUnit) 375 (_rhs CUnit)
376 (\(g :: _) -> case'Nat 376 (\(g :: _) -> case'Nat
377 (\(_ :: _) -> _) 377 (\(_ :: _) -> _)
378 (_rhs 'CUnit) 378 (_rhs CUnit)
379 (\(_ :: _) -> _rhs ('CEmpty "no instance of 'Floating on ???")) 379 (\(_ :: _) -> _rhs (CEmpty "no instance of 'Floating on ???"))
380 g) 380 g)
381 f) 381 f)
382 e) 382 e)
383 d) 383 d)
384 c) 384 c)
385 b 385 b
386 (_rhs ('CEmpty "no instance of 'Floating on ???"))) 386 (_rhs (CEmpty "no instance of 'Floating on ???")))
387 a 387 a
388 (match'Mat 388 (match'Mat
389 (\(_ :: _) -> _) 389 (\(_ :: _) -> _)
390 (\(h :: _) (i :: _) (j :: _) -> case'Nat 390 (\(h :: _) (i :: _) (j :: _) -> case'Nat
391 (\(_ :: _) -> _) 391 (\(_ :: _) -> _)
392 (_rhs ('CEmpty "no instance of 'Floating on ???")) 392 (_rhs (CEmpty "no instance of 'Floating on ???"))
393 (\(k :: _) -> case'Nat 393 (\(k :: _) -> case'Nat
394 (\(_ :: _) -> _) 394 (\(_ :: _) -> _)
395 (_rhs ('CEmpty "no instance of 'Floating on ???")) 395 (_rhs (CEmpty "no instance of 'Floating on ???"))
396 (\(l :: _) -> case'Nat 396 (\(l :: _) -> case'Nat
397 (\(_ :: _) -> _) 397 (\(_ :: _) -> _)
398 (case'Nat 398 (case'Nat
399 (\(_ :: _) -> _) 399 (\(_ :: _) -> _)
400 (_rhs ('CEmpty "no instance of 'Floating on ???")) 400 (_rhs (CEmpty "no instance of 'Floating on ???"))
401 (\(m :: _) -> case'Nat 401 (\(m :: _) -> case'Nat
402 (\(_ :: _) -> _) 402 (\(_ :: _) -> _)
403 (_rhs ('CEmpty "no instance of 'Floating on ???")) 403 (_rhs (CEmpty "no instance of 'Floating on ???"))
404 (\(n :: _) -> case'Nat 404 (\(n :: _) -> case'Nat
405 (\(_ :: _) -> _) 405 (\(_ :: _) -> _)
406 (match'Float 406 (match'Float
407 (\(_ :: _) -> _) 407 (\(_ :: _) -> _)
408 (_rhs 'CUnit) 408 (_rhs CUnit)
409 j 409 j
410 (_rhs ('CEmpty "no instance of 'Floating on ???"))) 410 (_rhs (CEmpty "no instance of 'Floating on ???")))
411 (\(o :: _) -> case'Nat 411 (\(o :: _) -> case'Nat
412 (\(_ :: _) -> _) 412 (\(_ :: _) -> _)
413 (match'Float 413 (match'Float
414 (\(_ :: _) -> _) 414 (\(_ :: _) -> _)
415 (_rhs 'CUnit) 415 (_rhs CUnit)
416 j 416 j
417 (_rhs ('CEmpty "no instance of 'Floating on ???"))) 417 (_rhs (CEmpty "no instance of 'Floating on ???")))
418 (\(p :: _) -> case'Nat 418 (\(p :: _) -> case'Nat
419 (\(_ :: _) -> _) 419 (\(_ :: _) -> _)
420 (match'Float 420 (match'Float
421 (\(_ :: _) -> _) 421 (\(_ :: _) -> _)
422 (_rhs 'CUnit) 422 (_rhs CUnit)
423 j 423 j
424 (_rhs ('CEmpty "no instance of 'Floating on ???"))) 424 (_rhs (CEmpty "no instance of 'Floating on ???")))
425 (\(_ :: _) -> _rhs ('CEmpty "no instance of 'Floating on ???")) 425 (\(_ :: _) -> _rhs (CEmpty "no instance of 'Floating on ???"))
426 p) 426 p)
427 o) 427 o)
428 n) 428 n)
@@ -432,32 +432,32 @@ one
432 (\(_ :: _) -> _) 432 (\(_ :: _) -> _)
433 (case'Nat 433 (case'Nat
434 (\(_ :: _) -> _) 434 (\(_ :: _) -> _)
435 (_rhs ('CEmpty "no instance of 'Floating on ???")) 435 (_rhs (CEmpty "no instance of 'Floating on ???"))
436 (\(r :: _) -> case'Nat 436 (\(r :: _) -> case'Nat
437 (\(_ :: _) -> _) 437 (\(_ :: _) -> _)
438 (_rhs ('CEmpty "no instance of 'Floating on ???")) 438 (_rhs (CEmpty "no instance of 'Floating on ???"))
439 (\(s :: _) -> case'Nat 439 (\(s :: _) -> case'Nat
440 (\(_ :: _) -> _) 440 (\(_ :: _) -> _)
441 (match'Float 441 (match'Float
442 (\(_ :: _) -> _) 442 (\(_ :: _) -> _)
443 (_rhs 'CUnit) 443 (_rhs CUnit)
444 j 444 j
445 (_rhs ('CEmpty "no instance of 'Floating on ???"))) 445 (_rhs (CEmpty "no instance of 'Floating on ???")))
446 (\(t :: _) -> case'Nat 446 (\(t :: _) -> case'Nat
447 (\(_ :: _) -> _) 447 (\(_ :: _) -> _)
448 (match'Float 448 (match'Float
449 (\(_ :: _) -> _) 449 (\(_ :: _) -> _)
450 (_rhs 'CUnit) 450 (_rhs CUnit)
451 j 451 j
452 (_rhs ('CEmpty "no instance of 'Floating on ???"))) 452 (_rhs (CEmpty "no instance of 'Floating on ???")))
453 (\(u :: _) -> case'Nat 453 (\(u :: _) -> case'Nat
454 (\(_ :: _) -> _) 454 (\(_ :: _) -> _)
455 (match'Float 455 (match'Float
456 (\(_ :: _) -> _) 456 (\(_ :: _) -> _)
457 (_rhs 'CUnit) 457 (_rhs CUnit)
458 j 458 j
459 (_rhs ('CEmpty "no instance of 'Floating on ???"))) 459 (_rhs (CEmpty "no instance of 'Floating on ???")))
460 (\(_ :: _) -> _rhs ('CEmpty "no instance of 'Floating on ???")) 460 (\(_ :: _) -> _rhs (CEmpty "no instance of 'Floating on ???"))
461 u) 461 u)
462 t) 462 t)
463 s) 463 s)
@@ -467,45 +467,45 @@ one
467 (\(_ :: _) -> _) 467 (\(_ :: _) -> _)
468 (case'Nat 468 (case'Nat
469 (\(_ :: _) -> _) 469 (\(_ :: _) -> _)
470 (_rhs ('CEmpty "no instance of 'Floating on ???")) 470 (_rhs (CEmpty "no instance of 'Floating on ???"))
471 (\(w :: _) -> case'Nat 471 (\(w :: _) -> case'Nat
472 (\(_ :: _) -> _) 472 (\(_ :: _) -> _)
473 (_rhs ('CEmpty "no instance of 'Floating on ???")) 473 (_rhs (CEmpty "no instance of 'Floating on ???"))
474 (\(x :: _) -> case'Nat 474 (\(x :: _) -> case'Nat
475 (\(_ :: _) -> _) 475 (\(_ :: _) -> _)
476 (match'Float 476 (match'Float
477 (\(_ :: _) -> _) 477 (\(_ :: _) -> _)
478 (_rhs 'CUnit) 478 (_rhs CUnit)
479 j 479 j
480 (_rhs ('CEmpty "no instance of 'Floating on ???"))) 480 (_rhs (CEmpty "no instance of 'Floating on ???")))
481 (\(y :: _) -> case'Nat 481 (\(y :: _) -> case'Nat
482 (\(_ :: _) -> _) 482 (\(_ :: _) -> _)
483 (match'Float 483 (match'Float
484 (\(_ :: _) -> _) 484 (\(_ :: _) -> _)
485 (_rhs 'CUnit) 485 (_rhs CUnit)
486 j 486 j
487 (_rhs ('CEmpty "no instance of 'Floating on ???"))) 487 (_rhs (CEmpty "no instance of 'Floating on ???")))
488 (\(z :: _) -> case'Nat 488 (\(z :: _) -> case'Nat
489 (\(_ :: _) -> _) 489 (\(_ :: _) -> _)
490 (match'Float 490 (match'Float
491 (\(_ :: _) -> _) 491 (\(_ :: _) -> _)
492 (_rhs 'CUnit) 492 (_rhs CUnit)
493 j 493 j
494 (_rhs ('CEmpty "no instance of 'Floating on ???"))) 494 (_rhs (CEmpty "no instance of 'Floating on ???")))
495 (\(_ :: _) -> _rhs ('CEmpty "no instance of 'Floating on ???")) 495 (\(_ :: _) -> _rhs (CEmpty "no instance of 'Floating on ???"))
496 z) 496 z)
497 y) 497 y)
498 x) 498 x)
499 w) 499 w)
500 i) 500 i)
501 (\(_ :: _) -> _rhs ('CEmpty "no instance of 'Floating on ???")) 501 (\(_ :: _) -> _rhs (CEmpty "no instance of 'Floating on ???"))
502 v) 502 v)
503 q) 503 q)
504 l) 504 l)
505 k) 505 k)
506 h) 506 h)
507 a 507 a
508 (_rhs ('CEmpty "no instance of 'Floating on ???")))) 508 (_rhs (CEmpty "no instance of 'Floating on ???"))))
509 509
510PrimAdd :: forall (a :: _) . Num (MatVecScalarElem a) => a -> a -> a 510PrimAdd :: forall (a :: _) . Num (MatVecScalarElem a) => a -> a -> a
511 511
diff --git a/testdata/Internals.out b/testdata/Internals.out
index f8a38c6f..f473a709 100644
--- a/testdata/Internals.out
+++ b/testdata/Internals.out
@@ -116,21 +116,21 @@ isEQ
116 'Num 116 'Num
117 \(a :: _) -> match'Int 117 \(a :: _) -> match'Int
118 (\(_ :: _) -> _) 118 (\(_ :: _) -> _)
119 (_rhs 'CUnit) 119 (_rhs CUnit)
120 a 120 a
121 (match'Word 121 (match'Word
122 (\(_ :: _) -> _) 122 (\(_ :: _) -> _)
123 (_rhs 'CUnit) 123 (_rhs CUnit)
124 a 124 a
125 (match'Float 125 (match'Float
126 (\(_ :: _) -> _) 126 (\(_ :: _) -> _)
127 (_rhs 'CUnit) 127 (_rhs CUnit)
128 a 128 a
129 (match'Nat 129 (match'Nat
130 (\(_ :: _) -> _) 130 (\(_ :: _) -> _)
131 (_rhs 'CUnit) 131 (_rhs CUnit)
132 a 132 a
133 (_rhs ('CEmpty "no instance of 'Num on ???"))))) 133 (_rhs (CEmpty "no instance of 'Num on ???")))))
134 134
135fromInt :: forall a . Num a => Int -> a 135fromInt :: forall a . Num a => Int -> a
136fromInt 136fromInt
@@ -204,29 +204,29 @@ negate
204 'Eq 204 'Eq
205 \(a :: _) -> match'String 205 \(a :: _) -> match'String
206 (\(_ :: _) -> _) 206 (\(_ :: _) -> _)
207 (_rhs 'CUnit) 207 (_rhs CUnit)
208 a 208 a
209 (match'Char 209 (match'Char
210 (\(_ :: _) -> _) 210 (\(_ :: _) -> _)
211 (_rhs 'CUnit) 211 (_rhs CUnit)
212 a 212 a
213 (match'Int 213 (match'Int
214 (\(_ :: _) -> _) 214 (\(_ :: _) -> _)
215 (_rhs 'CUnit) 215 (_rhs CUnit)
216 a 216 a
217 (match'Float 217 (match'Float
218 (\(_ :: _) -> _) 218 (\(_ :: _) -> _)
219 (_rhs 'CUnit) 219 (_rhs CUnit)
220 a 220 a
221 (match'Bool 221 (match'Bool
222 (\(_ :: _) -> _) 222 (\(_ :: _) -> _)
223 (_rhs 'CUnit) 223 (_rhs CUnit)
224 a 224 a
225 (match'Nat 225 (match'Nat
226 (\(_ :: _) -> _) 226 (\(_ :: _) -> _)
227 (_rhs 'CUnit) 227 (_rhs CUnit)
228 a 228 a
229 (_rhs ('CEmpty "no instance of 'Eq on ???"))))))) 229 (_rhs (CEmpty "no instance of 'Eq on ???")))))))
230 230
231(==) :: forall a . Eq a => a -> a -> Bool 231(==) :: forall a . Eq a => a -> a -> Bool
232(==) 232(==)
diff --git a/testdata/language-features/adt/adt02.reject.out b/testdata/language-features/adt/adt02.reject.out
index 16f4ea5c..789edbde 100644
--- a/testdata/language-features/adt/adt02.reject.out
+++ b/testdata/language-features/adt/adt02.reject.out
@@ -1,7 +1,11 @@
1type error: can not unify 1type error: can not unify
2 Bool 2 /home/divip/.cabal/share/x86_64-linux-ghc-7.10.3/lambdacube-compiler-0.6.0.0/lc/Internals.lc:63:6:
3 data Bool = False | True
4 ^^^^
3with 5with
4 Int 6 /home/divip/.cabal/share/x86_64-linux-ghc-7.10.3/lambdacube-compiler-0.6.0.0/lc/Internals.lc:58:6:
7 data Int
8 ^^^
5in proj 9in proj
6------------ trace 10------------ trace
7'Data3 :: Type 11'Data3 :: Type
@@ -14,9 +18,13 @@ case'Data3
14 -> forall (h :: Data3) -> a h 18 -> forall (h :: Data3) -> a h
15match'Data3 :: forall (a :: Type -> Type) -> a Data3 -> forall b -> a b -> a b 19match'Data3 :: forall (a :: Type -> Type) -> a Data3 -> forall b -> a b -> a b
16!type error: can not unify 20!type error: can not unify
17 Bool 21 /home/divip/.cabal/share/x86_64-linux-ghc-7.10.3/lambdacube-compiler-0.6.0.0/lc/Internals.lc:63:6:
22 data Bool = False | True
23 ^^^^
18with 24with
19 Int 25 /home/divip/.cabal/share/x86_64-linux-ghc-7.10.3/lambdacube-compiler-0.6.0.0/lc/Internals.lc:58:6:
26 data Int
27 ^^^
20in proj 28in proj
21------------ tooltips 29------------ tooltips
22testdata/language-features/adt/adt02.reject.lc 2:6-2:11 30testdata/language-features/adt/adt02.reject.lc 2:6-2:11
diff --git a/testdata/language-features/basic-list/list07.reject.out b/testdata/language-features/basic-list/list07.reject.out
index a2c8ba4d..1d40adcc 100644
--- a/testdata/language-features/basic-list/list07.reject.out
+++ b/testdata/language-features/basic-list/list07.reject.out
@@ -2,13 +2,13 @@ type error: can not unify
2 Float 2 Float
3with 3with
4 Char 4 Char
5in builtin Nil 5in []
6------------ trace 6------------ trace
7!type error: can not unify 7!type error: can not unify
8 Float 8 Float
9with 9with
10 Char 10 Char
11in builtin Nil 11in []
12------------ tooltips 12------------ tooltips
13testdata/language-features/basic-list/list07.reject.lc 1:10-1:11 13testdata/language-features/basic-list/list07.reject.lc 1:10-1:11
14 _b 14 _b
diff --git a/testdata/language-features/basic-list/list10.reject.out b/testdata/language-features/basic-list/list10.reject.out
index 7b67cc51..760ca1fe 100644
--- a/testdata/language-features/basic-list/list10.reject.out
+++ b/testdata/language-features/basic-list/list10.reject.out
@@ -1,14 +1,18 @@
1type error: can not unify 1type error: can not unify
2 Int 2 /home/divip/.cabal/share/x86_64-linux-ghc-7.10.3/lambdacube-compiler-0.6.0.0/lc/Internals.lc:58:6:
3 data Int
4 ^^^
3with 5with
4 Float 6 Float
5in builtin Nil 7in []
6------------ trace 8------------ trace
7!type error: can not unify 9!type error: can not unify
8 Int 10 /home/divip/.cabal/share/x86_64-linux-ghc-7.10.3/lambdacube-compiler-0.6.0.0/lc/Internals.lc:58:6:
11 data Int
12 ^^^
9with 13with
10 Float 14 Float
11in builtin Nil 15in []
12------------ tooltips 16------------ tooltips
13testdata/language-features/basic-list/list10.reject.lc 1:10-1:11 17testdata/language-features/basic-list/list10.reject.lc 1:10-1:11
14 _b 18 _b
diff --git a/testdata/language-features/basic-list/listcomp08.reject.out b/testdata/language-features/basic-list/listcomp08.reject.out
index ae2cebaf..d57a754b 100644
--- a/testdata/language-features/basic-list/listcomp08.reject.out
+++ b/testdata/language-features/basic-list/listcomp08.reject.out
@@ -1,5 +1,7 @@
1type error: can not unify 1type error: can not unify
2 Bool 2 /home/divip/.cabal/share/x86_64-linux-ghc-7.10.3/lambdacube-compiler-0.6.0.0/lc/Internals.lc:63:6:
3 data Bool = False | True
4 ^^^^
3with 5with
4 String 6 String
5in testdata/language-features/basic-list/listcomp08.reject.lc:1:23: 7in testdata/language-features/basic-list/listcomp08.reject.lc:1:23:
@@ -7,7 +9,9 @@ value = [x | x <- [], "not Bool"]
7 ^^^^^^^^^^ 9 ^^^^^^^^^^
8------------ trace 10------------ trace
9!type error: can not unify 11!type error: can not unify
10 Bool 12 /home/divip/.cabal/share/x86_64-linux-ghc-7.10.3/lambdacube-compiler-0.6.0.0/lc/Internals.lc:63:6:
13 data Bool = False | True
14 ^^^^
11with 15with
12 String 16 String
13in testdata/language-features/basic-list/listcomp08.reject.lc:1:23: 17in testdata/language-features/basic-list/listcomp08.reject.lc:1:23:
diff --git a/testdata/language-features/basic-values/if03.reject.out b/testdata/language-features/basic-values/if03.reject.out
index e6a6f107..69873d2d 100644
--- a/testdata/language-features/basic-values/if03.reject.out
+++ b/testdata/language-features/basic-values/if03.reject.out
@@ -1,5 +1,7 @@
1type error: can not unify 1type error: can not unify
2 Bool 2 /home/divip/.cabal/share/x86_64-linux-ghc-7.10.3/lambdacube-compiler-0.6.0.0/lc/Internals.lc:63:6:
3 data Bool = False | True
4 ^^^^
3with 5with
4 () 6 ()
5in testdata/language-features/basic-values/if03.reject.lc:1:13: 7in testdata/language-features/basic-values/if03.reject.lc:1:13:
@@ -7,7 +9,9 @@ value1 = if () then () else ()
7 ^^ 9 ^^
8------------ trace 10------------ trace
9!type error: can not unify 11!type error: can not unify
10 Bool 12 /home/divip/.cabal/share/x86_64-linux-ghc-7.10.3/lambdacube-compiler-0.6.0.0/lc/Internals.lc:63:6:
13 data Bool = False | True
14 ^^^^
11with 15with
12 () 16 ()
13in testdata/language-features/basic-values/if03.reject.lc:1:13: 17in testdata/language-features/basic-values/if03.reject.lc:1:13:
diff --git a/testdata/language-features/guard/guard05.reject.out b/testdata/language-features/guard/guard05.reject.out
index cde1f7a0..c9e74395 100644
--- a/testdata/language-features/guard/guard05.reject.out
+++ b/testdata/language-features/guard/guard05.reject.out
@@ -1,5 +1,7 @@
1type error: can not unify 1type error: can not unify
2 Bool 2 /home/divip/.cabal/share/x86_64-linux-ghc-7.10.3/lambdacube-compiler-0.6.0.0/lc/Internals.lc:63:6:
3 data Bool = False | True
4 ^^^^
3with 5with
4 () 6 ()
5in testdata/language-features/guard/guard05.reject.lc:1:9: 7in testdata/language-features/guard/guard05.reject.lc:1:9:
@@ -7,7 +9,9 @@ value | () = "wrong"
7 ^^ 9 ^^
8------------ trace 10------------ trace
9!type error: can not unify 11!type error: can not unify
10 Bool 12 /home/divip/.cabal/share/x86_64-linux-ghc-7.10.3/lambdacube-compiler-0.6.0.0/lc/Internals.lc:63:6:
13 data Bool = False | True
14 ^^^^
11with 15with
12 () 16 ()
13in testdata/language-features/guard/guard05.reject.lc:1:9: 17in testdata/language-features/guard/guard05.reject.lc:1:9:
diff --git a/testdata/typeclass.out b/testdata/typeclass.out
index 03702cd7..2c1ff82a 100644
--- a/testdata/typeclass.out
+++ b/testdata/typeclass.out
@@ -29,9 +29,9 @@ not
29 'Eq 29 'Eq
30 \(a :: _) -> match'Bool 30 \(a :: _) -> match'Bool
31 (\(_ :: _) -> _) 31 (\(_ :: _) -> _)
32 (_rhs 'CUnit) 32 (_rhs CUnit)
33 a 33 a
34 (_rhs ('CEmpty "no instance of 'Eq on ???")) 34 (_rhs (CEmpty "no instance of 'Eq on ???"))
35 35
36(==) :: forall a . Eq a => a -> a -> Bool 36(==) :: forall a . Eq a => a -> a -> Bool
37(==) 37(==)
diff --git a/testdata/typesigctx.reject.out b/testdata/typesigctx.reject.out
index 48fb11a5..bff53f00 100644
--- a/testdata/typesigctx.reject.out
+++ b/testdata/typesigctx.reject.out
@@ -1,5 +1,5 @@
1type error: no instance of 'Show' on ??? 1type error: no instance of 'Show' on ???
2in Wildcard2 builtin 'Type 2in 'Type Wildcard2
3------------ trace 3------------ trace
4'X :: Type 4'X :: Type
5X :: X 5X :: X
@@ -8,7 +8,7 @@ match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b
8'Show' :: Type -> Constraint 8'Show' :: Type -> Constraint
9show' :: forall a . @(Empty "no instance of 'Show' on ???") -> a -> X 9show' :: forall a . @(Empty "no instance of 'Show' on ???") -> a -> X
10!type error: no instance of 'Show' on ??? 10!type error: no instance of 'Show' on ???
11in Wildcard2 builtin 'Type 11in 'Type Wildcard2
12------------ tooltips 12------------ tooltips
13testdata/typesigctx.reject.lc 1:6-1:7 13testdata/typesigctx.reject.lc 1:6-1:7
14 Type | Type | Type | Type | Type 14 Type | Type | Type | Type | Type
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-10 08:54:53 +0000