#2357: Implement the Haskell' proposal for polymorphic pattern bindings ---------------------------------------------+------------------------------ Reporter: simonmar | Owner: Type: task | Status: closed Priority: high | Milestone: 7.4.1 Component: Compiler (Type checker) | Version: 6.8.2 Resolution: fixed | Keywords: Testcase: typecheck/should_compile/T2357 | Blockedby: Difficulty: Unknown | Os: Unknown/Multiple Blocking: | Architecture: Unknown/Multiple Failure: None/Unknown | ---------------------------------------------+------------------------------ Changes (by simonpj):
* testcase: typecheck/should_compile/T1897a, indexed_types/should_compile/T1897b => typecheck/should_compile/T2357 Comment: Works in HEAD! Incidentally, always use `-dcore-lint` when you get weird crashes. It often picks up the error earlier. If you make other test cases we can add them too. Simon -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2357#comment:17> 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