diff options
Diffstat (limited to 'testdata/complex.out')
-rw-r--r-- | testdata/complex.out | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testdata/complex.out b/testdata/complex.out index 43a60b85..99b0a0fd 100644 --- a/testdata/complex.out +++ b/testdata/complex.out | |||
@@ -3,12 +3,12 @@ main is not found | |||
3 | 'Repr :: [32mType[0m | 3 | 'Repr :: [32mType[0m |
4 | Normal :: [32m'Repr[0m | 4 | Normal :: [32m'Repr[0m |
5 | Polar :: [32m'Repr[0m | 5 | Polar :: [32m'Repr[0m |
6 | 'ReprCase :: [32m([32ma[0;32m :: 'Repr -> Type) -> [32m[32ma[0;32m [32mNormal[0;32m[0;32m -> [32m[32ma[0;32m [32mPolar[0;32m[0;32m -> ([32mb[0;32m :: 'Repr) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 6 | 'ReprCase :: [32mforall (a :: 'Repr -> Type) -> [32m[32ma[0;32m [32mNormal[0;32m[0;32m -> [32m[32ma[0;32m [32mPolar[0;32m[0;32m -> forall (b :: 'Repr) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
7 | match'Repr :: [32m([32ma[0;32m :: Type -> Type) -> [32m[32ma[0;32m [32m'Repr[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'Repr :: [32mforall (a :: Type -> Type) -> [32m[32ma[0;32m [32m'Repr[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 | 'Complex :: [32m'Repr -> Type[0m | 8 | 'Complex :: [32m'Repr -> Type[0m |
9 | Complex :: [32mforall (a :: 'Repr) . 'Float -> 'Float -> 'Complex [32ma[0;32m[0m | 9 | Complex :: [32mforall (a :: 'Repr) . 'Float -> 'Float -> 'Complex [32ma[0;32m[0m |
10 | 'ComplexCase :: [32m([32ma[0;32m :: ([32mb[0;32m :: 'Repr) -> 'Complex [32mb[0;32m -> Type) -> (forall (c :: 'Repr) . ([32md[0;32m :: 'Float) -> ([32me[0;32m :: 'Float) -> [32m[32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m [32m(Complex [32mc[0;32m [32md[0;32m [32me[0;32m)[0;32m[0;32m) -> forall (f :: 'Repr) . ([32mg[0;32m :: 'Complex [32mf[0;32m) -> [32m[32m[32ma[0;32m [32m[32mf[0;32m[0;32m[0;32m [32m[32mg[0;32m[0;32m[0;32m[0m | 10 | 'ComplexCase :: [32mforall (a :: forall (b :: 'Repr) -> 'Complex [32mb[0;32m -> Type) -> (forall (c :: 'Repr) . forall (d :: 'Float) (e :: 'Float) -> [32m[32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m [32m(Complex [32mc[0;32m [32md[0;32m [32me[0;32m)[0;32m[0;32m) -> forall (f :: 'Repr) . forall (g :: 'Complex [32mf[0;32m) -> [32m[32m[32ma[0;32m [32m[32mf[0;32m[0;32m[0;32m [32m[32mg[0;32m[0;32m[0;32m[0m |
11 | match'Complex :: [32m([32ma[0;32m :: Type -> Type) -> (([32mb[0;32m :: 'Repr) -> [32m[32ma[0;32m [32m('Complex [32mb[0;32m)[0;32m[0;32m) -> ([32mc[0;32m :: Type) -> [32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m[0m | 11 | match'Complex :: [32mforall (a :: Type -> Type) -> (forall (b :: 'Repr) -> [32m[32ma[0;32m [32m('Complex [32mb[0;32m)[0;32m[0;32m) -> forall c -> [32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m[0m |
12 | repr :: [32mforall (a :: 'Repr) . 'Complex [32ma[0;32m -> 'Repr[0m | 12 | repr :: [32mforall (a :: 'Repr) . 'Complex [32ma[0;32m -> 'Repr[0m |
13 | normal :: [32m'Float -> 'Float -> 'Complex Normal[0m | 13 | normal :: [32m'Float -> 'Float -> 'Complex Normal[0m |
14 | polar :: [32m'Float -> 'Float -> 'Complex Polar[0m | 14 | polar :: [32m'Float -> 'Float -> 'Complex Polar[0m |