X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=ghc%2Fcompiler%2Ftypecheck%2FTcTyDecls.lhs;h=89a90b033e2f063652ccc70655aaee31f04bebf6;hb=c49d51f812da9b1c2ceca7e0dad8f2a3626041a9;hp=e8595fd7e96acb54789b7be1e678119a1c26a55e;hpb=f0e42a460a3bb4857f3c4bfa92dd134fcf409849;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcTyDecls.lhs b/ghc/compiler/typecheck/TcTyDecls.lhs index e8595fd..89a90b0 100644 --- a/ghc/compiler/typecheck/TcTyDecls.lhs +++ b/ghc/compiler/typecheck/TcTyDecls.lhs @@ -23,8 +23,9 @@ import HsSyn ( TyDecl(..), ConDecl(..), BangType(..), HsExpr(..), import RnHsSyn ( RenamedTyDecl(..), RenamedConDecl(..), RnName{-instance Outputable-} ) -import TcHsSyn ( mkHsTyLam, tcIdType, zonkId, TcHsBinds(..), TcIdOcc(..) ) - +import TcHsSyn ( mkHsTyLam, mkHsDictLam, tcIdType, zonkId, + TcHsBinds(..), TcIdOcc(..) + ) import Inst ( newDicts, InstOrigin(..), Inst ) import TcMonoType ( tcMonoTypeKind, tcMonoType, tcContext ) import TcType ( tcInstTyVars, tcInstType, tcInstId ) @@ -245,7 +246,7 @@ mkConstructor con_id -- Build the data constructor let con_rhs = mkHsTyLam tyvars $ - DictLam dicts $ + mkHsDictLam dicts $ mk_pat_match args $ mk_case strict_args $ HsCon con_id arg_tys (map HsVar args)