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.