ddc: Ticket #25: Investigate support for polymorphic recursionhttp://trac.haskell.org/ddc/ticket/25
<p>
Manage this the same was as in Haskell, by requiring an explicit type signature. Do we need the whole signature, or can we get away with a partial one that only has quantifiers for the components that are used in the recursion?
</p>
en-usddchttp://trac.haskell.org/ddc/chrome/common/trac_banner.pnghttp://trac.haskell.org/ddc/ticket/25
Trac 0.11.1benlWed, 13 May 2009 02:11:22 GMTcomment added; type changedhttp://trac.haskell.org/ddc/ticket/25#comment:1
http://trac.haskell.org/ddc/ticket/25#comment:1
<ul>
<li><strong>type</strong>
changed from <em>defect</em> to <em>task</em>
</li>
</ul>
TicketbenlWed, 13 May 2009 02:12:03 GMTcomment added; summary changedhttp://trac.haskell.org/ddc/ticket/25#comment:2
http://trac.haskell.org/ddc/ticket/25#comment:2
<ul>
<li><strong>summary</strong>
changed from <em>Implement polymorphic recursion</em> to <em>Investigate support for polymorphic recursion</em>
</li>
</ul>
Ticket