Changes between Version 5 and Version 6 of ExplicitTypeApplication

Show
Ignore:
Timestamp:
12/15/11 02:16:31 (17 months ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ExplicitTypeApplication

    v5 v6  
    4646  * Reject matching on type variables altogether. 
    4747 
    48   * Take the inferred signature, look at the introduced variables 
    49  
    50 syntactically from left to right, and use that order. This approach 
    51 does not require tracking which bindings were given type 
    52 signatures or not. 
     48  * Take the inferred signature, look at the introduced variables syntactically 
     49    from left to right, and use that order. This approach does not require tracking 
     50    which bindings were given type signatures or not. 
    5351 
    5452A problem with taking the inferred signature is that it is tied to