#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 goldfire): The first error you report is certainly a bug. But, the second one is legitimate -- the type `Fin 1` has only 1 inhabitant, `Fzero`. Confirmed reproducible in HEAD. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9260#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler