#8778: Typeable TypeNats -------------------------------------+------------------------------------- Reporter: dmcclean | Owner: diatchki Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.8.1-rc1 Component: Compiler | Keywords: (Type checker) | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: 4385 Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by simonpj): * milestone: ⊥ => 7.10.1 Comment: I don't think it was ever merged onto the 7.8 branch. It's an API change, which we don't usually merge because patch releases aren't supposed to change the API, only fix bugs. So you'll have to wait for 7.10 I'm afraid. Keeping this open, though, pending Iavor's `Note`. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8778#comment:24 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler