diff options
Diffstat (limited to 'testdata/language-features/basic-values/def01.out')
-rw-r--r-- | testdata/language-features/basic-values/def01.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/language-features/basic-values/def01.out b/testdata/language-features/basic-values/def01.out index 6c174057..712cd657 100644 --- a/testdata/language-features/basic-values/def01.out +++ b/testdata/language-features/basic-values/def01.out | |||
@@ -1,8 +1,8 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | unit :: [32m()[0m | 3 | unit :: [32m()[0m |
4 | fun1 :: [32mforall a b . [32m'Num [32m[32mb[0;32m[0;32m[0;32m => [32ma[0;32m -> [32mb[0;32m[0m | 4 | fun1 :: [32mforall a b . [32mNum [32m[32mb[0;32m[0;32m[0;32m => [32ma[0;32m -> [32mb[0;32m[0m |
5 | fun2 :: [32mforall a b c d e . [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> [32md[0;32m -> [32me[0;32m -> 'Char[0m | 5 | fun2 :: [32mforall a b c d e . [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> [32md[0;32m -> [32me[0;32m -> Char[0m |
6 | ------------ tooltips | 6 | ------------ tooltips |
7 | testdata/language-features/basic-values/def01.lc 1:1-1:5 () | 7 | testdata/language-features/basic-values/def01.lc 1:1-1:5 () |
8 | testdata/language-features/basic-values/def01.lc 1:8-1:10 () | 8 | testdata/language-features/basic-values/def01.lc 1:8-1:10 () |