[project @ 1996-01-18 16:33:17 by partain]
[ghc-hetmet.git] / ghc / compiler / typecheck / Typecheck.lhs
index 3d012df..57a2dd6 100644 (file)
@@ -63,7 +63,7 @@ typecheckModule ::
         TCE,
         Bag InstInfo),
 
-       FiniteMap TyCon [[Maybe UniType]],
+       FiniteMap TyCon [(Bool, [Maybe UniType])],
                                -- source tycon specialisation requests
 
 --UNUSED:      E,                      -- new cumulative E (with everything)