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


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

--

Legend:

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