Changeset 1605 for src/Cminor/syntax.ma


Ignore:
Timestamp:
Dec 14, 2011, 1:18:30 PM (8 years ago)
Author:
sacerdot
Message:

Porting to last standard library of Matita.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/syntax.ma

    r1603 r1605  
    4242| St_store : ∀t,r. memory_chunk → expr (ASTptr r) → expr t → stmt
    4343(* ident for returned value, expression to identify fn, args. *)
    44 | St_call : option ident → expr (ASTptr Code) → list (Σt. expr t) → stmt
    45 | St_tailcall : expr (ASTptr Code) → list (Σt. expr t) → stmt
     44| St_call : option ident → expr (ASTptr Code) → list (𝚺t. expr t) → stmt
     45| St_tailcall : expr (ASTptr Code) → list (𝚺t. expr t) → stmt
    4646| St_seq : stmt → stmt → stmt
    4747| St_ifthenelse : ∀sz,sg. expr (ASTint sz sg) → stmt → stmt → stmt
     
    5151(* expr to switch on, table of 〈switch value, #blocks to exit〉, default *)
    5252| St_switch : ∀sz,sg. expr (ASTint sz sg) → list (bvint sz × nat) → nat → stmt
    53 | St_return : option (Σt. expr t) → stmt
     53| St_return : option (𝚺t. expr t) → stmt
    5454| St_label : identifier Label → stmt → stmt
    5555| St_goto : identifier Label → stmt
Note: See TracChangeset for help on using the changeset viewer.