Ticket #25 (new task)

Opened 4 years ago

Last modified 4 years ago

Investigate support for polymorphic recursion

Reported by: benl Owned by:
Priority: project Milestone:
Component: Source Type Inferencer Version:
Keywords: Cc:

Description

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?

Change History

Changed 4 years ago by benl

  • type changed from defect to task

Changed 4 years ago by benl

  • summary changed from Implement polymorphic recursion to Investigate support for polymorphic recursion
Note: See TracTickets for help on using tickets.