#10507: Looping with type level naturals -------------------------------------+------------------------------------- Reporter: jhendrix | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by simonpj): * milestone: => 7.12.1 Comment: Sadly the fix in HEAD does not apply straightforwardly to 7.10. I'm a bit reluctant to do a separate fix for 7.10. Is this a show-stopper for you, or can we leave it for 7.12? Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10507#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler