diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2013-10-22 11:16:21 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2013-10-23 09:23:24 -0400 |
| commit | 324f9952b5962eb971028401544e54f43a5abe66 (patch) | |
| tree | 17910cbea05e662dafabd6360197f7e0f94ad474 /testsuite/tests/ghci/scripts/T4175.stdout | |
| parent | 99cd277c181dfb346d5f2d5fc9475379229037d0 (diff) | |
| download | haskell-324f9952b5962eb971028401544e54f43a5abe66.tar.gz | |
Wibbles to output regarding role annotations.
Diffstat (limited to 'testsuite/tests/ghci/scripts/T4175.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T4175.stdout | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/testsuite/tests/ghci/scripts/T4175.stdout b/testsuite/tests/ghci/scripts/T4175.stdout index 81d21a2c2a..c6311899c7 100644 --- a/testsuite/tests/ghci/scripts/T4175.stdout +++ b/testsuite/tests/ghci/scripts/T4175.stdout @@ -1,20 +1,15 @@ -type role A nominal nominal -type family A a b :: * - -- Defined at T4175.hs:4:1 +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 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 |