Changes between Version 21 and Version 22 of Commentary/Compiler/TypeType


Ignore:
Timestamp:
Jun 7, 2013 11:31:18 AM (2 years ago)
Author:
erikd
Comment:

un-wiki ByteArray#

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/TypeType

    v21 v22  
    102102  Currently, all primitive types are unlifted, but that's not necessarily the case.  (E.g. Int could be primitive.) 
    103103 
    104   Some primitive types are unboxed, such as Int#, whereas some are boxed but unlifted (such as ByteArray#).  The only primitive types that we classify as algebraic are the unboxed tuples. 
     104  Some primitive types are unboxed, such as Int#, whereas some are boxed but unlifted (such as `ByteArray#`).  The only primitive types that we classify as algebraic are the unboxed tuples. 
    105105 
    106106Examples of type classifications: