Ticket #328 (new defect)

Opened 8 months ago

Generic functional methods are rejected during interpreter initialization

Reported by: jmaessen Owned by: dr2chase
Priority: blocker Milestone:
Component: interpreter Version:
Keywords: Cc:

Description

See source:trunk/ProjectFortress/not_passing_yet/genericFunctionalMethods.fss for an example. Initialization of generic functional methods in the interpreter is failing, signaling that the generic parameter is unbound. Commenting out the declaration and use of the functional method allows execution of the equivalent dotted method to succeed. It looks like we forgot a case in handling generic functional methods. Unfortunately, because we seem to be fishing these methods out of the declaration at an early stage a quick patch wasn't obvious.

Workaround: replace all generic functional methods by top level calls to a dotted method. Grrrr.

Note that functional methods that mention type parameters bound in the enclosing trait/object declaration are not affected by this bug. These methods are monomorphic for any given instantiation of the type in which they occur. Please do not allow yourself to be confused by this.

Note: See TracTickets for help on using tickets.