diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-08 18:08:31 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-08 18:08:31 +0100 |
| commit | 7912f8b81b4d282b72f62733cd3c34063cd739e4 (patch) | |
| tree | db01d62c82ca51dd5bb54ec4f7e256502d71521d /testsuite/tests/ghci/scripts/T4175.stdout | |
| parent | 15b4f839f8a7b1060093395ce3cc579f19c6d7c9 (diff) | |
| download | haskell-7912f8b81b4d282b72f62733cd3c34063cd739e4.tar.gz | |
Error wibbles now that we print roles in :info
(We might want to revisit this.)
Diffstat (limited to 'testsuite/tests/ghci/scripts/T4175.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T4175.stdout | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/testsuite/tests/ghci/scripts/T4175.stdout b/testsuite/tests/ghci/scripts/T4175.stdout index a253cf25bf..81d21a2c2a 100644 --- a/testsuite/tests/ghci/scripts/T4175.stdout +++ b/testsuite/tests/ghci/scripts/T4175.stdout @@ -1,13 +1,20 @@ -type family A a b :: * -- Defined at T4175.hs:4:1 +type role A nominal nominal +type family A a b :: * + -- Defined at T4175.hs:4:1 type instance A (Maybe a) a -- Defined at T4175.hs:6:1 type instance A Int Int -- Defined at T4175.hs:5:1 -data family B a -- Defined at T4175.hs:8:1 +type role B nominal +data family B a + -- Defined at T4175.hs:8:1 data instance B () -- Defined at T4175.hs:9:15 +type role C nominal class C a where + type role D nominal nominal type family D a b :: * -- Defined at T4175.hs:12:5 type D () () -- Defined at T4175.hs:18:5 type D Int () -- Defined at T4175.hs:15:5 +type role E nominal type family E a :: * where E () = Bool E Int = String |