[project @ 2005-10-30 19:12:31 by krasimir]

[ghc-hetmet.git] / ghc / compiler / prelude / TysWiredIn.lhs

diff --git a/ghc/compiler/prelude/TysWiredIn.lhs b/ghc/compiler/prelude/TysWiredIn.lhs
index 7f78ecd..e7dea60 100644 (file)
--- a/ghc/compiler/prelude/TysWiredIn.lhs
+++ b/ghc/compiler/prelude/TysWiredIn.lhs
@@ -21,9 +21,9 @@ module TysWiredIn (
        charTy, stringTy, charTyConName,
 
        
-       doubleTyCon, doubleDataCon, doubleTy,
+       doubleTyCon, doubleDataCon, doubleTy, doubleTyConName, 
        
-       floatTyCon, floatDataCon, floatTy,
+       floatTyCon, floatDataCon, floatTy, floatTyConName,
 
        intTyCon, intDataCon, intTyCon_RDR, intDataCon_RDR, intTyConName,
        intTy,
@@ -75,7 +75,6 @@ import Type           ( Type, mkTyConTy, mkTyConApp, mkTyVarTy, mkTyVarTys, TyThing(..) )
 import Kind            ( mkArrowKinds, liftedTypeKind, ubxTupleKind )
 import Unique          ( incrUnique, mkTupleTyConUnique,
                          mkTupleDataConUnique, mkPArrDataConUnique )
-import PrelNames
 import Array
 import FastString
 import Outputable
@@ -176,7 +175,8 @@ pcTyCon is_enum is_rec name tyvars argvrcs cons
                (mkArrowKinds (map tyVarKind tyvars) liftedTypeKind)
                 tyvars
                 argvrcs
-                (DataTyCon (Just []) cons is_enum)
+                []             -- No stupid theta
+               (DataTyCon cons is_enum)
                []              -- No record selectors
                 is_rec
                True            -- All the wired-in tycons have generics
@@ -485,7 +485,7 @@ mkPArrTy ty  = mkTyConApp parrTyCon [ty]
 
 -- represents the type constructor of parallel arrays
 --
--- * this must match the definition in `PrelPArr'
+--  * this must match the definition in `PrelPArr'
 --
 -- NB: Although the constructor is given here, it will not be accessible in
 --     user code as it is not in the environment of any compiled module except
@@ -511,7 +511,7 @@ isPArrTyCon tc  = tyConName tc == parrTyConName
 
 -- fake array constructors
 --
--- * these constructors are never really used to represent array values;
+--  * these constructors are never really used to represent array values;
 --   however, they are very convenient during desugaring (and, in particular,
 --   in the pattern matching compiler) to treat array pattern just like
 --   yet another constructor pattern