relation references as a term kind, written #Name

1 files changed, 2 insertions, 1 deletions

diff --git a/lib/world.ml b/lib/world.ml
index 94fa0a9..e1663c5 100644
--- a/lib/world.ml
+++ b/lib/world.ml
@@ -114,6 +114,7 @@ let rec pattern_of_node (node : Ast.node) : (Pattern.t, error) result =
       | Ok t -> Ok (Pattern.of_term t)
       | Error `Zero_denominator -> Error Zero_denominator)
   | Ast.Str s -> Ok (Pattern.String s)
+  | Ast.Ref name -> Ok (Pattern.Reference name)
   | Ast.Record fields ->
       let* map = bindings_to_map ~of_node:pattern_of_node fields in
       Ok (Pattern.Record map)
@@ -195,7 +196,7 @@ let rec expr_of_node (node : Ast.node) : (expr, error) result =
       let* b = expr_of_node b in
       Ok (Not (a, b))
   | Ast.Name n -> Error (Proposition_expected n)
-  | Ast.Int _ | Ast.Rat _ | Ast.Str _ | Ast.Record _ | Ast.Seq _ ->
+  | Ast.Int _ | Ast.Rat _ | Ast.Str _ | Ast.Ref _ | Ast.Record _ | Ast.Seq _ ->
       Error (Proposition_expected "a literal")
 
 let rec expr_free_vars = function