{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE EmptyCase #-}
{-# LANGUAGE EmptyDataDecls #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}

{-# OPTIONS_GHC -Wno-overlapping-patterns #-}

module MAlonzo.Code.Main where

import MAlonzo.RTE (coe, erased, AgdaAny, addInt, subInt, mulInt,
                    quotInt, remInt, geqInt, ltInt, eqInt, add64, sub64, mul64, quot64,
                    rem64, lt64, eq64, word64FromNat, word64ToNat)
import qualified MAlonzo.RTE
import qualified Data.Text
import qualified MAlonzo.Code.Agda.Builtin.IO
import qualified MAlonzo.Code.Agda.Builtin.String
import qualified MAlonzo.Code.Agda.Builtin.Unit
import qualified MAlonzo.Code.Cost.Raw
import qualified MAlonzo.Code.Evaluator.Base
import qualified MAlonzo.Code.Evaluator.Program
import qualified MAlonzo.Code.IO.Primitive
import qualified MAlonzo.Code.Utils

import qualified Data.Text.IO as TextIO
import System.Exit
import Opts
import PlutusCore.Executable.Common
import PlutusCore.Executable.Parsers
-- Main.putStrLn
d_putStrLn_12 ::
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.IO.T_IO_8
    () MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6
d_putStrLn_12 :: T_String_6 -> T_IO_8 () ()
d_putStrLn_12 = T_String_6 -> T_IO_8 () ()
TextIO.putStrLn
-- Main.IOMonad
d_IOMonad_14 :: MAlonzo.Code.Utils.T_Monad_186
d_IOMonad_14 :: T_Monad_186
d_IOMonad_14
  = ((() -> Any -> Any)
 -> (() -> () -> Any -> (Any -> Any) -> Any) -> T_Monad_186)
-> Any -> Any -> T_Monad_186
forall a b. a -> b
coe
      (() -> Any -> Any)
-> (() -> () -> Any -> (Any -> Any) -> Any) -> T_Monad_186
MAlonzo.Code.Utils.C_Monad'46'constructor_12563
      ((() -> () -> Any -> T_IO_8 Any Any) -> () -> Any
forall a b. a -> b
coe () -> () -> Any -> T_IO_8 Any Any
forall xa xA. () -> () -> xA -> T_IO_8 xa xA
MAlonzo.Code.IO.Primitive.d_return_8 ())
      ((()
 -> ()
 -> ()
 -> ()
 -> T_IO_8 Any Any
 -> (Any -> T_IO_8 Any Any)
 -> T_IO_8 Any Any)
-> () -> () -> Any
forall a b. a -> b
coe ()
-> ()
-> ()
-> ()
-> T_IO_8 Any Any
-> (Any -> T_IO_8 Any Any)
-> T_IO_8 Any Any
forall xa xb xA xB.
()
-> ()
-> ()
-> ()
-> T_IO_8 xa xA
-> (xA -> T_IO_8 xb xB)
-> T_IO_8 xb xB
MAlonzo.Code.IO.Primitive.d__'62''62''61'__18 () ())
-- Main.FilePath
type T_FilePath_16 = FilePath
d_FilePath_16 :: a
d_FilePath_16
  = [Char] -> a
forall a. HasCallStack => [Char] -> a
error [Char]
"MAlonzo Runtime Error: postulate evaluated: Main.FilePath"
-- Main.exitFailure
d_exitFailure_18 ::
  MAlonzo.Code.Agda.Builtin.IO.T_IO_8
    () MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6
d_exitFailure_18 :: T_IO_8 () ()
d_exitFailure_18 = T_IO_8 () ()
forall a. IO a
exitFailure
-- Main.exitSuccess
d_exitSuccess_20 ::
  MAlonzo.Code.Agda.Builtin.IO.T_IO_8
    () MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6
d_exitSuccess_20 :: T_IO_8 () ()
d_exitSuccess_20 = T_IO_8 () ()
forall a. IO a
exitSuccess
-- Main.EvalOptions
d_EvalOptions_24 :: p -> ()
d_EvalOptions_24 p
a0 = ()
type T_EvalOptions_24 a0 = EvalOptions a0
pattern $mC_EvalOpts_28 :: forall {r} {a}.
EvalOptions a
-> (Input -> Format -> EvalMode -> BudgetMode a -> r)
-> ((# #) -> r)
-> r
$bC_EvalOpts_28 :: forall {a}.
Input -> Format -> EvalMode -> BudgetMode a -> EvalOptions a
C_EvalOpts_28 a0 a1 a2 a3 = EvalOpts a0 a1 a2 a3
check_EvalOpts_28 ::
  forall xA.
    MAlonzo.Code.Evaluator.Program.T_Input_16 ->
    MAlonzo.Code.Evaluator.Program.T_Format_14 ->
    MAlonzo.Code.Evaluator.Program.T_EvalMode_46 ->
    MAlonzo.Code.Evaluator.Program.T_BudgetMode_36 xA ->
    T_EvalOptions_24 xA
check_EvalOpts_28 :: forall {a}.
Input -> Format -> EvalMode -> BudgetMode a -> EvalOptions a
check_EvalOpts_28 = Input -> Format -> EvalMode -> BudgetMode xA -> EvalOptions xA
forall {a}.
Input -> Format -> EvalMode -> BudgetMode a -> EvalOptions a
EvalOpts
cover_EvalOptions_24 :: EvalOptions a1 -> ()
cover_EvalOptions_24 :: forall a1. EvalOptions a1 -> ()
cover_EvalOptions_24 EvalOptions a1
x
  = case EvalOptions a1
x of
      EvalOpts Input
_ Format
_ EvalMode
_ BudgetMode a1
_ -> ()
-- Main.TypecheckOptions
d_TypecheckOptions_30 :: ()
d_TypecheckOptions_30 = ()
type T_TypecheckOptions_30 = TypecheckOptions
pattern $mC_TCOpts_32 :: forall {r}.
TypecheckOptions -> (Input -> Format -> r) -> ((# #) -> r) -> r
$bC_TCOpts_32 :: Input -> Format -> TypecheckOptions
C_TCOpts_32 a0 a1 = TCOpts a0 a1
check_TCOpts_32 ::
  MAlonzo.Code.Evaluator.Program.T_Input_16 ->
  MAlonzo.Code.Evaluator.Program.T_Format_14 -> T_TypecheckOptions_30
check_TCOpts_32 :: Input -> Format -> TypecheckOptions
check_TCOpts_32 = Input -> Format -> TypecheckOptions
TCOpts
cover_TypecheckOptions_30 :: TypecheckOptions -> ()
cover_TypecheckOptions_30 :: TypecheckOptions -> ()
cover_TypecheckOptions_30 TypecheckOptions
x
  = case TypecheckOptions
x of
      TCOpts Input
_ Format
_ -> ()
-- Main.Command
d_Command_36 :: p -> ()
d_Command_36 p
a0 = ()
type T_Command_36 a0 = Command a0
pattern $mC_Eval_40 :: forall {r} {a}.
Command a -> (EvalOptions a -> r) -> ((# #) -> r) -> r
$bC_Eval_40 :: forall {a}. EvalOptions a -> Command a
C_Eval_40 a0 = Eval a0
pattern $mC_Typecheck_42 :: forall {r} {a}.
Command a -> (TypecheckOptions -> r) -> ((# #) -> r) -> r
$bC_Typecheck_42 :: forall {a}. TypecheckOptions -> Command a
C_Typecheck_42 a0 = Typecheck a0
check_Eval_40 :: forall xA. T_EvalOptions_24 xA -> T_Command_36 xA
check_Eval_40 :: forall {a}. EvalOptions a -> Command a
check_Eval_40 = EvalOptions xA -> Command xA
forall {a}. EvalOptions a -> Command a
Eval
check_Typecheck_42 ::
  forall xA. T_TypecheckOptions_30 -> T_Command_36 xA
check_Typecheck_42 :: forall {a}. TypecheckOptions -> Command a
check_Typecheck_42 = TypecheckOptions -> Command xA
forall {a}. TypecheckOptions -> Command a
Typecheck
cover_Command_36 :: Command a1 -> ()
cover_Command_36 :: forall a1. Command a1 -> ()
cover_Command_36 Command a1
x
  = case Command a1
x of
      Eval EvalOptions a1
_ -> ()
      Typecheck TypecheckOptions
_ -> ()
-- Main.execP
d_execP_44 ::
  MAlonzo.Code.Agda.Builtin.IO.T_IO_8
    ()
    (T_Command_36
       (MAlonzo.Code.Utils.T__'215'__364
          MAlonzo.Code.Cost.Raw.T_HCekMachineCosts_4
          (MAlonzo.Code.Utils.T_List_382
             (MAlonzo.Code.Utils.T__'215'__364
                MAlonzo.Code.Agda.Builtin.String.T_String_6
                MAlonzo.Code.Cost.Raw.T_CpuAndMemoryModel_146))))
d_execP_44 :: T_IO_8
  ()
  (T_Command_36
     (T__'215'__364
        T_HCekMachineCosts_4
        (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146))))
d_execP_44 = T_IO_8
  ()
  (T_Command_36
     (T__'215'__364
        T_HCekMachineCosts_4
        (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146))))
execP
-- Main.parse
d_parse_46 ::
  MAlonzo.Code.Evaluator.Program.T_Format_14 ->
  MAlonzo.Code.Evaluator.Program.T_Input_16 ->
  MAlonzo.Code.Agda.Builtin.IO.T_IO_8
    () MAlonzo.Code.Evaluator.Program.T_ProgramN_18
d_parse_46 :: Format
-> Input
-> T_IO_8 () (Program TyName Name DefaultUni DefaultFun SrcSpan)
d_parse_46 = Format
-> Input
-> T_IO_8 () (Program TyName Name DefaultUni DefaultFun SrcSpan)
forall (p :: * -> *).
(ProgramLike p, Functor p, Rename (p SrcSpan)) =>
Format -> Input -> IO (p SrcSpan)
readProgram
-- Main.parseU
d_parseU_48 ::
  MAlonzo.Code.Evaluator.Program.T_Format_14 ->
  MAlonzo.Code.Evaluator.Program.T_Input_16 ->
  MAlonzo.Code.Agda.Builtin.IO.T_IO_8
    () MAlonzo.Code.Evaluator.Program.T_ProgramNU_26
d_parseU_48 :: Format
-> Input -> T_IO_8 () (Program Name DefaultUni DefaultFun SrcSpan)
d_parseU_48 = Format
-> Input -> T_IO_8 () (Program Name DefaultUni DefaultFun SrcSpan)
forall (p :: * -> *).
(ProgramLike p, Functor p, Rename (p SrcSpan)) =>
Format -> Input -> IO (p SrcSpan)
readProgram
-- Main.evalInput
d_evalInput_50 ::
  MAlonzo.Code.Evaluator.Program.T_EvalMode_46 ->
  MAlonzo.Code.Evaluator.Program.T_BudgetMode_36
    (MAlonzo.Code.Utils.T__'215'__364
       MAlonzo.Code.Cost.Raw.T_HCekMachineCosts_4
       (MAlonzo.Code.Utils.T_List_382
          (MAlonzo.Code.Utils.T__'215'__364
             MAlonzo.Code.Agda.Builtin.String.T_String_6
             MAlonzo.Code.Cost.Raw.T_CpuAndMemoryModel_146))) ->
  MAlonzo.Code.Evaluator.Program.T_Format_14 ->
  MAlonzo.Code.Evaluator.Program.T_Input_16 ->
  MAlonzo.Code.Agda.Builtin.IO.T_IO_8
    AgdaAny
    (MAlonzo.Code.Utils.T_Either_6
       MAlonzo.Code.Evaluator.Base.T_ERROR_12
       MAlonzo.Code.Agda.Builtin.String.T_String_6)
d_evalInput_50 :: EvalMode
-> T_BudgetMode_36
     (T__'215'__364
        T_HCekMachineCosts_4
        (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146)))
-> Format
-> Input
-> T_IO_8 Any (T_Either_6 T_ERROR_12 T_String_6)
d_evalInput_50 EvalMode
v0 T_BudgetMode_36
  (T__'215'__364
     T_HCekMachineCosts_4
     (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146)))
v1 Format
v2 Input
v3
  = let v4 :: t
v4
          = (T_Monad_186 -> (Any -> Any) -> Any -> Any)
-> Any -> Any -> Any -> t
forall a b. a -> b
coe
              T_Monad_186 -> (Any -> Any) -> Any -> Any
MAlonzo.Code.Utils.du_fmap_224 (T_Monad_186 -> Any
forall a b. a -> b
coe T_Monad_186
d_IOMonad_14)
              ((EvalMode
 -> Program TyName Name DefaultUni DefaultFun SrcSpan
 -> T_Either_6 T_ERROR_12 T_String_6)
-> Any -> Any
forall a b. a -> b
coe EvalMode
-> Program TyName Name DefaultUni DefaultFun SrcSpan
-> T_Either_6 T_ERROR_12 T_String_6
MAlonzo.Code.Evaluator.Program.d_evalProgramN_212 (EvalMode -> Any
forall a b. a -> b
coe EvalMode
v0))
              ((Format
 -> Input
 -> T_IO_8 () (Program TyName Name DefaultUni DefaultFun SrcSpan))
-> Format -> Input -> Any
forall a b. a -> b
coe Format
-> Input
-> T_IO_8 () (Program TyName Name DefaultUni DefaultFun SrcSpan)
d_parse_46 Format
v2 Input
v3) in
    Any -> T_IO_8 Any (T_Either_6 T_ERROR_12 T_String_6)
forall a b. a -> b
coe
      (case EvalMode -> EvalMode
forall a b. a -> b
coe EvalMode
v0 of
         EvalMode
MAlonzo.Code.Evaluator.Program.C_U_48
           -> (T_Monad_186 -> (Any -> Any) -> Any -> Any)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                T_Monad_186 -> (Any -> Any) -> Any -> Any
MAlonzo.Code.Utils.du_fmap_224 (T_Monad_186 -> Any
forall a b. a -> b
coe T_Monad_186
d_IOMonad_14)
                ((T_BudgetMode_36
   (T__'215'__364
      T_HCekMachineCosts_4
      (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146)))
 -> Program Name DefaultUni DefaultFun SrcSpan
 -> T_Either_6 T_ERROR_12 T_String_6)
-> Any -> Any
forall a b. a -> b
coe T_BudgetMode_36
  (T__'215'__364
     T_HCekMachineCosts_4
     (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146)))
-> Program Name DefaultUni DefaultFun SrcSpan
-> T_Either_6 T_ERROR_12 T_String_6
MAlonzo.Code.Evaluator.Program.d_evalProgramNU_204 (T_BudgetMode_36
  (T__'215'__364
     T_HCekMachineCosts_4
     (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146)))
-> Any
forall a b. a -> b
coe T_BudgetMode_36
  (T__'215'__364
     T_HCekMachineCosts_4
     (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146)))
v1))
                ((Format
 -> Input -> T_IO_8 () (Program Name DefaultUni DefaultFun SrcSpan))
-> Format -> Input -> Any
forall a b. a -> b
coe Format
-> Input -> T_IO_8 () (Program Name DefaultUni DefaultFun SrcSpan)
d_parseU_48 Format
v2 Input
v3)
         EvalMode
_ -> Any -> Any
forall a b. a -> b
coe Any
forall {t}. t
v4)
-- Main.tcInput
d_tcInput_64 ::
  MAlonzo.Code.Evaluator.Program.T_Format_14 ->
  MAlonzo.Code.Evaluator.Program.T_Input_16 ->
  MAlonzo.Code.Agda.Builtin.IO.T_IO_8
    AgdaAny
    (MAlonzo.Code.Utils.T_Either_6
       MAlonzo.Code.Evaluator.Base.T_ERROR_12
       MAlonzo.Code.Agda.Builtin.String.T_String_6)
d_tcInput_64 :: Format -> Input -> T_IO_8 Any (T_Either_6 T_ERROR_12 T_String_6)
d_tcInput_64 Format
v0 Input
v1
  = (T_Monad_186 -> (Any -> Any) -> Any -> Any)
-> Any
-> Any
-> Any
-> T_IO_8 Any (T_Either_6 T_ERROR_12 T_String_6)
forall a b. a -> b
coe
      T_Monad_186 -> (Any -> Any) -> Any -> Any
MAlonzo.Code.Utils.du_fmap_224 (T_Monad_186 -> Any
forall a b. a -> b
coe T_Monad_186
d_IOMonad_14)
      ((Program TyName Name DefaultUni DefaultFun SrcSpan
 -> T_Either_6 T_ERROR_12 T_String_6)
-> Any
forall a b. a -> b
coe Program TyName Name DefaultUni DefaultFun SrcSpan
-> T_Either_6 T_ERROR_12 T_String_6
MAlonzo.Code.Evaluator.Program.d_typeCheckProgramN_220)
      ((Format
 -> Input
 -> T_IO_8 () (Program TyName Name DefaultUni DefaultFun SrcSpan))
-> Format -> Input -> Any
forall a b. a -> b
coe Format
-> Input
-> T_IO_8 () (Program TyName Name DefaultUni DefaultFun SrcSpan)
d_parse_46 Format
v0 Input
v1)
-- Main.main'
d_main''_70 ::
  T_Command_36
    (MAlonzo.Code.Utils.T__'215'__364
       MAlonzo.Code.Cost.Raw.T_HCekMachineCosts_4
       (MAlonzo.Code.Utils.T_List_382
          (MAlonzo.Code.Utils.T__'215'__364
             MAlonzo.Code.Agda.Builtin.String.T_String_6
             MAlonzo.Code.Cost.Raw.T_CpuAndMemoryModel_146))) ->
  MAlonzo.Code.Agda.Builtin.IO.T_IO_8
    AgdaAny MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6
d_main''_70 :: T_Command_36
  (T__'215'__364
     T_HCekMachineCosts_4
     (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146)))
-> T_IO_8 () ()
d_main''_70 T_Command_36
  (T__'215'__364
     T_HCekMachineCosts_4
     (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146)))
v0
  = case T_Command_36
  (T__'215'__364
     T_HCekMachineCosts_4
     (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146)))
