[commit: ghc] type-holes-branch: `flatten` takes an extra argument now. (dfaef5f)
Simon Peyton Jones <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-holes-branch http://hackage.haskell.org/trac/ghc/changeset/dfaef5f9eaf9d471d5f4b3575945c2b8414ff094 >--------------------------------------------------------------- commit dfaef5f9eaf9d471d5f4b3575945c2b8414ff094 Author: Thijs Alkemade <[email protected]> Date: Sat Apr 21 14:04:31 2012 +0200 `flatten` takes an extra argument now. >--------------------------------------------------------------- compiler/typecheck/TcCanonical.lhs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/compiler/typecheck/TcCanonical.lhs b/compiler/typecheck/TcCanonical.lhs index d179b0d..919d858 100644 --- a/compiler/typecheck/TcCanonical.lhs +++ b/compiler/typecheck/TcCanonical.lhs @@ -292,7 +292,7 @@ canHole :: SubGoalDepth -- Depth -> CtFlavor -> Name -> Type -> TcS StopOrContinue canHole d fl nm ty - = do { (xi,co) <- flatten d fl (mkHolePred nm ty) + = do { (xi,co) <- flatten d FMFullFlatten fl (mkHolePred nm ty) ; mb <- rewriteCtFlavor fl xi co ; case mb of Just new_fl -> let HolePred _ xi_in = classifyPredType xi