Merge pull request #43 from SoftwareFoundationGroupAtKyotoU/ldti_orig…

…inal eval_Var_bug
ymyzk · Dec 3, 2024 · 5c69555 · 5c69555
2 parents cf5c302 + 23d40e4
commit 5c69555
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/lib/eval.ml b/lib/eval.ml
@@ -59,7 +59,11 @@ let rec eval ?(debug=false) (env: (tyvar list * value) Environment.t) f =
     let xs, v = Environment.find x env in
     let us = List.map nu_to_fresh us in
     begin match v with
-      | FunV proc -> FunV (fun _ -> proc (xs, us))
+      | FunV proc -> FunV (
+          fun (xs', us') ->
+            let us = List.map (subst_type (Utils.List.zip xs' us')) us in
+            proc (xs, us)
+        )
       | _ -> v
     end
   | IConst (_, i) -> IntV i