Changes between Version 1 and Version 2 of Commentary/Compiler/Kinds


Ignore:
Timestamp:
Jun 8, 2012 8:24:51 AM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/Kinds

    v1 v2  
    3232(You can edit this picture [https://docs.google.com/drawings/d/1M5yBP8iAWTgqdI3oG1UNnYihVlipnvvk2vLInAFxtNM/edit?hl=en_GB here].)
    3333
    34 `*` is the kind of boxed values. Things like `Int` and `Maybe Float` have kind `*`.
     34 * "`*`" is the kind of boxed values. Things like `Int` and `Maybe Float` have kind `*`.
    3535
    36 `#` is the kind of unboxed values. Things like `Int#` have kind `#`.
     36 * "`#`" is the kind of unboxed values. Things like `Int#` have kind `#`.
    3737
    38 `(#)` is the kind of unboxed tuples. Things like `(# Int, Int #)` have kind `(#)`.
     38 * "`(#)`" is the kind of unboxed tuples. Things like `(# Int, Int #)` have kind `(#)`.
    3939
    40 `ArgKind` is the kind of things that can appear as arguments to functions.
     40 * "`ArgKind`" is the kind of things that can appear as arguments to functions.
    4141
    42 `OpenKind` is the kind of things that can appear as results of functions.
     42 * "`OpenKind`" is the kind of things that can appear as results of functions.