Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch :
http://hackage.haskell.org/trac/ghc/changeset/972bf5f61cebb29ffd6c86453f3571c2bc138392 >--------------------------------------------------------------- commit 972bf5f61cebb29ffd6c86453f3571c2bc138392 Author: [email protected] <unknown> Date: Mon Feb 14 09:07:03 2011 +0000 Comments only >--------------------------------------------------------------- compiler/typecheck/TcSimplify.lhs | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-) diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs index ec6adc8..0a4fe07 100644 --- a/compiler/typecheck/TcSimplify.lhs +++ b/compiler/typecheck/TcSimplify.lhs @@ -932,10 +932,10 @@ NB: A consequence is that every simplifier-generated TcsTv variable constraints. In effect, by floating an equality out of the implication we are committing to have it solved in the outside. -NB: A consequence is that every simplifier-generated TcsTv variable that gets floated out - of an implication becomes now untouchable next time we go inside that implication to - solve any residual constraints. In effect, by floating an equality out of the implication - we are committing to have it solved in the outside. +Note [Float Equalities out of Implications] +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +We want to float equalities out of vanilla existentials, but *not* out +of GADT pattern matches. \begin{code} _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
