embedding surface, host world test, deep recursion, line tracking

1 files changed, 7 insertions, 0 deletions

diff --git a/lib/world.mli b/lib/world.mli
index 0a3bb9a..51ee078 100644
--- a/lib/world.mli
+++ b/lib/world.mli
@@ -79,6 +79,13 @@ type pending = {
           attribute value; admissible iff it has a solution. *)
 }
 
+val expr_of_node : Ast.node -> (expr, error) result
+(** Compiles one surface expression: names resolve by context,
+    [Exists] lowers, quantified variables rename apart. This is the
+    embedding hosts' way in: they compile queries themselves and
+    answer for their own relations, so no standalone reference
+    checking happens here. *)
+
 (** The standalone world: an immutable catalog loaded from program
     text. This is Sol as a separate language; there are no branches,
     no transitions, only the pure fragment. *)