-> Command Any
forall a b. a -> b
coe T_Command_36
  (T__'215'__364
     T_HCekMachineCosts_4
     (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146)))
v0 of
      C_Eval_40 EvalOptions Any
v1
        -> case EvalOptions Any -> EvalOptions Any
forall a b. a -> b
coe EvalOptions Any
v1 of
             C_EvalOpts_28 Input
v2 Format
v3 EvalMode
v4 BudgetMode Any
v5
               -> (T_Monad_186 -> () -> () -> Any -> (Any -> Any) -> Any)
-> T_Monad_186
-> Any
-> Any
-> T_IO_8 Any (T_Either_6 T_ERROR_12 T_String_6)
-> (Any -> Any)
-> T_IO_8 () ()
forall a b. a -> b
coe
                    T_Monad_186 -> () -> () -> Any -> (Any -> Any) -> Any
MAlonzo.Code.Utils.d__'62''62''61'__208 T_Monad_186
d_IOMonad_14 Any
forall {t}. t
erased Any
forall {t}. t
erased
                    (EvalMode
-> T_BudgetMode_36
     (T__'215'__364
        T_HCekMachineCosts_4
        (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146)))
-> Format
-> Input
-> T_IO_8 Any (T_Either_6 T_ERROR_12 T_String_6)
d_evalInput_50 (EvalMode -> EvalMode
forall a b. a -> b
coe EvalMode
v4) (BudgetMode Any
-> T_BudgetMode_36
     (T__'215'__364
        T_HCekMachineCosts_4
        (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146)))
forall a b. a -> b
coe BudgetMode Any
v5) (Format -> Format
forall a b. a -> b
coe Format
v3) (Input -> Input
forall a b. a -> b
coe Input
v2))
                    (\ Any
v6 ->
                       case Any -> Either Any Any
forall a b. a -> b
coe Any
v6 of
                         MAlonzo.Code.Utils.C_inj'8321'_12 Any
v7
                           -> (T_Monad_186 -> Any -> Any -> Any) -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                T_Monad_186 -> Any -> Any -> Any
MAlonzo.Code.Utils.du__'62''62'__214 (T_Monad_186 -> Any
forall a b. a -> b
coe T_Monad_186
d_IOMonad_14)
                                ((T_String_6 -> T_IO_8 () ()) -> T_String_6 -> Any
forall a b. a -> b
coe
                                   T_String_6 -> T_IO_8 () ()
d_putStrLn_12
                                   (T_ERROR_12 -> T_String_6
MAlonzo.Code.Evaluator.Base.d_reportError_66 (Any -> T_ERROR_12
forall a b. a -> b
coe Any
v7)))
                                (T_IO_8 () () -> Any
forall a b. a -> b
coe T_IO_8 () ()
d_exitFailure_18)
                         MAlonzo.Code.Utils.C_inj'8322'_14 Any
v7
                           -> (T_Monad_186 -> Any -> Any -> Any) -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                T_Monad_186 -> Any -> Any -> Any
MAlonzo.Code.Utils.du__'62''62'__214 (T_Monad_186 -> Any
forall a b. a -> b
coe T_Monad_186
d_IOMonad_14)
                                ((T_String_6 -> T_IO_8 () ()) -> Any -> Any
forall a b. a -> b
coe T_String_6 -> T_IO_8 () ()
d_putStrLn_12 Any
v7) (T_IO_8 () () -> Any
forall a b. a -> b
coe T_IO_8 () ()
d_exitSuccess_20)
                         Either Any Any
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError)
             EvalOptions Any
_ -> T_IO_8 () ()
forall {t}. t
MAlonzo.RTE.mazUnreachableError
      C_Typecheck_42 TypecheckOptions
v1
        -> case TypecheckOptions -> TypecheckOptions
forall a b. a -> b
coe TypecheckOptions
v1 of
             C_TCOpts_32 Input
v2 Format
v3
               -> (T_Monad_186 -> () -> () -> Any -> (Any -> Any) -> Any)
-> T_Monad_186
-> Any
-> Any
-> T_IO_8 Any (T_Either_6 T_ERROR_12 T_String_6)
-> (Any -> Any)
-> T_IO_8 () ()
forall a b. a -> b
coe
                    T_Monad_186 -> () -> () -> Any -> (Any -> Any) -> Any
MAlonzo.Code.Utils.d__'62''62''61'__208 T_Monad_186
d_IOMonad_14 Any
forall {t}. t
erased Any
forall {t}. t
erased
                    (Format -> Input -> T_IO_8 Any (T_Either_6 T_ERROR_12 T_String_6)
d_tcInput_64 (Format -> Format
forall a b. a -> b
coe Format
v3) (Input -> Input
forall a b. a -> b
coe Input
v2))
                    (\ Any
v4 ->
                       case Any -> Either Any Any
forall a b. a -> b
coe Any
v4 of
                         MAlonzo.Code.Utils.C_inj'8321'_12 Any
v5
                           -> (T_Monad_186 -> Any -> Any -> Any) -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                T_Monad_186 -> Any -> Any -> Any
MAlonzo.Code.Utils.du__'62''62'__214 (T_Monad_186 -> Any
forall a b. a -> b
coe T_Monad_186
d_IOMonad_14)
                                ((T_String_6 -> T_IO_8 () ()) -> T_String_6 -> Any
forall a b. a -> b
coe
                                   T_String_6 -> T_IO_8 () ()
d_putStrLn_12
                                   (T_ERROR_12 -> T_String_6
MAlonzo.Code.Evaluator.Base.d_reportError_66 (Any -> T_ERROR_12
forall a b. a -> b
coe Any
v5)))
                                (T_IO_8 () () -> Any
forall a b. a -> b
coe T_IO_8 () ()
d_exitFailure_18)
                         MAlonzo.Code.Utils.C_inj'8322'_14 Any
v5
                           -> (T_Monad_186 -> Any -> Any -> Any) -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                T_Monad_186 -> Any -> Any -> Any
MAlonzo.Code.Utils.du__'62''62'__214 (T_Monad_186 -> Any
forall a b. a -> b
coe T_Monad_186
d_IOMonad_14)
                                ((T_String_6 -> T_IO_8 () ()) -> Any -> Any
forall a b. a -> b
coe T_String_6 -> T_IO_8 () ()
d_putStrLn_12 Any
v5) (T_IO_8 () () -> Any
forall a b. a -> b
coe T_IO_8 () ()
d_exitSuccess_20)
                         Either Any Any
_ -> Any
forall {t}. t
MAlonzo.RTE.mazUnreachableError)
             TypecheckOptions
_ -> T_IO_8 () ()
forall {t}. t
MAlonzo.RTE.mazUnreachableError
      Command Any
_ -> T_IO_8 () ()
forall {t}. t
MAlonzo.RTE.mazUnreachableError
main :: b
main = T_IO_8 () () -> b
forall a b. a -> b
coe T_IO_8 () ()
d_main_96
-- Main.main
d_main_96 ::
  MAlonzo.Code.Agda.Builtin.IO.T_IO_8
    AgdaAny MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6
d_main_96 :: T_IO_8 () ()
d_main_96
  = (T_Monad_186 -> () -> () -> Any -> (Any -> Any) -> Any)
-> T_Monad_186
-> Any
-> Any
-> T_IO_8
     ()
     (T_Command_36
        (T__'215'__364
           T_HCekMachineCosts_4
           (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146))))
-> (T_Command_36
      (T__'215'__364
         T_HCekMachineCosts_4
         (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146)))
    -> T_IO_8 () ())
-> T_IO_8 () ()
forall a b. a -> b
coe
      T_Monad_186 -> () -> () -> Any -> (Any -> Any) -> Any
MAlonzo.Code.Utils.d__'62''62''61'__208 T_Monad_186
d_IOMonad_14 Any
forall {t}. t
erased Any
forall {t}. t
erased
      T_IO_8
  ()
  (T_Command_36
     (T__'215'__364
        T_HCekMachineCosts_4
        (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146))))
d_execP_44 T_Command_36
  (T__'215'__364
     T_HCekMachineCosts_4
     (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146)))
-> T_IO_8 () ()
d_main''_70