[project @ 2003-05-07 08:29:42 by simonpj]

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

diff --git a/ghc/compiler/typecheck/TcExpr.lhs b/ghc/compiler/typecheck/TcExpr.lhs
index bb8d181..db7638a 100644 (file)
--- a/ghc/compiler/typecheck/TcExpr.lhs
+++ b/ghc/compiler/typecheck/TcExpr.lhs
@@ -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_`