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


Ignore:
Timestamp:
Nov 21, 2011 9:38:18 AM (2 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/TypeType

    v15 v16  
    116116 
    117117`*` is the kind of boxed values. Things like `Int` and `Maybe Float` have kind `*`. 
     118 
    118119`#` is the kind of unboxed values. Things like `Int#` have kind `#`. 
     120 
    119121`(#)` is the kind of unboxed tuples. Things like `(# Int, Int #)` have kind `(#)`. 
     122 
    120123`ArgKind` is the kind of things that can appear as arguments to functions. 
     124 
    121125`OpenKind` is the kind of things that can appear as results of functions. 
    122126