diff options
author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-18 11:20:31 -0400 |
---|---|---|
committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-21 12:16:11 -0400 |
commit | 0b89064cc67cb4fbdba0044ab59a17b20bbde1db (patch) | |
tree | 7d9ddb0c1f94fa5f5e9dc2a780ed136adbc598f6 /testsuite/tests/roles | |
parent | 1701255c06fed2aa2811f7f29f108d88fc4d6f26 (diff) | |
download | haskell-0b89064cc67cb4fbdba0044ab59a17b20bbde1db.tar.gz |
Make equality print better. (#11712)
Diffstat (limited to 'testsuite/tests/roles')
-rw-r--r-- | testsuite/tests/roles/should_compile/Roles13.stderr | 2 | ||||
-rw-r--r-- | testsuite/tests/roles/should_compile/Roles3.stderr | 2 |
2 files changed, 2 insertions, 2 deletions
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` (<Wrap Age>_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 :: |