Changeset 783 for src/ERTL


Ignore:
Timestamp:
Apr 29, 2011, 1:36:35 PM (9 years ago)
Author:
mulligan
Message:

rtl to ertl pass complete (modulo some straightforward axioms that need filling in) and refactoring to get rid of all the option types.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL.ma

    r782 r783  
    7171  ertl_pr_vars: list (ident × nat);
    7272  ertl_pr_funcs: list (ident × ertl_function);
    73   ertl_pr_main: option label
     73  ertl_pr_main: option ident
    7474}.
    7575
Note: See TracChangeset for help on using the changeset viewer.