#11962: Support induction recursion -------------------------------------+------------------------------------- Reporter: goldfire | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.1 Resolution: | Keywords: TypeInType Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #13901 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * related: => #13901 Comment: Replying to [ticket:11962 goldfire]:
(I'm cheating a bit here, because for unrelated reasons, we can't return a `forall` on the right-hand side of a type family. But that's not the issue at hand.)
I'm tracking this issue separately at #13901, since I would find that useful in its own right. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11962#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler