X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcBinds.lhs;h=b5d2cb74770412effb48c8bcfd4579a1aa910a9a;hb=dbaa3bb30eaf9d806357e41435dab32695c47842;hp=ce668509705c64cf1942f43b2cba276026c9fc82;hpb=221b6b69d68ad9b8de2948b6af40d1c08ffaa0c6;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcBinds.lhs b/ghc/compiler/typecheck/TcBinds.lhs index ce66850..b5d2cb7 100644 --- a/ghc/compiler/typecheck/TcBinds.lhs +++ b/ghc/compiler/typecheck/TcBinds.lhs @@ -8,12 +8,12 @@ module TcBinds ( tcBindsAndThen, tcTopBinds, tcMonoBinds, tcSpecSigs ) where #include "HsVersions.h" -import {-# SOURCE #-} TcMatches ( tcGRHSs, tcMatchesFun ) +import {-# SOURCE #-} TcMatches ( tcGRHSsPat, tcMatchesFun ) import {-# SOURCE #-} TcExpr ( tcCheckSigma, tcCheckRho ) import CmdLineOpts ( DynFlag(Opt_NoMonomorphismRestriction) ) import HsSyn ( HsExpr(..), HsBinds(..), MonoBinds(..), Sig(..), - Match(..), HsMatchContext(..), mkMonoBind, + Match(..), mkMonoBind, collectMonoBinders, andMonoBinds, collectSigTysFromMonoBinds ) @@ -719,7 +719,7 @@ tcMonoBinds mbinds tc_ty_sigs is_rec let complete_it = addSrcLoc locn $ addErrCtxt (patMonoBindsCtxt bind) $ - tcGRHSs PatBindRhs grhss (Check pat_ty) `thenM` \ grhss' -> + tcGRHSsPat grhss (Check pat_ty) `thenM` \ grhss' -> returnM (PatMonoBind pat' grhss' locn, ids) in returnM (complete_it, if isRec is_rec then ids else emptyBag)