Changeset 1369 for src/Cminor/syntax.ma


Ignore:
Timestamp:
Oct 14, 2011, 10:56:45 AM (8 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/syntax.ma

    r1316 r1369  
    1010| Id : ∀t. ident → expr t
    1111| Cst : ∀t. constant → expr t
    12 | Op1 : ∀t,t'. unary_operation → expr t → expr t'
     12| Op1 : ∀t,t'. unary_operation t t' → expr t → expr t'
    1313| Op2 : ∀t1,t2,t'. binary_operation → expr t1 → expr t2 → expr t'
    1414| Mem : ∀t,r. memory_chunk → expr (ASTptr r) → expr t
Note: See TracChangeset for help on using the changeset viewer.