Changes between Version 3 and Version 4 of Language/Overview/ClassSystem

Show
Ignore:
Timestamp:
08/26/10 02:06:43 (4 years ago)
Author:
benl (IP: 203.206.176.236)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Overview/ClassSystem

    v3 v4  
    1818}}} 
    1919 
    20 Region variables can be quantified with `forall` much like type variables. If a region variable in the return type of a function is quantified it means the region is ''fresh'', ie the data was allocated by the function itself.  
     20Region variables can be quantified with `forall` just like type variables. If a region variable in the return type of a function is quantified it means the region is ''fresh'', ie the data was allocated by the function itself.  
    2121 
    2222Notice that in the type of `succ`, both `%r1` and `%r2` are quantified, this means that `succ` accepts data from any region and returns a freshly allocated `Int`.