X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcTyClsDecls.lhs;h=75d582e865bba09dddc9c9d428530a9fbceeaa8b;hb=cb8efb737dae6e41f28d471883df67724a33120f;hp=e5eeac8685bda12451a6fce3e2d144387edff8aa;hpb=dfcf88523ec5988fbcaa2cbf812cc5862ad621cf;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcTyClsDecls.lhs b/compiler/typecheck/TcTyClsDecls.lhs index e5eeac8..75d582e 100644 --- a/compiler/typecheck/TcTyClsDecls.lhs +++ b/compiler/typecheck/TcTyClsDecls.lhs @@ -11,7 +11,7 @@ module TcTyClsDecls ( #include "HsVersions.h" import HsSyn ( TyClDecl(..), HsConDetails(..), HsTyVarBndr(..), - ConDecl(..), Sig(..), , NewOrData(..), ResType(..), + ConDecl(..), Sig(..), NewOrData(..), ResType(..), tyClDeclTyVars, isSynDecl, hsConArgs, LTyClDecl, tcdName, hsTyVarName, LHsTyVarBndr ) @@ -630,7 +630,7 @@ checkValidTyCon tc get_fields con = dataConFieldLabels con `zip` repeat con -- dataConFieldLabels may return the empty list, which is fine - -- XXX - autrijus - Make this far more complex to acommodate + -- Note: The complicated checkOne logic below is there to accomodate -- for different return types. Add res_ty to the mix, -- comparing them in two steps, all for good error messages. -- Plan: Use Unify.tcMatchTys to compare the first candidate's