Ticket #33 (new task)

Opened 1 year ago

Last modified 7 months ago

Type inference for method calls

Reported by: jmaessen Assigned to: dr2chase
Priority: critical Milestone:
Component: interpreter Version:
Keywords: Cc:

Description

Calls to generic methods are not performing type inference as they should. This substantially uglifies library code because it means we have to perform instantiations all over the place. It also makes it hard and unreliable to write and debug Fortress programs. Finally, it prevents us from using the desired desugaring of generator lists so that we can implement comprehensions and reduction expressions.

Change History

03/24/08 09:26:12 changed by jmaessen

  • owner changed from jmaessen to dr2chase.