diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/world.ml | 3 |
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 |