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


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Alpha/Language/Overview/ClosureTyping

    v2 v3  
    3636
    3737== Closure typing for region sharing ==
    38 Closure typing is used to track the sharing of regions between function calls like this one.
     38Closure typing is used to track the sharing of regions between function calls.
    3939
    4040The type inferred for `f` is actually: