module Ledger.Conway.Foreign.Util where

open import Ledger.Prelude

postulate
  error : {A : Set} → String → A
{-# FOREIGN GHC import Data.Text #-}
{-# COMPILE GHC error = \ _ s -> error (unpack s) #-}