Changes between Version 2 and Version 3 of Language/Overview/PolymorphicUpdate

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

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Overview/PolymorphicUpdate

    v2 v3  
    6464}}} 
    6565 
    66 In this type, we see the new closure term `(box : %r0 $> a)`. This term 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 (outer most) closure of a function. 
    6767