From 1a7544763729938e7009ead1e375e9bbf413afb0 Mon Sep 17 00:00:00 2001 From: Péter Diviánszky Date: Sun, 1 May 2016 16:51:22 +0200 Subject: better namespace handling in pretty print --- testdata/complex.out | 42 +++++++++++++++++++++--------------------- 1 file changed, 21 insertions(+), 21 deletions(-) (limited to 'testdata/complex.out') 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 @@ main is not found ------------ trace 'Repr :: Type -Normal :: 'Repr -Polar :: 'Repr -'ReprCase :: forall (a :: 'Repr -> Type) -> a Normal -> a Polar -> forall (b :: 'Repr) -> a b -match'Repr :: forall (a :: Type -> Type) -> a 'Repr -> forall b -> a b -> a b -'Complex :: 'Repr -> Type -Complex :: forall (a :: 'Repr) . 'Float -> 'Float -> 'Complex a -'ComplexCase :: forall (a :: forall (b :: 'Repr) -> 'Complex b -> Type) -> (forall (c :: 'Repr) . forall (d :: 'Float) (e :: 'Float) -> a c (Complex c d e)) -> forall (f :: 'Repr) . forall (g :: 'Complex f) -> a f g -match'Complex :: forall (a :: Type -> Type) -> (forall (b :: 'Repr) -> a ('Complex b)) -> forall c -> a c -> a c -repr :: forall (a :: 'Repr) . 'Complex a -> 'Repr -normal :: 'Float -> 'Float -> 'Complex Normal -polar :: 'Float -> 'Float -> 'Complex Polar -cabs :: forall (a :: 'Repr) . 'Complex a -> 'Float -toPolar :: 'Complex Normal -> 'Complex Polar -toNormal :: 'Complex Polar -> 'Complex Normal -it_should_fail :: forall (a :: 'Repr) . 'Complex a -> 'Float -add :: forall (a :: 'Repr) (b :: 'Repr) . 'Complex a -> 'Complex b -> 'Complex a -mul :: forall (a :: 'Repr) (b :: 'Repr) . 'Complex a -> 'Complex b -> 'Complex a -s :: forall (a :: 'Repr) . 'Complex a -> 'Complex a -s4 :: forall (a :: 'Repr) . 'Complex a -> 'Complex a -iter :: forall (a :: 'Repr) . 'Complex a -> 'Complex a -mandel :: forall (a :: 'Repr) . 'Complex a -> 'VecScalar 1 'Bool +Normal :: Repr +Polar :: Repr +'ReprCase :: forall (a :: Repr -> Type) -> a 'Normal -> a 'Polar -> forall (b :: Repr) -> a b +match'Repr :: forall (a :: Type -> Type) -> a Repr -> forall b -> a b -> a b +'Complex :: Repr -> Type +Complex :: forall (a :: Repr) . Float -> Float -> Complex a +'ComplexCase :: forall (a :: forall (b :: Repr) -> Complex b -> Type) -> (forall (c :: Repr) . forall (d :: Float) (e :: Float) -> a c ('Complex c d e)) -> forall (f :: Repr) . forall (g :: Complex f) -> a f g +match'Complex :: forall (a :: Type -> Type) -> (forall (b :: Repr) -> a (Complex b)) -> forall c -> a c -> a c +repr :: forall (a :: Repr) . Complex a -> Repr +normal :: Float -> Float -> Complex 'Normal +polar :: Float -> Float -> Complex 'Polar +cabs :: forall (a :: Repr) . Complex a -> Float +toPolar :: Complex 'Normal -> Complex 'Polar +toNormal :: Complex 'Polar -> Complex 'Normal +it_should_fail :: forall (a :: Repr) . Complex a -> Float +add :: forall (a :: Repr) (b :: Repr) . Complex a -> Complex b -> Complex a +mul :: forall (a :: Repr) (b :: Repr) . Complex a -> Complex b -> Complex a +s :: forall (a :: Repr) . Complex a -> Complex a +s4 :: forall (a :: Repr) . Complex a -> Complex a +iter :: forall (a :: Repr) . Complex a -> Complex a +mandel :: forall (a :: Repr) . Complex a -> VecScalar 1 Bool ------------ tooltips testdata/complex.lc 3:6-3:10 Type testdata/complex.lc 3:6-3:27 Type -- cgit v1.2.3