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


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

--

Legend:

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

    v3 v4  
    6464}}}
    6565
    66 In this type, we see the new closure term `(box : %r0 $> a)`. This says that the closure contains an object named `box` which is in a region `%r0`, and the type of the object includes a variable `'a'`. When `%r0` is `Mutable` we say that `a` is ''dangerous'', and dangerous variables are never generalised when they are free in the (outer most) closure of a function.
     66In this type, we see the new closure term `(box : %r0 $> a)`. This says that the closure contains an object named `box` which is in a region `%r0`, and the type of the object includes a variable `'a'`. When `%r0` is `Mutable` we say that `a` is ''dangerous'', and dangerous variables are never generalised when they are free in the closure of a function.
    6767