Changeset 126


Ignore:
Timestamp:
Sep 24, 2010, 10:31:33 AM (9 years ago)
Author:
campbell
Message:

Put in real pointer sizes.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • C-semantics/Csyntax.ma

    r125 r126  
    442442  | Tint i _ ⇒ match i return λ_.Z with [ I8 ⇒ 1 | I16 ⇒ 2 | I32 ⇒ 4 ]
    443443  | Tfloat f ⇒ match f return λ_.Z with [ F32 ⇒ 4 | F64 ⇒ 8 ]
    444   | Tpointer _ _ ⇒ 4
     444  | Tpointer sp _ ⇒ match sp with [ Data ⇒ 1 | IData ⇒ 1 | XData ⇒ 2 | Code ⇒ 2 | Any ⇒ 4 ]
    445445  | Tarray _ t' n ⇒ sizeof t' * Zmax 1 n
    446446  | Tfunction _ _ ⇒ 1
Note: See TracChangeset for help on using the changeset viewer.