Difference between revisions of "Unboxed type"
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
'''Unboxed types''' represent raw values. Unboxed types have [[kind]] <TT>#</TT>. |
'''Unboxed types''' represent raw values. Unboxed types have [[kind]] <TT>#</TT>. |
||
− | Note that unboxed types of different storage behaviours are all lumped together under kind <tt>#</tt>. As a result, [[type variable]]s must have kinds which are <tt>#</tt>-free. |
+ | Note that unboxed types of different storage behaviours (four bytes, eight bytes etc.) are all lumped together under kind <tt>#</tt>. As a result, [[type variable]]s must have kinds which are <tt>#</tt>-free. |
[[Category:Language]] |
[[Category:Language]] |
Revision as of 20:42, 25 January 2006
Unboxed types represent raw values. Unboxed types have kind #.
Note that unboxed types of different storage behaviours (four bytes, eight bytes etc.) are all lumped together under kind #. As a result, type variables must have kinds which are #-free.