Changeset 1631 for src/Cminor/syntax.ma


Ignore:
Timestamp:
Dec 19, 2011, 2:48:37 PM (8 years ago)
Author:
campbell
Message:

Use fact that type environments in Cminor have distinct variables to
remove last freshness related axiom in front-end.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/syntax.ma

    r1626 r1631  
    144144; f_params    : list (ident × typ)
    145145; f_vars      : list (ident × typ)
     146; f_distinct  : distinct_env … (f_params @ f_vars)
    146147; f_stacksize : nat
    147148; f_body      : stmt
Note: See TracChangeset for help on using the changeset viewer.