Changeset 3019 for extracted/compiler.mli

Timestamp:

Mar 28, 2013, 5:27:46 PM (7 years ago)

Author:

sacerdot

Message:

New extraction after ERTLptr abortion.

File:

• extracted/compiler.mli (modified) (4 diffs)

extracted/compiler.mli

@@ -203 +203 @@
 open RTLToERTL
 
-open ERTLptr
-
-open ERTLToERTLptr
-
 open Fixpoints
 
@@ -219 +215 @@
 open LTL
 
-open ERTLptrToLTL
+open ERTLToLTL
 
 open LIN
@@ -243 +239 @@
 | Rtl_uniq_pass
 | Ertl_pass
-| Ertlptr_pass
 | Ltl_pass
 | Lin_pass
@@ -251 +246 @@
 val pass_rect_Type4 :
   'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
-  -> 'a1 -> 'a1 -> 'a1 -> pass -> 'a1
+  -> 'a1 -> 'a1 -> pass -> 'a1
 
 val pass_rect_Type5 :
   'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
-  -> 'a1 -> 'a1 -> 'a1 -> pass -> 'a1
+  -> 'a1 -> 'a1 -> pass -> 'a1
 
 val pass_rect_Type3 :
   'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
-  -> 'a1 -> 'a1 -> 'a1 -> pass -> 'a1
+  -> 'a1 -> 'a1 -> pass -> 'a1
 
 val pass_rect_Type2 :
   'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
-  -> 'a1 -> 'a1 -> 'a1 -> pass -> 'a1
+  -> 'a1 -> 'a1 -> pass -> 'a1
 
 val pass_rect_Type1 :
   'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
-  -> 'a1 -> 'a1 -> 'a1 -> pass -> 'a1
+  -> 'a1 -> 'a1 -> pass -> 'a1
 
 val pass_rect_Type0 :
   'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
-  -> 'a1 -> 'a1 -> 'a1 -> pass -> 'a1
+  -> 'a1 -> 'a1 -> pass -> 'a1
 
 val pass_inv_rect_Type4 :
   pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
   'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
-  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
+  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
 
 val pass_inv_rect_Type3 :
   pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
   'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
-  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
+  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
 
 val pass_inv_rect_Type2 :
   pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
   'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
-  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
+  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
 
 val pass_inv_rect_Type1 :
   pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
   'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
-  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
+  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
 
 val pass_inv_rect_Type0 :
   pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
   'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
-  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
+  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
 
 val pass_discr : pass -> pass -> __