diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 16:51:22 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 16:51:22 +0200 |
| commit | 1a7544763729938e7009ead1e375e9bbf413afb0 (patch) | |
| tree | 62af78c28cd91597fe40391d4020cb47f697334a /testdata/complex.out | |
| parent | 11b4a98c3fc7014cdef123fea4081d58e8edbaa2 (diff) | |
better namespace handling in pretty print
Diffstat (limited to 'testdata/complex.out')
| -rw-r--r-- | testdata/complex.out | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/testdata/complex.out b/testdata/complex.out index 99b0a0fd..2a357e18 100644 --- a/testdata/complex.out +++ b/testdata/complex.out | |||
| @@ -1,27 +1,27 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | ------------ trace | 2 | ------------ trace |
| 3 | 'Repr :: [32mType[0m | 3 | 'Repr :: [32mType[0m |
| 4 | Normal :: [32m'Repr[0m | 4 | Normal :: [32mRepr[0m |
| 5 | Polar :: [32m'Repr[0m | 5 | Polar :: [32mRepr[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 | 6 | 'ReprCase :: [32mforall (a :: Repr -> Type) -> [32m[32ma[0;32m [32m'Normal[0;32m[0;32m -> [32m[32ma[0;32m [32m'Polar[0;32m[0;32m -> forall (b :: Repr) -> [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 | 7 | match'Repr :: [32mforall (a :: Type -> Type) -> [32m[32ma[0;32m [32mRepr[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 :: [32mRepr -> 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 :: [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 | 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 :: [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 | 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 :: [32mFloat -> Float -> Complex 'Normal[0m |
| 14 | polar :: [32m'Float -> 'Float -> 'Complex Polar[0m | 14 | polar :: [32mFloat -> Float -> Complex 'Polar[0m |
| 15 | cabs :: [32mforall (a :: 'Repr) . 'Complex [32ma[0;32m -> 'Float[0m | 15 | cabs :: [32mforall (a :: Repr) . Complex [32ma[0;32m -> Float[0m |
| 16 | toPolar :: [32m'Complex Normal -> 'Complex Polar[0m | 16 | toPolar :: [32mComplex 'Normal -> Complex 'Polar[0m |
| 17 | toNormal :: [32m'Complex Polar -> 'Complex Normal[0m | 17 | toNormal :: [32mComplex 'Polar -> Complex 'Normal[0m |
| 18 | it_should_fail :: [32mforall (a :: 'Repr) . 'Complex [32ma[0;32m -> 'Float[0m | 18 | it_should_fail :: [32mforall (a :: Repr) . Complex [32ma[0;32m -> Float[0m |
| 19 | add :: [32mforall (a :: 'Repr) (b :: 'Repr) . 'Complex [32ma[0;32m -> 'Complex [32mb[0;32m -> 'Complex [32ma[0;32m[0m | 19 | add :: [32mforall (a :: Repr) (b :: Repr) . Complex [32ma[0;32m -> Complex [32mb[0;32m -> Complex [32ma[0;32m[0m |
| 20 | mul :: [32mforall (a :: 'Repr) (b :: 'Repr) . 'Complex [32ma[0;32m -> 'Complex [32mb[0;32m -> 'Complex [32ma[0;32m[0m | 20 | mul :: [32mforall (a :: Repr) (b :: Repr) . Complex [32ma[0;32m -> Complex [32mb[0;32m -> Complex [32ma[0;32m[0m |
| 21 | s :: [32mforall (a :: 'Repr) . 'Complex [32ma[0;32m -> 'Complex [32ma[0;32m[0m | 21 | s :: [32mforall (a :: Repr) . Complex [32ma[0;32m -> Complex [32ma[0;32m[0m |
| 22 | s4 :: [32mforall (a :: 'Repr) . 'Complex [32ma[0;32m -> 'Complex [32ma[0;32m[0m | 22 | s4 :: [32mforall (a :: Repr) . Complex [32ma[0;32m -> Complex [32ma[0;32m[0m |
| 23 | iter :: [32mforall (a :: 'Repr) . 'Complex [32ma[0;32m -> 'Complex [32ma[0;32m[0m | 23 | iter :: [32mforall (a :: Repr) . Complex [32ma[0;32m -> Complex [32ma[0;32m[0m |
| 24 | mandel :: [32mforall (a :: 'Repr) . 'Complex [32ma[0;32m -> [32m'VecScalar [32m1[0;32m [32m'Bool[0;32m[0;32m[0m | 24 | mandel :: [32mforall (a :: Repr) . Complex [32ma[0;32m -> [32mVecScalar [32m1[0;32m [32mBool[0;32m[0;32m[0m |
| 25 | ------------ tooltips | 25 | ------------ tooltips |
| 26 | testdata/complex.lc 3:6-3:10 Type | 26 | testdata/complex.lc 3:6-3:10 Type |
| 27 | testdata/complex.lc 3:6-3:27 Type | 27 | testdata/complex.lc 3:6-3:27 Type |