Merge pull request #3 from X-FRI/main

muqiuhan · Jun 21, 2023 · e1b9b8f · e1b9b8f
2 parents 55761a9 + c0ff557
commit e1b9b8f
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 2 deletions.
diff --git a/.github/demo.png b/.github/demo.png
diff --git a/README.md b/README.md
@@ -6,6 +6,8 @@
 
 </div>
 
+![./demo](.github/demo.png)
+
 # Install
 
 1. `opam install . --deps-only`

diff --git a/lib/eval/eval.ml b/lib/eval/eval.ml
@@ -80,7 +80,9 @@ let rec eval_expr expr env =
 and eval_apply fn_expr args env =
   match fn_expr with
   | Object.Primitive (_, fn) -> fn args
-  | Object.Closure (_, names, expr, clenv) ->
+  | Object.Closure (fn_name, names, expr, clenv) ->
+    (* Check if the closure exists *)
+    Object.lookup (fn_name, env) |> ignore;
     eval_closure names expr args clenv env
   | fn_expr ->
     raise (Errors.Parse_error_exn (Apply_error (Object.string_object fn_expr)))

diff --git a/test/end_normal_test.mlisp b/test/end_normal_test.mlisp
@@ -76,4 +76,4 @@
 
 (letrec ((f (lambda (x) (g (+ x 1))))
          (g (lambda (x) (+ x 3))))                                                                       
-  (f 0))
+  (f 0))
-Original file line number
+Diff line change
@@ Expand Up / @@ -6,6 +6,8 @@ @@
     </div>
+    ![./demo](.github/demo.png)
     # Install
 . `opam install . --deps-only`
@@ Expand Down @@