Changeset 1052 for src/common


Ignore:
Timestamp:
Jul 4, 2011, 3:31:18 PM (8 years ago)
Author:
mulligan
Message:

removed offsets after reading cerco mailing list

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/AST.ma

    r1047 r1052  
    121121  | ASTint : intsize → signedness → typ
    122122  | ASTptr : region → typ
    123   | ASToffset: typ
    124123  | ASTfloat : floatsize → typ.
    125124
     
    201200  [ ASTint sz _ ⇒ size_intsize sz
    202201  | ASTptr r ⇒ size_pointer r
    203   | ASToffset ⇒ 1 (* dpm: what!? need this for typesize pos --- not sure what correct size of an offset should be? *)
    204202  | ASTfloat sz ⇒ size_floatsize sz ].
    205203
Note: See TracChangeset for help on using the changeset viewer.