Ignore:
Timestamp:
Oct 14, 2011, 10:56:45 AM (9 years ago)
Author:
campbell
Message:

Put type information into front-end unary ops.
Slight change to semantics: booleans produced by Onotbool can be any given
integer size.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/semantics.ma

    r1352 r1369  
    102102| Op1 ty ty' op e' ⇒ λEnv.
    103103    do 〈tr,v〉 ← eval_expr ge ? e' en ? sp m;
    104     do r ← opt_to_res … (msg FailedOp) (eval_unop op v);
     104    do r ← opt_to_res … (msg FailedOp) (eval_unop ?? op v);
    105105    OK ? 〈tr, r〉
    106106| Op2 ty1 ty2 ty' op e1 e2 ⇒ λEnv.
Note: See TracChangeset for help on using the changeset viewer.