#9260: Unnecessary error using GHC.TypeLits -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.8.2 Resolution: | Keywords: type lits, data Operating System: Linux | kinds, error message Type of failure: Incorrect | Architecture: Unknown/Multiple warning at compile-time | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Comment (by Iceland_jack): Forgot to add the actual failing case: {{{ test :: Fin 1 test = Fsucc Fzero }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9260#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler