Changes between Version 4 and Version 5 of ExplicitTypeApplication


Ignore:
Timestamp:
Dec 15, 2011 10:15:58 AM (2 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitTypeApplication

    v4 v5  
    4444of a signature, though, there are two possible choices: 
    4545 
    46 * Reject matching on type variables altogether. 
     46  * Reject matching on type variables altogether. 
    4747 
    48 * Take the inferred signature, look at the introduced variables 
     48  * Take the inferred signature, look at the introduced variables 
     49 
    4950syntactically from left to right, and use that order. This approach 
    5051does not require tracking which bindings were given type