defcap non-local static test

kadena-io · Dec 15, 2023 · d69e419 · d69e419
1 parent 8f88dae
commit d69e419
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/pact-core-tests/Pact/Core/Test/StaticErrorTests.hs b/pact-core-tests/Pact/Core/Test/StaticErrorTests.hs
@@ -230,7 +230,7 @@ staticTests =
         (defun i () p)
       )
       |])
-    -- TODO better error
+    -- TODO better error; intended to trigger `UnboundTypeVariable` instead in `renameDefTable`
   , ("invalid_def_table_nonexistent", isDesugarError _NoSuchModule, [text|
       (module fdb G
         (defcap G () true)
@@ -244,6 +244,14 @@ staticTests =
         (deftable fdb-tbl:{i})
         )
       |])
+    -- TODO better errror; intended to trigger `expectedFree` instead
+  , ("defmanaged_wrong_ref", isDesugarError _NoSuchModule, [text|
+      (module m g (defcap g () true)
+        (defcap CAP:bool (a:integer b:integer)
+          @managed a b
+          true
+        )
+        )
       |])
   ]