diff options
Diffstat (limited to 'testdata/language-features')
115 files changed, 248 insertions, 115 deletions
diff --git a/testdata/language-features/basic-list/list01.out b/testdata/language-features/basic-list/list01.out index 5df5b1a0..41b1f057 100644 --- a/testdata/language-features/basic-list/list01.out +++ b/testdata/language-features/basic-list/list01.out | |||
@@ -1,8 +1,10 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 = _rhs [] | 3 | value1 = _rhs [] |
4 | |||
3 | value2 = _rhs (fromInt 1 : fromInt 2 : fromInt 3 : fromInt 4 : []) | 5 | value2 = _rhs (fromInt 1 : fromInt 2 : fromInt 3 : fromInt 4 : []) |
6 | |||
4 | value3 = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : []) | 7 | value3 = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : []) |
5 | main is not found | ||
6 | ------------ trace | 8 | ------------ trace |
7 | value1 :: forall a . [a] | 9 | value1 :: forall a . [a] |
8 | value2 :: forall a . Num a => [a] | 10 | value2 :: forall a . Num a => [a] |
diff --git a/testdata/language-features/basic-list/list02.out b/testdata/language-features/basic-list/list02.out index dec74991..6101a1fa 100644 --- a/testdata/language-features/basic-list/list02.out +++ b/testdata/language-features/basic-list/list02.out | |||
@@ -1,8 +1,10 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 = _rhs [] | 3 | value1 = _rhs [] |
4 | |||
3 | value2 = _rhs (fromInt 1 : fromInt 2 : fromInt 3 : fromInt 4 : []) | 5 | value2 = _rhs (fromInt 1 : fromInt 2 : fromInt 3 : fromInt 4 : []) |
6 | |||
4 | value3 = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : []) | 7 | value3 = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : []) |
5 | main is not found | ||
6 | ------------ trace | 8 | ------------ trace |
7 | value1 :: forall a . [a] | 9 | value1 :: forall a . [a] |
8 | value2 :: forall a . Num a => [a] | 10 | value2 :: forall a . Num a => [a] |
diff --git a/testdata/language-features/basic-list/list08.out b/testdata/language-features/basic-list/list08.out index aebab457..800c75aa 100644 --- a/testdata/language-features/basic-list/list08.out +++ b/testdata/language-features/basic-list/list08.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value = _rhs (fromInt 1 : 1.2 : []) | 3 | value = _rhs (fromInt 1 : 1.2 : []) |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | value :: [Float] | 5 | value :: [Float] |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/basic-list/list09.out b/testdata/language-features/basic-list/list09.out index 11abf486..79bb9d42 100644 --- a/testdata/language-features/basic-list/list09.out +++ b/testdata/language-features/basic-list/list09.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value = _rhs (fromInt 1 : 1.2 : [] :: [Float]) | 3 | value = _rhs (fromInt 1 : 1.2 : [] :: [Float]) |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | value :: [Float] | 5 | value :: [Float] |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/basic-list/list11.out b/testdata/language-features/basic-list/list11.out index b70c324c..005c6959 100644 --- a/testdata/language-features/basic-list/list11.out +++ b/testdata/language-features/basic-list/list11.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value = _rhs (fromInt 1 : []) | 3 | value = _rhs (fromInt 1 : []) |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | value :: forall a . Num a => [a] | 5 | value :: forall a . Num a => [a] |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/basic-list/list12.out b/testdata/language-features/basic-list/list12.out index 5a5f796d..75cc03e1 100644 --- a/testdata/language-features/basic-list/list12.out +++ b/testdata/language-features/basic-list/list12.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value = _rhs (fromInt 1 : fromInt 2 : fromInt 3 : fromInt 4 : fromInt 5 : []) | 3 | value = _rhs (fromInt 1 : fromInt 2 : fromInt 3 : fromInt 4 : fromInt 5 : []) |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | value :: forall a . Num a => [a] | 5 | value :: forall a . Num a => [a] |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/basic-list/list13.out b/testdata/language-features/basic-list/list13.out index 66403b86..9e72ee74 100644 --- a/testdata/language-features/basic-list/list13.out +++ b/testdata/language-features/basic-list/list13.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : []) | 3 | value = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : []) |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | value :: [Char] | 5 | value :: [Char] |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/basic-list/listcomp01.out b/testdata/language-features/basic-list/listcomp01.out index fe914476..52af0c94 100644 --- a/testdata/language-features/basic-list/listcomp01.out +++ b/testdata/language-features/basic-list/listcomp01.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value = _rhs (concatMap (\_ -> HNil : []) (HNil : HNil : HNil : HNil : [])) | 3 | value = _rhs (concatMap (\_ -> HNil : []) (HNil : HNil : HNil : HNil : [])) |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | value :: [()] | 5 | value :: [()] |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/basic-list/listcomp02.out b/testdata/language-features/basic-list/listcomp02.out index 8d7d9de5..7a2a2998 100644 --- a/testdata/language-features/basic-list/listcomp02.out +++ b/testdata/language-features/basic-list/listcomp02.out | |||
@@ -1,7 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | l = _rhs (HNil : HNil : HNil : HNil : []) | 3 | l = _rhs (HNil : HNil : HNil : HNil : []) |
4 | |||
3 | value = _rhs (concatMap (\(a :: _) -> a : []) l) | 5 | value = _rhs (concatMap (\(a :: _) -> a : []) l) |
4 | main is not found | ||
5 | ------------ trace | 6 | ------------ trace |
6 | l :: [()] | 7 | l :: [()] |
7 | value :: [()] | 8 | value :: [()] |
diff --git a/testdata/language-features/basic-list/listcomp03.out b/testdata/language-features/basic-list/listcomp03.out index 3de6ae88..ee6dfd4a 100644 --- a/testdata/language-features/basic-list/listcomp03.out +++ b/testdata/language-features/basic-list/listcomp03.out | |||
@@ -1,10 +1,10 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value | 3 | value |
3 | = _rhs | 4 | = _rhs |
4 | (concatMap | 5 | (concatMap |
5 | (\_ -> primIfThenElse False (HNil : []) []) | 6 | (\_ -> primIfThenElse False (HNil : []) []) |
6 | (HNil : HNil : HNil : HNil : [])) | 7 | (HNil : HNil : HNil : HNil : [])) |
7 | main is not found | ||
8 | ------------ trace | 8 | ------------ trace |
9 | value :: [()] | 9 | value :: [()] |
10 | ------------ tooltips | 10 | ------------ tooltips |
diff --git a/testdata/language-features/basic-list/listcomp04.out b/testdata/language-features/basic-list/listcomp04.out index dce40a1a..1069a83b 100644 --- a/testdata/language-features/basic-list/listcomp04.out +++ b/testdata/language-features/basic-list/listcomp04.out | |||
@@ -1,7 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | l = _rhs (HNil : HNil : HNil : HNil : []) | 3 | l = _rhs (HNil : HNil : HNil : HNil : []) |
4 | |||
3 | value = _rhs (concatMap (\_ -> concatMap (\_ -> HNil : []) l) l) | 5 | value = _rhs (concatMap (\_ -> concatMap (\_ -> HNil : []) l) l) |
4 | main is not found | ||
5 | ------------ trace | 6 | ------------ trace |
6 | l :: [()] | 7 | l :: [()] |
7 | value :: [()] | 8 | value :: [()] |
diff --git a/testdata/language-features/basic-list/listcomp05.out b/testdata/language-features/basic-list/listcomp05.out index 69de4559..b9c7afdb 100644 --- a/testdata/language-features/basic-list/listcomp05.out +++ b/testdata/language-features/basic-list/listcomp05.out | |||
@@ -1,10 +1,10 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value | 3 | value |
3 | = _rhs | 4 | = _rhs |
4 | (concatMap | 5 | (concatMap |
5 | (\_ (a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> b : []) | 6 | (\_ (a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> b : []) |
6 | (HNil : HNil : [])) | 7 | (HNil : HNil : [])) |
7 | main is not found | ||
8 | ------------ trace | 8 | ------------ trace |
9 | value :: [()] | 9 | value :: [()] |
10 | ------------ tooltips | 10 | ------------ tooltips |
diff --git a/testdata/language-features/basic-list/listcomp06.out b/testdata/language-features/basic-list/listcomp06.out index 590793bb..51a69cf6 100644 --- a/testdata/language-features/basic-list/listcomp06.out +++ b/testdata/language-features/basic-list/listcomp06.out | |||
@@ -1,3 +1,4 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 | 3 | value1 |
3 | = _rhs | 4 | = _rhs |
@@ -7,6 +8,7 @@ value1 | |||
7 | (b : []) | 8 | (b : []) |
8 | []) | 9 | []) |
9 | (HNil : HNil : [])) | 10 | (HNil : HNil : [])) |
11 | |||
10 | value2 | 12 | value2 |
11 | = _rhs | 13 | = _rhs |
12 | (concatMap | 14 | (concatMap |
@@ -15,7 +17,6 @@ value2 | |||
15 | (\(a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> b : []) | 17 | (\(a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> b : []) |
16 | []) | 18 | []) |
17 | (HNil : HNil : [])) | 19 | (HNil : HNil : [])) |
18 | main is not found | ||
19 | ------------ trace | 20 | ------------ trace |
20 | value1 :: [()] | 21 | value1 :: [()] |
21 | value2 :: [()] | 22 | value2 :: [()] |
diff --git a/testdata/language-features/basic-list/listcomp07.out b/testdata/language-features/basic-list/listcomp07.out index a3e5a671..483d128f 100644 --- a/testdata/language-features/basic-list/listcomp07.out +++ b/testdata/language-features/basic-list/listcomp07.out | |||
@@ -1,3 +1,4 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 | 3 | value1 |
3 | = _rhs | 4 | = _rhs |
@@ -7,6 +8,7 @@ value1 | |||
7 | (\(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : []) | 8 | (\(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : []) |
8 | []) | 9 | []) |
9 | (HNil : HNil : [])) | 10 | (HNil : HNil : [])) |
11 | |||
10 | value2 | 12 | value2 |
11 | = _rhs | 13 | = _rhs |
12 | (concatMap | 14 | (concatMap |
@@ -15,6 +17,7 @@ value2 | |||
15 | (\(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : []) | 17 | (\(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : []) |
16 | []) | 18 | []) |
17 | (HNil : HNil : [])) | 19 | (HNil : HNil : [])) |
20 | |||
18 | value3 | 21 | value3 |
19 | = _rhs | 22 | = _rhs |
20 | (concatMap | 23 | (concatMap |
@@ -23,7 +26,6 @@ value3 | |||
23 | (\(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : []) | 26 | (\(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : []) |
24 | []) | 27 | []) |
25 | (HNil : HNil : [])) | 28 | (HNil : HNil : [])) |
26 | main is not found | ||
27 | ------------ trace | 29 | ------------ trace |
28 | value1 :: [()] | 30 | value1 :: [()] |
29 | value2 :: [()] | 31 | value2 :: [()] |
diff --git a/testdata/language-features/basic-list/listcomp09.out b/testdata/language-features/basic-list/listcomp09.out index 96351e61..75d2dbf5 100644 --- a/testdata/language-features/basic-list/listcomp09.out +++ b/testdata/language-features/basic-list/listcomp09.out | |||
@@ -1,7 +1,7 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 | 3 | value1 |
3 | = _rhs (concatMap (\_ -> (\(a :: _) -> hlistNilCase _ "Hello" a) : []) []) | 4 | = _rhs (concatMap (\_ -> (\(a :: _) -> hlistNilCase _ "Hello" a) : []) []) |
4 | main is not found | ||
5 | ------------ trace | 5 | ------------ trace |
6 | value1 :: Type => [() -> String] | 6 | value1 :: Type => [() -> String] |
7 | ------------ tooltips | 7 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/bool01.out b/testdata/language-features/basic-values/bool01.out index 80315cf0..339dbe3a 100644 --- a/testdata/language-features/basic-values/bool01.out +++ b/testdata/language-features/basic-values/bool01.out | |||
@@ -1,7 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 = _rhs True | 3 | value1 = _rhs True |
4 | |||
3 | value2 = _rhs False | 5 | value2 = _rhs False |
4 | main is not found | ||
5 | ------------ trace | 6 | ------------ trace |
6 | value1 :: Bool | 7 | value1 :: Bool |
7 | value2 :: Bool | 8 | value2 :: Bool |
diff --git a/testdata/language-features/basic-values/case01.out b/testdata/language-features/basic-values/case01.out index 8b4334e6..7a952e7a 100644 --- a/testdata/language-features/basic-values/case01.out +++ b/testdata/language-features/basic-values/case01.out | |||
@@ -1,11 +1,16 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) | 3 | value1 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) |
4 | |||
3 | value2 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) | 5 | value2 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) |
6 | |||
4 | value3 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) | 7 | value3 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) |
8 | |||
5 | value4 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) | 9 | value4 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) |
10 | |||
6 | value5 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) | 11 | value5 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) |
12 | |||
7 | value6 = _rhs ((\_ -> HNil) HNil) | 13 | value6 = _rhs ((\_ -> HNil) HNil) |
8 | main is not found | ||
9 | ------------ trace | 14 | ------------ trace |
10 | value1 :: () | 15 | value1 :: () |
11 | value2 :: () | 16 | value2 :: () |
diff --git a/testdata/language-features/basic-values/case02.out b/testdata/language-features/basic-values/case02.out index a5f57070..9456dae9 100644 --- a/testdata/language-features/basic-values/case02.out +++ b/testdata/language-features/basic-values/case02.out | |||
@@ -1,7 +1,9 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 | 3 | value1 |
3 | = _rhs | 4 | = _rhs |
4 | ((\(a :: _) -> case'Bool (\_ -> _) HNil HNil (fromInt 1 == a)) (fromInt 1)) | 5 | ((\(a :: _) -> case'Bool (\_ -> _) HNil HNil (fromInt 1 == a)) (fromInt 1)) |
6 | |||
5 | value2 | 7 | value2 |
6 | = _rhs | 8 | = _rhs |
7 | ((\(a :: _) -> case'Bool | 9 | ((\(a :: _) -> case'Bool |
@@ -10,7 +12,6 @@ value2 | |||
10 | "1" | 12 | "1" |
11 | (fromInt 1 == a)) | 13 | (fromInt 1 == a)) |
12 | (fromInt 2)) | 14 | (fromInt 2)) |
13 | main is not found | ||
14 | ------------ trace | 15 | ------------ trace |
15 | value1 :: forall a . (Eq a, Num a) => () | 16 | value1 :: forall a . (Eq a, Num a) => () |
16 | value2 :: forall a . (Eq a, Num a, Eq a, Num a) => String | 17 | value2 :: forall a . (Eq a, Num a, Eq a, Num a) => String |
diff --git a/testdata/language-features/basic-values/case05.out b/testdata/language-features/basic-values/case05.out index e099d30d..2c1ab232 100644 --- a/testdata/language-features/basic-values/case05.out +++ b/testdata/language-features/basic-values/case05.out | |||
@@ -1,8 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value | 3 | value |
3 | = \(a :: _) -> _rhs | 4 | = \(a :: _) -> _rhs |
4 | ((\(b :: _) -> case'Bool (\_ -> _) undefined '1' (fromInt 1 == b)) a) | 5 | ((\(b :: _) -> case'Bool (\_ -> _) undefined '1' (fromInt 1 == b)) a) |
5 | main is not found | ||
6 | ------------ trace | 6 | ------------ trace |
7 | value :: forall a . (Eq a, Num a) => a -> Char | 7 | value :: forall a . (Eq a, Num a) => a -> Char |
8 | ------------ tooltips | 8 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/case06.out b/testdata/language-features/basic-values/case06.out index aaeff605..65999ca4 100644 --- a/testdata/language-features/basic-values/case06.out +++ b/testdata/language-features/basic-values/case06.out | |||
@@ -1,8 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value | 3 | value |
3 | = \(a :: _) -> _rhs | 4 | = \(a :: _) -> _rhs |
4 | ((\(b :: _) -> case'Bool (\_ -> _) '_' '1' (fromInt 1 == b)) a) | 5 | ((\(b :: _) -> case'Bool (\_ -> _) '_' '1' (fromInt 1 == b)) a) |
5 | main is not found | ||
6 | ------------ trace | 6 | ------------ trace |
7 | value :: forall a . (Eq a, Num a) => a -> Char | 7 | value :: forall a . (Eq a, Num a) => a -> Char |
8 | ------------ tooltips | 8 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/data01.out b/testdata/language-features/basic-values/data01.out index 7845cf0a..9efc26b6 100644 --- a/testdata/language-features/basic-values/data01.out +++ b/testdata/language-features/basic-values/data01.out | |||
@@ -1,17 +1,19 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | data A :: Type where | 3 | data A :: Type where |
3 | B :: A | 4 | B :: A |
4 | C :: A | 5 | C :: A |
5 | D :: A | 6 | D :: A |
7 | |||
6 | data E :: Type where | 8 | data E :: Type where |
7 | F :: E | 9 | F :: E |
8 | G :: HList '[] -> E | 10 | G :: HList '[] -> E |
9 | H :: E | 11 | H :: E |
12 | |||
10 | data D1 :: Type where | 13 | data D1 :: Type where |
11 | C1 :: D1 | 14 | C1 :: D1 |
12 | C2 :: HList '[] -> D1 | 15 | C2 :: HList '[] -> D1 |
13 | C3 :: D1 | 16 | C3 :: D1 |
14 | main is not found | ||
15 | ------------ trace | 17 | ------------ trace |
16 | 'A :: Type | 18 | 'A :: Type |
17 | B :: A | 19 | B :: A |
diff --git a/testdata/language-features/basic-values/def01.out b/testdata/language-features/basic-values/def01.out index 6aa4d014..520b99c3 100644 --- a/testdata/language-features/basic-values/def01.out +++ b/testdata/language-features/basic-values/def01.out | |||
@@ -1,8 +1,10 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | unit = _rhs HNil | 3 | unit = _rhs HNil |
4 | |||
3 | fun1 = \_ -> _rhs (fromInt 1) | 5 | fun1 = \_ -> _rhs (fromInt 1) |
6 | |||
4 | fun2 = \_ _ _ _ _ -> _rhs 'c' | 7 | fun2 = \_ _ _ _ _ -> _rhs 'c' |
5 | main is not found | ||
6 | ------------ trace | 8 | ------------ trace |
7 | unit :: () | 9 | unit :: () |
8 | fun1 :: forall a b . Num b => a -> b | 10 | fun1 :: forall a b . Num b => a -> b |
diff --git a/testdata/language-features/basic-values/def03.out b/testdata/language-features/basic-values/def03.out index ceb6a8e1..c4bed094 100644 --- a/testdata/language-features/basic-values/def03.out +++ b/testdata/language-features/basic-values/def03.out | |||
@@ -1,3 +1,4 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | fun | 3 | fun |
3 | = \(a :: _) -> case'Bool | 4 | = \(a :: _) -> case'Bool |
@@ -5,7 +6,6 @@ fun | |||
5 | (case'Bool (\_ -> _) (_rhs undefined) (_rhs '2') (fromInt 2 == a)) | 6 | (case'Bool (\_ -> _) (_rhs undefined) (_rhs '2') (fromInt 2 == a)) |
6 | (_rhs '1') | 7 | (_rhs '1') |
7 | (fromInt 1 == a) | 8 | (fromInt 1 == a) |
8 | main is not found | ||
9 | ------------ trace | 9 | ------------ trace |
10 | fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char | 10 | fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char |
11 | ------------ tooltips | 11 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/def04.out b/testdata/language-features/basic-values/def04.out index e52f9d64..e6dfbba7 100644 --- a/testdata/language-features/basic-values/def04.out +++ b/testdata/language-features/basic-values/def04.out | |||
@@ -1,3 +1,4 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | fun | 3 | fun |
3 | = \(a :: _) -> case'Bool | 4 | = \(a :: _) -> case'Bool |
@@ -5,13 +6,13 @@ fun | |||
5 | (case'Bool (\_ -> _) (_rhs '_') (_rhs '2') (fromInt 2 == a)) | 6 | (case'Bool (\_ -> _) (_rhs '_') (_rhs '2') (fromInt 2 == a)) |
6 | (_rhs '1') | 7 | (_rhs '1') |
7 | (fromInt 1 == a) | 8 | (fromInt 1 == a) |
9 | |||
8 | fun2 | 10 | fun2 |
9 | = \(a :: _) _ -> case'Bool | 11 | = \(a :: _) _ -> case'Bool |
10 | (\_ -> _) | 12 | (\_ -> _) |
11 | (case'Bool (\_ -> _) (_rhs '_') (_rhs '2') (fromInt 2 == a)) | 13 | (case'Bool (\_ -> _) (_rhs '_') (_rhs '2') (fromInt 2 == a)) |
12 | (_rhs '1') | 14 | (_rhs '1') |
13 | (fromInt 1 == a) | 15 | (fromInt 1 == a) |
14 | main is not found | ||
15 | ------------ trace | 16 | ------------ trace |
16 | fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char | 17 | fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char |
17 | fun2 :: forall a b . (Eq a, Num a, Eq a, Num a) => a -> b -> Char | 18 | fun2 :: forall a b . (Eq a, Num a, Eq a, Num a) => a -> b -> Char |
diff --git a/testdata/language-features/basic-values/deforder01.out b/testdata/language-features/basic-values/deforder01.out index 2d6ace49..14117b02 100644 --- a/testdata/language-features/basic-values/deforder01.out +++ b/testdata/language-features/basic-values/deforder01.out | |||
@@ -1,7 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | x = _rhs '1' | 3 | x = _rhs '1' |
4 | |||
3 | y = _rhs x | 5 | y = _rhs x |
4 | main is not found | ||
5 | ------------ trace | 6 | ------------ trace |
6 | x :: Char | 7 | x :: Char |
7 | y :: Char | 8 | y :: Char |
diff --git a/testdata/language-features/basic-values/deforder02.out b/testdata/language-features/basic-values/deforder02.out index 7a36e690..23d62c33 100644 --- a/testdata/language-features/basic-values/deforder02.out +++ b/testdata/language-features/basic-values/deforder02.out | |||
@@ -1,7 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | x = _rhs '1' | 3 | x = _rhs '1' |
4 | |||
3 | y = _rhs x | 5 | y = _rhs x |
4 | main is not found | ||
5 | ------------ trace | 6 | ------------ trace |
6 | x :: Char | 7 | x :: Char |
7 | y :: Char | 8 | y :: Char |
diff --git a/testdata/language-features/basic-values/deforder03.out b/testdata/language-features/basic-values/deforder03.out index efc49155..8065aa9f 100644 --- a/testdata/language-features/basic-values/deforder03.out +++ b/testdata/language-features/basic-values/deforder03.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value = _rhs \(a := _rhs HNil) (b := _rhs a) -> '1' | 3 | value = _rhs \(a := _rhs HNil) (b := _rhs a) -> '1' |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | value :: Char | 5 | value :: Char |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/deforder04.out b/testdata/language-features/basic-values/deforder04.out index 05e51d11..8f80d78e 100644 --- a/testdata/language-features/basic-values/deforder04.out +++ b/testdata/language-features/basic-values/deforder04.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value = _rhs \(a := _rhs HNil) (b := _rhs a) -> '1' | 3 | value = _rhs \(a := _rhs HNil) (b := _rhs a) -> '1' |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | value :: Char | 5 | value :: Char |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/deforder05.out b/testdata/language-features/basic-values/deforder05.out index b5da0fdd..853498eb 100644 --- a/testdata/language-features/basic-values/deforder05.out +++ b/testdata/language-features/basic-values/deforder05.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value = _rhs \(a := _rhs HNil) (b := _rhs a) -> '1' | 3 | value = _rhs \(a := _rhs HNil) (b := _rhs a) -> '1' |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | value :: Char | 5 | value :: Char |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/deforder06.out b/testdata/language-features/basic-values/deforder06.out index 7c4a2b4a..565b3ee0 100644 --- a/testdata/language-features/basic-values/deforder06.out +++ b/testdata/language-features/basic-values/deforder06.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value = _rhs \(a := _rhs HNil) (b := _rhs a) -> '1' | 3 | value = _rhs \(a := _rhs HNil) (b := _rhs a) -> '1' |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | value :: Char | 5 | value :: Char |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/fixity01.out b/testdata/language-features/basic-values/fixity01.out index bcc2a126..22e2ae45 100644 --- a/testdata/language-features/basic-values/fixity01.out +++ b/testdata/language-features/basic-values/fixity01.out | |||
@@ -1,13 +1,20 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | funL = \(a :: _) _ -> _rhs a | 3 | funL = \(a :: _) _ -> _rhs a |
4 | |||
3 | funR = \(a :: _) _ -> _rhs a | 5 | funR = \(a :: _) _ -> _rhs a |
6 | |||
4 | (<<<<) = \(a :: _) _ -> _rhs a | 7 | (<<<<) = \(a :: _) _ -> _rhs a |
8 | |||
5 | (>>>>) = \_ (a :: _) -> _rhs a | 9 | (>>>>) = \_ (a :: _) -> _rhs a |
10 | |||
6 | infixr 7 funL | 11 | infixr 7 funL |
12 | |||
7 | infixr 7 <<<< | 13 | infixr 7 <<<< |
14 | |||
8 | infixr 6 >>>> | 15 | infixr 6 >>>> |
16 | |||
9 | infixr 6 funR | 17 | infixr 6 funR |
10 | main is not found | ||
11 | ------------ trace | 18 | ------------ trace |
12 | funL :: forall a b . a -> b -> a | 19 | funL :: forall a b . a -> b -> a |
13 | funR :: forall a b . a -> b -> a | 20 | funR :: forall a b . a -> b -> a |
diff --git a/testdata/language-features/basic-values/fixity02.out b/testdata/language-features/basic-values/fixity02.out index acdd5309..841eda57 100644 --- a/testdata/language-features/basic-values/fixity02.out +++ b/testdata/language-features/basic-values/fixity02.out | |||
@@ -1,29 +1,52 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | funL = \(a :: _) _ -> _rhs a | 3 | funL = \(a :: _) _ -> _rhs a |
4 | |||
3 | funR = \_ (a :: _) -> _rhs a | 5 | funR = \_ (a :: _) -> _rhs a |
6 | |||
4 | (<@) = \(a :: _) _ -> _rhs a | 7 | (<@) = \(a :: _) _ -> _rhs a |
8 | |||
5 | (@>) = \_ (a :: _) -> _rhs a | 9 | (@>) = \_ (a :: _) -> _rhs a |
10 | |||
6 | infixr 7 funL | 11 | infixr 7 funL |
12 | |||
7 | infixr 7 <@ | 13 | infixr 7 <@ |
14 | |||
8 | infixr 6 @> | 15 | infixr 6 @> |
16 | |||
9 | infixr 6 funR | 17 | infixr 6 funR |
18 | |||
10 | value1 = _rhs (HNil @> 'c' @> "hi" @> 1.2 :: Float) | 19 | value1 = _rhs (HNil @> 'c' @> "hi" @> 1.2 :: Float) |
20 | |||
11 | value2 = _rhs (HNil @> 'c' <@ "hi" @> 1.2 :: Float) | 21 | value2 = _rhs (HNil @> 'c' <@ "hi" @> 1.2 :: Float) |
22 | |||
12 | value3 = _rhs (HNil <@ 'c' @> "hi" @> 1.2 :: Float) | 23 | value3 = _rhs (HNil <@ 'c' @> "hi" @> 1.2 :: Float) |
24 | |||
13 | value4 = _rhs (HNil <@ 'c' <@ "hi" @> 1.2 :: Float) | 25 | value4 = _rhs (HNil <@ 'c' <@ "hi" @> 1.2 :: Float) |
26 | |||
14 | value5 = _rhs (HNil @> 'c' @> "hi" <@ 1.2 :: String) | 27 | value5 = _rhs (HNil @> 'c' @> "hi" <@ 1.2 :: String) |
28 | |||
15 | value6 = _rhs (HNil @> 'c' <@ "hi" <@ 1.2 :: Char) | 29 | value6 = _rhs (HNil @> 'c' <@ "hi" <@ 1.2 :: Char) |
30 | |||
16 | value7 = _rhs (HNil <@ 'c' @> "hi" <@ 1.2 :: String) | 31 | value7 = _rhs (HNil <@ 'c' @> "hi" <@ 1.2 :: String) |
32 | |||
17 | value8 = _rhs (HNil <@ 'c' <@ "hi" <@ 1.2 :: HList '[]) | 33 | value8 = _rhs (HNil <@ 'c' <@ "hi" <@ 1.2 :: HList '[]) |
34 | |||
18 | funValue1 = _rhs (HNil `funR` 'c' `funR` "hi" `funR` 1.2 :: Float) | 35 | funValue1 = _rhs (HNil `funR` 'c' `funR` "hi" `funR` 1.2 :: Float) |
36 | |||
19 | funValue2 = _rhs (HNil `funR` 'c' `funL` "hi" `funR` 1.2 :: Float) | 37 | funValue2 = _rhs (HNil `funR` 'c' `funL` "hi" `funR` 1.2 :: Float) |
38 | |||
20 | funValue3 = _rhs (HNil `funL` 'c' `funR` "hi" `funR` 1.2 :: Float) | 39 | funValue3 = _rhs (HNil `funL` 'c' `funR` "hi" `funR` 1.2 :: Float) |
40 | |||
21 | funValue4 = _rhs (HNil `funL` 'c' `funL` "hi" `funR` 1.2 :: Float) | 41 | funValue4 = _rhs (HNil `funL` 'c' `funL` "hi" `funR` 1.2 :: Float) |
42 | |||
22 | funValue5 = _rhs (HNil `funR` 'c' `funR` "hi" `funL` 1.2 :: String) | 43 | funValue5 = _rhs (HNil `funR` 'c' `funR` "hi" `funL` 1.2 :: String) |
44 | |||
23 | funValue6 = _rhs (HNil `funR` 'c' `funL` "hi" `funL` 1.2 :: Char) | 45 | funValue6 = _rhs (HNil `funR` 'c' `funL` "hi" `funL` 1.2 :: Char) |
46 | |||
24 | funValue7 = _rhs (HNil `funL` 'c' `funR` "hi" `funL` 1.2 :: String) | 47 | funValue7 = _rhs (HNil `funL` 'c' `funR` "hi" `funL` 1.2 :: String) |
48 | |||
25 | funValue8 = _rhs (HNil `funL` 'c' `funL` "hi" `funL` 1.2 :: HList '[]) | 49 | funValue8 = _rhs (HNil `funL` 'c' `funL` "hi" `funL` 1.2 :: HList '[]) |
26 | main is not found | ||
27 | ------------ trace | 50 | ------------ trace |
28 | funL :: forall a b . a -> b -> a | 51 | funL :: forall a b . a -> b -> a |
29 | funR :: forall a b . a -> b -> b | 52 | funR :: forall a b . a -> b -> b |
diff --git a/testdata/language-features/basic-values/if01.out b/testdata/language-features/basic-values/if01.out index b16d8586..fdd04aba 100644 --- a/testdata/language-features/basic-values/if01.out +++ b/testdata/language-features/basic-values/if01.out | |||
@@ -1,7 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 = _rhs (primIfThenElse True HNil HNil) | 3 | value1 = _rhs (primIfThenElse True HNil HNil) |
4 | |||
3 | value2 = _rhs (primIfThenElse False 1.0 2.0) | 5 | value2 = _rhs (primIfThenElse False 1.0 2.0) |
4 | main is not found | ||
5 | ------------ trace | 6 | ------------ trace |
6 | value1 :: () | 7 | value1 :: () |
7 | value2 :: Float | 8 | value2 :: Float |
diff --git a/testdata/language-features/basic-values/indentation01.out b/testdata/language-features/basic-values/indentation01.out index a607690b..3c77aa23 100644 --- a/testdata/language-features/basic-values/indentation01.out +++ b/testdata/language-features/basic-values/indentation01.out | |||
@@ -1,7 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | tuple1 = _rhs HNil | 3 | tuple1 = _rhs HNil |
4 | |||
3 | tuple2 = _rhs HNil | 5 | tuple2 = _rhs HNil |
4 | main is not found | ||
5 | ------------ trace | 6 | ------------ trace |
6 | tuple1 :: () | 7 | tuple1 :: () |
7 | tuple2 :: () | 8 | tuple2 :: () |
diff --git a/testdata/language-features/basic-values/indentation02.out b/testdata/language-features/basic-values/indentation02.out index 97b138e0..9a4cafc0 100644 --- a/testdata/language-features/basic-values/indentation02.out +++ b/testdata/language-features/basic-values/indentation02.out | |||
@@ -1,7 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | tuple1 = _rhs HNil | 3 | tuple1 = _rhs HNil |
4 | |||
3 | tuple2 = _rhs HNil | 5 | tuple2 = _rhs HNil |
4 | main is not found | ||
5 | ------------ trace | 6 | ------------ trace |
6 | tuple1 :: () | 7 | tuple1 :: () |
7 | tuple2 :: () | 8 | tuple2 :: () |
diff --git a/testdata/language-features/basic-values/infix01.out b/testdata/language-features/basic-values/infix01.out index 013b0a25..3e4ec8a6 100644 --- a/testdata/language-features/basic-values/infix01.out +++ b/testdata/language-features/basic-values/infix01.out | |||
@@ -1,7 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | fun = \_ _ -> _rhs HNil | 3 | fun = \_ _ -> _rhs HNil |
4 | |||
3 | value = \(a :: _) (b :: _) -> _rhs (a `fun` b) | 5 | value = \(a :: _) (b :: _) -> _rhs (a `fun` b) |
4 | main is not found | ||
5 | ------------ trace | 6 | ------------ trace |
6 | fun :: forall a b . a -> b -> () | 7 | fun :: forall a b . a -> b -> () |
7 | value :: forall a b . a -> b -> () | 8 | value :: forall a b . a -> b -> () |
diff --git a/testdata/language-features/basic-values/infix02.out b/testdata/language-features/basic-values/infix02.out index dd15a9e9..be8609ef 100644 --- a/testdata/language-features/basic-values/infix02.out +++ b/testdata/language-features/basic-values/infix02.out | |||
@@ -1,7 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | fun = \_ _ _ -> _rhs HNil | 3 | fun = \_ _ _ -> _rhs HNil |
4 | |||
3 | value = \(a :: _) (b :: _) -> _rhs (a `fun` b) | 5 | value = \(a :: _) (b :: _) -> _rhs (a `fun` b) |
4 | main is not found | ||
5 | ------------ trace | 6 | ------------ trace |
6 | fun :: forall a b c . a -> b -> c -> () | 7 | fun :: forall a b c . a -> b -> c -> () |
7 | value :: forall a b c . a -> b -> c -> () | 8 | value :: forall a b c . a -> b -> c -> () |
diff --git a/testdata/language-features/basic-values/infix03.out b/testdata/language-features/basic-values/infix03.out index 81521b91..3b7d6ec2 100644 --- a/testdata/language-features/basic-values/infix03.out +++ b/testdata/language-features/basic-values/infix03.out | |||
@@ -1,10 +1,12 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | data D :: Type where | 3 | data D :: Type where |
3 | D2 :: HList '[] -> HList '[] -> D | 4 | D2 :: HList '[] -> HList '[] -> D |
4 | D3 :: HList '[] -> HList '[] -> HList '[] -> D | 5 | D3 :: HList '[] -> HList '[] -> HList '[] -> D |
6 | |||
5 | d2 = \(a :: _) (b :: _) -> _rhs (a `D2` b) | 7 | d2 = \(a :: _) (b :: _) -> _rhs (a `D2` b) |
8 | |||
6 | d3 = \(a :: _) (b :: _) -> _rhs (a `D3` b) | 9 | d3 = \(a :: _) (b :: _) -> _rhs (a `D3` b) |
7 | main is not found | ||
8 | ------------ trace | 10 | ------------ trace |
9 | 'D :: Type | 11 | 'D :: Type |
10 | D2 :: () -> () -> D | 12 | D2 :: () -> () -> D |
diff --git a/testdata/language-features/basic-values/lambda01.out b/testdata/language-features/basic-values/lambda01.out index 0d73915c..9a7c4583 100644 --- a/testdata/language-features/basic-values/lambda01.out +++ b/testdata/language-features/basic-values/lambda01.out | |||
@@ -1,9 +1,12 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | fun1 = _rhs \_ -> HNil | 3 | fun1 = _rhs \_ -> HNil |
4 | |||
3 | fun2 = _rhs \_ -> HNil | 5 | fun2 = _rhs \_ -> HNil |
6 | |||
4 | fun3 = _rhs \_ -> HNil | 7 | fun3 = _rhs \_ -> HNil |
8 | |||
5 | fun4 = _rhs \_ _ _ _ _ _ _ _ _ -> HNil | 9 | fun4 = _rhs \_ _ _ _ _ _ _ _ _ -> HNil |
6 | main is not found | ||
7 | ------------ trace | 10 | ------------ trace |
8 | fun1 :: forall a . a -> () | 11 | fun1 :: forall a . a -> () |
9 | fun2 :: forall a . a -> () | 12 | fun2 :: forall a . a -> () |
diff --git a/testdata/language-features/basic-values/lambda03.out b/testdata/language-features/basic-values/lambda03.out index 5ea529b3..97ee5c15 100644 --- a/testdata/language-features/basic-values/lambda03.out +++ b/testdata/language-features/basic-values/lambda03.out | |||
@@ -1,7 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | fun1 = _rhs \_ (a :: _) _ -> a | 3 | fun1 = _rhs \_ (a :: _) _ -> a |
4 | |||
3 | fun2 = \(a :: _) -> _rhs \_ _ _ -> a | 5 | fun2 = \(a :: _) -> _rhs \_ _ _ -> a |
4 | main is not found | ||
5 | ------------ trace | 6 | ------------ trace |
6 | fun1 :: forall a b c . a -> b -> c -> b | 7 | fun1 :: forall a b c . a -> b -> c -> b |
7 | fun2 :: forall a b c d . a -> b -> c -> d -> a | 8 | fun2 :: forall a b c d . a -> b -> c -> d -> a |
diff --git a/testdata/language-features/basic-values/let01.out b/testdata/language-features/basic-values/let01.out index 33524e88..dd6cad7e 100644 --- a/testdata/language-features/basic-values/let01.out +++ b/testdata/language-features/basic-values/let01.out | |||
@@ -1,10 +1,14 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 = _rhs \(a := _rhs (fromInt 1)) -> fromInt 1 | 3 | value1 = _rhs \(a := _rhs (fromInt 1)) -> fromInt 1 |
4 | |||
3 | value2 = _rhs \(a := _rhs (fromInt 1)) -> fromInt 1 | 5 | value2 = _rhs \(a := _rhs (fromInt 1)) -> fromInt 1 |
6 | |||
4 | value3 = _rhs \(a := _rhs (fromInt 1)) (b := _rhs 'c') -> fromInt 1 | 7 | value3 = _rhs \(a := _rhs (fromInt 1)) (b := _rhs 'c') -> fromInt 1 |
8 | |||
5 | value4 = _rhs \(a := _rhs (fromInt 1)) -> fromInt 1 | 9 | value4 = _rhs \(a := _rhs (fromInt 1)) -> fromInt 1 |
10 | |||
6 | value5 = _rhs \(a := _rhs (fromInt 1)) (b := _rhs (fromInt 2)) -> fromInt 1 | 11 | value5 = _rhs \(a := _rhs (fromInt 1)) (b := _rhs (fromInt 2)) -> fromInt 1 |
7 | main is not found | ||
8 | ------------ trace | 12 | ------------ trace |
9 | value1 :: forall a . Num a => a | 13 | value1 :: forall a . Num a => a |
10 | value2 :: forall a . Num a => a | 14 | value2 :: forall a . Num a => a |
diff --git a/testdata/language-features/basic-values/let02.out b/testdata/language-features/basic-values/let02.out index 44be34a1..f4e67d6a 100644 --- a/testdata/language-features/basic-values/let02.out +++ b/testdata/language-features/basic-values/let02.out | |||
@@ -1,3 +1,4 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value | 3 | value |
3 | = _rhs | 4 | = _rhs |
@@ -6,7 +7,6 @@ value | |||
6 | (c | 7 | (c |
7 | := _rhs | 8 | := _rhs |
8 | \(e := _rhs HNil) (f := _rhs (fromInt 1)) (g := _rhs "hello") -> 'B') -> HNil | 9 | \(e := _rhs HNil) (f := _rhs (fromInt 1)) (g := _rhs "hello") -> 'B') -> HNil |
9 | main is not found | ||
10 | ------------ trace | 10 | ------------ trace |
11 | value :: () | 11 | value :: () |
12 | ------------ tooltips | 12 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/literal01.out b/testdata/language-features/basic-values/literal01.out index b45e2a20..ec3b6908 100644 --- a/testdata/language-features/basic-values/literal01.out +++ b/testdata/language-features/basic-values/literal01.out | |||
@@ -1,13 +1,20 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | intValue1 = _rhs (fromInt 0) | 3 | intValue1 = _rhs (fromInt 0) |
4 | |||
3 | intValue2 = _rhs (fromInt 1) | 5 | intValue2 = _rhs (fromInt 1) |
6 | |||
4 | intValue3 = _rhs (fromInt 12345) | 7 | intValue3 = _rhs (fromInt 12345) |
8 | |||
5 | floatValue1 = _rhs 2.0 | 9 | floatValue1 = _rhs 2.0 |
10 | |||
6 | floatValue2 = _rhs 123400.0 | 11 | floatValue2 = _rhs 123400.0 |
12 | |||
7 | charValue = _rhs 'A' | 13 | charValue = _rhs 'A' |
14 | |||
8 | stringValue1 = _rhs "Hello World" | 15 | stringValue1 = _rhs "Hello World" |
16 | |||
9 | stringValue2 = _rhs "\nHello World\tagain!\r\n" | 17 | stringValue2 = _rhs "\nHello World\tagain!\r\n" |
10 | main is not found | ||
11 | ------------ trace | 18 | ------------ trace |
12 | intValue1 :: forall a . Num a => a | 19 | intValue1 :: forall a . Num a => a |
13 | intValue2 :: forall a . Num a => a | 20 | intValue2 :: forall a . Num a => a |
diff --git a/testdata/language-features/basic-values/operator01.out b/testdata/language-features/basic-values/operator01.out index b6848082..df8d10ac 100644 --- a/testdata/language-features/basic-values/operator01.out +++ b/testdata/language-features/basic-values/operator01.out | |||
@@ -1,9 +1,12 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | (#$#) = \_ _ -> _rhs HNil | 3 | (#$#) = \_ _ -> _rhs HNil |
4 | |||
3 | ($$#) = \_ _ -> _rhs HNil | 5 | ($$#) = \_ _ -> _rhs HNil |
6 | |||
4 | ($$$#) = \_ _ -> _rhs HNil | 7 | ($$$#) = \_ _ -> _rhs HNil |
8 | |||
5 | ($$$) = \_ _ -> _rhs HNil | 9 | ($$$) = \_ _ -> _rhs HNil |
6 | main is not found | ||
7 | ------------ trace | 10 | ------------ trace |
8 | (#$#) :: forall a b . a -> b -> () | 11 | (#$#) :: forall a b . a -> b -> () |
9 | ($$#) :: forall a b . a -> b -> () | 12 | ($$#) :: forall a b . a -> b -> () |
diff --git a/testdata/language-features/basic-values/operator05.out b/testdata/language-features/basic-values/operator05.out index 58ad31cd..91f34d29 100644 --- a/testdata/language-features/basic-values/operator05.out +++ b/testdata/language-features/basic-values/operator05.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 = _rhs \(a := \_ _ -> _rhs HNil) -> a HNil HNil | 3 | value1 = _rhs \(a := \_ _ -> _rhs HNil) -> a HNil HNil |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | value1 :: () | 5 | value1 :: () |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/operator06.out b/testdata/language-features/basic-values/operator06.out index 6f5d6982..adbffc11 100644 --- a/testdata/language-features/basic-values/operator06.out +++ b/testdata/language-features/basic-values/operator06.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 = _rhs \(a := \_ _ -> _rhs HNil) -> a HNil HNil | 3 | value1 = _rhs \(a := \_ _ -> _rhs HNil) -> a HNil HNil |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | value1 :: () | 5 | value1 :: () |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/shadowing01.out b/testdata/language-features/basic-values/shadowing01.out index 39fdca99..bf07b5e5 100644 --- a/testdata/language-features/basic-values/shadowing01.out +++ b/testdata/language-features/basic-values/shadowing01.out | |||
@@ -1,3 +1,4 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value | 3 | value |
3 | = _rhs | 4 | = _rhs |
@@ -10,7 +11,6 @@ value | |||
10 | (f | 11 | (f |
11 | := _rhs | 12 | := _rhs |
12 | \(g := _rhs HNil) (h := _rhs 'C') (i := _rhs 3.12) -> "world") -> HNil) -> '7' | 13 | \(g := _rhs HNil) (h := _rhs 'C') (i := _rhs 3.12) -> "world") -> HNil) -> '7' |
13 | main is not found | ||
14 | ------------ trace | 14 | ------------ trace |
15 | value :: Char | 15 | value :: Char |
16 | ------------ tooltips | 16 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/shadowing02.out b/testdata/language-features/basic-values/shadowing02.out index 4da8cccd..69f3e1f6 100644 --- a/testdata/language-features/basic-values/shadowing02.out +++ b/testdata/language-features/basic-values/shadowing02.out | |||
@@ -1,6 +1,9 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | c = _rhs (fromInt 7) | 3 | c = _rhs (fromInt 7) |
4 | |||
3 | world = _rhs "world" | 5 | world = _rhs "world" |
6 | |||
4 | value2 | 7 | value2 |
5 | = _rhs | 8 | = _rhs |
6 | \(a := _rhs 'A') | 9 | \(a := _rhs 'A') |
@@ -14,7 +17,6 @@ value2 | |||
14 | := _rhs | 17 | := _rhs |
15 | \(h := _rhs HNil) | 18 | \(h := _rhs HNil) |
16 | (i := _rhs 'C') (j := _rhs 3.12) (k := _rhs c) -> world) -> HNil) -> '7' | 19 | (i := _rhs 'C') (j := _rhs 3.12) (k := _rhs c) -> world) -> HNil) -> '7' |
17 | main is not found | ||
18 | ------------ trace | 20 | ------------ trace |
19 | c :: forall a . Num a => a | 21 | c :: forall a . Num a => a |
20 | world :: String | 22 | world :: String |
diff --git a/testdata/language-features/basic-values/shadowing03.out b/testdata/language-features/basic-values/shadowing03.out index 6e0ca5e0..00820b70 100644 --- a/testdata/language-features/basic-values/shadowing03.out +++ b/testdata/language-features/basic-values/shadowing03.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | x = \_ _ -> _rhs HNil | 3 | x = \_ _ -> _rhs HNil |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | x :: forall a b . a -> b -> () | 5 | x :: forall a b . a -> b -> () |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/shadowing04.out b/testdata/language-features/basic-values/shadowing04.out index 6d20512d..29066c7b 100644 --- a/testdata/language-features/basic-values/shadowing04.out +++ b/testdata/language-features/basic-values/shadowing04.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | __ = \_ _ -> _rhs HNil | 3 | __ = \_ _ -> _rhs HNil |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | __ :: forall a b . a -> b -> () | 5 | __ :: forall a b . a -> b -> () |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/tuple01.out b/testdata/language-features/basic-values/tuple01.out index 9ae4b926..48aa799f 100644 --- a/testdata/language-features/basic-values/tuple01.out +++ b/testdata/language-features/basic-values/tuple01.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | unit = _rhs HNil | 3 | unit = _rhs HNil |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | unit :: () | 5 | unit :: () |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/tuple02.out b/testdata/language-features/basic-values/tuple02.out index 8cdbb1b2..33a7b35c 100644 --- a/testdata/language-features/basic-values/tuple02.out +++ b/testdata/language-features/basic-values/tuple02.out | |||
@@ -1,10 +1,12 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | tuple1 | 3 | tuple1 |
3 | = _rhs | 4 | = _rhs |
4 | (HCons (fromInt 1) (HCons 2.3 (HCons 'D' (HCons "string" (HCons HNil HNil))))) | 5 | (HCons (fromInt 1) (HCons 2.3 (HCons 'D' (HCons "string" (HCons HNil HNil))))) |
6 | |||
5 | tuple2 = _rhs (HCons HNil (HCons HNil HNil)) | 7 | tuple2 = _rhs (HCons HNil (HCons HNil HNil)) |
8 | |||
6 | tuple3 = _rhs (HCons (HCons "name" (HCons 'c' HNil)) (HCons HNil HNil)) | 9 | tuple3 = _rhs (HCons (HCons "name" (HCons 'c' HNil)) (HCons HNil HNil)) |
7 | main is not found | ||
8 | ------------ trace | 10 | ------------ trace |
9 | tuple1 :: forall a . Num a => (a, Float, Char, String, ()) | 11 | tuple1 :: forall a . Num a => (a, Float, Char, String, ()) |
10 | tuple2 :: ((), ()) | 12 | tuple2 :: ((), ()) |
diff --git a/testdata/language-features/basic-values/typesig01.out b/testdata/language-features/basic-values/typesig01.out index 9936930a..4b710886 100644 --- a/testdata/language-features/basic-values/typesig01.out +++ b/testdata/language-features/basic-values/typesig01.out | |||
@@ -1,9 +1,10 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 :: Char | 3 | value1 :: Char |
3 | value1 = _rhs 'a' | 4 | value1 = _rhs 'a' |
5 | |||
4 | value2 :: Char | 6 | value2 :: Char |
5 | value2 = _rhs 'a' | 7 | value2 = _rhs 'a' |
6 | main is not found | ||
7 | ------------ trace | 8 | ------------ trace |
8 | value1 :: Char | 9 | value1 :: Char |
9 | value2 :: Char | 10 | value2 :: Char |
diff --git a/testdata/language-features/basic-values/typesig02.out b/testdata/language-features/basic-values/typesig02.out index cfd8e29d..a685db82 100644 --- a/testdata/language-features/basic-values/typesig02.out +++ b/testdata/language-features/basic-values/typesig02.out | |||
@@ -1,7 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 = _rhs ('a' :: Char) | 3 | value1 = _rhs ('a' :: Char) |
4 | |||
3 | value2 = _rhs ('a' :: Char) | 5 | value2 = _rhs ('a' :: Char) |
4 | main is not found | ||
5 | ------------ trace | 6 | ------------ trace |
6 | value1 :: Char | 7 | value1 :: Char |
7 | value2 :: Char | 8 | value2 :: Char |
diff --git a/testdata/language-features/basic-values/typesig03.out b/testdata/language-features/basic-values/typesig03.out index 8a2f8bbb..c0f5769f 100644 --- a/testdata/language-features/basic-values/typesig03.out +++ b/testdata/language-features/basic-values/typesig03.out | |||
@@ -1,9 +1,10 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | fun1 :: forall (a :: _) (b :: _) (c :: _) . a -> b -> c -> HList '[] | 3 | fun1 :: forall (a :: _) (b :: _) (c :: _) . a -> b -> c -> HList '[] |
3 | fun1 = \_ _ _ -> _rhs HNil | 4 | fun1 = \_ _ _ -> _rhs HNil |
5 | |||
4 | fun2 :: forall (a :: _) (b :: _) (c :: _) . a -> b -> c -> HList '[] | 6 | fun2 :: forall (a :: _) (b :: _) (c :: _) . a -> b -> c -> HList '[] |
5 | fun2 = \_ _ _ -> _rhs HNil | 7 | fun2 = \_ _ _ -> _rhs HNil |
6 | main is not found | ||
7 | ------------ trace | 8 | ------------ trace |
8 | fun1 :: forall a b c . a -> b -> c -> () | 9 | fun1 :: forall a b c . a -> b -> c -> () |
9 | fun2 :: forall a b c . a -> b -> c -> () | 10 | fun2 :: forall a b c . a -> b -> c -> () |
diff --git a/testdata/language-features/basic-values/typesig04.out b/testdata/language-features/basic-values/typesig04.out index 0c98ffa1..b7a2c6b1 100644 --- a/testdata/language-features/basic-values/typesig04.out +++ b/testdata/language-features/basic-values/typesig04.out | |||
@@ -1,9 +1,10 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | fun1 :: forall (a :: _) (b :: _) (c :: _) . a -> (b -> c) -> HList '[] | 3 | fun1 :: forall (a :: _) (b :: _) (c :: _) . a -> (b -> c) -> HList '[] |
3 | fun1 = \_ _ -> _rhs HNil | 4 | fun1 = \_ _ -> _rhs HNil |
5 | |||
4 | fun2 :: forall (a :: _) (b :: _) (c :: _) . a -> (b -> c) -> HList '[] | 6 | fun2 :: forall (a :: _) (b :: _) (c :: _) . a -> (b -> c) -> HList '[] |
5 | fun2 = \_ _ -> _rhs HNil | 7 | fun2 = \_ _ -> _rhs HNil |
6 | main is not found | ||
7 | ------------ trace | 8 | ------------ trace |
8 | fun1 :: forall a b c . a -> (b -> c) -> () | 9 | fun1 :: forall a b c . a -> (b -> c) -> () |
9 | fun2 :: forall a b c . a -> (b -> c) -> () | 10 | fun2 :: forall a b c . a -> (b -> c) -> () |
diff --git a/testdata/language-features/basic-values/typesig05.out b/testdata/language-features/basic-values/typesig05.out index edceee72..0f4f157e 100644 --- a/testdata/language-features/basic-values/typesig05.out +++ b/testdata/language-features/basic-values/typesig05.out | |||
@@ -1,13 +1,18 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | funL = \(a :: _) _ -> _rhs a | 3 | funL = \(a :: _) _ -> _rhs a |
4 | |||
3 | funR = \_ (a :: _) -> _rhs a | 5 | funR = \_ (a :: _) -> _rhs a |
6 | |||
4 | value1 = _rhs (funL 'a' "b" :: Char) | 7 | value1 = _rhs (funL 'a' "b" :: Char) |
8 | |||
5 | value2 = _rhs (funR 'a' "b" :: String) | 9 | value2 = _rhs (funR 'a' "b" :: String) |
10 | |||
6 | value3 :: Char | 11 | value3 :: Char |
7 | value3 = _rhs (funL 'a' "b") | 12 | value3 = _rhs (funL 'a' "b") |
13 | |||
8 | value4 :: String | 14 | value4 :: String |
9 | value4 = _rhs (funR 'a' "b") | 15 | value4 = _rhs (funR 'a' "b") |
10 | main is not found | ||
11 | ------------ trace | 16 | ------------ trace |
12 | funL :: forall a b . a -> b -> a | 17 | funL :: forall a b . a -> b -> a |
13 | funR :: forall a b . a -> b -> b | 18 | funR :: forall a b . a -> b -> b |
diff --git a/testdata/language-features/basic-values/typesig06.out b/testdata/language-features/basic-values/typesig06.out index 664b9dec..b933dda4 100644 --- a/testdata/language-features/basic-values/typesig06.out +++ b/testdata/language-features/basic-values/typesig06.out | |||
@@ -1,9 +1,12 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | funL = \(a :: _) _ -> _rhs a | 3 | funL = \(a :: _) _ -> _rhs a |
4 | |||
3 | (<@) = \(a :: _) _ -> _rhs a | 5 | (<@) = \(a :: _) _ -> _rhs a |
6 | |||
4 | value1 = _rhs ("hi" <@ 1.2 :: String) | 7 | value1 = _rhs ("hi" <@ 1.2 :: String) |
8 | |||
5 | value2 = _rhs ("hi" `funL` 1.2 :: String) | 9 | value2 = _rhs ("hi" `funL` 1.2 :: String) |
6 | main is not found | ||
7 | ------------ trace | 10 | ------------ trace |
8 | funL :: forall a b . a -> b -> a | 11 | funL :: forall a b . a -> b -> a |
9 | (<@) :: forall a b . a -> b -> a | 12 | (<@) :: forall a b . a -> b -> a |
diff --git a/testdata/language-features/basic-values/typesig07.out b/testdata/language-features/basic-values/typesig07.out index 07a8d0b9..f300eced 100644 --- a/testdata/language-features/basic-values/typesig07.out +++ b/testdata/language-features/basic-values/typesig07.out | |||
@@ -1,17 +1,22 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 :: Int | 3 | value1 :: Int |
3 | value1 = _rhs (fromInt 1) | 4 | value1 = _rhs (fromInt 1) |
5 | |||
4 | value2 :: Int | 6 | value2 :: Int |
5 | value2 = _rhs (fromInt 2) | 7 | value2 = _rhs (fromInt 2) |
8 | |||
6 | value3 :: Int | 9 | value3 :: Int |
7 | value3 = _rhs (fromInt 3) | 10 | value3 = _rhs (fromInt 3) |
11 | |||
8 | value4 :: HList '[] -> HList '[] -> HList '[] | 12 | value4 :: HList '[] -> HList '[] -> HList '[] |
9 | value4 = \_ _ -> _rhs HNil | 13 | value4 = \_ _ -> _rhs HNil |
14 | |||
10 | (@@@) :: HList '[] -> HList '[] -> HList '[] | 15 | (@@@) :: HList '[] -> HList '[] -> HList '[] |
11 | (@@@) = \_ _ -> _rhs HNil | 16 | (@@@) = \_ _ -> _rhs HNil |
17 | |||
12 | value6 :: HList '[] -> HList '[] -> HList '[] | 18 | value6 :: HList '[] -> HList '[] -> HList '[] |
13 | value6 = \_ _ -> _rhs HNil | 19 | value6 = \_ _ -> _rhs HNil |
14 | main is not found | ||
15 | ------------ trace | 20 | ------------ trace |
16 | value1 :: Int | 21 | value1 :: Int |
17 | value2 :: Int | 22 | value2 :: Int |
diff --git a/testdata/language-features/basic-values/typesyn01.out b/testdata/language-features/basic-values/typesyn01.out index 1b35d979..9481b2bf 100644 --- a/testdata/language-features/basic-values/typesyn01.out +++ b/testdata/language-features/basic-values/typesyn01.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | 'MyUnit = _rhs ('HList []) | 3 | 'MyUnit = _rhs ('HList []) |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | 'MyUnit :: Type | 5 | 'MyUnit :: Type |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/typesyn02.out b/testdata/language-features/basic-values/typesyn02.out index 7713c92a..74f2b730 100644 --- a/testdata/language-features/basic-values/typesyn02.out +++ b/testdata/language-features/basic-values/typesyn02.out | |||
@@ -1,8 +1,9 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | 'MyUnit = _rhs ('HList []) | 3 | 'MyUnit = _rhs ('HList []) |
4 | |||
3 | fun :: forall (a :: _) . a -> MyUnit -> MyUnit | 5 | fun :: forall (a :: _) . a -> MyUnit -> MyUnit |
4 | fun = \_ (a :: _) -> hlistNilCase _ (_rhs HNil) a | 6 | fun = \_ (a :: _) -> hlistNilCase _ (_rhs HNil) a |
5 | main is not found | ||
6 | ------------ trace | 7 | ------------ trace |
7 | 'MyUnit :: Type | 8 | 'MyUnit :: Type |
8 | fun :: forall a . a -> () -> () | 9 | fun :: forall a . a -> () -> () |
diff --git a/testdata/language-features/basic-values/where01.out b/testdata/language-features/basic-values/where01.out index 9ff7eb28..d278100a 100644 --- a/testdata/language-features/basic-values/where01.out +++ b/testdata/language-features/basic-values/where01.out | |||
@@ -1,16 +1,26 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 = _rhs \(a := _rhs HNil) -> HNil | 3 | value1 = _rhs \(a := _rhs HNil) -> HNil |
4 | |||
3 | value2 = _rhs \(a := _rhs HNil) -> a | 5 | value2 = _rhs \(a := _rhs HNil) -> a |
6 | |||
4 | value3 = _rhs \(a := _rhs HNil) (b := _rhs HNil) -> a | 7 | value3 = _rhs \(a := _rhs HNil) (b := _rhs HNil) -> a |
8 | |||
5 | value4 = _rhs \(a := _rhs HNil) (b := _rhs HNil) -> b | 9 | value4 = _rhs \(a := _rhs HNil) (b := _rhs HNil) -> b |
10 | |||
6 | value5 = _rhs \(a := _rhs HNil) (b := _rhs HNil) -> a | 11 | value5 = _rhs \(a := _rhs HNil) (b := _rhs HNil) -> a |
12 | |||
7 | value6 = _rhs HNil | 13 | value6 = _rhs HNil |
14 | |||
8 | value7 = _rhs HNil | 15 | value7 = _rhs HNil |
16 | |||
9 | value8 = _rhs HNil | 17 | value8 = _rhs HNil |
18 | |||
10 | value9 = _rhs \(a := _rhs HNil) (b := _rhs HNil) -> a | 19 | value9 = _rhs \(a := _rhs HNil) (b := _rhs HNil) -> a |
20 | |||
11 | value10 = _rhs \(a := _rhs HNil) (b := _rhs HNil) -> a | 21 | value10 = _rhs \(a := _rhs HNil) (b := _rhs HNil) -> a |
22 | |||
12 | value11 = _rhs \(a := _rhs HNil) (b := _rhs HNil) -> a | 23 | value11 = _rhs \(a := _rhs HNil) (b := _rhs HNil) -> a |
13 | main is not found | ||
14 | ------------ trace | 24 | ------------ trace |
15 | value1 :: () | 25 | value1 :: () |
16 | value2 :: () | 26 | value2 :: () |
diff --git a/testdata/language-features/basic-values/where04.out b/testdata/language-features/basic-values/where04.out index f5e16747..39410991 100644 --- a/testdata/language-features/basic-values/where04.out +++ b/testdata/language-features/basic-values/where04.out | |||
@@ -1,8 +1,10 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 = _rhs \(a := _rhs \(b := _rhs HNil) -> b) -> a | 3 | value1 = _rhs \(a := _rhs \(b := _rhs HNil) -> b) -> a |
4 | |||
3 | value2 = _rhs \(a := _rhs \(b := _rhs HNil) -> b) -> a | 5 | value2 = _rhs \(a := _rhs \(b := _rhs HNil) -> b) -> a |
6 | |||
4 | value3 = _rhs \(a := _rhs \(b := _rhs HNil) -> b) -> a | 7 | value3 = _rhs \(a := _rhs \(b := _rhs HNil) -> b) -> a |
5 | main is not found | ||
6 | ------------ trace | 8 | ------------ trace |
7 | value1 :: () | 9 | value1 :: () |
8 | value2 :: () | 10 | value2 :: () |
diff --git a/testdata/language-features/basic-values/where05.out b/testdata/language-features/basic-values/where05.out index 8c082555..08d64648 100644 --- a/testdata/language-features/basic-values/where05.out +++ b/testdata/language-features/basic-values/where05.out | |||
@@ -1,3 +1,4 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 | 3 | value1 |
3 | = _rhs | 4 | = _rhs |
@@ -7,6 +8,7 @@ value1 | |||
7 | (\(b := _rhs HNil) -> b) | 8 | (\(b := _rhs HNil) -> b) |
8 | (fromInt 1 == a)) | 9 | (fromInt 1 == a)) |
9 | (fromInt 1)) | 10 | (fromInt 1)) |
11 | |||
10 | value2 | 12 | value2 |
11 | = _rhs | 13 | = _rhs |
12 | ((\(a :: _) -> case'Bool | 14 | ((\(a :: _) -> case'Bool |
@@ -15,6 +17,7 @@ value2 | |||
15 | (\(b := _rhs HNil) -> b) | 17 | (\(b := _rhs HNil) -> b) |
16 | (fromInt 1 == a)) | 18 | (fromInt 1 == a)) |
17 | (fromInt 1)) | 19 | (fromInt 1)) |
20 | |||
18 | value3 | 21 | value3 |
19 | = _rhs | 22 | = _rhs |
20 | ((\(a :: _) -> case'Bool | 23 | ((\(a :: _) -> case'Bool |
@@ -23,11 +26,11 @@ value3 | |||
23 | (\(b := _rhs HNil) -> b) | 26 | (\(b := _rhs HNil) -> b) |
24 | (fromInt 1 == a)) | 27 | (fromInt 1 == a)) |
25 | (fromInt 1)) | 28 | (fromInt 1)) |
29 | |||
26 | value4 | 30 | value4 |
27 | = _rhs | 31 | = _rhs |
28 | \(a := _rhs HNil) -> (\(b :: _) -> case'Bool (\_ -> _) HNil a (fromInt 1 == b)) | 32 | \(a := _rhs HNil) -> (\(b :: _) -> case'Bool (\_ -> _) HNil a (fromInt 1 == b)) |
29 | (fromInt 1) | 33 | (fromInt 1) |
30 | main is not found | ||
31 | ------------ trace | 34 | ------------ trace |
32 | value1 :: forall a . (Eq a, Num a) => () | 35 | value1 :: forall a . (Eq a, Num a) => () |
33 | value2 :: forall a . (Eq a, Num a) => () | 36 | value2 :: forall a . (Eq a, Num a) => () |
diff --git a/testdata/language-features/basic-values/wildcard01.out b/testdata/language-features/basic-values/wildcard01.out index 61b6a8c4..49f84c4b 100644 --- a/testdata/language-features/basic-values/wildcard01.out +++ b/testdata/language-features/basic-values/wildcard01.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | funUnit = \_ -> _rhs HNil | 3 | funUnit = \_ -> _rhs HNil |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | funUnit :: forall a . a -> () | 5 | funUnit :: forall a . a -> () |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/comment/comment01.out b/testdata/language-features/comment/comment01.out index 907bca84..521dcdfe 100644 --- a/testdata/language-features/comment/comment01.out +++ b/testdata/language-features/comment/comment01.out | |||
@@ -1,2 +1,2 @@ | |||
1 | ------------ desugared source code | ||
2 | main is not found | 1 | main is not found |
2 | ------------ desugared source code \ No newline at end of file | ||
diff --git a/testdata/language-features/comment/comment02.out b/testdata/language-features/comment/comment02.out index 907bca84..521dcdfe 100644 --- a/testdata/language-features/comment/comment02.out +++ b/testdata/language-features/comment/comment02.out | |||
@@ -1,2 +1,2 @@ | |||
1 | ------------ desugared source code | ||
2 | main is not found | 1 | main is not found |
2 | ------------ desugared source code \ No newline at end of file | ||
diff --git a/testdata/language-features/comment/comment03.out b/testdata/language-features/comment/comment03.out index 907bca84..521dcdfe 100644 --- a/testdata/language-features/comment/comment03.out +++ b/testdata/language-features/comment/comment03.out | |||
@@ -1,2 +1,2 @@ | |||
1 | ------------ desugared source code | ||
2 | main is not found | 1 | main is not found |
2 | ------------ desugared source code \ No newline at end of file | ||
diff --git a/testdata/language-features/comment/comment04.out b/testdata/language-features/comment/comment04.out index 907bca84..521dcdfe 100644 --- a/testdata/language-features/comment/comment04.out +++ b/testdata/language-features/comment/comment04.out | |||
@@ -1,2 +1,2 @@ | |||
1 | ------------ desugared source code | ||
2 | main is not found | 1 | main is not found |
2 | ------------ desugared source code \ No newline at end of file | ||
diff --git a/testdata/language-features/emptysource.out b/testdata/language-features/emptysource.out index 907bca84..521dcdfe 100644 --- a/testdata/language-features/emptysource.out +++ b/testdata/language-features/emptysource.out | |||
@@ -1,2 +1,2 @@ | |||
1 | ------------ desugared source code | ||
2 | main is not found | 1 | main is not found |
2 | ------------ desugared source code \ No newline at end of file | ||
diff --git a/testdata/language-features/guard/guard01.out b/testdata/language-features/guard/guard01.out index b4195756..1405debb 100644 --- a/testdata/language-features/guard/guard01.out +++ b/testdata/language-features/guard/guard01.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value = case'Bool (\_ -> _) (_rhs undefined) (_rhs HNil) True | 3 | value = case'Bool (\_ -> _) (_rhs undefined) (_rhs HNil) True |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | value :: () | 5 | value :: () |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/guard/guard03.out b/testdata/language-features/guard/guard03.out index 7d7f8a4d..6540522a 100644 --- a/testdata/language-features/guard/guard03.out +++ b/testdata/language-features/guard/guard03.out | |||
@@ -1,3 +1,4 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value | 3 | value |
3 | = case'Bool | 4 | = case'Bool |
@@ -5,7 +6,6 @@ value | |||
5 | (case'Bool (\_ -> _) (_rhs undefined) (_rhs "False") False) | 6 | (case'Bool (\_ -> _) (_rhs undefined) (_rhs "False") False) |
6 | (_rhs "True") | 7 | (_rhs "True") |
7 | True | 8 | True |
8 | main is not found | ||
9 | ------------ trace | 9 | ------------ trace |
10 | value :: String | 10 | value :: String |
11 | ------------ tooltips | 11 | ------------ tooltips |
diff --git a/testdata/language-features/guard/guard04.out b/testdata/language-features/guard/guard04.out index 21a9ff19..5b55275b 100644 --- a/testdata/language-features/guard/guard04.out +++ b/testdata/language-features/guard/guard04.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value = case'Bool (\_ -> _) (_rhs "False") (_rhs "True") True | 3 | value = case'Bool (\_ -> _) (_rhs "False") (_rhs "True") True |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | value :: String | 5 | value :: String |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/guard/guard06.out b/testdata/language-features/guard/guard06.out index a62258cc..c568bf3c 100644 --- a/testdata/language-features/guard/guard06.out +++ b/testdata/language-features/guard/guard06.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value = _rhs HNil | 3 | value = _rhs HNil |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | value :: () | 5 | value :: () |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/guard/guard07.out b/testdata/language-features/guard/guard07.out index acc704ba..acd4ea18 100644 --- a/testdata/language-features/guard/guard07.out +++ b/testdata/language-features/guard/guard07.out | |||
@@ -1,3 +1,4 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value | 3 | value |
3 | = case'Bool | 4 | = case'Bool |
@@ -5,7 +6,6 @@ value | |||
5 | (case'Bool (\_ -> _) (_rhs undefined) (_rhs "False") False) | 6 | (case'Bool (\_ -> _) (_rhs undefined) (_rhs "False") False) |
6 | (_rhs "True") | 7 | (_rhs "True") |
7 | True | 8 | True |
8 | main is not found | ||
9 | ------------ trace | 9 | ------------ trace |
10 | value :: String | 10 | value :: String |
11 | ------------ tooltips | 11 | ------------ tooltips |
diff --git a/testdata/language-features/guard/guard08.out b/testdata/language-features/guard/guard08.out index eeef1da6..1f5e5ab3 100644 --- a/testdata/language-features/guard/guard08.out +++ b/testdata/language-features/guard/guard08.out | |||
@@ -1,3 +1,4 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value | 3 | value |
3 | = case'Bool | 4 | = case'Bool |
@@ -5,7 +6,6 @@ value | |||
5 | (case'Bool (\_ -> _) (_rhs undefined) (_rhs "False") False) | 6 | (case'Bool (\_ -> _) (_rhs undefined) (_rhs "False") False) |
6 | (_rhs "True") | 7 | (_rhs "True") |
7 | True | 8 | True |
8 | main is not found | ||
9 | ------------ trace | 9 | ------------ trace |
10 | value :: String | 10 | value :: String |
11 | ------------ tooltips | 11 | ------------ tooltips |
diff --git a/testdata/language-features/guard/guard09.out b/testdata/language-features/guard/guard09.out index 09a72fa0..1aa3c7a2 100644 --- a/testdata/language-features/guard/guard09.out +++ b/testdata/language-features/guard/guard09.out | |||
@@ -1,3 +1,4 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value | 3 | value |
3 | = case'Bool | 4 | = case'Bool |
@@ -5,7 +6,6 @@ value | |||
5 | (case'Bool (\_ -> _) (_rhs undefined) (_rhs "False") False) | 6 | (case'Bool (\_ -> _) (_rhs undefined) (_rhs "False") False) |
6 | (_rhs "True") | 7 | (_rhs "True") |
7 | True | 8 | True |
8 | main is not found | ||
9 | ------------ trace | 9 | ------------ trace |
10 | value :: String | 10 | value :: String |
11 | ------------ tooltips | 11 | ------------ tooltips |
diff --git a/testdata/language-features/guard/guard11.out b/testdata/language-features/guard/guard11.out index 1d173fb2..b8449128 100644 --- a/testdata/language-features/guard/guard11.out +++ b/testdata/language-features/guard/guard11.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | fun = \(a :: _) -> case'Bool (\_ -> _) (_rhs "False") (_rhs "True") a | 3 | fun = \(a :: _) -> case'Bool (\_ -> _) (_rhs "False") (_rhs "True") a |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | fun :: Bool -> String | 5 | fun :: Bool -> String |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/guard/guard13.out b/testdata/language-features/guard/guard13.out index e8bd4c84..3c1e364a 100644 --- a/testdata/language-features/guard/guard13.out +++ b/testdata/language-features/guard/guard13.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | fun = \(a :: _) -> case'Bool (\_ -> _) (_rhs HNil) (_rhs HNil) a | 3 | fun = \(a :: _) -> case'Bool (\_ -> _) (_rhs HNil) (_rhs HNil) a |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | fun :: Bool -> () | 5 | fun :: Bool -> () |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/guard/guard14.out b/testdata/language-features/guard/guard14.out index e0b32348..a5a039bf 100644 --- a/testdata/language-features/guard/guard14.out +++ b/testdata/language-features/guard/guard14.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value = _rhs \(a := case'Bool (\_ -> _) (_rhs HNil) (_rhs HNil) True) -> HNil | 3 | value = _rhs \(a := case'Bool (\_ -> _) (_rhs HNil) (_rhs HNil) True) -> HNil |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | value :: () | 5 | value :: () |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/guard/guard15.out b/testdata/language-features/guard/guard15.out index 733c2b34..5c7fc3b8 100644 --- a/testdata/language-features/guard/guard15.out +++ b/testdata/language-features/guard/guard15.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value = _rhs \(a := case'Bool (\_ -> _) (_rhs HNil) (_rhs HNil) True) -> HNil | 3 | value = _rhs \(a := case'Bool (\_ -> _) (_rhs HNil) (_rhs HNil) True) -> HNil |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | value :: () | 5 | value :: () |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/guard/guard16.out b/testdata/language-features/guard/guard16.out index 4fc90e30..311d7db0 100644 --- a/testdata/language-features/guard/guard16.out +++ b/testdata/language-features/guard/guard16.out | |||
@@ -1,3 +1,4 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value | 3 | value |
3 | = _rhs | 4 | = _rhs |
@@ -7,7 +8,6 @@ value | |||
7 | (case'Bool (\_ -> _) HNil HNil True) | 8 | (case'Bool (\_ -> _) HNil HNil True) |
8 | (fromInt 1 == a)) | 9 | (fromInt 1 == a)) |
9 | (fromInt 1)) | 10 | (fromInt 1)) |
10 | main is not found | ||
11 | ------------ trace | 11 | ------------ trace |
12 | value :: forall a . (Eq a, Num a) => () | 12 | value :: forall a . (Eq a, Num a) => () |
13 | ------------ tooltips | 13 | ------------ tooltips |
diff --git a/testdata/language-features/module/Hello01.out b/testdata/language-features/module/Hello01.out index aee194f1..34f3f918 100644 --- a/testdata/language-features/module/Hello01.out +++ b/testdata/language-features/module/Hello01.out | |||
@@ -1,7 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | hello = _rhs "hello" | 3 | hello = _rhs "hello" |
4 | |||
3 | world = _rhs "world" | 5 | world = _rhs "world" |
4 | main is not found | ||
5 | ------------ trace | 6 | ------------ trace |
6 | hello :: String | 7 | hello :: String |
7 | world :: String | 8 | world :: String |
diff --git a/testdata/language-features/module/Hello02.out b/testdata/language-features/module/Hello02.out index 9d582484..fc3a7be7 100644 --- a/testdata/language-features/module/Hello02.out +++ b/testdata/language-features/module/Hello02.out | |||
@@ -1,7 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | hello = _rhs "hello" | 3 | hello = _rhs "hello" |
4 | |||
3 | world = _rhs "world" | 5 | world = _rhs "world" |
4 | main is not found | ||
5 | ------------ trace | 6 | ------------ trace |
6 | hello :: String | 7 | hello :: String |
7 | world :: String | 8 | world :: String |
diff --git a/testdata/language-features/module/Hello03.out b/testdata/language-features/module/Hello03.out index 98956c8a..8a645fda 100644 --- a/testdata/language-features/module/Hello03.out +++ b/testdata/language-features/module/Hello03.out | |||
@@ -1,7 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | greeting = _rhs 'G' | 3 | greeting = _rhs 'G' |
4 | |||
3 | value = _rhs 12.2 | 5 | value = _rhs 12.2 |
4 | main is not found | ||
5 | ------------ trace | 6 | ------------ trace |
6 | greeting :: Char | 7 | greeting :: Char |
7 | value :: Float | 8 | value :: Float |
diff --git a/testdata/language-features/module/ModulePackage/SubModule01.out b/testdata/language-features/module/ModulePackage/SubModule01.out index 44457c17..119eaeac 100644 --- a/testdata/language-features/module/ModulePackage/SubModule01.out +++ b/testdata/language-features/module/ModulePackage/SubModule01.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | hello = _rhs "Hello" | 3 | hello = _rhs "Hello" |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | hello :: String | 5 | hello :: String |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/module/Moduledef01.out b/testdata/language-features/module/Moduledef01.out index 907bca84..521dcdfe 100644 --- a/testdata/language-features/module/Moduledef01.out +++ b/testdata/language-features/module/Moduledef01.out | |||
@@ -1,2 +1,2 @@ | |||
1 | ------------ desugared source code | ||
2 | main is not found | 1 | main is not found |
2 | ------------ desugared source code \ No newline at end of file | ||
diff --git a/testdata/language-features/module/Moduledef06.out b/testdata/language-features/module/Moduledef06.out index 95f989ee..ef523d5a 100644 --- a/testdata/language-features/module/Moduledef06.out +++ b/testdata/language-features/module/Moduledef06.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | hello = _rhs "hello" | 3 | hello = _rhs "hello" |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | hello :: String | 5 | hello :: String |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/module/Moduledef07.out b/testdata/language-features/module/Moduledef07.out index 0dafaaa8..ac2aa83e 100644 --- a/testdata/language-features/module/Moduledef07.out +++ b/testdata/language-features/module/Moduledef07.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | hello = _rhs "hello" | 3 | hello = _rhs "hello" |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | hello :: String | 5 | hello :: String |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/module/Moduledef08.out b/testdata/language-features/module/Moduledef08.out index d7add14b..e2b3e946 100644 --- a/testdata/language-features/module/Moduledef08.out +++ b/testdata/language-features/module/Moduledef08.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | hello = _rhs "hello" | 3 | hello = _rhs "hello" |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | hello :: String | 5 | hello :: String |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/module/Moduledef09.out b/testdata/language-features/module/Moduledef09.out index f90be0b2..503326bb 100644 --- a/testdata/language-features/module/Moduledef09.out +++ b/testdata/language-features/module/Moduledef09.out | |||
@@ -1,7 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | hello = _rhs "hello" | 3 | hello = _rhs "hello" |
4 | |||
3 | world = _rhs "world" | 5 | world = _rhs "world" |
4 | main is not found | ||
5 | ------------ trace | 6 | ------------ trace |
6 | hello :: String | 7 | hello :: String |
7 | world :: String | 8 | world :: String |
diff --git a/testdata/language-features/module/Moduledef10.out b/testdata/language-features/module/Moduledef10.out index 2928a534..42b98df9 100644 --- a/testdata/language-features/module/Moduledef10.out +++ b/testdata/language-features/module/Moduledef10.out | |||
@@ -1,8 +1,10 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | hello = _rhs "hello" | 3 | hello = _rhs "hello" |
4 | |||
3 | world = _rhs "world" | 5 | world = _rhs "world" |
6 | |||
4 | value = _rhs HNil | 7 | value = _rhs HNil |
5 | main is not found | ||
6 | ------------ trace | 8 | ------------ trace |
7 | hello :: String | 9 | hello :: String |
8 | world :: String | 10 | world :: String |
diff --git a/testdata/language-features/module/Moduledef13.out b/testdata/language-features/module/Moduledef13.out index 7b6fb91d..90ae50c7 100644 --- a/testdata/language-features/module/Moduledef13.out +++ b/testdata/language-features/module/Moduledef13.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | hello = _rhs "hello" | 3 | hello = _rhs "hello" |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | hello :: String | 5 | hello :: String |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/module/TypeSyn01Mod.out b/testdata/language-features/module/TypeSyn01Mod.out index a43e184e..51565796 100644 --- a/testdata/language-features/module/TypeSyn01Mod.out +++ b/testdata/language-features/module/TypeSyn01Mod.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | 'MyUnit = _rhs ('HList []) | 3 | 'MyUnit = _rhs ('HList []) |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | 'MyUnit :: Type | 5 | 'MyUnit :: Type |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/module/import01.out b/testdata/language-features/module/import01.out index 0c9e505e..531eae39 100644 --- a/testdata/language-features/module/import01.out +++ b/testdata/language-features/module/import01.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | x = _rhs hello | 3 | x = _rhs hello |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | x :: String | 5 | x :: String |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/module/import05.out b/testdata/language-features/module/import05.out index 4cb3a2f4..9dfe0dba 100644 --- a/testdata/language-features/module/import05.out +++ b/testdata/language-features/module/import05.out | |||
@@ -1,7 +1,7 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | x :: String | 3 | x :: String |
3 | x = _rhs hello | 4 | x = _rhs hello |
4 | main is not found | ||
5 | ------------ trace | 5 | ------------ trace |
6 | x :: String | 6 | x :: String |
7 | ------------ tooltips | 7 | ------------ tooltips |
diff --git a/testdata/language-features/module/import06.out b/testdata/language-features/module/import06.out index a8852987..fd792bd3 100644 --- a/testdata/language-features/module/import06.out +++ b/testdata/language-features/module/import06.out | |||
@@ -1,7 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | hello = _rhs HNil | 3 | hello = _rhs HNil |
4 | |||
3 | x = _rhs world | 5 | x = _rhs world |
4 | main is not found | ||
5 | ------------ trace | 6 | ------------ trace |
6 | hello :: () | 7 | hello :: () |
7 | x :: String | 8 | x :: String |
diff --git a/testdata/language-features/module/import07.out b/testdata/language-features/module/import07.out index c9285662..4bb045c3 100644 --- a/testdata/language-features/module/import07.out +++ b/testdata/language-features/module/import07.out | |||
@@ -1,7 +1,8 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | hello = _rhs HNil | 3 | hello = _rhs HNil |
4 | |||
3 | x = _rhs world | 5 | x = _rhs world |
4 | main is not found | ||
5 | ------------ trace | 6 | ------------ trace |
6 | hello :: () | 7 | hello :: () |
7 | x :: String | 8 | x :: String |
diff --git a/testdata/language-features/module/import08.out b/testdata/language-features/module/import08.out index ce0235db..aad9ca58 100644 --- a/testdata/language-features/module/import08.out +++ b/testdata/language-features/module/import08.out | |||
@@ -1,12 +1,15 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value = _rhs HNil | 3 | value = _rhs HNil |
4 | |||
3 | g :: Char | 5 | g :: Char |
4 | g = _rhs greeting | 6 | g = _rhs greeting |
7 | |||
5 | h :: String | 8 | h :: String |
6 | h = _rhs hello | 9 | h = _rhs hello |
10 | |||
7 | w :: String | 11 | w :: String |
8 | w = _rhs world | 12 | w = _rhs world |
9 | main is not found | ||
10 | ------------ trace | 13 | ------------ trace |
11 | value :: () | 14 | value :: () |
12 | g :: Char | 15 | g :: Char |
diff --git a/testdata/language-features/module/import09.out b/testdata/language-features/module/import09.out index 42b1de3a..12e13325 100644 --- a/testdata/language-features/module/import09.out +++ b/testdata/language-features/module/import09.out | |||
@@ -1,7 +1,7 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | fun :: forall (a :: _) . a -> MyUnit -> MyUnit | 3 | fun :: forall (a :: _) . a -> MyUnit -> MyUnit |
3 | fun = \_ (a :: _) -> hlistNilCase _ (_rhs HNil) a | 4 | fun = \_ (a :: _) -> hlistNilCase _ (_rhs HNil) a |
4 | main is not found | ||
5 | ------------ trace | 5 | ------------ trace |
6 | fun :: forall a . a -> () -> () | 6 | fun :: forall a . a -> () -> () |
7 | ------------ tooltips | 7 | ------------ tooltips |
diff --git a/testdata/language-features/module/import12.out b/testdata/language-features/module/import12.out index 32b7bdd8..df4d894b 100644 --- a/testdata/language-features/module/import12.out +++ b/testdata/language-features/module/import12.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | fun = _rhs hello | 3 | fun = _rhs hello |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | fun :: String | 5 | fun :: String |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/module/import13.out b/testdata/language-features/module/import13.out index 7167ad27..68ed44d8 100644 --- a/testdata/language-features/module/import13.out +++ b/testdata/language-features/module/import13.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | fun = _rhs hello | 3 | fun = _rhs hello |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | fun :: String | 5 | fun :: String |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/module/import14.out b/testdata/language-features/module/import14.out index 19d18b88..958207ba 100644 --- a/testdata/language-features/module/import14.out +++ b/testdata/language-features/module/import14.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | fun = _rhs hello | 3 | fun = _rhs hello |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | fun :: String | 5 | fun :: String |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/module/import15.out b/testdata/language-features/module/import15.out index bb60b565..8727ac08 100644 --- a/testdata/language-features/module/import15.out +++ b/testdata/language-features/module/import15.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | fun = _rhs hello | 3 | fun = _rhs hello |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | fun :: String | 5 | fun :: String |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/pattern/pattern01.out b/testdata/language-features/pattern/pattern01.out index 1683fdec..eeda616d 100644 --- a/testdata/language-features/pattern/pattern01.out +++ b/testdata/language-features/pattern/pattern01.out | |||
@@ -1,9 +1,12 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | fun1 = \(a :: _) -> case'Bool (\_ -> _) (_rhs '_') (_rhs '0') (fromInt 0 == a) | 3 | fun1 = \(a :: _) -> case'Bool (\_ -> _) (_rhs '_') (_rhs '0') (fromInt 0 == a) |
4 | |||
3 | fun2 = \(a :: _) -> case'Bool (\_ -> _) (_rhs '_') (_rhs '0') ("0" == a) | 5 | fun2 = \(a :: _) -> case'Bool (\_ -> _) (_rhs '_') (_rhs '0') ("0" == a) |
6 | |||
4 | fun3 = \(a :: _) -> case'Bool (\_ -> _) (_rhs '_') (_rhs '0') ('0' == a) | 7 | fun3 = \(a :: _) -> case'Bool (\_ -> _) (_rhs '_') (_rhs '0') ('0' == a) |
8 | |||
5 | fun4 = \(a :: _) -> hlistNilCase _ (_rhs '0') a | 9 | fun4 = \(a :: _) -> hlistNilCase _ (_rhs '0') a |
6 | main is not found | ||
7 | ------------ trace | 10 | ------------ trace |
8 | fun1 :: forall a . (Eq a, Num a) => a -> Char | 11 | fun1 :: forall a . (Eq a, Num a) => a -> Char |
9 | fun2 :: String -> Char | 12 | fun2 :: String -> Char |
diff --git a/testdata/language-features/pattern/uncovered.out b/testdata/language-features/pattern/uncovered.out index 531a913a..4302e4ac 100644 --- a/testdata/language-features/pattern/uncovered.out +++ b/testdata/language-features/pattern/uncovered.out | |||
@@ -1,3 +1,4 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | f | 3 | f |
3 | = \(a :: _) (b :: _) (c :: _) -> case'Bool | 4 | = \(a :: _) (b :: _) (c :: _) -> case'Bool |
@@ -13,6 +14,7 @@ f | |||
13 | (case'Bool (\_ -> _) (_rhs (fromInt 1)) (_rhs undefined) a) | 14 | (case'Bool (\_ -> _) (_rhs (fromInt 1)) (_rhs undefined) a) |
14 | c) | 15 | c) |
15 | b | 16 | b |
17 | |||
16 | g | 18 | g |
17 | = \(a :: _) -> case'List | 19 | = \(a :: _) -> case'List |
18 | (\_ -> _) | 20 | (\_ -> _) |
@@ -39,6 +41,7 @@ g | |||
39 | c) | 41 | c) |
40 | b) | 42 | b) |
41 | a | 43 | a |
44 | |||
42 | h | 45 | h |
43 | = \(a :: _) -> case'List | 46 | = \(a :: _) -> case'List |
44 | (\_ -> _) | 47 | (\_ -> _) |
@@ -73,7 +76,6 @@ h | |||
73 | d) | 76 | d) |
74 | b) | 77 | b) |
75 | a | 78 | a |
76 | main is not found | ||
77 | ------------ trace | 79 | ------------ trace |
78 | f :: forall a . Num a => Bool -> Bool -> Bool -> a | 80 | f :: forall a . Num a => Bool -> Bool -> Bool -> a |
79 | g :: [Bool] -> Bool | 81 | g :: [Bool] -> Bool |
diff --git a/testdata/language-features/pattern/unreachable.out b/testdata/language-features/pattern/unreachable.out index 06c9ca43..f7961855 100644 --- a/testdata/language-features/pattern/unreachable.out +++ b/testdata/language-features/pattern/unreachable.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | f = \_ -> _rhs "hello" | 3 | f = \_ -> _rhs "hello" |
3 | main is not found | ||
4 | ------------ trace | 4 | ------------ trace |
5 | f :: forall a . a -> String | 5 | f :: forall a . a -> String |
6 | ------------ tooltips | 6 | ------------ tooltips |
diff --git a/testdata/language-features/pragma/pragma01.out b/testdata/language-features/pragma/pragma01.out index 907bca84..521dcdfe 100644 --- a/testdata/language-features/pragma/pragma01.out +++ b/testdata/language-features/pragma/pragma01.out | |||
@@ -1,2 +1,2 @@ | |||
1 | ------------ desugared source code | ||
2 | main is not found | 1 | main is not found |
2 | ------------ desugared source code \ No newline at end of file | ||
diff --git a/testdata/language-features/pragma/pragma02.out b/testdata/language-features/pragma/pragma02.out index 907bca84..521dcdfe 100644 --- a/testdata/language-features/pragma/pragma02.out +++ b/testdata/language-features/pragma/pragma02.out | |||
@@ -1,2 +1,2 @@ | |||
1 | ------------ desugared source code | ||
2 | main is not found | 1 | main is not found |
2 | ------------ desugared source code \ No newline at end of file | ||
diff --git a/testdata/language-features/pragma/pragma03.out b/testdata/language-features/pragma/pragma03.out index 907bca84..521dcdfe 100644 --- a/testdata/language-features/pragma/pragma03.out +++ b/testdata/language-features/pragma/pragma03.out | |||
@@ -1,2 +1,2 @@ | |||
1 | ------------ desugared source code | ||
2 | main is not found | 1 | main is not found |
2 | ------------ desugared source code \ No newline at end of file | ||
diff --git a/testdata/language-features/pragma/pragma04.out b/testdata/language-features/pragma/pragma04.out index 907bca84..521dcdfe 100644 --- a/testdata/language-features/pragma/pragma04.out +++ b/testdata/language-features/pragma/pragma04.out | |||
@@ -1,2 +1,2 @@ | |||
1 | ------------ desugared source code | ||
2 | main is not found | 1 | main is not found |
2 | ------------ desugared source code \ No newline at end of file | ||
diff --git a/testdata/language-features/recursion/simplerec01.out b/testdata/language-features/recursion/simplerec01.out index 89006870..656adc64 100644 --- a/testdata/language-features/recursion/simplerec01.out +++ b/testdata/language-features/recursion/simplerec01.out | |||
@@ -1,3 +1,4 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | fun | 3 | fun |
3 | = \(a :: _) -> case'Bool | 4 | = \(a :: _) -> case'Bool |
@@ -5,7 +6,6 @@ fun | |||
5 | (_rhs (fun (fromInt 0))) | 6 | (_rhs (fun (fromInt 0))) |
6 | (_rhs 'a') | 7 | (_rhs 'a') |
7 | (fromInt 0 == a) | 8 | (fromInt 0 == a) |
8 | main is not found | ||
9 | ------------ trace | 9 | ------------ trace |
10 | fun :: forall a . (Num a, Eq a, Num a) => a -> Char | 10 | fun :: forall a . (Num a, Eq a, Num a) => a -> Char |
11 | ------------ tooltips | 11 | ------------ tooltips |
diff --git a/testdata/language-features/recursion/simplerec02.out b/testdata/language-features/recursion/simplerec02.out index 7f24ea1c..c0d26e86 100644 --- a/testdata/language-features/recursion/simplerec02.out +++ b/testdata/language-features/recursion/simplerec02.out | |||
@@ -1,3 +1,4 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value | 3 | value |
3 | = _rhs | 4 | = _rhs |
@@ -8,7 +9,6 @@ value | |||
8 | (_rhs (b (fromInt 0))) | 9 | (_rhs (b (fromInt 0))) |
9 | (_rhs 'a') | 10 | (_rhs 'a') |
10 | (fromInt 0 == c)) -> HNil | 11 | (fromInt 0 == c)) -> HNil |
11 | main is not found | ||
12 | ------------ trace | 12 | ------------ trace |
13 | value :: () | 13 | value :: () |
14 | ------------ tooltips | 14 | ------------ tooltips |
diff --git a/testdata/language-features/recursion/simplerec03.out b/testdata/language-features/recursion/simplerec03.out index 512baba5..5c4f7185 100644 --- a/testdata/language-features/recursion/simplerec03.out +++ b/testdata/language-features/recursion/simplerec03.out | |||
@@ -1,3 +1,4 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value | 3 | value |
3 | = _rhs | 4 | = _rhs |
@@ -8,7 +9,6 @@ value | |||
8 | (_rhs (b (fromInt 0))) | 9 | (_rhs (b (fromInt 0))) |
9 | (_rhs 'a') | 10 | (_rhs 'a') |
10 | (fromInt 0 == c)) -> HNil | 11 | (fromInt 0 == c)) -> HNil |
11 | main is not found | ||
12 | ------------ trace | 12 | ------------ trace |
13 | value :: () | 13 | value :: () |
14 | ------------ tooltips | 14 | ------------ tooltips |
diff --git a/testdata/language-features/section/section01.out b/testdata/language-features/section/section01.out index dd5e5093..a502f9f5 100644 --- a/testdata/language-features/section/section01.out +++ b/testdata/language-features/section/section01.out | |||
@@ -1,8 +1,10 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | (!@!) = \_ _ -> _rhs HNil | 3 | (!@!) = \_ _ -> _rhs HNil |
4 | |||
3 | value1 = \(a :: _) -> _rhs \(b :: _) -> a !@! b | 5 | value1 = \(a :: _) -> _rhs \(b :: _) -> a !@! b |
6 | |||
4 | value2 = \(a :: _) -> _rhs \(b :: _) -> b !@! a | 7 | value2 = \(a :: _) -> _rhs \(b :: _) -> b !@! a |
5 | main is not found | ||
6 | ------------ trace | 8 | ------------ trace |
7 | (!@!) :: forall a b . a -> b -> () | 9 | (!@!) :: forall a b . a -> b -> () |
8 | value1 :: forall a b . a -> b -> () | 10 | value1 :: forall a b . a -> b -> () |