add act on CI

.github/workflows/main.yml

@@ -15,6 +15,23 @@ on:
 
 # A workflow run is made up of one or more jobs that can run sequentially or in parallel
 jobs:
+  runact:
+    name: run act tests
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: cachix/install-nix-action@v20
+        with:
+          nix_path: nixpkgs=channel:nixos-unstable
+      - uses: haskell/actions/setup@v1
+        with:
+          ghc-version: '9.2.6' # Exact version of ghc to use
+          # cabal-version: 'latest'. Omitted, but defaults to 'latest'
+          enable-stack: true
+          stack-version: 'latest'
+      - run: |
+          cd act
+          stack test
   runevm:
     name: run hevm tests
     runs-on: ubuntu-latest

act/tests/Spec.hs

@@ -1,8 +1,8 @@
 import Data.ByteString.Lazy.Char8 (pack)
 import Examples.Player
+import OpenGames.Engine.Diagnostics (generateOutputStr)
 import Test.Tasty
 import Test.Tasty.Golden
-import OpenGames.Engine.Diagnostics (generateOutputStr)
 
 main :: IO ()
 main =

evm/src/EVM/TH.hs

@@ -267,7 +267,7 @@ setupAddresses amounts =
     updateContractMap [] x = x
     updateContractMap ((addr, amount) : cs) map =
       let map' = adjustOrAdd (set #balance amount) (set #balance amount emptyContract) addr map
-      in updateContractMap cs map'
+       in updateContractMap cs map'
 
     createNew (addr, amount) = (addr, set #balance amount emptyContract)
 

evm/src/Examples/Prisoner.hs

@@ -101,4 +101,3 @@ outcomeAutomatic = do
 
   let out4 = generateOutputStr (evaluated1 :- evaluated2 :- Nil)
   pure (out1 ++ out2 ++ out3 ++ out4)
-