#940: GADT + impredicative polymorphism => stack overflow --------------------------------------------+------------------------------ Reporter: guest | Owner: simonpj Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 6.6 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Difficulty: Unknown | Unknown/Multiple | Test Case: --------------------------------------------+------------------------------ Comment (by simonpj ): In [changeset:"e80ab122b5209af0cad7e651ee2589b2d9b4d32d/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="e80ab122b5209af0cad7e651ee2589b2d9b4d32d" Test for Trac #940 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/940#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler