Changes between Version 1 and Version 2 of Commentary/Compiler/Kinds
 Timestamp:
 Jun 8, 2012 8:24:51 AM (4 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Commentary/Compiler/Kinds
v1 v2 32 32 (You can edit this picture [https://docs.google.com/drawings/d/1M5yBP8iAWTgqdI3oG1UNnYihVlipnvvk2vLInAFxtNM/edit?hl=en_GB here].) 33 33 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 `*`. 35 35 36 `#`is the kind of unboxed values. Things like `Int#` have kind `#`.36 * "`#`" is the kind of unboxed values. Things like `Int#` have kind `#`. 37 37 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 `(#)`. 39 39 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. 41 41 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.