From 08faa2226162892a8f055fa3cb5d8547a3f90bf5 Mon Sep 17 00:00:00 2001 From: Péter Diviánszky Date: Thu, 28 Apr 2016 00:55:25 +0200 Subject: always show parens --- testdata/complex.out | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'testdata/complex.out') diff --git a/testdata/complex.out b/testdata/complex.out index f751c2bb..7c33a18a 100644 --- a/testdata/complex.out +++ b/testdata/complex.out @@ -3,12 +3,12 @@ main is not found 'Repr :: Type Normal :: 'Repr Polar :: 'Repr -'ReprCase :: (a : 'Repr->Type) -> a Normal -> a Polar -> b:'Repr -> a b -match'Repr :: (a : Type->Type) -> a 'Repr -> b:Type -> a b -> a b +'ReprCase :: (a : 'Repr->Type) -> a Normal -> a Polar -> (b:'Repr) -> a b +match'Repr :: (a : Type->Type) -> a 'Repr -> (b:Type) -> a b -> a b 'Complex :: 'Repr->Type Complex :: {a:'Repr} -> 'Float -> 'Float -> 'Complex a -'ComplexCase :: (a : b:'Repr -> 'Complex b -> Type) -> ({c:'Repr} -> d:'Float -> e:'Float -> a c (Complex c d e)) -> {f:'Repr} -> (g : 'Complex f) -> a f g -match'Complex :: (a : Type->Type) -> (b:'Repr -> a ('Complex b)) -> c:Type -> a c -> a c +'ComplexCase :: (a : (b:'Repr) -> 'Complex b -> Type) -> ({c:'Repr} -> (d:'Float) -> (e:'Float) -> a c (Complex c d e)) -> {f:'Repr} -> (g : 'Complex f) -> a f g +match'Complex :: (a : Type->Type) -> ((b:'Repr) -> a ('Complex b)) -> (c:Type) -> a c -> a c repr :: {a:'Repr} -> 'Complex a -> 'Repr normal :: 'Float -> 'Float -> 'Complex Normal polar :: 'Float -> 'Float -> 'Complex Polar -- cgit v1.2.3