Changes between Version 5 and Version 6 of ExplicitTypeApplication


Ignore:
Timestamp:
Dec 15, 2011 10:16:31 AM (4 years 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