From 32cc3ba03236a52498f05bb95e17f023f5435b95 Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Tue, 30 Apr 2024 11:16:16 +0200
Subject: [PATCH] a test

---
 test/test_projet_pfa_23_24.ml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/test/test_projet_pfa_23_24.ml b/test/test_projet_pfa_23_24.ml
index b675b7b..aa41a34 100644
--- a/test/test_projet_pfa_23_24.ml
+++ b/test/test_projet_pfa_23_24.ml
@@ -46,6 +46,11 @@ let tests_typeof =
   ; ( "(fun x -> x + 1) true"
     , Term.(App (Fun (x, Binop (Var x, Plus, IntConst 1)), Var x))
     , None )
+  ; (* Nested functions *)
+    ( "(fun x -> fun y -> x + y) 3 4"
+    , Term.(
+        App (App (Fun (x, Fun (y, Binop (Var x, Plus, Var y))), IntConst 3), IntConst 4))
+    , Some Type.Int )
   ]
 ;;