inline authorized-by parameters, fixes #1294 (#1295)

kadena-io · Aug 31, 2023 · 8a65a50 · 8a65a50
1 parent 2a6e8ca
commit 8a65a50
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 2 deletions.
diff --git a/src-tool/Pact/Analyze/Parse/Prop.hs b/src-tool/Pact/Analyze/Parse/Prop.hs
@@ -600,8 +600,11 @@ inferPreProp preProp = case preProp of
     (Some SBool . PropSpecific) ... RowExists tn'
       <$> checkPreProp SStr rk
       <*> parseBeforeAfter beforeAfter
-  PreApp s [PreStringLit rn] | s == SAuthorizedBy ->
-    pure $ Some SBool (PropSpecific (GuardPassed (RegistryName rn)))
+  PreApp s [rn] | s == SAuthorizedBy -> do
+    rn' <- inferPreProp rn
+    case rn' of
+      Some SStr (TextLit str) -> pure $ Some SBool (PropSpecific (GuardPassed (RegistryName str)))
+      _ -> throwErrorIn preProp "expected string literal"
   PreApp s [tn, cn, rk] | s == SRowEnforced -> do
     tn' <- parseTableName tn
     cn' <- parseColumnName cn

diff --git a/tests/AnalyzeSpec.hs b/tests/AnalyzeSpec.hs
@@ -1385,6 +1385,16 @@ spec = describe "analyze" $ do
 
     expectVerified code
 
+  describe "authorized-by inlines definitions (regression #1294)" $ do
+    let code =
+          [text|
+               (defconst testname: string 'ks)
+               (defun test:bool ()
+                 @model[(property (authorized-by testname))]
+                 (enforce-guard (create-module-guard "governance")))
+          |]
+    expectVerified code
+
   describe "enforce-one.1" $ do
     let code =
           [text|