Ignore:
Timestamp:
Apr 4, 2012, 6:48:27 PM (8 years ago)
Author:
campbell
Message:

Enforce typing of constants in front-end, plus binops for RTLabs.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/semantics.ma

    r1874 r1878  
    9595    OK ? 〈E0, r〉
    9696| Cst _ c ⇒ λEnv.
    97     do r ← opt_to_res … (msg FailedConstant) (eval_constant (find_symbol … ge) sp c);
     97    do r ← opt_to_res … (msg FailedConstant) (eval_constant ? (find_symbol … ge) sp c);
    9898    OK ? 〈E0, r〉
    9999| Op1 ty ty' op e' ⇒ λEnv.
Note: See TracChangeset for help on using the changeset viewer.