Extended Coder.hs to handle redefining TxBody as sparse encoded MemoB…

…ytes. Made extensive changes to Coders.hs to handle sparse encoding. Applied these changes to TxBody, so that it is now defined as a sparsely encoded MemoBytes
IntersectMBO · Oct 29, 2020 · b80f18a · b80f18a
1 parent fba54f0
commit b80f18a
Show file tree

Hide file tree

Showing 16 changed files with 1,080 additions and 546 deletions.
diff --git a/semantics/executable-spec/small-steps.cabal b/semantics/executable-spec/small-steps.cabal
@@ -40,7 +40,8 @@ library
                      , Control.SetAlgebra
   -- other-modules:
   -- other-extensions:
-  build-depends:       base >=4.11 && <5
+  build-depends:       array
+                     , base >=4.11 && <5
                      , bytestring
                      , cardano-prelude
                      , containers