[project @ 2003-05-21 23:40:08 by igloo]

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

diff --git a/ghc/compiler/typecheck/TcExpr.lhs b/ghc/compiler/typecheck/TcExpr.lhs
index bb8d181..4eb7e80 100644 (file)
--- a/ghc/compiler/typecheck/TcExpr.lhs
+++ b/ghc/compiler/typecheck/TcExpr.lhs
@@ -629,8 +629,8 @@ tcMonoExpr (HsReify (Reify flavour name)) res_ty
     returnM (HsReify (ReifyOut flavour name))
   where
     tycon_name = case flavour of
-                  ReifyDecl -> DsMeta.declTyConName
-                  ReifyType -> DsMeta.typeTyConName
+                  ReifyDecl -> DsMeta.decQTyConName
+                  ReifyType -> DsMeta.typQTyConName
                   ReifyFixity -> pprPanic "tcMonoExpr: cant do reifyFixity yet" (ppr name)
 #endif GHCI
 \end{code}
@@ -877,7 +877,8 @@ tcId name   -- Look up the Id and instantiate its type
 
        -- We treat data constructors differently, because we have to generate
        -- constraints for their silly theta, which no longer appears in
-       -- the type of dataConWrapId.  It's dual to TcPat.tcConstructor
+       -- the type of dataConWrapId (see note on "stupid context" in DataCon.lhs
+       -- It's dual to TcPat.tcConstructor
     inst_data_con data_con
       = tcInstDataCon orig data_con    `thenM` \ (ty_args, ex_dicts, arg_tys, result_ty, _) ->
        extendLIEs ex_dicts             `thenM_`