Updated to the most recent specification

Completed Figures 5, 6, 7, 8 and 12. Ormolise.
IntersectMBO · Jan 11, 2021 · 3461931 · 3461931
1 parent d4bdd34
commit 3461931
Show file tree

Hide file tree

Showing 7 changed files with 396 additions and 74 deletions.
diff --git a/alonzo/impl/cardano-ledger-alonzo.cabal b/alonzo/impl/cardano-ledger-alonzo.cabal
@@ -38,7 +38,8 @@ library
     deepseq,
     nothunks,
     shelley-spec-ledger,
-    small-steps
+    small-steps,
+    text
   hs-source-dirs:
     src
   ghc-options:

diff --git a/alonzo/impl/src/Cardano/Ledger/Alonzo/Scripts.hs b/alonzo/impl/src/Cardano/Ledger/Alonzo/Scripts.hs
@@ -13,7 +13,7 @@ module Cardano.Ledger.Alonzo.Scripts
     Script (..),
     ExUnits (..),
     CostModel,
-    Language,
+    Language (..),
     Prices (..),
   )
 where
@@ -160,3 +160,7 @@ instance
       decodeScript 0 = Ann (SumD NativeScript) <*! From
       decodeScript 1 = Ann (SumD PlutusScript)
       decodeScript n = Invalid n
+
+-- =================================================
+-- Languages
+-- =================================================