Add over-application test.

IntersectMBO · Feb 7, 2023 · 0935aa7 · 0935aa7
1 parent 13f1c5c
commit 0935aa7
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 0 deletions.
diff --git a/plutus-core/plutus-ir/test/transform/inline/letOverApp b/plutus-core/plutus-ir/test/transform/inline/letOverApp
@@ -0,0 +1,14 @@
+(let
+    (nonrec)
+    (termbind
+        (strict)
+        (vardecl idFun (fun (con integer) (con integer)))
+        (lam x (con integer) x)
+    )
+    (termbind
+        (strict)
+        (vardecl funApp (fun (con integer) (fun (con integer) (con integer))))
+        (lam eta (con integer) (lam eta (con integer) [ idFun eta ]))
+    )
+    [ [ funApp (con integer 5) ] (con integer 6) ]
+)
diff --git a/plutus-core/plutus-ir/test/transform/inline/letOverApp.golden b/plutus-core/plutus-ir/test/transform/inline/letOverApp.golden
@@ -0,0 +1,9 @@
+[
+  [
+    (lam
+      eta (con integer) (lam eta (con integer) [ (lam x (con integer) x) eta ])
+    )
+    (con integer 5)
+  ]
+  (con integer 6)
+]