Changes between Version 14 and Version 15 of Commentary/Compiler/TypeType

Timestamp:

11/21/11 01:37:57 (18 months ago)

Author:

dreixel

Comment:

--

Commentary/Compiler/TypeType

@@ -113 +113 @@
 [[Image(https://docs.google.com/drawings/pub?id=1M5yBP8iAWTgqdI3oG1UNnYihVlipnvvk2vLInAFxtNM&w=359&h=229)]]
 
-(You can edit this picture [https://docs.google.com/drawings/d/1M5yBP8iAWTgqdI3oG1UNnYihVlipnvvk2vLInAFxtNM/edit?hl=en_GB here]. TODO: describe each of the symbols.)
+(You can edit this picture [https://docs.google.com/drawings/d/1M5yBP8iAWTgqdI3oG1UNnYihVlipnvvk2vLInAFxtNM/edit?hl=en_GB here].)
 
+`*` is the kind of boxed values. Things like `Int` and `Maybe Float` have kind `*`.
+`#` is the kind of unboxed values. Things like `Int#` have kind `#`.
+`(#)` is the kind of unboxed tuples. Things like `(# Int, Int #)` have kind `(#)`.
+`ArgKind` is the kind of things that can appear as arguments to functions.
+`OpenKind` is the kind of things that can appear as results of functions.
 
 == Type variables ==