Remove Parsed AST (#1254)

* Remove the Parsed AST * Remove outdated documentation
OCamlPro · Oct 9, 2024 · 59842cc · 59842cc
1 parent 6dbbae3
commit 59842cc
Show file tree

Hide file tree

Showing 7 changed files with 2 additions and 1,029 deletions.
diff --git a/rsc/extra/subgraphs.dot b/rsc/extra/subgraphs.dot
@@ -187,7 +187,6 @@ subgraph cluster_lib {
                 "Expr";
                 "Xliteral";
                 "Ty";
-                "Parsed";
                 "Typed";
                 "Commands";
                 "Errors";

diff --git a/src/lib/dune b/src/lib/dune
@@ -46,7 +46,7 @@
   ; modules that make up the lib
   (modules
     ; frontend
-    Translate D_loop D_state_option Frontend Parsed_interface Models
+    Translate D_loop D_state_option Frontend Models
     ; reasoners
     Ac Arith Arrays_rel Bitv Ccx Shostak Relation
     Fun_sat Fun_sat_frontend Inequalities Bitv_rel Th_util Adt Adt_rel
@@ -56,7 +56,7 @@
     Sig Sig_rel Theory Uf Use Domains Domains_intf Rel_utils Bitlist
     ; structures
     Commands Errors Explanation Fpa_rounding
-    Parsed Profiling Satml_types Symbols
+    Profiling Satml_types Symbols
     Expr Var Ty Typed Xliteral ModelMap Id Objective Literal
     ; util
     Emap Gc_debug Hconsing Hstring Heap Loc Numbers Uqueue

diff --git a/src/lib/frontend/parsed_interface.ml b/src/lib/frontend/parsed_interface.ml