Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/743582514c068c34235af2750dd5a726e981b77c >--------------------------------------------------------------- commit 743582514c068c34235af2750dd5a726e981b77c Author: Simon Peyton Jones <simo...@microsoft.com> Date: Mon Oct 15 10:56:22 2012 +0100 Add kind-defaulting in simplifyInfer (fixes Trac #7332) The basic point here is described in TcSimplify Note [Promote _and_ default when inferring] The new thing is that, when figuring out the predicates to abstact over in simplifyInfer, we must default OpenKind to *, just as we do in quantifyTyVar. I had not realised how important this was until Oleg came up with Trac #7332. As usual I did some refactoring, so the patch affects many more lines than strictly necessary. compiler/typecheck/TcSimplify.lhs | 266 ++++++++++++++++++------------------- 1 files changed, 129 insertions(+), 137 deletions(-) Diff suppressed because of size. To see it, use: git show 743582514c068c34235af2750dd5a726e981b77c _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
