Ignore:
Timestamp:
Jan 25, 2011, 5:30:36 PM (9 years ago)
Author:
campbell
Message:

Prevent clashes between names in AST and other parts of the development.
(Noticed when trying a large example file.)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/C-semantics/Values.ma

    r456 r478  
    6464  match v with
    6565  [ Vundef ⇒ True
    66   | Vint _ ⇒ match t with [ Tint ⇒ True | _ ⇒ False ]
    67   | Vfloat _ ⇒ match t with [ Tfloat ⇒ True | _ ⇒ False ]
    68   | Vptr _ _ _ ⇒ match t with [ Tint ⇒ True | _ ⇒ False ]
     66  | Vint _ ⇒ match t with [ ASTint ⇒ True | _ ⇒ False ]
     67  | Vfloat _ ⇒ match t with [ ASTfloat ⇒ True | _ ⇒ False ]
     68  | Vptr _ _ _ ⇒ match t with [ ASTint ⇒ True | _ ⇒ False ]
    6969  | _ ⇒ False
    7070  ].
Note: See TracChangeset for help on using the changeset viewer.