Changes between Version 1 and Version 2 of Language/Overview/ClosureTyping

Show
Ignore:
Timestamp:
08/26/10 02:13:01 (3 years ago)
Author:
benl (IP: 203.206.176.236)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Language/Overview/ClosureTyping

    v1 v2  
    2424}}} 
    2525 
    26 In `twoSeparateInts` there are different regions annotation on each of the `Int` constructors, which means they do not alias. This in turn means that it is safe to treat one as `Const` and the other as `Mutable`. 
     26In the type of `twoSeparateInts`, the different regions variables on each of the `Int` constructors means that they do not alias. This in turn means that it is safe to treat one as `Const` and the other as `Mutable`. 
    2727 
    2828But what happens if we partially apply `f`? The standard type system will re-generalize the type for the new binding and we're left with: