Use functional dependencies

[ghc-prim.git] / GHC / Types.hs

diff --git a/GHC/Types.hs b/GHC/Types.hs
index b2d0291..0d7d7f8 100644 (file)
--- a/GHC/Types.hs
+++ b/GHC/Types.hs
@@ -16,16 +16,18 @@
 
 {-# OPTIONS_GHC -XNoImplicitPrelude #-}
 
-module GHC.Types (Char(..), Int(..), Float(..), Double(..), IO(..)) where
+module GHC.Types (Bool(..), Char(..), Int(..), Float(..), Double(..), IO(..)) where
 
 import GHC.Prim
 -- We need Inl etc behind the scenes for the type definitions
-import GHC.Generics ()
+import GHC.Generics () -- JPM: Do we really need this?
 
 infixr 5 :
 
 data [] a = [] | a : [a]
 
+data Bool = False | True
+
 {-| The character type 'Char' is an enumeration whose values represent
 Unicode (or equivalently ISO\/IEC 10646) characters
 (see <http://www.unicode.org/> for details).