Changeset 1056 for src/RTLabs/syntax.ma


Ignore:
Timestamp:
Jul 5, 2011, 4:25:41 PM (10 years ago)
Author:
campbell
Message:

Switch to delayed identifier error scheme.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/RTLabs/syntax.ma

    r1051 r1056  
    1313| St_skip : label → statement
    1414| St_cost : costlabel → label → statement
    15 | St_const : register → cast → label → statement
     15| St_const : register → constant → label → statement
    1616| St_op1 : unary_operation → register → register → label → statement
    1717| St_op2 : binary_operation → register → register → register → label → statement
Note: See TracChangeset for help on using the changeset viewer.