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


Ignore:
Timestamp:
Nov 21, 2011 9:37:57 AM (4 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/TypeType

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