- add keccak256 back, along with a test

- add tests for transitive dependencies of a higher level

Author: chessai

cabal.project

@@ -101,8 +101,8 @@ source-repository-package
 source-repository-package
     type: git
     location: https://github.com/kadena-io/pact-5.git
-    tag: 78ca269f479c3d7aac6c6de6cf82f19f8f081599
-    --sha256: 1swp7gkjvsg0hiciczdm3c8j4a5s86d69mjl0wkdynckclgim6xm
+    tag: 037788bb25205540fb04e3487b50a26ce254646d
+    --sha256: 0yi9sdk2k4b7yz5if9hkd2zhswwsy5z5dnira6vfv4r3y9mnv60q
 
 source-repository-package
     type: git

cabal.project.freeze

@@ -151,8 +151,8 @@ constraints: any.Cabal ==3.12.1.0,
              any.growable-vector ==0.1,
              any.haddock-library ==1.11.0,
              any.half ==0.3.2,
-             any.happy ==2.1.4,
-             any.happy-lib ==2.1.4,
+             any.happy ==2.1.5,
+             any.happy-lib ==2.1.5,
              any.hashable ==1.5.0.0,
              any.hashes ==0.3.0.1,
              any.haskeline ==0.8.2.1,
@@ -229,7 +229,7 @@ constraints: any.Cabal ==3.12.1.0,
              any.pact-json ==0.1.0.0,
              any.pact-time ==0.3.0.1,
              pact-time -with-time,
-             any.pact-tng ==5.0,
+             any.pact-tng ==5.1,
              pact-tng +with-crypto +with-funcall-tracing +with-native-tracing,
              any.pandoc ==3.6.2,
              any.pandoc-types ==1.23.1,
@@ -401,4 +401,4 @@ constraints: any.Cabal ==3.12.1.0,
              any.zigzag ==0.1.0.0,
              any.zip-archive ==0.4.3.2,
              any.zlib ==0.7.1.0
-index-state: hackage.haskell.org 2025-01-24T21:23:54Z
+index-state: hackage.haskell.org 2025-02-24T21:36:29Z

pact/pact5/coin-contract/coin.repl

@@ -27,7 +27,7 @@
 (env-gaslog)
 (expect
   "Gas cost of loading coin contract"
-  21122
+  21572
   (env-gas))
 
 (create-table coin.coin-table)
@@ -51,7 +51,7 @@
 (env-gaslog)
 (expect
   "Gas cost of using the coin contract"
-  24 (env-gas))
+  1 (env-gas))
 
 ;; account balance for emily does not exist, because account does not exist yet
 (expect-failure

pact/pact5/namespaces/ns.repl

@@ -29,13 +29,13 @@
 (namespace 'user)
 (env-keys [])
 
-(module mod G
+(module modl G
   (defcap G () (enforce false "disabled"))
   (defun foo () 1))
 
 (namespace 'free)
 
-(module mod G
+(module modl G
   (defcap G () (enforce false "disabled"))
   (defun foo () 2))
 
@@ -48,15 +48,15 @@
 
 (namespace 'kadena)
 
-(module mod G
+(module modl G
   (defcap G () (enforce false "disabled"))
   (defun foo () 3))
 
 (commit-tx)
 
-(expect "user.mod works" 1 (user.mod.foo))
-(expect "free.mod works" 2 (free.mod.foo))
-(expect "kadena.mod works" 3 (kadena.mod.foo))
+(expect "user.modl works" 1 (user.modl.foo))
+(expect "free.modl works" 2 (free.modl.foo))
+(expect "kadena.modl works" 3 (kadena.modl.foo))
 
 (begin-tx)
 (env-keys ["operate"])
@@ -79,13 +79,13 @@
 
 (namespace 'kadena)
 
-(module mod2 G
+(module modl2 G
   (defcap G () (enforce false "disabled"))
   (defun foo () 4))
 (commit-tx)
 (begin-tx)
 
-(expect "kadena.mod2 works" 4 (kadena.mod2.foo))
+(expect "kadena.modl2 works" 4 (kadena.modl2.foo))
 
 (use ns)
 (env-keys ["operate"])
@@ -171,12 +171,12 @@
   )
 
 (namespace "n_c1a583206e24450af26de41110042b019695db8c")
-(module modK G
+(module modlK G
   (defcap G () true)
   (defun f () 1))
 
 (namespace "n_64bfdef1c668b167c87f7cf329454c572e284664")
-(module modW G
+(module modlW G
   (defcap G () true)
   (defun f () 2))
 
@@ -186,12 +186,12 @@
 (expect
   "k: principal namespaces work"
   1
-  (n_c1a583206e24450af26de41110042b019695db8c.modK.f))
+  (n_c1a583206e24450af26de41110042b019695db8c.modlK.f))
 
 (expect
   "w: principal namespaces work"
   2
-  (n_64bfdef1c668b167c87f7cf329454c572e284664.modW.f))
+  (n_64bfdef1c668b167c87f7cf329454c572e284664.modlW.f))
 
 (commit-tx)
 (begin-tx)

pact/pact5/namespaces/v1/ns.repl

@@ -13,13 +13,13 @@
 (namespace 'user)
 (env-keys [])
 
-(module mod G
+(module modl G
   (defcap G () (enforce false "disabled"))
   (defun foo () 1))
 
 (namespace 'free)
 
-(module mod G
+(module modl G
   (defcap G () (enforce false "disabled"))
   (defun foo () 2))
 
@@ -32,15 +32,15 @@
 
 (namespace 'kadena)
 
-(module mod G
+(module modl G
   (defcap G () (enforce false "disabled"))
   (defun foo () 3))
 
 (commit-tx)
 
-(expect "user.mod works" 1 (user.mod.foo))
-(expect "free.mod works" 2 (free.mod.foo))
-(expect "kadena.mod works" 3 (kadena.mod.foo))
+(expect "user.modl works" 1 (user.modl.foo))
+(expect "free.modl works" 2 (free.modl.foo))
+(expect "kadena.modl works" 3 (kadena.modl.foo))
 
 (begin-tx)
 (env-keys ["operate"])
@@ -63,12 +63,12 @@
 
 (namespace 'kadena)
 
-(module mod2 G
+(module modl2 G
   (defcap G () (enforce false "disabled"))
   (defun foo () 4))
 (commit-tx)
 
-(expect "kadena.mod2 works" 4 (kadena.mod2.foo))
+(expect "kadena.modl2 works" 4 (kadena.modl2.foo))
 
 (use ns)
 (env-keys ["operate"])