Re: [GHC] #15138: Unable to instantiate data members of kind Nat in backpack signatures.

#15138: Unable to instantiate data members of kind Nat in backpack signatures. -------------------------------------+------------------------------------- Reporter: ppk | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.4.1 Resolution: fixed | Keywords: backpack Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D4951 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari ): In [changeset:"7d771987c2766bfedc92f5183d6fd571ab508a0e/ghc" 7d771987/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="7d771987c2766bfedc92f5183d6fd571ab508a0e" Support typechecking of type literals in backpack Backpack is unable to type check signatures that expect a data which is a type level literal. This was reported in issue #15138. These commits are a fix for this. It also includes a minimal test case that was mentioned in the issue. Reviewers: bgamari, ezyang, goldfire Reviewed By: bgamari, ezyang Subscribers: simonpj, ezyang, rwbarton, thomie, carter GHC Trac Issues: #15138 Differential Revision: https://phabricator.haskell.org/D4951 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15138#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler