From 0b89064cc67cb4fbdba0044ab59a17b20bbde1db Mon Sep 17 00:00:00 2001 From: Richard Eisenberg Date: Fri, 18 Mar 2016 11:20:31 -0400 Subject: Make equality print better. (#11712) --- testsuite/tests/roles/should_compile/Roles13.stderr | 2 +- testsuite/tests/roles/should_compile/Roles3.stderr | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'testsuite/tests/roles') diff --git a/testsuite/tests/roles/should_compile/Roles13.stderr b/testsuite/tests/roles/should_compile/Roles13.stderr index e9b8f1afec..8a92c122b7 100644 --- a/testsuite/tests/roles/should_compile/Roles13.stderr +++ b/testsuite/tests/roles/should_compile/Roles13.stderr @@ -13,7 +13,7 @@ convert :: Wrap Age -> Int convert = convert1 `cast` (_R -> Roles13.N:Wrap[0] Roles13.N:Age[0] - :: (Wrap Age -> Wrap Age) ~R# (Wrap Age -> Int)) + :: ((Wrap Age -> Wrap Age) :: *) ~R# ((Wrap Age -> Int) :: *)) -- RHS size: {terms: 2, types: 0, coercions: 0} $trModule1 :: GHC.Types.TrName diff --git a/testsuite/tests/roles/should_compile/Roles3.stderr b/testsuite/tests/roles/should_compile/Roles3.stderr index ca496ed042..5bf803419f 100644 --- a/testsuite/tests/roles/should_compile/Roles3.stderr +++ b/testsuite/tests/roles/should_compile/Roles3.stderr @@ -23,7 +23,7 @@ TYPE CONSTRUCTORS COERCION AXIOMS axiom Roles3.N:C1 :: C1 a = a -> a -- Defined at Roles3.hs:6:1 axiom Roles3.N:C2 :: - C2 a b = (a ~ b) => a -> b -- Defined at Roles3.hs:9:1 + C2 a b = a ~ b => a -> b -- Defined at Roles3.hs:9:1 axiom Roles3.N:C3 :: C3 a b = a -> F3 b -> F3 b -- Defined at Roles3.hs:12:1 axiom Roles3.N:C4 :: -- cgit v1.2.1