#9260: Unnecessary error using GHC.TypeLits -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: diatchki Type: bug | Status: new Priority: low | Milestone: 7.12.1 Component: Compiler | Version: 7.8.2 Resolution: | Keywords: type lits, | data kinds, error message Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Thomas Miedema <thomasmiedema@…>): In [changeset:"58b5f04483258e55b93390fbf5ce41a1dbe23340/ghc" 58b5f04/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="58b5f04483258e55b93390fbf5ce41a1dbe23340" Testsuite: add typecheck/should_fail/T9260 (#9260) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9260#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler