aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ocaml/core.ml5
1 files changed, 4 insertions, 1 deletions
diff --git a/ocaml/core.ml b/ocaml/core.ml
index 20f68b6..12bf3c3 100644
--- a/ocaml/core.ml
+++ b/ocaml/core.ml
@@ -64,7 +64,10 @@ let init env = begin
Env.set env (Types.symbol "vector?")
(Types.fn (function [T.Vector _] -> T.Bool true | _ -> T.Bool false));
Env.set env (Types.symbol "empty?")
- (Types.fn (function [T.List {T.value = []}] -> T.Bool true | _ -> T.Bool false));
+ (Types.fn (function
+ | [T.List {T.value = []}] -> T.Bool true
+ | [T.Vector {T.value = []}] -> T.Bool true
+ | _ -> T.Bool false));
Env.set env (Types.symbol "count")
(Types.fn (function
| [T.List {T.value = xs}]