Static analysis uses name of static opr parameter as (functional) method name

[dr2chase]

Run:

FORTRESS_TEST_COMPILED_ENVIRONMENTS=1 bin/fortress \
SpecData/examples/basic/StatParam.Opr.MyIdentity.fss

It fails with:

/Users/dr2chase/workspace/PFC/Library/FortressLibrary.fss:3297:8-40:
Missing value: prefix IDENTITY in environment:

The cause of the problem is that the compiled environment generator uses the names it gets from static analysis, and static analysis provides the name of the parameter (ODOT), and not the actual opr that is passed in to a type instantiation (IDENTITY).

[sukyoungryu]

The spec example is commented out in r2993. Now, the spec includes the following:

(* BROKEN...
 object MyIdentity extends IdentityOp[\MyIdentity, IDENTITY\] end
*)

We need to uncomment it when this ticket is closed.

[dr2chase]

A copy of the bug now exists in source:trunk/ProjectFortress/not_passing_yet/MyIdentity.fss . To run, type (in ProjectFortress)

../bin/fortress not_passing_yet/MyIdentity.fss

Compiled environments were turned on in r2994