patch applied (ghc): Fix egregious bug in implication constraints

Simon Peyton Jones <[email protected]> Tue, 9 Jan 2007 05:54:30 -0800

Newsgroups	gmane.comp.lang.haskell.cvs.all
Message-ID	<20070109135430.GA15692__5067.29941485009$1168350879$gmane$org@cvs.haskell.org>

Tue Jan  9 05:47:19 PST 2007  [email protected]
  * Fix egregious bug in implication constraints
  
  Build an implication constraint if there is a non-trivial
  refinement, even if there are no other 'given' constraints.
  
  Test = gadt/set.hs
  

    M ./compiler/typecheck/TcSimplify.lhs -2 +3