Update shelley-ma/impl/src/Cardano/Ledger/Mary/Translation.hs

Co-authored-by: Thomas Winant <thomas@well-typed.com>
IntersectMBO · Nov 25, 2020 · a9f6fef · a9f6fef
1 parent 3b73ac7
commit a9f6fef
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/shelley-ma/impl/src/Cardano/Ledger/Mary/Translation.hs b/shelley-ma/impl/src/Cardano/Ledger/Mary/Translation.hs
@@ -362,7 +362,7 @@ translateValue :: Era era => Coin -> Value era
 translateValue = Val.inject
 
 translateCompactValue :: Era era => CompactForm Coin -> CompactForm (Value era)
-translateCompactValue = assume . toCompact . translateValue . fromCompact
+translateCompactValue =
+    fromMaybe (error msg) . toCompact . translateValue . fromCompact
   where
-    assume Nothing = error "impossible error: compact coin is out of range"
-    assume (Just x) = x
+    msg = "impossible error: compact coin is out of range"