Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/8f0c37e39b1c2cc67d9610cd5988fc7081f141e5 >--------------------------------------------------------------- commit 8f0c37e39b1c2cc67d9610cd5988fc7081f141e5 Author: Simon Peyton Jones <[email protected]> Date: Thu Aug 4 16:00:04 2011 +0100 Missing call to tcView, fixes naughty failure in tc208 >--------------------------------------------------------------- compiler/typecheck/TcType.lhs | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/compiler/typecheck/TcType.lhs b/compiler/typecheck/TcType.lhs index 2526d22..1313bdd 100644 --- a/compiler/typecheck/TcType.lhs +++ b/compiler/typecheck/TcType.lhs @@ -819,6 +819,8 @@ tcIsForAllTy _ = False tcSplitPredFunTy_maybe :: Type -> Maybe (PredType, Type) -- Split off the first predicate argument from a type +tcSplitPredFunTy_maybe ty + | Just ty' <- tcView ty = tcSplitPredFunTy_maybe ty' tcSplitPredFunTy_maybe (FunTy arg res) | Just p <- tcSplitPredTy_maybe arg = Just (p, res) tcSplitPredFunTy_maybe _ _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
