Unboxed type: Difference between revisions
BrettGiles (talk | contribs) m (Added stub template to page.) |
mNo edit summary |
||
| Line 1: | Line 1: | ||
'''Unboxed types''' represent raw values. Unboxed types have [[kind]] <TT>#</TT>. | '''Unboxed types''' are [[type]]s that represent raw values. Unboxed types have [[kind]] <TT>#</TT>. | ||
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. | 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. | ||
Revision as of 23:50, 26 February 2006
Unboxed types are types that 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.
This article is a stub. You can help by expanding it.