Changeset 1147 for src/RTLabs/syntax.ma


Ignore:
Timestamp:
Aug 30, 2011, 4:09:20 PM (8 years ago)
Author:
campbell
Message:

Remove some obsolete commented out code, update a couple of comments.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/syntax.ma

    r1139 r1147  
    4545definition RTLabs_program ≝ program (fundef internal_function) nat.
    4646
    47 (* TO CONSIDER:
    48 
    49    - removing most successor labels from the statements (bit icky, what about
    50      return and jump tables?)
    51    - seems like load and store ought to have types that control the size of the
    52      register list based on the addressing mode; similarly, memory_chunk and
    53      register are probably related.
    54    - label and register generation really tell us something about the sets of
    55      labels and register that may appear, perhaps it should be renamed, or the
    56      graph made dependent on them to make it obvious, etc.
    57  *)
Note: See TracChangeset for help on using the changeset viewer.