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


Ignore:
Timestamp:
Aug 26, 2010, 1:13:01 AM (9 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Alpha/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: