Remove the distinction between data and newtype families

[ghc-hetmet.git] / compiler / types / TyCon.lhs

diff --git a/compiler/types/TyCon.lhs b/compiler/types/TyCon.lhs
index 90ac71c..85881b6 100644 (file)
--- a/compiler/types/TyCon.lhs
+++ b/compiler/types/TyCon.lhs
@@ -213,16 +213,13 @@ data AlgTyConRhs
 
   | OpenTyCon {
 
 
   | OpenTyCon {
 

-      otArgPoss   :: Maybe [Int],  
+      otArgPoss   :: Maybe [Int]

        -- Nothing <=> top-level indexed type family
        -- Just ns <=> associated (not toplevel) family
        --   In the latter case, for each tyvar in the AT decl, 'ns' gives the
        --   position of that tyvar in the class argument list (starting from 0).
        --   NB: Length is less than tyConArity iff higher kind signature.
        
        -- Nothing <=> top-level indexed type family
        -- Just ns <=> associated (not toplevel) family
        --   In the latter case, for each tyvar in the AT decl, 'ns' gives the
        --   position of that tyvar in the class argument list (starting from 0).
        --   NB: Length is less than tyConArity iff higher kind signature.
        

-      otIsNewtype :: Bool           
-        -- is a newtype (rather than data type)?
-

     }
 
   | DataTyCon {
     }
 
   | DataTyCon {

@@ -633,7 +630,6 @@ isDataTyCon other = False
 isNewTyCon :: TyCon -> Bool
 isNewTyCon (AlgTyCon {algTcRhs = rhs}) = 
   case rhs of
 isNewTyCon :: TyCon -> Bool
 isNewTyCon (AlgTyCon {algTcRhs = rhs}) = 
   case rhs of

-    OpenTyCon {} -> otIsNewtype rhs

     NewTyCon {}  -> True
     _           -> False
 isNewTyCon other                      = False
     NewTyCon {}  -> True
     _           -> False
 isNewTyCon other                      = False