summaryrefslogtreecommitdiff
path: root/testdata
diff options
context:
space:
mode:
Diffstat (limited to 'testdata')
-rw-r--r--testdata/adhoc.reject.out4
-rw-r--r--testdata/data.reject.out4
-rw-r--r--testdata/framebuffer02.reject.out6
-rw-r--r--testdata/language-features/adt/adt03.reject.out4
-rw-r--r--testdata/language-features/adt/adt04.reject.out4
-rw-r--r--testdata/language-features/adt/gadt04.reject.out8
-rw-r--r--testdata/language-features/basic-list/list14.reject.out4
-rw-r--r--testdata/language-features/basic-list/list15.reject.out4
-rw-r--r--testdata/language-features/basic-list/list16.reject.out4
-rw-r--r--testdata/language-features/basic-list/listcomp08.reject.out4
-rw-r--r--testdata/language-features/basic-values/case03.reject.out5
-rw-r--r--testdata/language-features/basic-values/case04.reject.out4
-rw-r--r--testdata/language-features/basic-values/def07.reject.out8
-rw-r--r--testdata/language-features/basic-values/if03.reject.out4
-rw-r--r--testdata/language-features/basic-values/if04.reject.out4
-rw-r--r--testdata/language-features/basic-values/operator02.reject.out8
-rw-r--r--testdata/language-features/basic-values/redefine01.reject.out8
-rw-r--r--testdata/language-features/basic-values/typesyn03.reject.out8
-rw-r--r--testdata/language-features/basic-values/typesyn04.reject.out8
-rw-r--r--testdata/language-features/guard/guard02.reject.out4
-rw-r--r--testdata/language-features/guard/guard05.reject.out4
-rw-r--r--testdata/language-features/guard/guard12.reject.out4
-rw-r--r--testdata/language-features/module/import02.reject.out4
-rw-r--r--testdata/language-features/module/import03.reject.out4
-rw-r--r--testdata/language-features/module/import04.reject.out8
-rw-r--r--testdata/language-features/module/import10.reject.out8
-rw-r--r--testdata/language-features/module/import11.reject.out8
-rw-r--r--testdata/nameclash01.reject.out4
-rw-r--r--testdata/record01.reject.out4
-rw-r--r--testdata/scope01.reject.out4
30 files changed, 120 insertions, 39 deletions
diff --git a/testdata/adhoc.reject.out b/testdata/adhoc.reject.out
index cd0ede7d..f7f62c5d 100644
--- a/testdata/adhoc.reject.out
+++ b/testdata/adhoc.reject.out
@@ -9,7 +9,9 @@ A :: 'A
9'ACase :: (b : 'A->Type) -> b A -> d:'A -> b d 9'ACase :: (b : 'A->Type) -> b A -> d:'A -> b d
10match'A :: (b : Type->Type) -> b 'A -> d:Type -> b d -> b d 10match'A :: (b : Type->Type) -> b 'A -> d:Type -> b d -> b d
11!type error: no instance of 'Component on ??? 11!type error: no instance of 'Component on ???
12in testdata/adhoc.reject.lc:4:5 12in testdata/adhoc.reject.lc:4:5:
13x = one :: Vec 4 A
14 ^^^
13 15
14------------ tooltips 16------------ tooltips
15testdata/adhoc.reject.lc 2:6-2:7 Type 17testdata/adhoc.reject.lc 2:6-2:7 Type
diff --git a/testdata/data.reject.out b/testdata/data.reject.out
index 88df338f..50aeb5df 100644
--- a/testdata/data.reject.out
+++ b/testdata/data.reject.out
@@ -3,6 +3,8 @@ data Data1 = Data1 a b c
3 ^ 3 ^
4------------ trace 4------------ trace
5'Data1 :: Type 5'Data1 :: Type
6!can't find: a in testdata/data.reject.lc:1:20 6!can't find: a in testdata/data.reject.lc:1:20:
7data Data1 = Data1 a b c
8 ^
7------------ tooltips 9------------ tooltips
8testdata/data.reject.lc 1:6-1:11 Type 10testdata/data.reject.lc 1:6-1:11 Type
diff --git a/testdata/framebuffer02.reject.out b/testdata/framebuffer02.reject.out
index 0e41a37a..08a153e6 100644
--- a/testdata/framebuffer02.reject.out
+++ b/testdata/framebuffer02.reject.out
@@ -15,7 +15,11 @@ in testdata/framebuffer02.reject.lc:2:17:
15with 15with
161 161
17 17
18in testdata/framebuffer02.reject.lc:2:17 18in testdata/framebuffer02.reject.lc:2:17:
19 let frame = FrameBuffer (colorImage1 (V4 0.0 0.0 0.4 1.0)
20 ,ColorImage @2 (V4 1.0 1.0 1.0 1.0)
21 ,colorImage1 1.0
22 )
19 23
20------------ tooltips 24------------ tooltips
21testdata/framebuffer02.reject.lc 2:17-2:28 {a : List Type} -> {b : 'sameLayerCounts a} -> HList a -> FrameBuffer (ImageLC ('head Type a)) ('map Type ImageKind GetImageKind a) 25testdata/framebuffer02.reject.lc 2:17-2:28 {a : List Type} -> {b : 'sameLayerCounts a} -> HList a -> FrameBuffer (ImageLC ('head Type a)) ('map Type ImageKind GetImageKind a)
diff --git a/testdata/language-features/adt/adt03.reject.out b/testdata/language-features/adt/adt03.reject.out
index 1e0ced78..0091dc83 100644
--- a/testdata/language-features/adt/adt03.reject.out
+++ b/testdata/language-features/adt/adt03.reject.out
@@ -3,6 +3,8 @@ data Data3 = Data3 a b c
3 ^ 3 ^
4------------ trace 4------------ trace
5'Data3 :: Type 5'Data3 :: Type
6!can't find: a in testdata/language-features/adt/adt03.reject.lc:2:20 6!can't find: a in testdata/language-features/adt/adt03.reject.lc:2:20:
7data Data3 = Data3 a b c
8 ^
7------------ tooltips 9------------ tooltips
8testdata/language-features/adt/adt03.reject.lc 2:6-2:11 Type 10testdata/language-features/adt/adt03.reject.lc 2:6-2:11 Type
diff --git a/testdata/language-features/adt/adt04.reject.out b/testdata/language-features/adt/adt04.reject.out
index 0cc615ae..bae22981 100644
--- a/testdata/language-features/adt/adt04.reject.out
+++ b/testdata/language-features/adt/adt04.reject.out
@@ -3,6 +3,8 @@ data Data3 = Data3 { x :: a , y :: b , z :: c }
3 ^ 3 ^
4------------ trace 4------------ trace
5'Data3 :: Type 5'Data3 :: Type
6!can't find: a in testdata/language-features/adt/adt04.reject.lc:2:27 6!can't find: a in testdata/language-features/adt/adt04.reject.lc:2:27:
7data Data3 = Data3 { x :: a , y :: b , z :: c }
8 ^
7------------ tooltips 9------------ tooltips
8testdata/language-features/adt/adt04.reject.lc 2:6-2:11 Type 10testdata/language-features/adt/adt04.reject.lc 2:6-2:11 Type
diff --git a/testdata/language-features/adt/gadt04.reject.out b/testdata/language-features/adt/gadt04.reject.out
index 61bd1a2e..5cd84905 100644
--- a/testdata/language-features/adt/gadt04.reject.out
+++ b/testdata/language-features/adt/gadt04.reject.out
@@ -11,8 +11,12 @@ Value :: {a} -> a -> {c:'String} -> 'M a c
11match'M :: (b : Type->Type) -> (c:Type -> d:'String -> b ('M c d)) -> f:Type -> b f -> b f 11match'M :: (b : Type->Type) -> (c:Type -> d:'String -> b ('M c d)) -> f:Type -> b f -> b f
12'M2 :: Type -> 'String->Type 12'M2 :: Type -> 'String->Type
13Value :: {a} -> a -> {c:'String} -> 'M2 a c 13Value :: {a} -> a -> {c:'String} -> 'M2 a c
14!already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3 14!already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3:
15 and at testdata/language-features/adt/gadt04.reject.lc:3:3 15 Value :: a -> forall m . M2 a m
16 ^^^^^
17 and at testdata/language-features/adt/gadt04.reject.lc:3:3:
18 Value :: a -> forall m . M a m
19 ^^^^^
16------------ tooltips 20------------ tooltips
17testdata/language-features/adt/gadt04.reject.lc 2:6-2:7 Type | Type -> String->Type 21testdata/language-features/adt/gadt04.reject.lc 2:6-2:7 Type | Type -> String->Type
18testdata/language-features/adt/gadt04.reject.lc 2:6-3:33 Type 22testdata/language-features/adt/gadt04.reject.lc 2:6-3:33 Type
diff --git a/testdata/language-features/basic-list/list14.reject.out b/testdata/language-features/basic-list/list14.reject.out
index 5e9348fe..2d6d00ea 100644
--- a/testdata/language-features/basic-list/list14.reject.out
+++ b/testdata/language-features/basic-list/list14.reject.out
@@ -13,7 +13,9 @@ value = 'h':'i':()
13with 13with
14() 14()
15 15
16in testdata/language-features/basic-list/list14.reject.lc:1:17 16in testdata/language-features/basic-list/list14.reject.lc:1:17:
17value = 'h':'i':()
18 ^^
17 19
18------------ tooltips 20------------ tooltips
19testdata/language-features/basic-list/list14.reject.lc 1:9-1:12 Char 21testdata/language-features/basic-list/list14.reject.lc 1:9-1:12 Char
diff --git a/testdata/language-features/basic-list/list15.reject.out b/testdata/language-features/basic-list/list15.reject.out
index c6f19a6e..50962086 100644
--- a/testdata/language-features/basic-list/list15.reject.out
+++ b/testdata/language-features/basic-list/list15.reject.out
@@ -13,7 +13,9 @@ value = 'h':'i':():[]
13with 13with
14() 14()
15 15
16in testdata/language-features/basic-list/list15.reject.lc:1:20 16in testdata/language-features/basic-list/list15.reject.lc:1:20:
17value = 'h':'i':():[]
18 ^^
17 19
18------------ tooltips 20------------ tooltips
19testdata/language-features/basic-list/list15.reject.lc 1:9-1:12 Char 21testdata/language-features/basic-list/list15.reject.lc 1:9-1:12 Char
diff --git a/testdata/language-features/basic-list/list16.reject.out b/testdata/language-features/basic-list/list16.reject.out
index 7f5383c9..a409c05b 100644
--- a/testdata/language-features/basic-list/list16.reject.out
+++ b/testdata/language-features/basic-list/list16.reject.out
@@ -13,7 +13,9 @@ value = 'h':'i'
13with 13with
14'Char 14'Char
15 15
16in testdata/language-features/basic-list/list16.reject.lc:1:13 16in testdata/language-features/basic-list/list16.reject.lc:1:13:
17value = 'h':'i'
18 ^^^
17 19
18------------ tooltips 20------------ tooltips
19testdata/language-features/basic-list/list16.reject.lc 1:9-1:12 Char 21testdata/language-features/basic-list/list16.reject.lc 1:9-1:12 Char
diff --git a/testdata/language-features/basic-list/listcomp08.reject.out b/testdata/language-features/basic-list/listcomp08.reject.out
index b3258802..4eae6c46 100644
--- a/testdata/language-features/basic-list/listcomp08.reject.out
+++ b/testdata/language-features/basic-list/listcomp08.reject.out
@@ -13,7 +13,9 @@ value = [x | x <- [], "not Bool"]
13with 13with
14'String 14'String
15 15
16in testdata/language-features/basic-list/listcomp08.reject.lc:1:23 16in testdata/language-features/basic-list/listcomp08.reject.lc:1:23:
17value = [x | x <- [], "not Bool"]
18 ^^^^^^^^^^
17 19
18------------ tooltips 20------------ tooltips
19testdata/language-features/basic-list/listcomp08.reject.lc 1:10-1:33 V1 -> List V1 21testdata/language-features/basic-list/listcomp08.reject.lc 1:10-1:33 V1 -> List V1
diff --git a/testdata/language-features/basic-values/case03.reject.out b/testdata/language-features/basic-values/case03.reject.out
index d9c29820..8277264e 100644
--- a/testdata/language-features/basic-values/case03.reject.out
+++ b/testdata/language-features/basic-values/case03.reject.out
@@ -6,7 +6,10 @@ value1 = case () of
6 6
7------------ trace 7------------ trace
8!type error: no instance of 'Num on ??? 8!type error: no instance of 'Num on ???
9in testdata/language-features/basic-values/case03.reject.lc:1:10 9in testdata/language-features/basic-values/case03.reject.lc:1:10:
10value1 = case () of
11 1 -> ()
12 _ -> ()
10 13
11------------ tooltips 14------------ tooltips
12testdata/language-features/basic-values/case03.reject.lc 1:10-3:10 () 15testdata/language-features/basic-values/case03.reject.lc 1:10-3:10 ()
diff --git a/testdata/language-features/basic-values/case04.reject.out b/testdata/language-features/basic-values/case04.reject.out
index 80f6a2cb..426c62f7 100644
--- a/testdata/language-features/basic-values/case04.reject.out
+++ b/testdata/language-features/basic-values/case04.reject.out
@@ -13,7 +13,9 @@ in testdata/language-features/basic-values/case04.reject.lc:2:8:
13with 13with
14'Char 14'Char
15 15
16in testdata/language-features/basic-values/case04.reject.lc:2:8 16in testdata/language-features/basic-values/case04.reject.lc:2:8:
17 1 -> '1'
18 ^^^
17 19
18------------ tooltips 20------------ tooltips
19testdata/language-features/basic-values/case04.reject.lc 2:8-2:11 Char 21testdata/language-features/basic-values/case04.reject.lc 2:8-2:11 Char
diff --git a/testdata/language-features/basic-values/def07.reject.out b/testdata/language-features/basic-values/def07.reject.out
index a8c509d2..20b424fc 100644
--- a/testdata/language-features/basic-values/def07.reject.out
+++ b/testdata/language-features/basic-values/def07.reject.out
@@ -8,8 +8,12 @@ fun 1 = '1'
8fun :: {a} -> {b : 'Eq a} -> {c : 'Num a} -> {d : 'Eq a} -> {e : 'Num a} -> a->'Char 8fun :: {a} -> {b : 'Eq a} -> {c : 'Num a} -> {d : 'Eq a} -> {e : 'Num a} -> a->'Char
9fun2 :: {a} -> {b} -> {c : 'Eq a} -> {d : 'Num a} -> a -> b->'Char 9fun2 :: {a} -> {b} -> {c : 'Eq a} -> {d : 'Num a} -> a -> b->'Char
10fun :: {a} -> a->'Char 10fun :: {a} -> a->'Char
11!already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1 11!already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1:
12 and at testdata/language-features/basic-values/def07.reject.lc:1:1 12fun _ = '_'
13^^^
14 and at testdata/language-features/basic-values/def07.reject.lc:1:1:
15fun 1 = '1'
16^^^
13------------ tooltips 17------------ tooltips
14testdata/language-features/basic-values/def07.reject.lc 1:1-1:4 {a} -> {b : Eq a} -> {c : Num a} -> {d : Eq a} -> {e : Num a} -> a->Char 18testdata/language-features/basic-values/def07.reject.lc 1:1-1:4 {a} -> {b : Eq a} -> {c : Num a} -> {d : Eq a} -> {e : Num a} -> a->Char
15testdata/language-features/basic-values/def07.reject.lc 1:9-1:12 Char 19testdata/language-features/basic-values/def07.reject.lc 1:9-1:12 Char
diff --git a/testdata/language-features/basic-values/if03.reject.out b/testdata/language-features/basic-values/if03.reject.out
index 7b4c5822..aeb988f9 100644
--- a/testdata/language-features/basic-values/if03.reject.out
+++ b/testdata/language-features/basic-values/if03.reject.out
@@ -13,7 +13,9 @@ value1 = if () then () else ()
13with 13with
14() 14()
15 15
16in testdata/language-features/basic-values/if03.reject.lc:1:13 16in testdata/language-features/basic-values/if03.reject.lc:1:13:
17value1 = if () then () else ()
18 ^^
17 19
18------------ tooltips 20------------ tooltips
19testdata/language-features/basic-values/if03.reject.lc 1:13-1:15 () 21testdata/language-features/basic-values/if03.reject.lc 1:13-1:15 ()
diff --git a/testdata/language-features/basic-values/if04.reject.out b/testdata/language-features/basic-values/if04.reject.out
index e8a8d1dc..d882b6a8 100644
--- a/testdata/language-features/basic-values/if04.reject.out
+++ b/testdata/language-features/basic-values/if04.reject.out
@@ -13,7 +13,9 @@ value1 = if True then () else '_'
13with 13with
14'Char 14'Char
15 15
16in testdata/language-features/basic-values/if04.reject.lc:1:31 16in testdata/language-features/basic-values/if04.reject.lc:1:31:
17value1 = if True then () else '_'
18 ^^^
17 19
18------------ tooltips 20------------ tooltips
19testdata/language-features/basic-values/if04.reject.lc 1:13-1:17 Bool 21testdata/language-features/basic-values/if04.reject.lc 1:13-1:17 Bool
diff --git a/testdata/language-features/basic-values/operator02.reject.out b/testdata/language-features/basic-values/operator02.reject.out
index 8f42573e..31d8ce8c 100644
--- a/testdata/language-features/basic-values/operator02.reject.out
+++ b/testdata/language-features/basic-values/operator02.reject.out
@@ -8,8 +8,12 @@ a #$# b = ()
8#$# :: {a} -> {b} -> a -> b->() 8#$# :: {a} -> {b} -> a -> b->()
9fun :: {a} -> a->() 9fun :: {a} -> a->()
10#$# :: {a} -> {b} -> a -> b->() 10#$# :: {a} -> {b} -> a -> b->()
11!already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3 11!already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3:
12 and at testdata/language-features/basic-values/operator02.reject.lc:1:3 12a #$# b = ()
13 ^^^
14 and at testdata/language-features/basic-values/operator02.reject.lc:1:3:
15a #$# b = ()
16 ^^^
13------------ tooltips 17------------ tooltips
14testdata/language-features/basic-values/operator02.reject.lc 1:3-1:6 {a} -> {b} -> a -> b->() 18testdata/language-features/basic-values/operator02.reject.lc 1:3-1:6 {a} -> {b} -> a -> b->()
15testdata/language-features/basic-values/operator02.reject.lc 1:11-1:13 () 19testdata/language-features/basic-values/operator02.reject.lc 1:11-1:13 ()
diff --git a/testdata/language-features/basic-values/redefine01.reject.out b/testdata/language-features/basic-values/redefine01.reject.out
index 8e8e26de..b532c14d 100644
--- a/testdata/language-features/basic-values/redefine01.reject.out
+++ b/testdata/language-features/basic-values/redefine01.reject.out
@@ -8,8 +8,12 @@ unit = ()
8unit :: () 8unit :: ()
9tuple :: () 9tuple :: ()
10unit :: () 10unit :: ()
11!already defined unit at testdata/language-features/basic-values/redefine01.reject.lc:3:1 11!already defined unit at testdata/language-features/basic-values/redefine01.reject.lc:3:1:
12 and at testdata/language-features/basic-values/redefine01.reject.lc:1:1 12unit = ()
13^^^^
14 and at testdata/language-features/basic-values/redefine01.reject.lc:1:1:
15unit = ()
16^^^^
13------------ tooltips 17------------ tooltips
14testdata/language-features/basic-values/redefine01.reject.lc 1:1-1:5 () 18testdata/language-features/basic-values/redefine01.reject.lc 1:1-1:5 ()
15testdata/language-features/basic-values/redefine01.reject.lc 1:8-1:10 () 19testdata/language-features/basic-values/redefine01.reject.lc 1:8-1:10 ()
diff --git a/testdata/language-features/basic-values/typesyn03.reject.out b/testdata/language-features/basic-values/typesyn03.reject.out
index 334be67f..b980b47f 100644
--- a/testdata/language-features/basic-values/typesyn03.reject.out
+++ b/testdata/language-features/basic-values/typesyn03.reject.out
@@ -7,8 +7,12 @@ type MyUnit = ()
7------------ trace 7------------ trace
8'MyUnit :: Type 8'MyUnit :: Type
9'MyUnit :: Type 9'MyUnit :: Type
10!already defined 'MyUnit at testdata/language-features/basic-values/typesyn03.reject.lc:2:6 10!already defined 'MyUnit at testdata/language-features/basic-values/typesyn03.reject.lc:2:6:
11 and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6 11type MyUnit = ()
12 ^^^^^^
13 and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6:
14type MyUnit = ()
15 ^^^^^^
12------------ tooltips 16------------ tooltips
13testdata/language-features/basic-values/typesyn03.reject.lc 1:6-1:12 Type 17testdata/language-features/basic-values/typesyn03.reject.lc 1:6-1:12 Type
14testdata/language-features/basic-values/typesyn03.reject.lc 2:6-2:12 Type 18testdata/language-features/basic-values/typesyn03.reject.lc 2:6-2:12 Type
diff --git a/testdata/language-features/basic-values/typesyn04.reject.out b/testdata/language-features/basic-values/typesyn04.reject.out
index 8dcdc1a5..2fd21298 100644
--- a/testdata/language-features/basic-values/typesyn04.reject.out
+++ b/testdata/language-features/basic-values/typesyn04.reject.out
@@ -7,8 +7,12 @@ type MyUnit = ()
7------------ trace 7------------ trace
8'MyUnit :: Type 8'MyUnit :: Type
9'MyUnit :: Type 9'MyUnit :: Type
10!already defined 'MyUnit at testdata/language-features/basic-values/typesyn04.reject.lc:2:6 10!already defined 'MyUnit at testdata/language-features/basic-values/typesyn04.reject.lc:2:6:
11 and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6 11type MyUnit = ()
12 ^^^^^^
13 and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6:
14type MyUnit = ()
15 ^^^^^^
12------------ tooltips 16------------ tooltips
13testdata/language-features/basic-values/typesyn04.reject.lc 1:6-1:12 Type 17testdata/language-features/basic-values/typesyn04.reject.lc 1:6-1:12 Type
14testdata/language-features/basic-values/typesyn04.reject.lc 2:6-2:12 Type 18testdata/language-features/basic-values/typesyn04.reject.lc 2:6-2:12 Type
diff --git a/testdata/language-features/guard/guard02.reject.out b/testdata/language-features/guard/guard02.reject.out
index 6f58ae6e..d06c5b7e 100644
--- a/testdata/language-features/guard/guard02.reject.out
+++ b/testdata/language-features/guard/guard02.reject.out
@@ -13,7 +13,9 @@ in testdata/language-features/guard/guard02.reject.lc:2:12:
13with 13with
14() 14()
15 15
16in testdata/language-features/guard/guard02.reject.lc:2:12 16in testdata/language-features/guard/guard02.reject.lc:2:12:
17 | True = ()
18 ^^
17 19
18------------ tooltips 20------------ tooltips
19testdata/language-features/guard/guard02.reject.lc 2:12-2:14 () 21testdata/language-features/guard/guard02.reject.lc 2:12-2:14 ()
diff --git a/testdata/language-features/guard/guard05.reject.out b/testdata/language-features/guard/guard05.reject.out
index 0dad2d09..7b407416 100644
--- a/testdata/language-features/guard/guard05.reject.out
+++ b/testdata/language-features/guard/guard05.reject.out
@@ -13,7 +13,9 @@ value | () = "wrong"
13with 13with
14() 14()
15 15
16in testdata/language-features/guard/guard05.reject.lc:1:9 16in testdata/language-features/guard/guard05.reject.lc:1:9:
17value | () = "wrong"
18 ^^
17 19
18------------ tooltips 20------------ tooltips
19testdata/language-features/guard/guard05.reject.lc 1:9-1:11 () 21testdata/language-features/guard/guard05.reject.lc 1:9-1:11 ()
diff --git a/testdata/language-features/guard/guard12.reject.out b/testdata/language-features/guard/guard12.reject.out
index bc3fb97a..2ede7989 100644
--- a/testdata/language-features/guard/guard12.reject.out
+++ b/testdata/language-features/guard/guard12.reject.out
@@ -13,7 +13,9 @@ fun x | x = () | otherwise = 'a'
13with 13with
14() 14()
15 15
16in testdata/language-features/guard/guard12.reject.lc:1:13 16in testdata/language-features/guard/guard12.reject.lc:1:13:
17fun x | x = () | otherwise = 'a'
18 ^^
17 19
18------------ tooltips 20------------ tooltips
19testdata/language-features/guard/guard12.reject.lc 1:13-1:15 () 21testdata/language-features/guard/guard12.reject.lc 1:13-1:15 ()
diff --git a/testdata/language-features/module/import02.reject.out b/testdata/language-features/module/import02.reject.out
index 4aa1b9c7..0bf4a3d4 100644
--- a/testdata/language-features/module/import02.reject.out
+++ b/testdata/language-features/module/import02.reject.out
@@ -2,4 +2,6 @@ can't find: hello2 in testdata/language-features/module/import02.reject.lc:4:5:
2x = hello2 2x = hello2
3 ^^^^^^ 3 ^^^^^^
4------------ trace 4------------ trace
5!can't find: hello2 in testdata/language-features/module/import02.reject.lc:4:5 5!can't find: hello2 in testdata/language-features/module/import02.reject.lc:4:5:
6x = hello2
7 ^^^^^^
diff --git a/testdata/language-features/module/import03.reject.out b/testdata/language-features/module/import03.reject.out
index 16ec4bc4..eed9a289 100644
--- a/testdata/language-features/module/import03.reject.out
+++ b/testdata/language-features/module/import03.reject.out
@@ -2,4 +2,6 @@ can't find: world in testdata/language-features/module/import03.reject.lc:3:5:
2x = world 2x = world
3 ^^^^^ 3 ^^^^^
4------------ trace 4------------ trace
5!can't find: world in testdata/language-features/module/import03.reject.lc:3:5 5!can't find: world in testdata/language-features/module/import03.reject.lc:3:5:
6x = world
7 ^^^^^
diff --git a/testdata/language-features/module/import04.reject.out b/testdata/language-features/module/import04.reject.out
index 5980131e..21739b37 100644
--- a/testdata/language-features/module/import04.reject.out
+++ b/testdata/language-features/module/import04.reject.out
@@ -6,8 +6,12 @@ hello = "hello"
6^^^^^ 6^^^^^
7------------ trace 7------------ trace
8hello :: 'String 8hello :: 'String
9!already defined hello at testdata/language-features/module/import04.reject.lc:4:1 9!already defined hello at testdata/language-features/module/import04.reject.lc:4:1:
10 and at testdata/language-features/module/Hello01.lc:3:1 10hello = "hello"
11^^^^^
12 and at testdata/language-features/module/Hello01.lc:3:1:
13hello = "hello"
14^^^^^
11------------ tooltips 15------------ tooltips
12testdata/language-features/module/import04.reject.lc 4:1-4:6 String 16testdata/language-features/module/import04.reject.lc 4:1-4:6 String
13testdata/language-features/module/import04.reject.lc 4:9-4:16 String 17testdata/language-features/module/import04.reject.lc 4:9-4:16 String
diff --git a/testdata/language-features/module/import10.reject.out b/testdata/language-features/module/import10.reject.out
index 450d9b59..d4f63553 100644
--- a/testdata/language-features/module/import10.reject.out
+++ b/testdata/language-features/module/import10.reject.out
@@ -6,7 +6,11 @@ type MyUnit = ()
6 ^^^^^^ 6 ^^^^^^
7------------ trace 7------------ trace
8'MyUnit :: Type 8'MyUnit :: Type
9!already defined 'MyUnit at testdata/language-features/module/import10.reject.lc:3:6 9!already defined 'MyUnit at testdata/language-features/module/import10.reject.lc:3:6:
10 and at testdata/language-features/module/TypeSyn01Mod.lc:2:6 10type MyUnit = ()
11 ^^^^^^
12 and at testdata/language-features/module/TypeSyn01Mod.lc:2:6:
13type MyUnit = ()
14 ^^^^^^
11------------ tooltips 15------------ tooltips
12testdata/language-features/module/import10.reject.lc 3:6-3:12 Type 16testdata/language-features/module/import10.reject.lc 3:6-3:12 Type
diff --git a/testdata/language-features/module/import11.reject.out b/testdata/language-features/module/import11.reject.out
index 3769cc07..c2d3550a 100644
--- a/testdata/language-features/module/import11.reject.out
+++ b/testdata/language-features/module/import11.reject.out
@@ -6,7 +6,11 @@ type MyUnit = ()
6 ^^^^^^ 6 ^^^^^^
7------------ trace 7------------ trace
8'MyUnit :: Type 8'MyUnit :: Type
9!already defined 'MyUnit at testdata/language-features/module/import11.reject.lc:3:6 9!already defined 'MyUnit at testdata/language-features/module/import11.reject.lc:3:6:
10 and at testdata/language-features/module/TypeSyn01Mod.lc:2:6 10type MyUnit = ()
11 ^^^^^^
12 and at testdata/language-features/module/TypeSyn01Mod.lc:2:6:
13type MyUnit = ()
14 ^^^^^^
11------------ tooltips 15------------ tooltips
12testdata/language-features/module/import11.reject.lc 3:6-3:12 Type 16testdata/language-features/module/import11.reject.lc 3:6-3:12 Type
diff --git a/testdata/nameclash01.reject.out b/testdata/nameclash01.reject.out
index b5c8ab87..2f824e15 100644
--- a/testdata/nameclash01.reject.out
+++ b/testdata/nameclash01.reject.out
@@ -13,7 +13,9 @@ in testdata/nameclash01.reject.lc:2:48:
13with 13with
14'Image 1 (Color ('VecScalar 1 'Float)) 14'Image 1 (Color ('VecScalar 1 'Float))
15 15
16in testdata/nameclash01.reject.lc:2:48 16in testdata/nameclash01.reject.lc:2:48:
17 let FrameBuffer = FrameBuffer (colorImage1 1.0)
18 ^^^
17 19
18------------ tooltips 20------------ tooltips
19testdata/nameclash01.reject.lc 2:23-2:34 {a : List Type} -> {b : 'sameLayerCounts a} -> HList a -> FrameBuffer (ImageLC ('head Type a)) ('map Type ImageKind GetImageKind a) 21testdata/nameclash01.reject.lc 2:23-2:34 {a : List Type} -> {b : 'sameLayerCounts a} -> HList a -> FrameBuffer (ImageLC ('head Type a)) ('map Type ImageKind GetImageKind a)
diff --git a/testdata/record01.reject.out b/testdata/record01.reject.out
index 26bb76e4..84273e80 100644
--- a/testdata/record01.reject.out
+++ b/testdata/record01.reject.out
@@ -13,7 +13,9 @@ in testdata/record01.reject.lc:26:15:
13with 13with
14'Float 14'Float
15 15
16in testdata/record01.reject.lc:26:15 16in testdata/record01.reject.lc:26:15:
17 in ScreenOut record.fieldA
18 ^^^^^^
17 19
18------------ tooltips 20------------ tooltips
19testdata/record01.reject.lc 2:16-2:21 (BlendEquation, BlendEquation) -> ((BlendingFactor, BlendingFactor), (BlendingFactor, BlendingFactor)) -> Vec 4 Float -> Blending Float 21testdata/record01.reject.lc 2:16-2:21 (BlendEquation, BlendEquation) -> ((BlendingFactor, BlendingFactor), (BlendingFactor, BlendingFactor)) -> Vec 4 Float -> Blending Float
diff --git a/testdata/scope01.reject.out b/testdata/scope01.reject.out
index 8473a5fa..5e807a95 100644
--- a/testdata/scope01.reject.out
+++ b/testdata/scope01.reject.out
@@ -2,6 +2,8 @@ can't find: frame' in testdata/scope01.reject.lc:3:8:
2 in frame' 2 in frame'
3 ^^^^^^ 3 ^^^^^^
4------------ trace 4------------ trace
5!can't find: frame' in testdata/scope01.reject.lc:3:8 5!can't find: frame' in testdata/scope01.reject.lc:3:8:
6 in frame'
7 ^^^^^^
6------------ tooltips 8------------ tooltips
7testdata/scope01.reject.lc 2:17-2:20 Float 9testdata/scope01.reject.lc 2:17-2:20 Float