diff options
Diffstat (limited to 'testdata/language-features/basic-values/infix03.out')
| -rw-r--r-- | testdata/language-features/basic-values/infix03.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/language-features/basic-values/infix03.out b/testdata/language-features/basic-values/infix03.out index dcab8247..3420e35e 100644 --- a/testdata/language-features/basic-values/infix03.out +++ b/testdata/language-features/basic-values/infix03.out | |||
| @@ -3,8 +3,8 @@ main is not found | |||
| 3 | 'D :: [32mType[0m | 3 | 'D :: [32mType[0m |
| 4 | D2 :: [32m() -> () -> 'D[0m | 4 | D2 :: [32m() -> () -> 'D[0m |
| 5 | D3 :: [32m() -> () -> () -> 'D[0m | 5 | D3 :: [32m() -> () -> () -> 'D[0m |
| 6 | 'DCase :: [32m([32ma[0;32m :: 'D -> Type) -> (([32mb[0;32m :: ()) -> ([32mc[0;32m :: ()) -> [32m[32ma[0;32m [32m(D2 [32mb[0;32m [32mc[0;32m)[0;32m[0;32m) -> (([32md[0;32m :: ()) -> ([32me[0;32m :: ()) -> ([32mf[0;32m :: ()) -> [32m[32ma[0;32m [32m(D3 [32md[0;32m [32me[0;32m [32mf[0;32m)[0;32m[0;32m) -> ([32mg[0;32m :: 'D) -> [32m[32ma[0;32m [32m[32mg[0;32m[0;32m[0;32m[0m | 6 | 'DCase :: [32mforall (a :: 'D -> Type) -> (forall (b :: ()) (c :: ()) -> [32m[32ma[0;32m [32m(D2 [32mb[0;32m [32mc[0;32m)[0;32m[0;32m) -> (forall (d :: ()) (e :: ()) (f :: ()) -> [32m[32ma[0;32m [32m(D3 [32md[0;32m [32me[0;32m [32mf[0;32m)[0;32m[0;32m) -> forall (g :: 'D) -> [32m[32ma[0;32m [32m[32mg[0;32m[0;32m[0;32m[0m |
| 7 | match'D :: [32m([32ma[0;32m :: Type -> Type) -> [32m[32ma[0;32m [32m'D[0;32m[0;32m -> ([32mb[0;32m :: Type) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 7 | match'D :: [32mforall (a :: Type -> Type) -> [32m[32ma[0;32m [32m'D[0;32m[0;32m -> forall b -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
| 8 | d2 :: [32m() -> () -> 'D[0m | 8 | d2 :: [32m() -> () -> 'D[0m |
| 9 | d3 :: [32m() -> () -> () -> 'D[0m | 9 | d3 :: [32m() -> () -> () -> 'D[0m |
| 10 | ------------ tooltips | 10 | ------------ tooltips |