Show
Ignore:
Timestamp:
07/28/09 10:17:56 (4 months ago)
Author:
jrhil47
Message:

[type checker] Now inferring parameter types of FnExprs? that are arguments to _RewriteFnApp or MethodInvocation? (without any coercion on application).

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/ProjectFortress/astgen/Fortress.ast

    r3968 r4017  
    11521152             * static argument 
    11531153             */ 
    1154             root abstract StaticArg(); 
     1154            root abstract StaticArg(ignoreForEquals boolean lifted = false); 
    11551155                /** 
    11561156                 * type used as static argument