Merge remote-tracking branch 'origin/greg/sqlite' into greg/sqlite

kadena-io · Nov 29, 2023 · 0ec10db · 0ec10db
2 parents 544d771 + e118e98
commit 0ec10db
Show file tree

Hide file tree

Showing 2 changed files with 34 additions and 1 deletion.
diff --git a/pact-core-tests/Pact/Core/Test/PersistenceTests.hs b/pact-core-tests/Pact/Core/Test/PersistenceTests.hs
@@ -14,7 +14,6 @@ import Pact.Core.Guards (KeySet)
 import Pact.Core.Gen.Serialise (keySetGen, keySetNameGen, moduleNameGen, moduleDataGen, builtinGen, infoGen
                                ,defPactIdGen, defPactExecGen, namespaceNameGen, namespaceGen)
 import Pact.Core.Serialise (PactSerialise, serialisePact)
-import Pact.Core.Builtin (RawBuiltin)
 import Pact.Core.Persistence.SQLite
 import Pact.Core.Persistence (WriteType(Insert), readKeySet, writeKeySet, writeModule, readModule
                              ,writeDefPacts, readDefPacts, readNamespace, writeNamespace)

diff --git a/pact-core-tests/Pact/Core/Test/ReplTests.hs b/pact-core-tests/Pact/Core/Test/ReplTests.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE StandaloneDeriving #-}
+{-# LANGUAGE NamedFieldPuns #-}
 
 module Pact.Core.Test.ReplTests where
 
@@ -33,6 +34,8 @@ import Pact.Core.Serialise (PactSerialise(..), serialisePact, Document(LegacyDoc
 
 import Pact.Core.Info (SpanInfo)
 import Pact.Core.Compile
+import Pact.Core.IR.Term (Module(..), EvalModule)
+import Pact.Core.Builtin (ReplBuiltin)
 import Pact.Core.Repl.Compile
 import Pact.Core.PactValue
 import Pact.Core.Environment
@@ -51,6 +54,37 @@ tests = do
     ]
 
 
+enhanceModuleData :: ModuleData RawBuiltin () -> ModuleData ReplRawBuiltin SpanInfo
+enhanceModuleData = \case
+  ModuleData em defs -> undefined
+  InterfaceData ifd defs -> undefined
+
+stripModuleData :: ModuleData ReplRawBuiltin SpanInfo -> ModuleData RawBuiltin ()
+stripModuleData = \case
+  ModuleData em defs -> undefined
+  InterfaceData ifd defs -> undefined
+
+enhanceEvalModule :: EvalModule RawBuiltin () -> EvalModule ReplRawBuiltin SpanInfo
+enhanceEvalModule Module
+  { _mName
+  , _mGovernance
+  , _mDefs
+  , _mBlessed
+  , _mImports
+  , _mImplements
+  , _mHash
+  , _mInfo
+  } = Module
+      { _mName
+      , _mGovernance
+      , _mDefs = _ _mDefs
+      , _mBlessed
+      , _mImports
+      , _mImplements
+      , _mHash
+      , _mInfo = def
+      }
+
 
 replTestDir :: [Char]
 replTestDir = "pact-core-tests" </> "pact-tests"