diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2013-06-21 13:58:24 +0100 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2013-06-21 13:58:24 +0100 |
| commit | c30744cc4fcd3a048dab246058f4f6831f38d798 (patch) | |
| tree | 6d4d0b1f5134e1a8a23af75c0bbc2d6fa90427f2 /testsuite/tests/ghci/scripts/T4175.stdout | |
| parent | a26bf928d274f57c7c0c95df23c769244e90633e (diff) | |
| download | haskell-c30744cc4fcd3a048dab246058f4f6831f38d798.tar.gz | |
Updates to support closed type families.
Diffstat (limited to 'testsuite/tests/ghci/scripts/T4175.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T4175.stdout | 98 |
1 files changed, 46 insertions, 52 deletions
diff --git a/testsuite/tests/ghci/scripts/T4175.stdout b/testsuite/tests/ghci/scripts/T4175.stdout index bfbfc87765..553d92a0ab 100644 --- a/testsuite/tests/ghci/scripts/T4175.stdout +++ b/testsuite/tests/ghci/scripts/T4175.stdout @@ -1,52 +1,46 @@ -type family A a b :: * -- Defined at T4175.hs:4:13
-type instance A (Maybe a) a -- Defined at T4175.hs:6:15
-type instance A Int Int -- Defined at T4175.hs:5:15
-data family B a -- Defined at T4175.hs:8:13
-data instance B () -- Defined at T4175.hs:9:15
-class C a where
- type family D a b :: *
- -- Defined at T4175.hs:12:10
-type D () () -- Defined at T4175.hs:18:10
-type D Int () -- Defined at T4175.hs:15:10
-type family E a :: * -- Defined at T4175.hs:20:13
-type instance where
- E () -- Defined at T4175.hs:23:5
- E Int -- Defined at T4175.hs:24:5
-data () = () -- Defined in ‛GHC.Tuple’
-instance C () -- Defined at T4175.hs:17:10
-instance Bounded () -- Defined in ‛GHC.Enum’
-instance Enum () -- Defined in ‛GHC.Enum’
-instance Eq () -- Defined in ‛GHC.Classes’
-instance Ord () -- Defined in ‛GHC.Classes’
-instance Read () -- Defined in ‛GHC.Read’
-instance Show () -- Defined in ‛GHC.Show’
-type instance where
- E () -- Defined at T4175.hs:23:5
- E Int -- Defined at T4175.hs:24:5
-type D () () -- Defined at T4175.hs:18:10
-type D Int () -- Defined at T4175.hs:15:10
-data instance B () -- Defined at T4175.hs:9:15
-data Maybe a = Nothing | Just a -- Defined in ‛Data.Maybe’
-instance Eq a => Eq (Maybe a) -- Defined in ‛Data.Maybe’
-instance Monad Maybe -- Defined in ‛Data.Maybe’
-instance Functor Maybe -- Defined in ‛Data.Maybe’
-instance Ord a => Ord (Maybe a) -- Defined in ‛Data.Maybe’
-instance Read a => Read (Maybe a) -- Defined in ‛GHC.Read’
-instance Show a => Show (Maybe a) -- Defined in ‛GHC.Show’
-type instance A (Maybe a) a -- Defined at T4175.hs:6:15
-data Int = GHC.Types.I# GHC.Prim.Int# -- Defined in ‛GHC.Types’
-instance C Int -- Defined at T4175.hs:14:10
-instance Bounded Int -- Defined in ‛GHC.Enum’
-instance Enum Int -- Defined in ‛GHC.Enum’
-instance Eq Int -- Defined in ‛GHC.Classes’
-instance Integral Int -- Defined in ‛GHC.Real’
-instance Num Int -- Defined in ‛GHC.Num’
-instance Ord Int -- Defined in ‛GHC.Classes’
-instance Read Int -- Defined in ‛GHC.Read’
-instance Real Int -- Defined in ‛GHC.Real’
-instance Show Int -- Defined in ‛GHC.Show’
-type instance where
- E () -- Defined at T4175.hs:23:5
- E Int -- Defined at T4175.hs:24:5
-type D Int () -- Defined at T4175.hs:15:10
-type instance A Int Int -- Defined at T4175.hs:5:15
+type family A a b :: * -- Defined at T4175.hs:4:13 +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:13 +data instance B () -- Defined at T4175.hs:9:15 +class C a where + type family D a b :: * + -- Defined at T4175.hs:12:10 +type D () () -- Defined at T4175.hs:18:5 +type D Int () -- Defined at T4175.hs:15:5 +type family E a :: * where + E () = Bool + E Int = String + -- Defined at T4175.hs:20:13 +data () = () -- Defined in ‛GHC.Tuple’ +instance C () -- Defined at T4175.hs:17:10 +instance Bounded () -- Defined in ‛GHC.Enum’ +instance Enum () -- Defined in ‛GHC.Enum’ +instance Eq () -- Defined in ‛GHC.Classes’ +instance Ord () -- Defined in ‛GHC.Classes’ +instance Read () -- Defined in ‛GHC.Read’ +instance Show () -- Defined in ‛GHC.Show’ +type D () () -- Defined at T4175.hs:18:5 +type D Int () -- Defined at T4175.hs:15:5 +data instance B () -- Defined at T4175.hs:9:15 +data Maybe a = Nothing | Just a -- Defined in ‛Data.Maybe’ +instance Eq a => Eq (Maybe a) -- Defined in ‛Data.Maybe’ +instance Monad Maybe -- Defined in ‛Data.Maybe’ +instance Functor Maybe -- Defined in ‛Data.Maybe’ +instance Ord a => Ord (Maybe a) -- Defined in ‛Data.Maybe’ +instance Read a => Read (Maybe a) -- Defined in ‛GHC.Read’ +instance Show a => Show (Maybe a) -- Defined in ‛GHC.Show’ +type instance A (Maybe a) a -- Defined at T4175.hs:6:1 +data Int = GHC.Types.I# GHC.Prim.Int# -- Defined in ‛GHC.Types’ +instance C Int -- Defined at T4175.hs:14:10 +instance Bounded Int -- Defined in ‛GHC.Enum’ +instance Enum Int -- Defined in ‛GHC.Enum’ +instance Eq Int -- Defined in ‛GHC.Classes’ +instance Integral Int -- Defined in ‛GHC.Real’ +instance Num Int -- Defined in ‛GHC.Num’ +instance Ord Int -- Defined in ‛GHC.Classes’ +instance Read Int -- Defined in ‛GHC.Read’ +instance Real Int -- Defined in ‛GHC.Real’ +instance Show Int -- Defined in ‛GHC.Show’ +type D Int () -- Defined at T4175.hs:15:5 +type instance A Int Int -- Defined at T4175.hs:5:1 |