diff options
Diffstat (limited to 'testdata/language-features/basic-values/lambda03.out')
| -rw-r--r-- | testdata/language-features/basic-values/lambda03.out | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/testdata/language-features/basic-values/lambda03.out b/testdata/language-features/basic-values/lambda03.out index 33988c84..990af1ad 100644 --- a/testdata/language-features/basic-values/lambda03.out +++ b/testdata/language-features/basic-values/lambda03.out | |||
| @@ -3,10 +3,14 @@ fun1 = _rhs \_ (a :: _) -> \_ -> a | |||
| 3 | fun2 = \(a :: _) -> _rhs \_ -> \_ -> \_ -> a | 3 | fun2 = \(a :: _) -> _rhs \_ -> \_ -> \_ -> a |
| 4 | main is not found | 4 | main is not found |
| 5 | ------------ trace | 5 | ------------ trace |
| 6 | fun1 :: [32mforall a b c . [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> [32mb[0;32m[0m | 6 | fun1 :: forall a b c . a -> b -> c -> b |
| 7 | fun2 :: [32mforall a b c d . [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> [32md[0;32m -> [32ma[0;32m[0m | 7 | fun2 :: forall a b c d . a -> b -> c -> d -> a |
| 8 | ------------ tooltips | 8 | ------------ tooltips |
| 9 | testdata/language-features/basic-values/lambda03.lc 1:1-1:5 forall a b c . a -> b -> c -> b | 9 | testdata/language-features/basic-values/lambda03.lc 1:1-1:5 |
| 10 | testdata/language-features/basic-values/lambda03.lc 1:22-1:23 _d | 10 | forall a b c . a -> b -> c -> b |
| 11 | testdata/language-features/basic-values/lambda03.lc 2:1-2:5 forall a b c d . a -> b -> c -> d -> a | 11 | testdata/language-features/basic-values/lambda03.lc 1:22-1:23 |
| 12 | testdata/language-features/basic-values/lambda03.lc 2:25-2:26 _h | 12 | _d |
| 13 | testdata/language-features/basic-values/lambda03.lc 2:1-2:5 | ||
| 14 | forall a b c d . a -> b -> c -> d -> a | ||
| 15 | testdata/language-features/basic-values/lambda03.lc 2:25-2:26 | ||
| 16 | _h \ No newline at end of file | ||