#4494: Another regression with type families ----------------------------------------+----------------------------------- Reporter: rl | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.1 Keywords: | Testcase: Blockedby: | Difficulty: Os: Unknown/Multiple | Blocking: Architecture: Unknown/Multiple | Failure: GHC rejects valid program ----------------------------------------+-----------------------------------
Comment(by simonpj): Oh. I used `NoScopedTypeVariables` because in the email it appears as `!ScopedTypeVariables` so I assumed you were using C negation. But acutally it was Trac markup! Anyway, I tried the code you sent and it compiles just fine for me. Are you absolutely 100% certain that you are up to date with HEAD? Simon -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4494#comment:6> 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