Add id fully applied test.

IntersectMBO · Feb 8, 2023 · 453823b · 453823b
1 parent 04c2951
commit 453823b
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/plutus-core/plutus-ir/test/transform/inline/letIdFunForall b/plutus-core/plutus-ir/test/transform/inline/letIdFunForall
@@ -0,0 +1,9 @@
+(let
+    (nonrec)
+    (termbind
+      (strict)
+      (vardecl idFun (all a (type) (fun a a)))
+      (abs a (type) (lam x a x))
+    )
+    [ { idFun (fun (con integer) (con integer)) } (lam x (con integer) x) ]
+)
diff --git a/plutus-core/plutus-ir/test/transform/inline/letIdFunForall.golden b/plutus-core/plutus-ir/test/transform/inline/letIdFunForall.golden
@@ -0,0 +1,4 @@
+[
+  { (abs a (type) (lam x a x)) (fun (con integer) (con integer)) }
+  (lam x (con integer) x)
+]