Changeset 886 for src/Cminor/syntax.ma


Ignore:
Timestamp:
Jun 6, 2011, 1:27:59 PM (9 years ago)
Author:
campbell
Message:

Put types into parameter and variable lists in Cminor.
Temporarily breaks translation to RTLabs.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/syntax.ma

    r881 r886  
    3434
    3535record internal_function : Type[0] ≝
    36 { f_sig       : signature
    37 ; f_params    : list ident
    38 ; f_vars      : list ident
    39 ; f_ptrs      : list ident
     36{ f_return    : option typ
     37; f_params    : list (ident × typ)
     38; f_vars      : list (ident × typ)
    4039; f_stacksize : nat
    4140; f_body      : stmt
Note: See TracChangeset for help on using the changeset viewer.