summaryrefslogtreecommitdiff
path: root/testdata
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-02-01 09:25:10 +0100
committerPéter Diviánszky <divipp@gmail.com>2016-02-01 09:25:10 +0100
commit6a246f8c2553e76d70c2374ff68522c0357a7a9b (patch)
tree7731a93887dd86f957487a8551845fe0f2fe4ff1 /testdata
parent91df95d9ac2f07d418a7973ad5ecb4bdb8c2468d (diff)
erease CaseFun's type parameters
Diffstat (limited to 'testdata')
-rw-r--r--testdata/Prelude.out20
-rw-r--r--testdata/language-features/adt/adt05.out2
2 files changed, 11 insertions, 11 deletions
diff --git a/testdata/Prelude.out b/testdata/Prelude.out
index 0920bc2d..1ce1896f 100644
--- a/testdata/Prelude.out
+++ b/testdata/Prelude.out
@@ -329,7 +329,7 @@ testdata/Prelude.lc 102:6-103:40 Type
329testdata/Prelude.lc 102:22-102:36 Type 329testdata/Prelude.lc 102:22-102:36 Type
330testdata/Prelude.lc 102:23-102:29 Type 330testdata/Prelude.lc 102:23-102:29 Type
331testdata/Prelude.lc 102:31-102:35 Type 331testdata/Prelude.lc 102:31-102:35 Type
332testdata/Prelude.lc 103:7-103:17 RecordC V2 | Type | {a : List (Tuple2 String Type)} -> 'tuptype ('map (Tuple2 String Type) Type (\b:Type -> 'snd String Type b) a) -> RecordC a 332testdata/Prelude.lc 103:7-103:17 RecordC V2 | Type | {a : List (Tuple2 String Type)} -> 'tuptype ('map (Tuple2 String Type) Type ('snd String Type) a) -> RecordC a
333testdata/Prelude.lc 103:18-103:40 Type 333testdata/Prelude.lc 103:18-103:40 Type
334testdata/Prelude.lc 103:19-103:26 List Type -> Type 334testdata/Prelude.lc 103:19-103:26 List Type -> Type
335testdata/Prelude.lc 103:27-103:39 List Type 335testdata/Prelude.lc 103:27-103:39 List Type
@@ -434,16 +434,16 @@ testdata/Prelude.lc 169:45-170:164 List V2 -> V2 | V1 -> List V2 -> V2 | V10 |
434testdata/Prelude.lc 169:51-169:52 String 434testdata/Prelude.lc 169:51-169:52 String
435testdata/Prelude.lc 169:51-169:56 String->Bool 435testdata/Prelude.lc 169:51-169:56 String->Bool
436testdata/Prelude.lc 169:51-169:59 Bool 436testdata/Prelude.lc 169:51-169:59 Bool
437testdata/Prelude.lc 169:51-170:164 'tuptype ('map (Tuple2 String Type) Type (\a:Type -> 'snd String Type a) V1) -> V1 | V13 437testdata/Prelude.lc 169:51-170:164 'tuptype ('map (Tuple2 String Type) Type ('snd String Type) V1) -> V1 | V13
438testdata/Prelude.lc 169:53-169:56 {a} -> {b : Eq a} -> a -> a->Bool 438testdata/Prelude.lc 169:53-169:56 {a} -> {b : Eq a} -> a -> a->Bool
439testdata/Prelude.lc 169:57-169:59 V6 439testdata/Prelude.lc 169:57-169:59 V6
440testdata/Prelude.lc 169:62-169:65 {a} -> {b} -> Tuple2 a b -> a 440testdata/Prelude.lc 169:62-169:65 {a} -> {b} -> Tuple2 a b -> a
441testdata/Prelude.lc 169:62-169:113 V15 441testdata/Prelude.lc 169:62-169:113 V15
442testdata/Prelude.lc 169:62-170:164 Bool->V16 442testdata/Prelude.lc 169:62-170:164 Bool->V16
443testdata/Prelude.lc 169:66-169:113 Tuple2 V15 ('tuptype ('map (Tuple2 String Type) Type (\a:Type -> 'snd String Type a) V8)) 443testdata/Prelude.lc 169:66-169:113 Tuple2 V15 ('tuptype ('map (Tuple2 String Type) Type ('snd String Type) V8))
444testdata/Prelude.lc 169:67-169:79 {a} -> {b} -> a->b 444testdata/Prelude.lc 169:67-169:79 {a} -> {b} -> a->b
445testdata/Prelude.lc 169:67-169:82 {a} -> V1->a 445testdata/Prelude.lc 169:67-169:82 {a} -> V1->a
446testdata/Prelude.lc 169:67-169:109 V0 -> Tuple2 V19 ('tuptype ('map (Tuple2 String Type) Type (\b:Type -> 'snd String Type b) V12)) 446testdata/Prelude.lc 169:67-169:109 V0 -> Tuple2 V19 ('tuptype ('map (Tuple2 String Type) Type ('snd String Type) V12))
447testdata/Prelude.lc 169:84-169:109 Type 447testdata/Prelude.lc 169:84-169:109 Type
448testdata/Prelude.lc 169:85-169:86 Type 448testdata/Prelude.lc 169:85-169:86 Type
449testdata/Prelude.lc 169:88-169:95 List Type -> Type 449testdata/Prelude.lc 169:88-169:95 List Type -> Type
@@ -453,7 +453,7 @@ testdata/Prelude.lc 169:97-169:100 {a} -> {b} -> a->b -> List a -> List b
453testdata/Prelude.lc 169:97-169:104 List (Tuple2 V0 V1) -> List V2 453testdata/Prelude.lc 169:97-169:104 List (Tuple2 V0 V1) -> List V2
454testdata/Prelude.lc 169:101-169:104 {a} -> {b} -> Tuple2 a b -> b 454testdata/Prelude.lc 169:101-169:104 {a} -> {b} -> Tuple2 a b -> b
455testdata/Prelude.lc 169:105-169:107 List (Tuple2 String Type) 455testdata/Prelude.lc 169:105-169:107 List (Tuple2 String Type)
456testdata/Prelude.lc 169:110-169:112 'tuptype ('map (Tuple2 String Type) Type (\a:Type -> 'snd String Type a) V3) 456testdata/Prelude.lc 169:110-169:112 'tuptype ('map (Tuple2 String Type) Type ('snd String Type) V3)
457testdata/Prelude.lc 170:51-170:58 {a} -> {b : List (Tuple2 String Type)} -> c:String -> {d : 'isKeyC String 'TT c a b} -> RecordC b -> a 457testdata/Prelude.lc 170:51-170:58 {a} -> {b : List (Tuple2 String Type)} -> c:String -> {d : 'isKeyC String 'TT c a b} -> RecordC b -> a
458testdata/Prelude.lc 170:51-170:61 {a : List (Tuple2 String Type)} -> b:String -> {c : 'isKeyC String 'TT b V19 a} -> RecordC a -> V21 458testdata/Prelude.lc 170:51-170:61 {a : List (Tuple2 String Type)} -> b:String -> {c : 'isKeyC String 'TT b V19 a} -> RecordC a -> V21
459testdata/Prelude.lc 170:51-170:65 a:String -> {b : 'isKeyC String 'TT a V17 V10} -> RecordC V11 -> V19 459testdata/Prelude.lc 170:51-170:65 a:String -> {b : 'isKeyC String 'TT a V17 V10} -> RecordC V11 -> V19
@@ -473,13 +473,13 @@ testdata/Prelude.lc 170:89-170:90 String
473testdata/Prelude.lc 170:91-170:92 Type 473testdata/Prelude.lc 170:91-170:92 Type
474testdata/Prelude.lc 170:93-170:95 List (Tuple2 String Type) 474testdata/Prelude.lc 170:93-170:95 List (Tuple2 String Type)
475testdata/Prelude.lc 170:98-170:164 RecordC V1 475testdata/Prelude.lc 170:98-170:164 RecordC V1
476testdata/Prelude.lc 170:99-170:109 {a : List (Tuple2 String Type)} -> 'tuptype ('map (Tuple2 String Type) Type (\b:Type -> 'snd String Type b) a) -> RecordC a 476testdata/Prelude.lc 170:99-170:109 {a : List (Tuple2 String Type)} -> 'tuptype ('map (Tuple2 String Type) Type ('snd String Type) a) -> RecordC a
477testdata/Prelude.lc 170:110-170:163 'tuptype ('map (Tuple2 String Type) Type (\a:Type -> 'snd String Type a) V9) 477testdata/Prelude.lc 170:110-170:163 'tuptype ('map (Tuple2 String Type) Type ('snd String Type) V9)
478testdata/Prelude.lc 170:111-170:114 {a} -> {b} -> Tuple2 a b -> b 478testdata/Prelude.lc 170:111-170:114 {a} -> {b} -> Tuple2 a b -> b
479testdata/Prelude.lc 170:115-170:162 Tuple2 V16 ('tuptype ('map (Tuple2 String Type) Type (\a:Type -> 'snd String Type a) V9)) 479testdata/Prelude.lc 170:115-170:162 Tuple2 V16 ('tuptype ('map (Tuple2 String Type) Type ('snd String Type) V9))
480testdata/Prelude.lc 170:116-170:128 {a} -> {b} -> a->b 480testdata/Prelude.lc 170:116-170:128 {a} -> {b} -> a->b
481testdata/Prelude.lc 170:116-170:131 {a} -> V1->a 481testdata/Prelude.lc 170:116-170:131 {a} -> V1->a
482testdata/Prelude.lc 170:116-170:158 V0 -> Tuple2 V20 ('tuptype ('map (Tuple2 String Type) Type (\b:Type -> 'snd String Type b) V13)) 482testdata/Prelude.lc 170:116-170:158 V0 -> Tuple2 V20 ('tuptype ('map (Tuple2 String Type) Type ('snd String Type) V13))
483testdata/Prelude.lc 170:133-170:158 Type 483testdata/Prelude.lc 170:133-170:158 Type
484testdata/Prelude.lc 170:134-170:135 Type 484testdata/Prelude.lc 170:134-170:135 Type
485testdata/Prelude.lc 170:137-170:144 List Type -> Type 485testdata/Prelude.lc 170:137-170:144 List Type -> Type
@@ -489,7 +489,7 @@ testdata/Prelude.lc 170:146-170:149 {a} -> {b} -> a->b -> List a -> List b
489testdata/Prelude.lc 170:146-170:153 List (Tuple2 V0 V1) -> List V2 489testdata/Prelude.lc 170:146-170:153 List (Tuple2 V0 V1) -> List V2
490testdata/Prelude.lc 170:150-170:153 {a} -> {b} -> Tuple2 a b -> b 490testdata/Prelude.lc 170:150-170:153 {a} -> {b} -> Tuple2 a b -> b
491testdata/Prelude.lc 170:154-170:156 List (Tuple2 String Type) 491testdata/Prelude.lc 170:154-170:156 List (Tuple2 String Type)
492testdata/Prelude.lc 170:159-170:161 'tuptype ('map (Tuple2 String Type) Type (\a:Type -> 'snd String Type a) V4) 492testdata/Prelude.lc 170:159-170:161 'tuptype ('map (Tuple2 String Type) Type ('snd String Type) V4)
493testdata/Prelude.lc 174:1-174:4 Float -> Float -> Float -> VecS Float 4 493testdata/Prelude.lc 174:1-174:4 Float -> Float -> Float -> VecS Float 4
494testdata/Prelude.lc 174:13-174:15 {a} -> a -> a -> a -> a -> VecS a 4 494testdata/Prelude.lc 174:13-174:15 {a} -> a -> a -> a -> a -> VecS a 4
495testdata/Prelude.lc 174:13-174:17 V5 -> V6 -> V7 -> VecS V8 4 495testdata/Prelude.lc 174:13-174:17 V5 -> V6 -> V7 -> VecS V8 4
diff --git a/testdata/language-features/adt/adt05.out b/testdata/language-features/adt/adt05.out
index 29167f4f..97b40b5c 100644
--- a/testdata/language-features/adt/adt05.out
+++ b/testdata/language-features/adt/adt05.out
@@ -1 +1 @@
main \ No newline at end of file main \ No newline at end of file
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 22:31:41 +0000