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

    r409 r478  
    99λo,ev.
    1010match io_in_typ o return λt. res (eventval_type t) with
    11 [ Tint ⇒ match ev with [ EVint i ⇒ OK ? i | _ ⇒ Error ? ]
    12 | Tfloat ⇒ match ev with [ EVfloat f ⇒ OK ? f | _ ⇒ Error ? ]
     11[ ASTint ⇒ match ev with [ EVint i ⇒ OK ? i | _ ⇒ Error ? ]
     12| ASTfloat ⇒ match ev with [ EVfloat f ⇒ OK ? f | _ ⇒ Error ? ]
    1313].
    1414
     
    3030].
    3131
    32 ndefinition exec_up_to : program → nat → list eventval → res (trace × state) ≝
     32ndefinition exec_up_to : clight_program → nat → list eventval → res (trace × state) ≝
    3333λp,n,i. up_to_nth_step n i (exec_inf p) E0.
    3434
Note: See TracChangeset for help on using the changeset viewer.