Changeset 879 for src/common/Events.ma


Ignore:
Timestamp:
Jun 3, 2011, 5:35:30 PM (9 years ago)
Author:
campbell
Message:

Refine "AST" types to include size/signedness information.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Events.ma

    r781 r879  
    193193inductive eventval_match: eventval -> typ -> val -> Prop :=
    194194  | ev_match_int:
    195       ∀i. eventval_match (EVint i) ASTint (Vint i)
     195      ∀i,sz,sg. eventval_match (EVint i) (ASTint sz sg) (Vint i)
    196196  | ev_match_float:
    197       ∀f. eventval_match (EVfloat f) ASTfloat (Vfloat f).
     197      ∀f,sz. eventval_match (EVfloat f) (ASTfloat sz) (Vfloat f).
    198198
    199199inductive eventval_list_match: list eventval -> list typ -> list val -> Prop :=
Note: See TracChangeset for help on using the changeset viewer.