#4494: Another regression with type families ----------------------------------------+----------------------------------- Reporter: rl | Owner: Type: bug | Status: merge Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.1 Keywords: | Testcase: indexed-types/should_compile/T4494 Blockedby: | Difficulty: Os: Unknown/Multiple | Blocking: Architecture: Unknown/Multiple | Failure: GHC rejects valid program ----------------------------------------+----------------------------------- Changes (by simonpj):
* status: new => merge * testcase: => indexed-types/should_compile/T4494 Comment: Fixed by {{{ Mon Nov 15 12:15:40 GMT 2010 simo...@microsoft.com * Ensure that unification variables alloc'd during solving are untouchable This fixes Trac #4494. See Note [Extra TcsTv untouchables] in TcSimplify. M ./compiler/typecheck/TcCanonical.lhs -2 +2 M ./compiler/typecheck/TcInteract.lhs -1 +9 M ./compiler/typecheck/TcSMonad.lhs -8 +25 M ./compiler/typecheck/TcSimplify.lhs -23 +73 }}} Pls merge. Simon -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4494#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs