Changes between Version 4 and Version 5 of ExplicitTypeApplication


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