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/T7939.stdout | |
| parent | 99cd277c181dfb346d5f2d5fc9475379229037d0 (diff) | |
| download | haskell-324f9952b5962eb971028401544e54f43a5abe66.tar.gz | |
Wibbles to output regarding role annotations.
Diffstat (limited to 'testsuite/tests/ghci/scripts/T7939.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T7939.stdout | 16 |
1 files changed, 3 insertions, 13 deletions
diff --git a/testsuite/tests/ghci/scripts/T7939.stdout b/testsuite/tests/ghci/scripts/T7939.stdout index bfaf58fabe..9a88b5c294 100644 --- a/testsuite/tests/ghci/scripts/T7939.stdout +++ b/testsuite/tests/ghci/scripts/T7939.stdout @@ -1,31 +1,21 @@ -type role Foo nominal class Foo (a :: k) where - type role Bar nominal nominal type family Bar (a :: k) b :: * -- Defined at T7939.hs:6:4 Bar :: k -> * -> * -type role F nominal -type family F a :: * - -- Defined at T7939.hs:8:1 +type family F a :: * -- Defined at T7939.hs:8:1 type instance F Int -- Defined at T7939.hs:9:1 F :: * -> * -type role G nominal -type family G a :: * where - G Int = Bool +type family G a :: * where G Int = Bool -- Defined at T7939.hs:11:1 G :: * -> * -type role H nominal -type family H (a :: Bool) :: Bool where - H 'False = 'True +type family H (a :: Bool) :: Bool where H 'False = 'True -- Defined at T7939.hs:14:1 H :: Bool -> Bool -type role J nominal type family J (a :: [k]) :: Bool where J '[] = 'False J (h : t) = 'True -- Defined at T7939.hs:17:1 J :: [k] -> Bool -type role K nominal type family K (a :: [k]) :: Maybe k where K '[] = 'Nothing K (h : t) = 'Just h |