Changeset 1147 for src/RTLabs/syntax.ma

Timestamp:

Aug 30, 2011, 4:09:20 PM (10 years ago)

Author:

campbell

Message:

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

File:

• src/RTLabs/syntax.ma (modified) (1 diff)

src/RTLabs/syntax.ma

@@ -45 +45 @@
 definition RTLabs_program ≝ program (fundef internal_function) nat.
 
-(* TO CONSIDER:
-
-   - removing most successor labels from the statements (bit icky, what about
-     return and jump tables?)
-   - seems like load and store ought to have types that control the size of the
-     register list based on the addressing mode; similarly, memory_chunk and
-     register are probably related.
-   - label and register generation really tell us something about the sets of
-     labels and register that may appear, perhaps it should be renamed, or the
-     graph made dependent on them to make it obvious, etc.
- *)