Flag to disable return RTC, 4.7.1 release prep (#1231)

* Revert "[FORK] Add runtime type check for function return types (#1209)" This reverts commit a33ebb8. * rep 4.7.1 release * add runtime return tc flag `DisableReturnRTC` * update CHANGELOG.md * Reverse direction of feature flag * fix haddock * Revert "fix haddock" This reverts commit 503e083. * Revert "Reverse direction of feature flag" This reverts commit 2127f79. * address comments * address missing newline * unambiguous name * Update tests/pact/tc.repl Co-authored-by: Stuart Popejoy <[email protected]> --------- Co-authored-by: Emily Pillmore <[email protected]> Co-authored-by: Stuart Popejoy <[email protected]>
kadena-io · May 20, 2023 · 456aa65 · 456aa65
1 parent b36ef3e
commit 456aa65
Show file tree

Hide file tree

Showing 7 changed files with 33 additions and 7 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,26 @@
+4.7.1
+---
+
+- Add feature flag `FlagDisableRuntimeTypeChecking` for disabling runtime typechecking
+  introduced in Pact 4.7 (#1231)
+
+### Formal Verification
+
+- Fixed empty list type defaulting to any (#1224)
+- Fixed partial biniding (#1127)
+
+### Tests
+
+- Refactored test to avoid `runIO` within tests (#1129)
+- Add `CoverageSpec` (#1228)
+- Fix `ReplSpec` tests (#1216)
+- Cleanup `PactContinuationSpec` (#1222)
+
+### Others
+
+- Cleanup [README.md](README.md) (#1225)
+- Bump Z3 versions in GH actions (#1126)
+
 4.7.0
 ---
 

diff --git a/docs/en/pact-functions.md b/docs/en/pact-functions.md
@@ -461,7 +461,7 @@ Return ID if called during current pact execution, failing if not.
 Obtain current pact build version.
 ```lisp
 pact> (pact-version)
-"4.7.0"
+"4.7.1"
 ```
 
 Top level only: this function will fail if used in module code.
@@ -1928,7 +1928,7 @@ Retreive any accumulated events and optionally clear event state. Object returne
  *&rarr;*&nbsp;`[string]`
 
 
-Queries, or with arguments, sets execution config flags. Valid flags: ["AllowReadInLocal","DisableHistoryInTransactionalMode","DisableInlineMemCheck","DisableModuleInstall","DisableNewTrans","DisablePact40","DisablePact420","DisablePact43","DisablePact431","DisablePact44","DisablePact45","DisablePact46","DisablePact47","DisablePactEvents","EnforceKeyFormats","OldReadOnlyBehavior","PreserveModuleIfacesBug","PreserveModuleNameBug","PreserveNsModuleInstallBug","PreserveShowDefs"]
+Queries, or with arguments, sets execution config flags. Valid flags: ["AllowReadInLocal","DisableHistoryInTransactionalMode","DisableInlineMemCheck","DisableModuleInstall","DisableNewTrans","DisablePact40","DisablePact420","DisablePact43","DisablePact431","DisablePact44","DisablePact45","DisablePact46","DisablePact47","DisablePactEvents","DisableRuntimeReturnTypeChecking","EnforceKeyFormats","OldReadOnlyBehavior","PreserveModuleIfacesBug","PreserveModuleNameBug","PreserveNsModuleInstallBug","PreserveShowDefs"]
 ```lisp
 pact> (env-exec-config ['DisableHistoryInTransactionalMode]) (env-exec-config)
 ["DisableHistoryInTransactionalMode"]

diff --git a/examples/cp/orders.pact b/examples/cp/orders.pact
@@ -48,7 +48,7 @@
 
   )
 
-  (defun with-order-status (order-id status)
+  (defun with-order-status:object{order} (order-id status)
     "Check that order status is correct, returning details"
     (let ((o (read orders order-id)))
       (enforce (= (at 'status o) status)

diff --git a/pact.cabal b/pact.cabal
@@ -1,6 +1,6 @@
 cabal-version:       2.2
 name:                pact
-version:             4.7.0
+version:             4.7.1
 -- ^ 4 digit is prerelease, 3- or 2-digit for prod release
 synopsis:            Smart contract language library and REPL
 description:

diff --git a/src/Pact/Eval.hs b/src/Pact/Eval.hs
@@ -1175,7 +1175,7 @@ functionApp fnName funTy mod_ as fnBody docs ai = do
 
   returnVal <- guardRecursion fname mod_ $ appCall fa ai args' $ fmap (gas,) $ reduceBody body
 
-  unlessExecutionFlagSet FlagDisablePact47 $
+  unlessExecutionFlagSet FlagDisableRuntimeReturnTypeChecking $
     typecheckTerm ai (_ftReturn fty) returnVal
 
   return returnVal

diff --git a/src/Pact/Types/Runtime.hs b/src/Pact/Types/Runtime.hs
@@ -187,6 +187,8 @@ data ExecutionFlag
   | FlagDisablePact46
   -- | Disable Pact 4.7 Features
   | FlagDisablePact47
+  -- | Disable runtime return type checking.
+  | FlagDisableRuntimeReturnTypeChecking
   deriving (Eq,Ord,Show,Enum,Bounded)
 
 -- | Flag string representation

diff --git a/tests/pact/tc.repl b/tests/pact/tc.repl
@@ -371,7 +371,8 @@
 
 ;; A module with incorrect annotations for a function's return type.
 ;; Runtime typechecking for function return types was added in
-;; pact-4.7.
+;; pact-4.7.1 and guarded via `DisableRuntimeReturnTypeChecking`.
+
 (module tc-test-function-return-types g
   (defcap g () true)
   (defun f:string () (+ 1 2))
@@ -387,7 +388,7 @@
   (tc-test-function-return-types.g (tc-test-function-return-types.f 1))
   )
 
-(env-exec-config ["DisablePact47"])
+(env-exec-config ["DisableRuntimeReturnTypeChecking"])
 (expect
   "evaluating ill-typed function should succeed with pact-4.7 features disabled"
   3