[project @ 1997-07-05 02:19:07 by sof]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcType.lhs

diff --git a/ghc/compiler/typecheck/TcType.lhs b/ghc/compiler/typecheck/TcType.lhs
index f609e02..b6c2362 100644 (file)
--- a/ghc/compiler/typecheck/TcType.lhs
+++ b/ghc/compiler/typecheck/TcType.lhs
@@ -65,11 +65,6 @@ import Unique                ( Unique )
 import UniqFM          ( UniqFM )
 import Maybes          ( assocMaybe )
 import Util            ( zipEqual, nOfThem, panic{-, pprPanic, pprTrace ToDo:rm-} )
-
---import Outputable    ( Outputable(..) )      -- Debugging messages
---import PprType               ( GenTyVar, GenType )
---import Pretty                                        -- ditto
---import PprStyle              ( PprStyle(..) )        -- ditto
 \end{code}
 
 
@@ -183,7 +178,10 @@ inst_tyvars initial_cts tyvars
 inst_tyvar initial_cts (TyVar _ kind name _) 
   = tcGetUnique                `thenNF_Tc` \ uniq ->
     tcNewMutVar initial_cts    `thenNF_Tc` \ box ->
-    returnNF_Tc (TyVar uniq kind name box)
+    returnNF_Tc (TyVar uniq kind Nothing box)
+       -- The "Nothing" means that it'll always print with its 
+       -- unique (or something similar).  If we leave the original (Just Name)
+       -- in there then error messages will say "can't match (T a) against (T a)"
 \end{code}
 
 @tcInstType@ and @tcInstSigType@ both create a fresh instance of a