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/Events.ma

    r474 r478  
    189189ninductive eventval_match: eventval -> typ -> val -> Prop :=
    190190  | ev_match_int:
    191       ∀i. eventval_match (EVint i) Tint (Vint i)
     191      ∀i. eventval_match (EVint i) ASTint (Vint i)
    192192  | ev_match_float:
    193       ∀f. eventval_match (EVfloat f) Tfloat (Vfloat f).
     193      ∀f. eventval_match (EVfloat f) ASTfloat (Vfloat f).
    194194
    195195ninductive eventval_list_match: list eventval -> list typ -> list val -> Prop :=
Note: See TracChangeset for help on using the changeset viewer.