#11237: Type synonyms are not expanded in the data type declaration return kind -------------------------------------+------------------------------------- Reporter: thomasw | Owner: jstolarek Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Type | Version: 7.11 checker) | Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: GHC rejects | Test Case: valid program | typecheck/should_compile/T11237 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D1636 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Jan Stolarek <jan.stolarek@…>): In [changeset:"efaa51de15017b92618634898fc2c2aee2c5fd5b/ghc" efaa51de/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="efaa51de15017b92618634898fc2c2aee2c5fd5b" Look through type synonyms in GADT kind signatures Summary: Fixes #11237 Test Plan: ./validate Reviewers: goldfire, austin, bgamari Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D1636 GHC Trac Issues: #11237 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11237#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler