#301: GADT constructor constraints ignored -------------------------------------+------------------------------------- Reporter: wolfram_kahl | Owner: simonpj Type: bug | Status: closed Priority: normal | Milestone: 6.8.1 Component: Compiler (Type | Version: 6.4 checker) | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: Unknown/Multiple | Test Case: gadt/karl1, Difficulty: Unknown | gadt/karl2 -------------------------------------+------------------------------------- Comment (by simonpj <simonpj@…>): In [changeset:"e9741fd3a5412fd9c8ef9985973d0bde20e525ce/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="e9741fd3a5412fd9c8ef9985973d0bde20e525ce" Add two GADT tests for Trac #301, fixed by implication constraints }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/301#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler