Commit 21028ee6 authored by Gergő Érdi's avatar Gergő Érdi
Browse files

Update expected test outputs to match new format of pretty-printing

interface contents
parent a3f78e24
...@@ -14,7 +14,7 @@ TYPE CONSTRUCTORS ...@@ -14,7 +14,7 @@ TYPE CONSTRUCTORS
No C type associated No C type associated
Roles: [representational] Roles: [representational]
RecFlag NonRecursive, Promotable RecFlag NonRecursive, Promotable
= L :: forall a. [a] -> ListColl a Stricts: _ = L :: [a] -> ListColl a Stricts: _
FamilyInstance: none FamilyInstance: none
COERCION AXIOMS COERCION AXIOMS
axiom Foo.TFCo:R:ElemListColl :: Elem (ListColl a) = a axiom Foo.TFCo:R:ElemListColl :: Elem (ListColl a) = a
......
test('Roles1', only_ways('normal'), compile, ['-ddump-tc']) test('Roles1', only_ways('normal'), compile, ['-ddump-tc -fprint-explicit-foralls'])
test('Roles2', only_ways('normal'), compile, ['-ddump-tc']) test('Roles2', only_ways('normal'), compile, ['-ddump-tc -fprint-explicit-foralls'])
test('Roles3', only_ways('normal'), compile, ['-ddump-tc']) test('Roles3', only_ways('normal'), compile, ['-ddump-tc'])
test('Roles4', only_ways('normal'), compile, ['-ddump-tc']) test('Roles4', only_ways('normal'), compile, ['-ddump-tc'])
test('Roles13', only_ways('normal'), compile, ['-ddump-simpl -dsuppress-uniques']) test('Roles13', only_ways('normal'), compile, ['-ddump-simpl -dsuppress-uniques'])
......
...@@ -10,21 +10,20 @@ TYPE CONSTRUCTORS ...@@ -10,21 +10,20 @@ TYPE CONSTRUCTORS
No C type associated No C type associated
Roles: [representational, representational, representational] Roles: [representational, representational, representational]
RecFlag NonRecursive, Promotable RecFlag NonRecursive, Promotable
= Node :: forall s a chain. s -> a -> chain -> Q s a chain = Node :: s -> a -> chain -> Q s a chain Stricts: _ _ _
Stricts: _ _ _
FamilyInstance: none FamilyInstance: none
Z :: * -> * Z :: * -> *
data Z a data Z a
No C type associated No C type associated
Roles: [representational] Roles: [representational]
RecFlag NonRecursive, Promotable RecFlag NonRecursive, Promotable
= Z :: forall a. a -> Z a Stricts: _ = Z :: a -> Z a Stricts: _
FamilyInstance: none FamilyInstance: none
Zork :: * -> * -> * -> Constraint Zork :: * -> * -> * -> Constraint
class Zork s a b | a -> b class Zork s a b | a -> b
Roles: [nominal, nominal, nominal] Roles: [nominal, nominal, nominal]
RecFlag NonRecursive RecFlag NonRecursive
huh :: forall chain. Q s a chain -> ST s () huh :: Q s a chain -> ST s ()
COERCION AXIOMS COERCION AXIOMS
axiom ShouldCompile.NTCo:Zork :: axiom ShouldCompile.NTCo:Zork ::
Zork s a b = forall chain. Q s a chain -> ST s () Zork s a b = forall chain. Q s a chain -> ST s ()
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment