-module('Idris.Idris2.Compiler.Scheme.Racket').
-compile('no_auto_import').
-compile('inline').
-compile({'inline_size',24}).
-export([
  'case--executeExpr-3554'/4,
  'case--case block in compileExpr-3425'/19,
  'case--case block in case block in case block in compileExpr-3294'/21,
  'case--case block in case block in case block in compileExpr-3163'/21,
  'case--case block in case block in compileExpr-3117'/22,
  'case--case block in compileExpr-3050'/21,
  'case--case block in compileExpr-2958'/12,
  'case--compileExpr-2934'/10,
  'case--case block in makeShWindows-2853'/7,
  'case--makeShWindows-2826'/6,
  'case--makeSh-2777'/5,
  'case--compileToRKT-2640'/20,
  'case--schFgnDef-2164'/16,
  'case--mkStruct-2006'/6,
  'case--useCC-1683'/10,
  'case--schemeCall-1638'/5,
  'case--case block in cCall-1537'/19,
  'case--case block in cCall-1421'/17,
  'case--case block in case block in cCall-1372'/15,
  'case--case block in cCall-1292'/14,
  'case--cCall-1178'/12,
  'case--case block in getLibVers-886'/3,
  'case--getLibVers-857'/2,
  'case--showRacketChar-344'/2,
  'nested--10341-1011--in--un--useArg'/10,
  'nested--11412-1953--in--un--showFld'/4,
  'nested--10341-1009--in--un--notWorld'/10,
  'nested--10341-1006--in--un--mkNs'/11,
  'nested--10341-1008--in--un--mkFun'/12,
  'nested--10074-784--in--un--funTySpec'/5,
  'nested--10341-1010--in--un--callback'/12,
  'nested--10341-1007--in--un--applyLams'/11,
  'un--useCC'/8,
  'un--startRacketWinSh'/3,
  'un--startRacketCmd'/3,
  'un--startRacket'/3,
  'un--showRacketString'/1,
  'un--showRacketChar'/1,
  'un--schemeCall'/4,
  'un--schHeader'/1,
  'un--schFooter'/0,
  'un--schFgnDef'/8,
  'un--rktToC'/2,
  'un--racketString'/1,
  'un--racketPrim'/3,
  'un--mkStruct'/2,
  'un--mkArgs'/2,
  'un--makeShWindows'/4,
  'un--makeSh'/5,
  'un--loadlib'/2,
  'un--handleRet'/2,
  'un--getLibVers'/1,
  'un--getFgnCall'/6,
  'un--findRacoExe'/1,
  'un--findRacket'/1,
  'un--executeExpr'/4,
  'un--compileToRKT'/5,
  'un--compileLibrary'/6,
  'un--compileExpr'/6,
  'un--codegenRacket'/0,
  'un--cftySpec'/2,
  'un--cToRkt'/2,
  'un--cCall'/9
]).
'case--executeExpr-3554'(V0, V1, V2, V3) -> case V3 of {'Idris.Prelude.Types.Just', E0} -> (fun (V4) -> fun (V5) -> begin (V34 = begin (V33 = (('Idris.Idris2.Erlang.System':'un--system'('erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V6) -> fun (V7) -> fun (V8) -> fun (V9) -> fun (V10) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V8, V9, V10)) end end end end end, fun (V11) -> fun (V12) -> fun (V13) -> V12 end end end, fun (V14) -> fun (V15) -> fun (V16) -> fun (V17) -> fun (V18) -> begin (V19 = (V16(V18))), begin (V20 = (V17(V18))), (V19(V20)) end end end end end end end}, fun (V21) -> fun (V22) -> fun (V23) -> fun (V24) -> fun (V25) -> begin (V26 = (V23(V25))), ((V24(V26))(V25)) end end end end end end, fun (V27) -> fun (V28) -> fun (V29) -> begin (V30 = (V28(V29))), (V30(V29)) end end end end}, fun (V31) -> fun (V32) -> V32 end end}, V4))(V5))), {'Idris.Prelude.Types.Right', V33} end), case V34 of {'Idris.Prelude.Types.Left', E1} -> (fun (V35) -> {'Idris.Prelude.Types.Left', V35} end(E1)); {'Idris.Prelude.Types.Right', E2} -> (fun (V36) -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkUnit'}} end(E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> fun (V37) -> ('Idris.Idris2.Core.Core':'dn--un--throw_Catchable__Core_Error'('erased', {'Idris.Core.Core.InternalError', <<"compileExpr returned Nothing"/utf8>>}, V37)) end end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in compileExpr-3425'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, V16, V17, V18) -> case V5 of 0 -> fun (V19) -> ('Idris.Idris2.Core.Context.Log':'un--logTime'('erased', V4, fun () -> <<"Build racket"/utf8>> end, fun (V20) -> begin (V48 = (('Idris.Idris2.Erlang.System':'un--system'('erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V21) -> fun (V22) -> fun (V23) -> fun (V24) -> fun (V25) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V23, V24, V25)) end end end end end, fun (V26) -> fun (V27) -> fun (V28) -> V27 end end end, fun (V29) -> fun (V30) -> fun (V31) -> fun (V32) -> fun (V33) -> begin (V34 = (V31(V33))), begin (V35 = (V32(V33))), (V34(V35)) end end end end end end end}, fun (V36) -> fun (V37) -> fun (V38) -> fun (V39) -> fun (V40) -> begin (V41 = (V38(V40))), ((V39(V41))(V40)) end end end end end end, fun (V42) -> fun (V43) -> fun (V44) -> begin (V45 = (V43(V44))), (V45(V44)) end end end end}, fun (V46) -> fun (V47) -> V47 end end}, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V17, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" -o "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V15, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" "/utf8>>, V14))))))))))(V20))), {'Idris.Prelude.Types.Right', V48} end end, V19)) end; 1 -> fun (V49) -> {'Idris.Prelude.Types.Right', 0} end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in case block in case block in compileExpr-3294'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, V16, V17, V18, V19, V20) -> case V5 of 0 -> fun (V21) -> ('un--makeSh'(<<""/utf8>>, V20, V6, V13, V21)) end; 1 -> fun (V22) -> ('un--makeSh'(('Idris.Idris2.Prelude.Types.Strings':'un--++'(V18, <<" "/utf8>>)), V20, V6, V12, V22)) end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in case block in case block in compileExpr-3163'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, V16, V17, V18, V19, V20) -> case V5 of 0 -> ('un--makeShWindows'(<<""/utf8>>, V20, V6, V13)); 1 -> ('un--makeShWindows'(('Idris.Idris2.Prelude.Types.Strings':'un--++'(V18, <<" "/utf8>>)), V20, V6, V12)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in case block in compileExpr-3117'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, V16, V17, V18, V19, V20, V21) -> case V21 of 0 -> case V5 of 0 -> ('un--makeShWindows'(<<""/utf8>>, V20, V6, V13)); 1 -> ('un--makeShWindows'(('Idris.Idris2.Prelude.Types.Strings':'un--++'(V18, <<" "/utf8>>)), V20, V6, V12)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; 1 -> case V5 of 0 -> fun (V22) -> ('un--makeSh'(<<""/utf8>>, V20, V6, V13, V22)) end; 1 -> fun (V23) -> ('un--makeSh'(('Idris.Idris2.Prelude.Types.Strings':'un--++'(V18, <<" "/utf8>>)), V20, V6, V12, V23)) end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in compileExpr-3050'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, V16, V17, V18, V19, V20) -> case V20 of 0 -> begin (V21 = ('Idris.Idris2.Utils.Path':'un--</>'(V2, V0))), fun (V22) -> begin (V23 = (('case--case block in case block in compileExpr-3117'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, V16, V17, V18, V19, V21, ('Idris.Idris2.System.Info':'un--isWindows'())))(V22))), case V23 of {'Idris.Prelude.Types.Left', E0} -> (fun (V24) -> {'Idris.Prelude.Types.Left', V24} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V25) -> begin (V54 = begin (V53 = (('Idris.Idris2.Erlang.System.File':'un--chmodRaw'('erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V26) -> fun (V27) -> fun (V28) -> fun (V29) -> fun (V30) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V28, V29, V30)) end end end end end, fun (V31) -> fun (V32) -> fun (V33) -> V32 end end end, fun (V34) -> fun (V35) -> fun (V36) -> fun (V37) -> fun (V38) -> begin (V39 = (V36(V38))), begin (V40 = (V37(V38))), (V39(V40)) end end end end end end end}, fun (V41) -> fun (V42) -> fun (V43) -> fun (V44) -> fun (V45) -> begin (V46 = (V43(V45))), ((V44(V46))(V45)) end end end end end end, fun (V47) -> fun (V48) -> fun (V49) -> begin (V50 = (V48(V49))), (V50(V49)) end end end end}, fun (V51) -> fun (V52) -> V52 end end}, V21, 493))(V22))), {'Idris.Prelude.Types.Right', V53} end), case V54 of {'Idris.Prelude.Types.Left', E2} -> (fun (V55) -> {'Idris.Prelude.Types.Left', V55} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V56) -> {'Idris.Prelude.Types.Right', {'Idris.Prelude.Types.Just', V21}} end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end; 1 -> fun (V57) -> {'Idris.Prelude.Types.Right', {'Idris.Prelude.Types.Nothing'}} end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in compileExpr-2958'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11) -> case V11 of 0 -> <<".exe"/utf8>>; 1 -> <<""/utf8>>; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--compileExpr-2934'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> case V9 of {'Idris.Prelude.Types.Just', E0} -> (fun (V10) -> begin (V12 = begin (V11 = {'Idris.Prelude.Types.Just', V10}), ('case--case block in compileExpr-2958'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V10, V11, ('Idris.Idris2.System.Info':'un--isWindows'()))) end), begin (V13 = ('Idris.Idris2.Utils.Path':'un--</>'(V6, ('Idris.Idris2.Utils.Path':'un--<.>'(V0, <<"rkt"/utf8>>))))), begin (V14 = ('Idris.Idris2.Utils.Path':'un--</>'(V6, ('Idris.Idris2.Utils.Path':'un--<.>'(V0, V12))))), begin (V15 = ('Idris.Idris2.Utils.Path':'un--</>'(V10, ('Idris.Idris2.Utils.Path':'un--</>'(V2, V13))))), begin (V16 = ('Idris.Idris2.Utils.Path':'un--</>'(V10, ('Idris.Idris2.Utils.Path':'un--</>'(V2, V14))))), fun (V17) -> begin (V18 = ('un--compileToRKT'(V4, V7, V1, V15, V17))), case V18 of {'Idris.Prelude.Types.Left', E1} -> (fun (V19) -> {'Idris.Prelude.Types.Left', V19} end(E1)); {'Idris.Prelude.Types.Right', E2} -> (fun (V20) -> begin (V22 = begin (V21 = ('un--findRacoExe'(V17))), {'Idris.Prelude.Types.Right', V21} end), case V22 of {'Idris.Prelude.Types.Left', E3} -> (fun (V23) -> {'Idris.Prelude.Types.Left', V23} end(E3)); {'Idris.Prelude.Types.Right', E4} -> (fun (V24) -> begin (V26 = begin (V25 = ('un--findRacket'(V17))), {'Idris.Prelude.Types.Right', V25} end), case V26 of {'Idris.Prelude.Types.Left', E5} -> (fun (V27) -> {'Idris.Prelude.Types.Left', V27} end(E5)); {'Idris.Prelude.Types.Right', E6} -> (fun (V28) -> begin (V58 = case V5 of 0 -> ('Idris.Idris2.Core.Context.Log':'un--logTime'('erased', V4, fun () -> <<"Build racket"/utf8>> end, fun (V29) -> begin (V57 = (('Idris.Idris2.Erlang.System':'un--system'('erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V30) -> fun (V31) -> fun (V32) -> fun (V33) -> fun (V34) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V32, V33, V34)) end end end end end, fun (V35) -> fun (V36) -> fun (V37) -> V36 end end end, fun (V38) -> fun (V39) -> fun (V40) -> fun (V41) -> fun (V42) -> begin (V43 = (V40(V42))), begin (V44 = (V41(V42))), (V43(V44)) end end end end end end end}, fun (V45) -> fun (V46) -> fun (V47) -> fun (V48) -> fun (V49) -> begin (V50 = (V47(V49))), ((V48(V50))(V49)) end end end end end end, fun (V51) -> fun (V52) -> fun (V53) -> begin (V54 = (V52(V53))), (V54(V53)) end end end end}, fun (V55) -> fun (V56) -> V56 end end}, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V24, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" -o "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V16, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" "/utf8>>, V15))))))))))(V29))), {'Idris.Prelude.Types.Right', V57} end end, V17)); 1 -> {'Idris.Prelude.Types.Right', 0}; _ -> ('erlang':'throw'("Error: Unreachable branch")) end), case V58 of {'Idris.Prelude.Types.Left', E7} -> (fun (V59) -> {'Idris.Prelude.Types.Left', V59} end(E7)); {'Idris.Prelude.Types.Right', E8} -> (fun (V60) -> begin (V61 = {'Idris.Prelude.Types.Just', V10}), (('case--case block in compileExpr-3050'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V10, V61, V12, V13, V14, V15, V16, V20, V24, V28, V60, ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V60, 0))))(V17)) end end(E8)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E6)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E4)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end end end end end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> fun (V62) -> ('Idris.Idris2.Core.Core':'dn--un--throw_Catchable__Core_Error'('erased', {'Idris.Core.Core.InternalError', <<"Can\x{27}t get current directory"/utf8>>}, V62)) end end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in makeShWindows-2853'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of {'Idris.Prelude.Types.Right', E0} -> (fun (V7) -> case V7 of {'Idris.Builtin.MkUnit'} -> (fun () -> fun (V8) -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkUnit'}} end end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Left', E1} -> (fun (V9) -> fun (V10) -> ('Idris.Idris2.Core.Core':'dn--un--throw_Catchable__Core_Error'('erased', {'Idris.Core.Core.FileErr', V2, V9}, V10)) end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--makeShWindows-2826'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Prelude.Types.Right', E0} -> (fun (V6) -> case V6 of {'Idris.Builtin.MkUnit'} -> (fun () -> fun (V7) -> begin (V36 = begin (V35 = (('Idris.Idris2.Erlang.System.File':'un--writeFile'('erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V8) -> fun (V9) -> fun (V10) -> fun (V11) -> fun (V12) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V10, V11, V12)) end end end end end, fun (V13) -> fun (V14) -> fun (V15) -> V14 end end end, fun (V16) -> fun (V17) -> fun (V18) -> fun (V19) -> fun (V20) -> begin (V21 = (V18(V20))), begin (V22 = (V19(V20))), (V21(V22)) end end end end end end end}, fun (V23) -> fun (V24) -> fun (V25) -> fun (V26) -> fun (V27) -> begin (V28 = (V25(V27))), ((V26(V28))(V27)) end end end end end end, fun (V29) -> fun (V30) -> fun (V31) -> begin (V32 = (V30(V31))), (V32(V31)) end end end end}, fun (V33) -> fun (V34) -> V34 end end}, V2, ('un--startRacketWinSh'(V3, V1, V0))))(V7))), {'Idris.Prelude.Types.Right', V35} end), case V36 of {'Idris.Prelude.Types.Left', E1} -> (fun (V37) -> {'Idris.Prelude.Types.Left', V37} end(E1)); {'Idris.Prelude.Types.Right', E2} -> (fun (V38) -> case V38 of {'Idris.Prelude.Types.Right', E3} -> (fun (V39) -> case V39 of {'Idris.Builtin.MkUnit'} -> (fun () -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkUnit'}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E3)); {'Idris.Prelude.Types.Left', E4} -> (fun (V40) -> ('Idris.Idris2.Core.Core':'dn--un--throw_Catchable__Core_Error'('erased', {'Idris.Core.Core.FileErr', V2, V40}, V7)) end(E4)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Left', E5} -> (fun (V41) -> fun (V42) -> ('Idris.Idris2.Core.Core':'dn--un--throw_Catchable__Core_Error'('erased', {'Idris.Core.Core.FileErr', V4, V41}, V42)) end end(E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--makeSh-2777'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Prelude.Types.Right', E0} -> (fun (V5) -> case V5 of {'Idris.Builtin.MkUnit'} -> (fun () -> fun (V6) -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkUnit'}} end end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Left', E1} -> (fun (V7) -> fun (V8) -> ('Idris.Idris2.Core.Core':'dn--un--throw_Catchable__Core_Error'('erased', {'Idris.Core.Core.FileErr', V2, V7}, V8)) end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--compileToRKT-2640'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, V16, V17, V18, V19) -> case V19 of {'Idris.Prelude.Types.Right', E0} -> (fun (V20) -> case V20 of {'Idris.Builtin.MkUnit'} -> (fun () -> fun (V21) -> begin (V50 = begin (V49 = (('Idris.Idris2.Erlang.System.File':'un--chmodRaw'('erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V22) -> fun (V23) -> fun (V24) -> fun (V25) -> fun (V26) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V24, V25, V26)) end end end end end, fun (V27) -> fun (V28) -> fun (V29) -> V28 end end end, fun (V30) -> fun (V31) -> fun (V32) -> fun (V33) -> fun (V34) -> begin (V35 = (V32(V34))), begin (V36 = (V33(V34))), (V35(V36)) end end end end end end end}, fun (V37) -> fun (V38) -> fun (V39) -> fun (V40) -> fun (V41) -> begin (V42 = (V39(V41))), ((V40(V42))(V41)) end end end end end end, fun (V43) -> fun (V44) -> fun (V45) -> begin (V46 = (V44(V45))), (V46(V45)) end end end end}, fun (V47) -> fun (V48) -> V48 end end}, V0, 493))(V21))), {'Idris.Prelude.Types.Right', V49} end), case V50 of {'Idris.Prelude.Types.Left', E1} -> (fun (V51) -> {'Idris.Prelude.Types.Left', V51} end(E1)); {'Idris.Prelude.Types.Right', E2} -> (fun (V52) -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkUnit'}} end(E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Left', E3} -> (fun (V53) -> fun (V54) -> ('Idris.Idris2.Core.Core':'dn--un--throw_Catchable__Core_Error'('erased', {'Idris.Core.Core.FileErr', V0, V53}, V54)) end end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--schFgnDef-2164'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15) -> case V15 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V16, V17) -> fun (V18) -> begin (V47 = begin (V46 = (('Idris.Idris2.Erlang.Data.IORef':'un--readIORef'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V19) -> fun (V20) -> fun (V21) -> fun (V22) -> fun (V23) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V21, V22, V23)) end end end end end, fun (V24) -> fun (V25) -> fun (V26) -> V25 end end end, fun (V27) -> fun (V28) -> fun (V29) -> fun (V30) -> fun (V31) -> begin (V32 = (V29(V31))), begin (V33 = (V30(V31))), (V32(V33)) end end end end end end end}, fun (V34) -> fun (V35) -> fun (V36) -> fun (V37) -> fun (V38) -> begin (V39 = (V36(V38))), ((V37(V39))(V38)) end end end end end end, fun (V40) -> fun (V41) -> fun (V42) -> begin (V43 = (V41(V42))), (V43(V42)) end end end end}, fun (V44) -> fun (V45) -> V45 end end}, V8))(V18))), {'Idris.Prelude.Types.Right', V46} end), case V47 of {'Idris.Prelude.Types.Left', E2} -> (fun (V48) -> {'Idris.Prelude.Types.Left', V48} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V49) -> begin (V76 = (('Idris.Idris2.Core.Context':'dn--un--full_HasNames__Name'(case V49 of {'Idris.Core.Context.MkDefs', E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, E22, E23, E24, E25, E26, E27, E28, E29} -> (fun (V50, V51, V52, V53, V54, V55, V56, V57, V58, V59, V60, V61, V62, V63, V64, V65, V66, V67, V68, V69, V70, V71, V72, V73, V74, V75) -> V50 end(E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, E22, E23, E24, E25, E26, E27, E28, E29)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, V3))(V18))), case V76 of {'Idris.Prelude.Types.Left', E30} -> (fun (V77) -> {'Idris.Prelude.Types.Left', V77} end(E30)); {'Idris.Prelude.Types.Right', E31} -> (fun (V78) -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkPair', ('Idris.Idris2.Prelude.Types.Strings':'un--++'((('Idris.Idris2.Prelude.Interfaces':'un--concat'('erased', 'erased', {'Idris.Builtin.MkPair', {'Idris.Prelude.Interfaces.dn--un--__mkFoldable', fun (V79) -> fun (V80) -> fun (V81) -> fun (V82) -> fun (V83) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldr_Foldable__List'('erased', 'erased', V81, V82, V83)) end end end end end, fun (V84) -> fun (V85) -> fun (V86) -> fun (V87) -> fun (V88) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldl_Foldable__List'('erased', 'erased', V86, V87, V88)) end end end end end}, {'Idris.Prelude.Interfaces.dn--un--__mkMonoid', fun (V89) -> fun (V90) -> ('Idris.Idris2.Prelude.Types':'dn--un--<+>_Semigroup__String'(V89, V90)) end end, ('Idris.Idris2.Prelude.Types':'dn--un--neutral_Monoid__String'())}}))(V13)), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V14, V16)))), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"(define "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Compiler.Scheme.Common':'un--schName'(V78)), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" (lambda ("/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Core.Name.Namespace':'un--showSep'(<<" "/utf8>>, ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V91) -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schName'(V91)) end, V11)))), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<") "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V17, <<"))\x{a}"/utf8>>))))))))))))}} end(E31)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--mkStruct-2006'(V0, V1, V2, V3, V4, V5) -> case V5 of 0 -> fun (V6) -> {'Idris.Prelude.Types.Right', (('Idris.Idris2.Prelude.Interfaces':'un--concat'('erased', 'erased', {'Idris.Builtin.MkPair', {'Idris.Prelude.Interfaces.dn--un--__mkFoldable', fun (V7) -> fun (V8) -> fun (V9) -> fun (V10) -> fun (V11) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldr_Foldable__List'('erased', 'erased', V9, V10, V11)) end end end end end, fun (V12) -> fun (V13) -> fun (V14) -> fun (V15) -> fun (V16) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldl_Foldable__List'('erased', 'erased', V14, V15, V16)) end end end end end}, {'Idris.Prelude.Interfaces.dn--un--__mkMonoid', fun (V17) -> fun (V18) -> ('Idris.Idris2.Prelude.Types':'dn--un--<+>_Semigroup__String'(V17, V18)) end end, ('Idris.Idris2.Prelude.Types':'dn--un--neutral_Monoid__String'())}}))(V3))} end; 1 -> fun (V19) -> begin (V48 = begin (V47 = (('Idris.Idris2.Erlang.Data.IORef':'un--writeIORef'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V20) -> fun (V21) -> fun (V22) -> fun (V23) -> fun (V24) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V22, V23, V24)) end end end end end, fun (V25) -> fun (V26) -> fun (V27) -> V26 end end end, fun (V28) -> fun (V29) -> fun (V30) -> fun (V31) -> fun (V32) -> begin (V33 = (V30(V32))), begin (V34 = (V31(V32))), (V33(V34)) end end end end end end end}, fun (V35) -> fun (V36) -> fun (V37) -> fun (V38) -> fun (V39) -> begin (V40 = (V37(V39))), ((V38(V40))(V39)) end end end end end end, fun (V41) -> fun (V42) -> fun (V43) -> begin (V44 = (V42(V43))), (V44(V43)) end end end end}, fun (V45) -> fun (V46) -> V46 end end}, V2, [V1 | V4]))(V19))), {'Idris.Prelude.Types.Right', V47} end), case V48 of {'Idris.Prelude.Types.Left', E0} -> (fun (V49) -> {'Idris.Prelude.Types.Left', V49} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V50) -> begin (V52 = (('Idris.Idris2.Core.Core':'un--traverse'('erased', 'erased', fun (V51) -> ('nested--11412-1953--in--un--showFld'(V0, V1, V2, V51)) end, V0))(V19))), case V52 of {'Idris.Prelude.Types.Left', E2} -> (fun (V53) -> {'Idris.Prelude.Types.Left', V53} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V54) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Prelude.Types.Strings':'un--++'((('Idris.Idris2.Prelude.Interfaces':'un--concat'('erased', 'erased', {'Idris.Builtin.MkPair', {'Idris.Prelude.Interfaces.dn--un--__mkFoldable', fun (V55) -> fun (V56) -> fun (V57) -> fun (V58) -> fun (V59) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldr_Foldable__List'('erased', 'erased', V57, V58, V59)) end end end end end, fun (V60) -> fun (V61) -> fun (V62) -> fun (V63) -> fun (V64) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldl_Foldable__List'('erased', 'erased', V62, V63, V64)) end end end end end}, {'Idris.Prelude.Interfaces.dn--un--__mkMonoid', fun (V65) -> fun (V66) -> ('Idris.Idris2.Prelude.Types':'dn--un--<+>_Semigroup__String'(V65, V66)) end end, ('Idris.Idris2.Prelude.Types':'dn--un--neutral_Monoid__String'())}}))(V3)), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"(define-cstruct _"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V1, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" ("/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Core.Name.Namespace':'un--showSep'(<<"\x{a}\x{9}"/utf8>>, V54)), <<"))\x{a}"/utf8>>))))))))))} end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--useCC-1683'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> case V9 of {'Idris.Prelude.Types.Nothing'} -> (fun () -> ('un--useCC'(V8, V7, V6, V5, V4, V1, V3, V2)) end()); {'Idris.Prelude.Types.Just', E0} -> (fun (V10) -> case V10 of {'Idris.Builtin.MkPair', E1, E2} -> (fun (V11, V12) -> case V11 of <<"scheme,racket"/utf8>> -> case V12 of [E3 | E4] -> (fun (V13, V14) -> case V14 of [] -> fun (V15) -> begin (V17 = (('un--schemeCall'(V4, V13, ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V16) -> ('Idris.Idris2.Builtin':'un--fst'('erased', 'erased', V16)) end, V3)), V2))(V15))), case V17 of {'Idris.Prelude.Types.Left', E5} -> (fun (V18) -> {'Idris.Prelude.Types.Left', V18} end(E5)); {'Idris.Prelude.Types.Right', E6} -> (fun (V19) -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkPair', <<""/utf8>>, V19}} end(E6)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end; _ -> ('un--useCC'(V8, V7, V6, V5, V4, V1, V3, V2)) end end(E3, E4)); _ -> ('un--useCC'(V8, V7, V6, V5, V4, V1, V3, V2)) end; <<"scheme"/utf8>> -> case V12 of [E7 | E8] -> (fun (V20, V21) -> case V21 of [] -> fun (V22) -> begin (V24 = (('un--schemeCall'(V4, V20, ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V23) -> ('Idris.Idris2.Builtin':'un--fst'('erased', 'erased', V23)) end, V3)), V2))(V22))), case V24 of {'Idris.Prelude.Types.Left', E9} -> (fun (V25) -> {'Idris.Prelude.Types.Left', V25} end(E9)); {'Idris.Prelude.Types.Right', E10} -> (fun (V26) -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkPair', <<""/utf8>>, V26}} end(E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end; _ -> ('un--useCC'(V8, V7, V6, V5, V4, V1, V3, V2)) end end(E7, E8)); _ -> ('un--useCC'(V8, V7, V6, V5, V4, V1, V3, V2)) end; <<"C"/utf8>> -> case V12 of [E11 | E12] -> (fun (V27, V28) -> case V28 of [E13 | E14] -> (fun (V29, V30) -> case V30 of [] -> ('un--cCall'(V8, V7, V6, V5, V4, V27, V29, V3, V2)); [E15 | E16] -> (fun (V31, V32) -> case V32 of [] -> ('un--cCall'(V8, V7, V6, V5, V4, V27, V29, V3, V2)); _ -> ('un--useCC'(V8, V7, V6, V5, V4, V1, V3, V2)) end end(E15, E16)); _ -> ('un--useCC'(V8, V7, V6, V5, V4, V1, V3, V2)) end end(E13, E14)); _ -> ('un--useCC'(V8, V7, V6, V5, V4, V1, V3, V2)) end end(E11, E12)); _ -> ('un--useCC'(V8, V7, V6, V5, V4, V1, V3, V2)) end; _ -> ('un--useCC'(V8, V7, V6, V5, V4, V1, V3, V2)) end end(E1, E2)); _ -> ('un--useCC'(V8, V7, V6, V5, V4, V1, V3, V2)) end end(E0)); _ -> ('un--useCC'(V8, V7, V6, V5, V4, V1, V3, V2)) end.
'case--schemeCall-1638'(V0, V1, V2, V3, V4) -> case V0 of {'Idris.Core.CompileExpr.CFIORes', E0} -> (fun (V5) -> fun (V6) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Compiler.Scheme.Common':'un--mkWorld'(V4))} end end(E0)); _ -> fun (V7) -> {'Idris.Prelude.Types.Right', V4} end end.
'case--case block in cCall-1537'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, V16, V17, V18) -> case V0 of {'Idris.Core.CompileExpr.CFIORes', E0} -> (fun (V19) -> ('un--handleRet'(V19, V18)) end(E0)); _ -> V18 end.
'case--case block in cCall-1421'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, V16) -> case V16 of 0 -> fun (V17) -> {'Idris.Prelude.Types.Right', <<""/utf8>>} end; 1 -> fun (V18) -> begin (V47 = begin (V46 = (('Idris.Idris2.Erlang.Data.IORef':'un--writeIORef'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V19) -> fun (V20) -> fun (V21) -> fun (V22) -> fun (V23) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V21, V22, V23)) end end end end end, fun (V24) -> fun (V25) -> fun (V26) -> V25 end end end, fun (V27) -> fun (V28) -> fun (V29) -> fun (V30) -> fun (V31) -> begin (V32 = (V29(V31))), begin (V33 = (V30(V31))), (V32(V33)) end end end end end end end}, fun (V34) -> fun (V35) -> fun (V36) -> fun (V37) -> fun (V38) -> begin (V39 = (V36(V38))), ((V37(V39))(V38)) end end end end end end, fun (V40) -> fun (V41) -> fun (V42) -> begin (V43 = (V41(V42))), (V43(V42)) end end end end}, fun (V44) -> fun (V45) -> V45 end end}, V8, [V3 | V10]))(V18))), {'Idris.Prelude.Types.Right', V46} end), case V47 of {'Idris.Prelude.Types.Left', E0} -> (fun (V48) -> {'Idris.Prelude.Types.Left', V48} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V49) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"(define-"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V11, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V3, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" (_fun "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Core.Name.Namespace':'un--showSep'(<<" "/utf8>>, ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V50) -> ('Idris.Idris2.Builtin':'un--snd'('erased', 'erased', V50)) end, V14)))), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" -> "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V15, <<"))\x{a}"/utf8>>))))))))))))))))} end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in case block in cCall-1372'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14) -> case V14 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V15, V16) -> fun (V17) -> begin (V18 = (('Idris.Idris2.Compiler.Common':'un--copyLib'({'Idris.Builtin.MkPair', ('Idris.Idris2.Utils.Path':'un--</>'(V5, V15)), V16}))(V17))), case V18 of {'Idris.Prelude.Types.Left', E2} -> (fun (V19) -> {'Idris.Prelude.Types.Left', V19} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V20) -> {'Idris.Prelude.Types.Right', ('un--loadlib'(V11, V12))} end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in cCall-1292'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13) -> case V13 of 0 -> fun (V14) -> {'Idris.Prelude.Types.Right', <<""/utf8>>} end; 1 -> fun (V15) -> begin (V44 = begin (V43 = (('Idris.Idris2.Erlang.Data.IORef':'un--writeIORef'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V16) -> fun (V17) -> fun (V18) -> fun (V19) -> fun (V20) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V18, V19, V20)) end end end end end, fun (V21) -> fun (V22) -> fun (V23) -> V22 end end end, fun (V24) -> fun (V25) -> fun (V26) -> fun (V27) -> fun (V28) -> begin (V29 = (V26(V28))), begin (V30 = (V27(V28))), (V29(V30)) end end end end end end end}, fun (V31) -> fun (V32) -> fun (V33) -> fun (V34) -> fun (V35) -> begin (V36 = (V33(V35))), ((V34(V36))(V35)) end end end end end end, fun (V37) -> fun (V38) -> fun (V39) -> begin (V40 = (V38(V39))), (V40(V39)) end end end end}, fun (V41) -> fun (V42) -> V42 end end}, V6, [V11 | V9]))(V15))), {'Idris.Prelude.Types.Right', V43} end), case V44 of {'Idris.Prelude.Types.Left', E0} -> (fun (V45) -> {'Idris.Prelude.Types.Left', V45} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V46) -> begin (V47 = (('Idris.Idris2.Compiler.Common':'un--locate'(V7, V2))(V15))), case V47 of {'Idris.Prelude.Types.Left', E2} -> (fun (V48) -> {'Idris.Prelude.Types.Left', V48} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V49) -> case V49 of {'Idris.Builtin.MkPair', E4, E5} -> (fun (V50, V51) -> begin (V52 = (('Idris.Idris2.Compiler.Common':'un--copyLib'({'Idris.Builtin.MkPair', ('Idris.Idris2.Utils.Path':'un--</>'(V5, V50)), V51}))(V15))), case V52 of {'Idris.Prelude.Types.Left', E6} -> (fun (V53) -> {'Idris.Prelude.Types.Left', V53} end(E6)); {'Idris.Prelude.Types.Right', E7} -> (fun (V54) -> {'Idris.Prelude.Types.Right', ('un--loadlib'(V11, V12))} end(E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--cCall-1178'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11) -> case V11 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V12, V13) -> fun (V14) -> begin (V19 = (('case--case block in cCall-1292'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V12, V13, ('Idris.Idris2.Prelude.Types':'un--elem'('erased', {'Idris.Prelude.EqOrd.dn--un--__mkEq', fun (V15) -> fun (V16) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__String'(V15, V16)) end end, fun (V17) -> fun (V18) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--/=_Eq__String'(V17, V18)) end end}, V12, V9))))(V14))), case V19 of {'Idris.Prelude.Types.Left', E2} -> (fun (V20) -> {'Idris.Prelude.Types.Left', V20} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V21) -> begin (V27 = (('Idris.Idris2.Core.Core':'un--traverse'('erased', 'erased', fun (V22) -> fun (V23) -> begin (V24 = (('un--cftySpec'(V4, ('Idris.Idris2.Builtin':'un--snd'('erased', 'erased', V22))))(V23))), case V24 of {'Idris.Prelude.Types.Left', E4} -> (fun (V25) -> {'Idris.Prelude.Types.Left', V25} end(E4)); {'Idris.Prelude.Types.Right', E5} -> (fun (V26) -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkPair', V22, V26}} end(E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end, V1))(V14))), case V27 of {'Idris.Prelude.Types.Left', E6} -> (fun (V28) -> {'Idris.Prelude.Types.Left', V28} end(E6)); {'Idris.Prelude.Types.Right', E7} -> (fun (V29) -> begin (V30 = (('un--cftySpec'(V4, V0))(V14))), case V30 of {'Idris.Prelude.Types.Left', E8} -> (fun (V31) -> {'Idris.Prelude.Types.Left', V31} end(E8)); {'Idris.Prelude.Types.Right', E9} -> (fun (V32) -> begin (V37 = (('case--case block in cCall-1421'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V12, V13, V21, V29, V32, ('Idris.Idris2.Prelude.Types':'un--elem'('erased', {'Idris.Prelude.EqOrd.dn--un--__mkEq', fun (V33) -> fun (V34) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__String'(V33, V34)) end end, fun (V35) -> fun (V36) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--/=_Eq__String'(V35, V36)) end end}, V3, V10))))(V14))), case V37 of {'Idris.Prelude.Types.Left', E10} -> (fun (V38) -> {'Idris.Prelude.Types.Left', V38} end(E10)); {'Idris.Prelude.Types.Right', E11} -> (fun (V39) -> begin (V42 = (('Idris.Idris2.Core.Core':'un--traverse'('erased', 'erased', fun (V40) -> ('nested--10341-1011--in--un--useArg'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V40)) end, ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V41) -> ('Idris.Idris2.Builtin':'un--fst'('erased', 'erased', V41)) end, V29))))(V14))), case V42 of {'Idris.Prelude.Types.Left', E12} -> (fun (V43) -> {'Idris.Prelude.Types.Left', V43} end(E12)); {'Idris.Prelude.Types.Right', E13} -> (fun (V44) -> begin (V45 = ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"("/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V3, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Core.Name.Namespace':'un--showSep'(<<" "/utf8>>, V44)), <<")"/utf8>>))))))))), {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkPair', ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V21, V39)), case V0 of {'Idris.Core.CompileExpr.CFIORes', E14} -> (fun (V46) -> ('un--handleRet'(V46, V45)) end(E14)); _ -> V45 end}} end end(E13)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E11)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in getLibVers-886'(V0, V1, V2) -> case V2 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V3, V4) -> {'Idris.Builtin.MkPair', V3, <<""/utf8>>} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--getLibVers-857'(V0, V1) -> case V1 of [] -> {'Idris.Builtin.MkPair', <<""/utf8>>, <<""/utf8>>}; [E0 | E1] -> (fun (V2, V3) -> case V3 of [] -> ('case--case block in getLibVers-886'(V0, V2, ('Idris.Idris2.Data.Strings':'un--span'(fun (V4) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--/=_Eq__Char'(V4, $.)) end, V0)))); _ -> {'Idris.Builtin.MkPair', ('Idris.Idris2.Builtin':'un--fst'('erased', 'erased', ('Idris.Idris2.Data.Strings':'un--span'(fun (V5) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--/=_Eq__Char'(V5, $.)) end, V2)))), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{27}("/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Core.Name.Namespace':'un--showSep'(<<" "/utf8>>, ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V6) -> ('Idris.Idris2.Prelude.Show':'dn--un--show_Show__String'(V6)) end, V3)))), <<" #f)"/utf8>>))))} end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--showRacketChar-344'(V0, V1) -> case V1 of 0 -> fun (V2) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{5c}u"/utf8>>, ('Idris.Idris2.Utils.Hex':'un--leftPad'($0, (1 + (1 + (1 + (1 + 0)))), ('Idris.Idris2.Utils.Hex':'un--asHex'(('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Char_Int'(V0)))))))), V2)) end; 1 -> fun (V3) -> ('Idris.Idris2.Prelude.Types':'un--strCons'(V0, V3)) end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--10341-1011--in--un--useArg'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> case V9 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V10, V11) -> case V11 of {'Idris.Core.CompileExpr.CFFun', E2, E3} -> (fun (V12, V13) -> ('nested--10341-1010--in--un--callback'(V0, V1, V2, V3, V4, V5, V6, V7, V8, ('Idris.Idris2.Compiler.Scheme.Common':'un--schName'(V10)), [V12 | []], V13)) end(E2, E3)); _ -> fun (V14) -> {'Idris.Prelude.Types.Right', ('un--rktToC'(V11, ('Idris.Idris2.Compiler.Scheme.Common':'un--schName'(V10))))} end end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--11412-1953--in--un--showFld'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> fun (V6) -> begin (V7 = (('un--cftySpec'(('Idris.Idris2.Core.FC':'un--emptyFC'()), V5))(V6))), case V7 of {'Idris.Prelude.Types.Left', E2} -> (fun (V8) -> {'Idris.Prelude.Types.Left', V8} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V9) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"["/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V4, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V9, <<"]"/utf8>>))))))))} end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--10341-1009--in--un--notWorld'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> case V9 of {'Idris.Core.CompileExpr.CFWorld'} -> (fun () -> 1 end()); _ -> 0 end.
'nested--10341-1006--in--un--mkNs'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10) -> case V10 of [] -> []; [E0 | E1] -> (fun (V11, V12) -> case V11 of {'Idris.Core.CompileExpr.CFWorld'} -> (fun () -> [{'Idris.Prelude.Types.Nothing'} | ('nested--10341-1006--in--un--mkNs'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V12))] end()); _ -> [{'Idris.Prelude.Types.Just', {'Idris.Builtin.MkPair', ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"cb"/utf8>>, ('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Int'(V9)))), V11}} | ('nested--10341-1006--in--un--mkNs'(V0, V1, V2, V3, V4, V5, V6, V7, V8, ((V9 + 1) rem 9223372036854775808), V12))] end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--10341-1008--in--un--mkFun'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11) -> begin (V12 = ('nested--10341-1006--in--un--mkNs'(V0, V1, V2, V3, V4, V5, V6, V7, V8, 0, V9))), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"(lambda ("/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Core.Name.Namespace':'un--showSep'(<<" "/utf8>>, ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V13) -> ('Idris.Idris2.Builtin':'un--fst'('erased', 'erased', V13)) end, ('Idris.Idris2.Data.List':'un--mapMaybe'('erased', 'erased', fun (V14) -> V14 end, V12)))))), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<") "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('nested--10341-1007--in--un--applyLams'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V11, V12)), <<")"/utf8>>)))))))) end.
'nested--10074-784--in--un--funTySpec'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Core.CompileExpr.CFFun', E4, E5} -> (fun (V5, V6) -> case V5 of {'Idris.Core.CompileExpr.CFWorld'} -> (fun () -> ('nested--10074-784--in--un--funTySpec'(V0, V1, V2, V3, V6)) end()); _ -> ('nested--10074-784--in--un--funTySpec'(V0, V1, V2, [V5 | V3], V6)) end end(E4, E5)); _ -> fun (V7) -> begin (V8 = (('un--cftySpec'(V2, V4))(V7))), case V8 of {'Idris.Prelude.Types.Left', E0} -> (fun (V9) -> {'Idris.Prelude.Types.Left', V9} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V10) -> begin (V12 = (('Idris.Idris2.Core.Core':'un--traverse'('erased', 'erased', fun (V11) -> ('un--cftySpec'(V2, V11)) end, ('Idris.Idris2.Data.List':'un--reverse'('erased', V3))))(V7))), case V12 of {'Idris.Prelude.Types.Left', E2} -> (fun (V13) -> {'Idris.Prelude.Types.Left', V13} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V14) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"(_fun "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Core.Name.Namespace':'un--showSep'(<<" "/utf8>>, V14)), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" -> "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V10, <<")"/utf8>>))))))))} end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end.
'nested--10341-1010--in--un--callback'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11) -> case V11 of {'Idris.Core.CompileExpr.CFFun', E4, E5} -> (fun (V12, V13) -> ('nested--10341-1010--in--un--callback'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, [V12 | V10], V13)) end(E4, E5)); _ -> begin (V14 = ('Idris.Idris2.Data.List':'un--reverse'('erased', V10))), fun (V15) -> begin (V18 = (('Idris.Idris2.Core.Core':'un--traverse'('erased', 'erased', fun (V16) -> ('un--cftySpec'(V4, V16)) end, ('Idris.Idris2.Data.List':'un--filter'('erased', fun (V17) -> ('nested--10341-1009--in--un--notWorld'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V17)) end, V14))))(V15))), case V18 of {'Idris.Prelude.Types.Left', E0} -> (fun (V19) -> {'Idris.Prelude.Types.Left', V19} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V20) -> begin (V21 = (('un--cftySpec'(V4, V11))(V15))), case V21 of {'Idris.Prelude.Types.Left', E2} -> (fun (V22) -> {'Idris.Prelude.Types.Left', V22} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V23) -> {'Idris.Prelude.Types.Right', ('nested--10341-1008--in--un--mkFun'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V14, V11, V9))} end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end end.
'nested--10341-1007--in--un--applyLams'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10) -> case V10 of [] -> V9; [E0 | E1] -> (fun (V11, V12) -> case V11 of {'Idris.Prelude.Types.Nothing'} -> (fun () -> ('nested--10341-1007--in--un--applyLams'(V0, V1, V2, V3, V4, V5, V6, V7, V8, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"("/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V9, <<" #f)"/utf8>>)))), V12)) end()); {'Idris.Prelude.Types.Just', E2} -> (fun (V13) -> case V13 of {'Idris.Builtin.MkPair', E3, E4} -> (fun (V14, V15) -> ('nested--10341-1007--in--un--applyLams'(V0, V1, V2, V3, V4, V5, V6, V7, V8, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"("/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V9, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('un--cToRkt'(V15, V14)), <<")"/utf8>>)))))))), V12)) end(E3, E4)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--useCC'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V5 of [] -> fun (V8) -> ('Idris.Idris2.Core.Core':'dn--un--throw_Catchable__Core_Error'('erased', {'Idris.Core.Core.NoForeignCC', V4}, V8)) end; [E0 | E1] -> (fun (V9, V10) -> ('case--useCC-1683'(V9, V10, V7, V6, V4, V3, V2, V1, V0, ('Idris.Idris2.Compiler.Common':'un--parseCC'(V9)))) end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--startRacketWinSh'(V0, V1, V2) -> ('Idris.Idris2.Data.Strings':'un--unlines'([<<"#!/bin/sh"/utf8>> | [<<""/utf8>> | [<<"case `uname -s` in            "/utf8>> | [<<"    OpenBSD|FreeBSD|NetBSD)   "/utf8>> | [<<"        DIR=\x{22}`grealpath $0`\x{22}"/utf8>> | [<<"        ;;                    "/utf8>> | [<<"                              "/utf8>> | [<<"    *)                        "/utf8>> | [<<"        DIR=\x{22}`realpath $0`\x{22} "/utf8>> | [<<"        ;;                    "/utf8>> | [<<"esac                          "/utf8>> | [<<""/utf8>> | [('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"export PATH=\x{22}`dirname \x{22}$DIR\x{22}`/\x{22}"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V1, <<"\x{22}:$PATH\x{22}"/utf8>>)))) | [('Idris.Idris2.Prelude.Types.Strings':'un--++'(V0, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{22}"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V2, <<"\x{22} \x{22}$@\x{22}"/utf8>>)))))) | []]]]]]]]]]]]]]])).
'un--startRacketCmd'(V0, V1, V2) -> ('Idris.Idris2.Data.Strings':'un--unlines'([<<"@echo off"/utf8>> | [<<"set APPDIR=%~dp0"/utf8>> | [('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"set PATH=%APPDIR%\x{5c}"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V1, <<";%PATH%"/utf8>>)))) | [('Idris.Idris2.Prelude.Types.Strings':'un--++'(V0, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{22}"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V2, <<"\x{22} %*"/utf8>>)))))) | []]]]])).
'un--startRacket'(V0, V1, V2) -> ('Idris.Idris2.Data.Strings':'un--unlines'([<<"#!/bin/sh"/utf8>> | [<<""/utf8>> | [<<"case `uname -s` in            "/utf8>> | [<<"    OpenBSD|FreeBSD|NetBSD)   "/utf8>> | [<<"        DIR=\x{22}`grealpath $0`\x{22}"/utf8>> | [<<"        ;;                    "/utf8>> | [<<"                              "/utf8>> | [<<"    *)                        "/utf8>> | [<<"        DIR=\x{22}`realpath $0`\x{22} "/utf8>> | [<<"        ;;                    "/utf8>> | [<<"esac                          "/utf8>> | [<<""/utf8>> | [('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"export LD_LIBRARY_PATH=\x{22}$LD_LIBRARY_PATH:`dirname \x{22}$DIR\x{22}`/\x{22}"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V1, <<"\x{22}\x{22}"/utf8>>)))) | [('Idris.Idris2.Prelude.Types.Strings':'un--++'(V0, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{22}`dirname \x{22}$DIR\x{22}`\x{22}/\x{22}"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V2, <<"\x{22} \x{22}$@\x{22}"/utf8>>)))))) | []]]]]]]]]]]]]]])).
'un--showRacketString'(V0) -> case V0 of [] -> fun (V1) -> V1 end; [E0 | E1] -> (fun (V2, V3) -> case V2 of $\x{22} -> fun (V4) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{5c}\x{22}"/utf8>>, (('un--showRacketString'(V3))(V4)))) end; _ -> fun (V5) -> (('un--showRacketChar'(V2))((('un--showRacketString'(V3))(V5)))) end end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--showRacketChar'(V0) -> case V0 of $\x{5c} -> fun (V1) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{5c}\x{5c}"/utf8>>, V1)) end; _ -> ('case--showRacketChar-344'(V0, ('Idris.Idris2.Prelude.Basics':'un--||'(('Idris.Idris2.Prelude.EqOrd':'dn--un--<_Ord__Char'(V0, ('Idris.Idris2.Prelude.Types':'un--chr'(32)))), fun () -> ('Idris.Idris2.Prelude.EqOrd':'dn--un-->_Ord__Char'(V0, ('Idris.Idris2.Prelude.Types':'un--chr'(126)))) end)))) end.
'un--schemeCall'(V0, V1, V2, V3) -> begin (V5 = ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"("/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V1, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Core.Name.Namespace':'un--showSep'(<<" "/utf8>>, ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V4) -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schName'(V4)) end, V2)))), <<")"/utf8>>))))))))), case V3 of {'Idris.Core.CompileExpr.CFIORes', E0} -> (fun (V6) -> fun (V7) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Compiler.Scheme.Common':'un--mkWorld'(V5))} end end(E0)); _ -> fun (V8) -> {'Idris.Prelude.Types.Right', V5} end end end.
'un--schHeader'(V0) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"#lang racket/base\x{a}"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"; @generated\x{a}"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"(require racket/math)\x{a}"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"(require racket/system)\x{a}"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"(require rnrs/bytevectors-6)\x{a}"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"(require rnrs/io/ports-6)\x{a}"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"(require srfi/19)\x{a}"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"(require ffi/unsafe ffi/unsafe/define)\x{a}"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V0, <<"(let ()\x{a}"/utf8>>)))))))))))))))))).
'un--schFooter'() -> <<") (collect-garbage)"/utf8>>.
'un--schFgnDef'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of {'Idris.Core.CompileExpr.MkNmForeign', E0, E1, E2} -> (fun (V8, V9, V10) -> begin (V11 = ('un--mkArgs'(0, V9))), begin (V13 = ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V12) -> ('Idris.Idris2.Builtin':'un--fst'('erased', 'erased', V12)) end, V11))), begin (V16 = ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V14) -> ('Idris.Idris2.Builtin':'un--fst'('erased', 'erased', V14)) end, ('Idris.Idris2.Data.List':'un--filter'('erased', fun (V15) -> ('Idris.Idris2.Builtin':'un--snd'('erased', 'erased', V15)) end, V11))))), fun (V17) -> begin (V19 = (('Idris.Idris2.Core.Core':'un--traverse'('erased', 'erased', fun (V18) -> ('un--mkStruct'(V3, V18)) end, V9))(V17))), case V19 of {'Idris.Prelude.Types.Left', E3} -> (fun (V20) -> {'Idris.Prelude.Types.Left', V20} end(E3)); {'Idris.Prelude.Types.Right', E4} -> (fun (V21) -> begin (V22 = (('un--mkStruct'(V3, V10))(V17))), case V22 of {'Idris.Prelude.Types.Left', E5} -> (fun (V23) -> {'Idris.Prelude.Types.Left', V23} end(E5)); {'Idris.Prelude.Types.Right', E6} -> (fun (V24) -> begin (V25 = (('un--useCC'(V0, V1, V2, V4, V5, V8, ('Idris.Idris2.Data.List':'un--zip'('erased', 'erased', V16, V9)), V10))(V17))), case V25 of {'Idris.Prelude.Types.Left', E7} -> (fun (V26) -> {'Idris.Prelude.Types.Left', V26} end(E7)); {'Idris.Prelude.Types.Right', E8} -> (fun (V27) -> case V27 of {'Idris.Builtin.MkPair', E9, E10} -> (fun (V28, V29) -> begin (V58 = begin (V57 = (('Idris.Idris2.Erlang.Data.IORef':'un--readIORef'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V30) -> fun (V31) -> fun (V32) -> fun (V33) -> fun (V34) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V32, V33, V34)) end end end end end, fun (V35) -> fun (V36) -> fun (V37) -> V36 end end end, fun (V38) -> fun (V39) -> fun (V40) -> fun (V41) -> fun (V42) -> begin (V43 = (V40(V42))), begin (V44 = (V41(V42))), (V43(V44)) end end end end end end end}, fun (V45) -> fun (V46) -> fun (V47) -> fun (V48) -> fun (V49) -> begin (V50 = (V47(V49))), ((V48(V50))(V49)) end end end end end end, fun (V51) -> fun (V52) -> fun (V53) -> begin (V54 = (V52(V53))), (V54(V53)) end end end end}, fun (V55) -> fun (V56) -> V56 end end}, V1))(V17))), {'Idris.Prelude.Types.Right', V57} end), case V58 of {'Idris.Prelude.Types.Left', E11} -> (fun (V59) -> {'Idris.Prelude.Types.Left', V59} end(E11)); {'Idris.Prelude.Types.Right', E12} -> (fun (V60) -> begin (V87 = (('Idris.Idris2.Core.Context':'dn--un--full_HasNames__Name'(case V60 of {'Idris.Core.Context.MkDefs', E13, E14, E15, E16, E17, E18, E19, E20, E21, E22, E23, E24, E25, E26, E27, E28, E29, E30, E31, E32, E33, E34, E35, E36, E37, E38} -> (fun (V61, V62, V63, V64, V65, V66, V67, V68, V69, V70, V71, V72, V73, V74, V75, V76, V77, V78, V79, V80, V81, V82, V83, V84, V85, V86) -> V61 end(E13, E14, E15, E16, E17, E18, E19, E20, E21, E22, E23, E24, E25, E26, E27, E28, E29, E30, E31, E32, E33, E34, E35, E36, E37, E38)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, V6))(V17))), case V87 of {'Idris.Prelude.Types.Left', E39} -> (fun (V88) -> {'Idris.Prelude.Types.Left', V88} end(E39)); {'Idris.Prelude.Types.Right', E40} -> (fun (V89) -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkPair', ('Idris.Idris2.Prelude.Types.Strings':'un--++'((('Idris.Idris2.Prelude.Interfaces':'un--concat'('erased', 'erased', {'Idris.Builtin.MkPair', {'Idris.Prelude.Interfaces.dn--un--__mkFoldable', fun (V90) -> fun (V91) -> fun (V92) -> fun (V93) -> fun (V94) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldr_Foldable__List'('erased', 'erased', V92, V93, V94)) end end end end end, fun (V95) -> fun (V96) -> fun (V97) -> fun (V98) -> fun (V99) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldl_Foldable__List'('erased', 'erased', V97, V98, V99)) end end end end end}, {'Idris.Prelude.Interfaces.dn--un--__mkMonoid', fun (V100) -> fun (V101) -> ('Idris.Idris2.Prelude.Types':'dn--un--<+>_Semigroup__String'(V100, V101)) end end, ('Idris.Idris2.Prelude.Types':'dn--un--neutral_Monoid__String'())}}))(V21)), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V24, V28)))), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"(define "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Compiler.Scheme.Common':'un--schName'(V89)), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" (lambda ("/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Core.Name.Namespace':'un--showSep'(<<" "/utf8>>, ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V102) -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schName'(V102)) end, V13)))), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<") "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V29, <<"))\x{a}"/utf8>>))))))))))))}} end(E40)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E12)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E9, E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E8)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E6)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E4)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end end end end(E0, E1, E2)); _ -> fun (V103) -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkPair', <<""/utf8>>, <<""/utf8>>}} end end.
'un--rktToC'(V0, V1) -> case V0 of {'Idris.Core.CompileExpr.CFChar'} -> (fun () -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"(char->integer "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V1, <<")"/utf8>>)))) end()); _ -> V1 end.
'un--racketString'(V0) -> ('Idris.Idris2.Prelude.Types':'un--strCons'($\x{22}, (('un--showRacketString'(('Idris.Idris2.Prelude.Types':'un--unpack'(V0))))(<<"\x{22}"/utf8>>)))).
'un--racketPrim'(V0, V1, V2) -> case V1 of {'Idris.Compiler.Scheme.Common.GetField'} -> (fun () -> case V2 of [E0 | E1] -> (fun (V3, V4) -> case V3 of {'Idris.Core.CompileExpr.NmPrimVal', E12, E13} -> (fun (V5, V6) -> case V6 of {'Idris.Core.TT.Str', E24} -> (fun (V7) -> case V4 of [E35 | E36] -> (fun (V8, V9) -> case V9 of [E47 | E48] -> (fun (V10, V11) -> case V11 of [E59 | E60] -> (fun (V12, V13) -> case V13 of [E71 | E72] -> (fun (V14, V15) -> case V14 of {'Idris.Core.CompileExpr.NmPrimVal', E83, E84} -> (fun (V16, V17) -> case V17 of {'Idris.Core.TT.Str', E95} -> (fun (V18) -> case V15 of [E106 | E107] -> (fun (V19, V20) -> case V20 of [] -> fun (V21) -> begin (V26 = (('Idris.Idris2.Compiler.Scheme.Common':'un--schExp'(fun (V22) -> fun (V23) -> fun (V24) -> ('un--racketPrim'(V22, V23, V24)) end end end, fun (V25) -> ('un--racketString'(V25)) end, 0, V12))(V21))), case V26 of {'Idris.Prelude.Types.Left', E118} -> (fun (V27) -> {'Idris.Prelude.Types.Left', V27} end(E118)); {'Idris.Prelude.Types.Right', E119} -> (fun (V28) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"("/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V7, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"-"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V18, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V28, <<")"/utf8>>))))))))))))} end(E119)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end; _ -> case V4 of [E108 | E109] -> (fun (V29, V30) -> case V30 of [E110 | E111] -> (fun (V31, V32) -> case V32 of [E112 | E113] -> (fun (V33, V34) -> case V34 of [E114 | E115] -> (fun (V35, V36) -> case V36 of [E116 | E117] -> (fun (V37, V38) -> case V38 of [] -> fun (V39) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad getField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V40) -> fun (V41) -> fun (V42) -> ('un--racketPrim'(V40, V41, V42)) end end end, fun (V43) -> ('un--racketString'(V43)) end, V0, V1, V2)) end end(E116, E117)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V44) -> fun (V45) -> fun (V46) -> ('un--racketPrim'(V44, V45, V46)) end end end, fun (V47) -> ('un--racketString'(V47)) end, V0, V1, V2)) end end(E114, E115)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V48) -> fun (V49) -> fun (V50) -> ('un--racketPrim'(V48, V49, V50)) end end end, fun (V51) -> ('un--racketString'(V51)) end, V0, V1, V2)) end end(E112, E113)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V52) -> fun (V53) -> fun (V54) -> ('un--racketPrim'(V52, V53, V54)) end end end, fun (V55) -> ('un--racketString'(V55)) end, V0, V1, V2)) end end(E110, E111)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V56) -> fun (V57) -> fun (V58) -> ('un--racketPrim'(V56, V57, V58)) end end end, fun (V59) -> ('un--racketString'(V59)) end, V0, V1, V2)) end end(E108, E109)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V60) -> fun (V61) -> fun (V62) -> ('un--racketPrim'(V60, V61, V62)) end end end, fun (V63) -> ('un--racketString'(V63)) end, V0, V1, V2)) end end end(E106, E107)); _ -> case V4 of [E96 | E97] -> (fun (V64, V65) -> case V65 of [E98 | E99] -> (fun (V66, V67) -> case V67 of [E100 | E101] -> (fun (V68, V69) -> case V69 of [E102 | E103] -> (fun (V70, V71) -> case V71 of [E104 | E105] -> (fun (V72, V73) -> case V73 of [] -> fun (V74) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad getField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V75) -> fun (V76) -> fun (V77) -> ('un--racketPrim'(V75, V76, V77)) end end end, fun (V78) -> ('un--racketString'(V78)) end, V0, V1, V2)) end end(E104, E105)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V79) -> fun (V80) -> fun (V81) -> ('un--racketPrim'(V79, V80, V81)) end end end, fun (V82) -> ('un--racketString'(V82)) end, V0, V1, V2)) end end(E102, E103)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V83) -> fun (V84) -> fun (V85) -> ('un--racketPrim'(V83, V84, V85)) end end end, fun (V86) -> ('un--racketString'(V86)) end, V0, V1, V2)) end end(E100, E101)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V87) -> fun (V88) -> fun (V89) -> ('un--racketPrim'(V87, V88, V89)) end end end, fun (V90) -> ('un--racketString'(V90)) end, V0, V1, V2)) end end(E98, E99)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V91) -> fun (V92) -> fun (V93) -> ('un--racketPrim'(V91, V92, V93)) end end end, fun (V94) -> ('un--racketString'(V94)) end, V0, V1, V2)) end end(E96, E97)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V95) -> fun (V96) -> fun (V97) -> ('un--racketPrim'(V95, V96, V97)) end end end, fun (V98) -> ('un--racketString'(V98)) end, V0, V1, V2)) end end end(E95)); _ -> case V4 of [E85 | E86] -> (fun (V99, V100) -> case V100 of [E87 | E88] -> (fun (V101, V102) -> case V102 of [E89 | E90] -> (fun (V103, V104) -> case V104 of [E91 | E92] -> (fun (V105, V106) -> case V106 of [E93 | E94] -> (fun (V107, V108) -> case V108 of [] -> fun (V109) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad getField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V110) -> fun (V111) -> fun (V112) -> ('un--racketPrim'(V110, V111, V112)) end end end, fun (V113) -> ('un--racketString'(V113)) end, V0, V1, V2)) end end(E93, E94)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V114) -> fun (V115) -> fun (V116) -> ('un--racketPrim'(V114, V115, V116)) end end end, fun (V117) -> ('un--racketString'(V117)) end, V0, V1, V2)) end end(E91, E92)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V118) -> fun (V119) -> fun (V120) -> ('un--racketPrim'(V118, V119, V120)) end end end, fun (V121) -> ('un--racketString'(V121)) end, V0, V1, V2)) end end(E89, E90)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V122) -> fun (V123) -> fun (V124) -> ('un--racketPrim'(V122, V123, V124)) end end end, fun (V125) -> ('un--racketString'(V125)) end, V0, V1, V2)) end end(E87, E88)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V126) -> fun (V127) -> fun (V128) -> ('un--racketPrim'(V126, V127, V128)) end end end, fun (V129) -> ('un--racketString'(V129)) end, V0, V1, V2)) end end(E85, E86)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V130) -> fun (V131) -> fun (V132) -> ('un--racketPrim'(V130, V131, V132)) end end end, fun (V133) -> ('un--racketString'(V133)) end, V0, V1, V2)) end end end(E83, E84)); _ -> case V4 of [E73 | E74] -> (fun (V134, V135) -> case V135 of [E75 | E76] -> (fun (V136, V137) -> case V137 of [E77 | E78] -> (fun (V138, V139) -> case V139 of [E79 | E80] -> (fun (V140, V141) -> case V141 of [E81 | E82] -> (fun (V142, V143) -> case V143 of [] -> fun (V144) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad getField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V145) -> fun (V146) -> fun (V147) -> ('un--racketPrim'(V145, V146, V147)) end end end, fun (V148) -> ('un--racketString'(V148)) end, V0, V1, V2)) end end(E81, E82)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V149) -> fun (V150) -> fun (V151) -> ('un--racketPrim'(V149, V150, V151)) end end end, fun (V152) -> ('un--racketString'(V152)) end, V0, V1, V2)) end end(E79, E80)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V153) -> fun (V154) -> fun (V155) -> ('un--racketPrim'(V153, V154, V155)) end end end, fun (V156) -> ('un--racketString'(V156)) end, V0, V1, V2)) end end(E77, E78)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V157) -> fun (V158) -> fun (V159) -> ('un--racketPrim'(V157, V158, V159)) end end end, fun (V160) -> ('un--racketString'(V160)) end, V0, V1, V2)) end end(E75, E76)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V161) -> fun (V162) -> fun (V163) -> ('un--racketPrim'(V161, V162, V163)) end end end, fun (V164) -> ('un--racketString'(V164)) end, V0, V1, V2)) end end(E73, E74)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V165) -> fun (V166) -> fun (V167) -> ('un--racketPrim'(V165, V166, V167)) end end end, fun (V168) -> ('un--racketString'(V168)) end, V0, V1, V2)) end end end(E71, E72)); _ -> case V4 of [E61 | E62] -> (fun (V169, V170) -> case V170 of [E63 | E64] -> (fun (V171, V172) -> case V172 of [E65 | E66] -> (fun (V173, V174) -> case V174 of [E67 | E68] -> (fun (V175, V176) -> case V176 of [E69 | E70] -> (fun (V177, V178) -> case V178 of [] -> fun (V179) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad getField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V180) -> fun (V181) -> fun (V182) -> ('un--racketPrim'(V180, V181, V182)) end end end, fun (V183) -> ('un--racketString'(V183)) end, V0, V1, V2)) end end(E69, E70)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V184) -> fun (V185) -> fun (V186) -> ('un--racketPrim'(V184, V185, V186)) end end end, fun (V187) -> ('un--racketString'(V187)) end, V0, V1, V2)) end end(E67, E68)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V188) -> fun (V189) -> fun (V190) -> ('un--racketPrim'(V188, V189, V190)) end end end, fun (V191) -> ('un--racketString'(V191)) end, V0, V1, V2)) end end(E65, E66)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V192) -> fun (V193) -> fun (V194) -> ('un--racketPrim'(V192, V193, V194)) end end end, fun (V195) -> ('un--racketString'(V195)) end, V0, V1, V2)) end end(E63, E64)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V196) -> fun (V197) -> fun (V198) -> ('un--racketPrim'(V196, V197, V198)) end end end, fun (V199) -> ('un--racketString'(V199)) end, V0, V1, V2)) end end(E61, E62)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V200) -> fun (V201) -> fun (V202) -> ('un--racketPrim'(V200, V201, V202)) end end end, fun (V203) -> ('un--racketString'(V203)) end, V0, V1, V2)) end end end(E59, E60)); _ -> case V4 of [E49 | E50] -> (fun (V204, V205) -> case V205 of [E51 | E52] -> (fun (V206, V207) -> case V207 of [E53 | E54] -> (fun (V208, V209) -> case V209 of [E55 | E56] -> (fun (V210, V211) -> case V211 of [E57 | E58] -> (fun (V212, V213) -> case V213 of [] -> fun (V214) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad getField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V215) -> fun (V216) -> fun (V217) -> ('un--racketPrim'(V215, V216, V217)) end end end, fun (V218) -> ('un--racketString'(V218)) end, V0, V1, V2)) end end(E57, E58)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V219) -> fun (V220) -> fun (V221) -> ('un--racketPrim'(V219, V220, V221)) end end end, fun (V222) -> ('un--racketString'(V222)) end, V0, V1, V2)) end end(E55, E56)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V223) -> fun (V224) -> fun (V225) -> ('un--racketPrim'(V223, V224, V225)) end end end, fun (V226) -> ('un--racketString'(V226)) end, V0, V1, V2)) end end(E53, E54)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V227) -> fun (V228) -> fun (V229) -> ('un--racketPrim'(V227, V228, V229)) end end end, fun (V230) -> ('un--racketString'(V230)) end, V0, V1, V2)) end end(E51, E52)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V231) -> fun (V232) -> fun (V233) -> ('un--racketPrim'(V231, V232, V233)) end end end, fun (V234) -> ('un--racketString'(V234)) end, V0, V1, V2)) end end(E49, E50)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V235) -> fun (V236) -> fun (V237) -> ('un--racketPrim'(V235, V236, V237)) end end end, fun (V238) -> ('un--racketString'(V238)) end, V0, V1, V2)) end end end(E47, E48)); _ -> case V4 of [E37 | E38] -> (fun (V239, V240) -> case V240 of [E39 | E40] -> (fun (V241, V242) -> case V242 of [E41 | E42] -> (fun (V243, V244) -> case V244 of [E43 | E44] -> (fun (V245, V246) -> case V246 of [E45 | E46] -> (fun (V247, V248) -> case V248 of [] -> fun (V249) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad getField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V250) -> fun (V251) -> fun (V252) -> ('un--racketPrim'(V250, V251, V252)) end end end, fun (V253) -> ('un--racketString'(V253)) end, V0, V1, V2)) end end(E45, E46)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V254) -> fun (V255) -> fun (V256) -> ('un--racketPrim'(V254, V255, V256)) end end end, fun (V257) -> ('un--racketString'(V257)) end, V0, V1, V2)) end end(E43, E44)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V258) -> fun (V259) -> fun (V260) -> ('un--racketPrim'(V258, V259, V260)) end end end, fun (V261) -> ('un--racketString'(V261)) end, V0, V1, V2)) end end(E41, E42)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V262) -> fun (V263) -> fun (V264) -> ('un--racketPrim'(V262, V263, V264)) end end end, fun (V265) -> ('un--racketString'(V265)) end, V0, V1, V2)) end end(E39, E40)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V266) -> fun (V267) -> fun (V268) -> ('un--racketPrim'(V266, V267, V268)) end end end, fun (V269) -> ('un--racketString'(V269)) end, V0, V1, V2)) end end(E37, E38)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V270) -> fun (V271) -> fun (V272) -> ('un--racketPrim'(V270, V271, V272)) end end end, fun (V273) -> ('un--racketString'(V273)) end, V0, V1, V2)) end end end(E35, E36)); _ -> case V4 of [E25 | E26] -> (fun (V274, V275) -> case V275 of [E27 | E28] -> (fun (V276, V277) -> case V277 of [E29 | E30] -> (fun (V278, V279) -> case V279 of [E31 | E32] -> (fun (V280, V281) -> case V281 of [E33 | E34] -> (fun (V282, V283) -> case V283 of [] -> fun (V284) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad getField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V285) -> fun (V286) -> fun (V287) -> ('un--racketPrim'(V285, V286, V287)) end end end, fun (V288) -> ('un--racketString'(V288)) end, V0, V1, V2)) end end(E33, E34)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V289) -> fun (V290) -> fun (V291) -> ('un--racketPrim'(V289, V290, V291)) end end end, fun (V292) -> ('un--racketString'(V292)) end, V0, V1, V2)) end end(E31, E32)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V293) -> fun (V294) -> fun (V295) -> ('un--racketPrim'(V293, V294, V295)) end end end, fun (V296) -> ('un--racketString'(V296)) end, V0, V1, V2)) end end(E29, E30)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V297) -> fun (V298) -> fun (V299) -> ('un--racketPrim'(V297, V298, V299)) end end end, fun (V300) -> ('un--racketString'(V300)) end, V0, V1, V2)) end end(E27, E28)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V301) -> fun (V302) -> fun (V303) -> ('un--racketPrim'(V301, V302, V303)) end end end, fun (V304) -> ('un--racketString'(V304)) end, V0, V1, V2)) end end(E25, E26)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V305) -> fun (V306) -> fun (V307) -> ('un--racketPrim'(V305, V306, V307)) end end end, fun (V308) -> ('un--racketString'(V308)) end, V0, V1, V2)) end end end(E24)); _ -> case V4 of [E14 | E15] -> (fun (V309, V310) -> case V310 of [E16 | E17] -> (fun (V311, V312) -> case V312 of [E18 | E19] -> (fun (V313, V314) -> case V314 of [E20 | E21] -> (fun (V315, V316) -> case V316 of [E22 | E23] -> (fun (V317, V318) -> case V318 of [] -> fun (V319) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad getField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V320) -> fun (V321) -> fun (V322) -> ('un--racketPrim'(V320, V321, V322)) end end end, fun (V323) -> ('un--racketString'(V323)) end, V0, V1, V2)) end end(E22, E23)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V324) -> fun (V325) -> fun (V326) -> ('un--racketPrim'(V324, V325, V326)) end end end, fun (V327) -> ('un--racketString'(V327)) end, V0, V1, V2)) end end(E20, E21)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V328) -> fun (V329) -> fun (V330) -> ('un--racketPrim'(V328, V329, V330)) end end end, fun (V331) -> ('un--racketString'(V331)) end, V0, V1, V2)) end end(E18, E19)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V332) -> fun (V333) -> fun (V334) -> ('un--racketPrim'(V332, V333, V334)) end end end, fun (V335) -> ('un--racketString'(V335)) end, V0, V1, V2)) end end(E16, E17)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V336) -> fun (V337) -> fun (V338) -> ('un--racketPrim'(V336, V337, V338)) end end end, fun (V339) -> ('un--racketString'(V339)) end, V0, V1, V2)) end end(E14, E15)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V340) -> fun (V341) -> fun (V342) -> ('un--racketPrim'(V340, V341, V342)) end end end, fun (V343) -> ('un--racketString'(V343)) end, V0, V1, V2)) end end end(E12, E13)); _ -> case V4 of [E2 | E3] -> (fun (V344, V345) -> case V345 of [E4 | E5] -> (fun (V346, V347) -> case V347 of [E6 | E7] -> (fun (V348, V349) -> case V349 of [E8 | E9] -> (fun (V350, V351) -> case V351 of [E10 | E11] -> (fun (V352, V353) -> case V353 of [] -> fun (V354) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad getField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V355) -> fun (V356) -> fun (V357) -> ('un--racketPrim'(V355, V356, V357)) end end end, fun (V358) -> ('un--racketString'(V358)) end, V0, V1, V2)) end end(E10, E11)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V359) -> fun (V360) -> fun (V361) -> ('un--racketPrim'(V359, V360, V361)) end end end, fun (V362) -> ('un--racketString'(V362)) end, V0, V1, V2)) end end(E8, E9)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V363) -> fun (V364) -> fun (V365) -> ('un--racketPrim'(V363, V364, V365)) end end end, fun (V366) -> ('un--racketString'(V366)) end, V0, V1, V2)) end end(E6, E7)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V367) -> fun (V368) -> fun (V369) -> ('un--racketPrim'(V367, V368, V369)) end end end, fun (V370) -> ('un--racketString'(V370)) end, V0, V1, V2)) end end(E4, E5)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V371) -> fun (V372) -> fun (V373) -> ('un--racketPrim'(V371, V372, V373)) end end end, fun (V374) -> ('un--racketString'(V374)) end, V0, V1, V2)) end end(E2, E3)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V375) -> fun (V376) -> fun (V377) -> ('un--racketPrim'(V375, V376, V377)) end end end, fun (V378) -> ('un--racketString'(V378)) end, V0, V1, V2)) end end end(E0, E1)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V379) -> fun (V380) -> fun (V381) -> ('un--racketPrim'(V379, V380, V381)) end end end, fun (V382) -> ('un--racketString'(V382)) end, V0, V1, V2)) end end()); {'Idris.Compiler.Scheme.Common.SetField'} -> (fun () -> case V2 of [E120 | E121] -> (fun (V383, V384) -> case V383 of {'Idris.Core.CompileExpr.NmPrimVal', E136, E137} -> (fun (V385, V386) -> case V386 of {'Idris.Core.TT.Str', E152} -> (fun (V387) -> case V384 of [E167 | E168] -> (fun (V388, V389) -> case V389 of [E183 | E184] -> (fun (V390, V391) -> case V391 of [E199 | E200] -> (fun (V392, V393) -> case V393 of [E215 | E216] -> (fun (V394, V395) -> case V394 of {'Idris.Core.CompileExpr.NmPrimVal', E231, E232} -> (fun (V396, V397) -> case V397 of {'Idris.Core.TT.Str', E247} -> (fun (V398) -> case V395 of [E262 | E263] -> (fun (V399, V400) -> case V400 of [E278 | E279] -> (fun (V401, V402) -> case V402 of [E294 | E295] -> (fun (V403, V404) -> case V404 of [] -> fun (V405) -> begin (V410 = (('Idris.Idris2.Compiler.Scheme.Common':'un--schExp'(fun (V406) -> fun (V407) -> fun (V408) -> ('un--racketPrim'(V406, V407, V408)) end end end, fun (V409) -> ('un--racketString'(V409)) end, 0, V392))(V405))), case V410 of {'Idris.Prelude.Types.Left', E310} -> (fun (V411) -> {'Idris.Prelude.Types.Left', V411} end(E310)); {'Idris.Prelude.Types.Right', E311} -> (fun (V412) -> begin (V417 = (('Idris.Idris2.Compiler.Scheme.Common':'un--schExp'(fun (V413) -> fun (V414) -> fun (V415) -> ('un--racketPrim'(V413, V414, V415)) end end end, fun (V416) -> ('un--racketString'(V416)) end, 0, V401))(V405))), case V417 of {'Idris.Prelude.Types.Left', E312} -> (fun (V418) -> {'Idris.Prelude.Types.Left', V418} end(E312)); {'Idris.Prelude.Types.Right', E313} -> (fun (V419) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Compiler.Scheme.Common':'un--mkWorld'(('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"(set-"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V387, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"-"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V398, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"! "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V412, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V419, <<")"/utf8>>))))))))))))))))))} end(E313)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E311)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end; _ -> case V384 of [E296 | E297] -> (fun (V420, V421) -> case V421 of [E298 | E299] -> (fun (V422, V423) -> case V423 of [E300 | E301] -> (fun (V424, V425) -> case V425 of [E302 | E303] -> (fun (V426, V427) -> case V427 of [E304 | E305] -> (fun (V428, V429) -> case V429 of [E306 | E307] -> (fun (V430, V431) -> case V431 of [E308 | E309] -> (fun (V432, V433) -> case V433 of [] -> fun (V434) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad setField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V435) -> fun (V436) -> fun (V437) -> ('un--racketPrim'(V435, V436, V437)) end end end, fun (V438) -> ('un--racketString'(V438)) end, V0, V1, V2)) end end(E308, E309)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V439) -> fun (V440) -> fun (V441) -> ('un--racketPrim'(V439, V440, V441)) end end end, fun (V442) -> ('un--racketString'(V442)) end, V0, V1, V2)) end end(E306, E307)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V443) -> fun (V444) -> fun (V445) -> ('un--racketPrim'(V443, V444, V445)) end end end, fun (V446) -> ('un--racketString'(V446)) end, V0, V1, V2)) end end(E304, E305)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V447) -> fun (V448) -> fun (V449) -> ('un--racketPrim'(V447, V448, V449)) end end end, fun (V450) -> ('un--racketString'(V450)) end, V0, V1, V2)) end end(E302, E303)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V451) -> fun (V452) -> fun (V453) -> ('un--racketPrim'(V451, V452, V453)) end end end, fun (V454) -> ('un--racketString'(V454)) end, V0, V1, V2)) end end(E300, E301)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V455) -> fun (V456) -> fun (V457) -> ('un--racketPrim'(V455, V456, V457)) end end end, fun (V458) -> ('un--racketString'(V458)) end, V0, V1, V2)) end end(E298, E299)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V459) -> fun (V460) -> fun (V461) -> ('un--racketPrim'(V459, V460, V461)) end end end, fun (V462) -> ('un--racketString'(V462)) end, V0, V1, V2)) end end(E296, E297)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V463) -> fun (V464) -> fun (V465) -> ('un--racketPrim'(V463, V464, V465)) end end end, fun (V466) -> ('un--racketString'(V466)) end, V0, V1, V2)) end end end(E294, E295)); _ -> case V384 of [E280 | E281] -> (fun (V467, V468) -> case V468 of [E282 | E283] -> (fun (V469, V470) -> case V470 of [E284 | E285] -> (fun (V471, V472) -> case V472 of [E286 | E287] -> (fun (V473, V474) -> case V474 of [E288 | E289] -> (fun (V475, V476) -> case V476 of [E290 | E291] -> (fun (V477, V478) -> case V478 of [E292 | E293] -> (fun (V479, V480) -> case V480 of [] -> fun (V481) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad setField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V482) -> fun (V483) -> fun (V484) -> ('un--racketPrim'(V482, V483, V484)) end end end, fun (V485) -> ('un--racketString'(V485)) end, V0, V1, V2)) end end(E292, E293)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V486) -> fun (V487) -> fun (V488) -> ('un--racketPrim'(V486, V487, V488)) end end end, fun (V489) -> ('un--racketString'(V489)) end, V0, V1, V2)) end end(E290, E291)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V490) -> fun (V491) -> fun (V492) -> ('un--racketPrim'(V490, V491, V492)) end end end, fun (V493) -> ('un--racketString'(V493)) end, V0, V1, V2)) end end(E288, E289)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V494) -> fun (V495) -> fun (V496) -> ('un--racketPrim'(V494, V495, V496)) end end end, fun (V497) -> ('un--racketString'(V497)) end, V0, V1, V2)) end end(E286, E287)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V498) -> fun (V499) -> fun (V500) -> ('un--racketPrim'(V498, V499, V500)) end end end, fun (V501) -> ('un--racketString'(V501)) end, V0, V1, V2)) end end(E284, E285)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V502) -> fun (V503) -> fun (V504) -> ('un--racketPrim'(V502, V503, V504)) end end end, fun (V505) -> ('un--racketString'(V505)) end, V0, V1, V2)) end end(E282, E283)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V506) -> fun (V507) -> fun (V508) -> ('un--racketPrim'(V506, V507, V508)) end end end, fun (V509) -> ('un--racketString'(V509)) end, V0, V1, V2)) end end(E280, E281)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V510) -> fun (V511) -> fun (V512) -> ('un--racketPrim'(V510, V511, V512)) end end end, fun (V513) -> ('un--racketString'(V513)) end, V0, V1, V2)) end end end(E278, E279)); _ -> case V384 of [E264 | E265] -> (fun (V514, V515) -> case V515 of [E266 | E267] -> (fun (V516, V517) -> case V517 of [E268 | E269] -> (fun (V518, V519) -> case V519 of [E270 | E271] -> (fun (V520, V521) -> case V521 of [E272 | E273] -> (fun (V522, V523) -> case V523 of [E274 | E275] -> (fun (V524, V525) -> case V525 of [E276 | E277] -> (fun (V526, V527) -> case V527 of [] -> fun (V528) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad setField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V529) -> fun (V530) -> fun (V531) -> ('un--racketPrim'(V529, V530, V531)) end end end, fun (V532) -> ('un--racketString'(V532)) end, V0, V1, V2)) end end(E276, E277)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V533) -> fun (V534) -> fun (V535) -> ('un--racketPrim'(V533, V534, V535)) end end end, fun (V536) -> ('un--racketString'(V536)) end, V0, V1, V2)) end end(E274, E275)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V537) -> fun (V538) -> fun (V539) -> ('un--racketPrim'(V537, V538, V539)) end end end, fun (V540) -> ('un--racketString'(V540)) end, V0, V1, V2)) end end(E272, E273)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V541) -> fun (V542) -> fun (V543) -> ('un--racketPrim'(V541, V542, V543)) end end end, fun (V544) -> ('un--racketString'(V544)) end, V0, V1, V2)) end end(E270, E271)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V545) -> fun (V546) -> fun (V547) -> ('un--racketPrim'(V545, V546, V547)) end end end, fun (V548) -> ('un--racketString'(V548)) end, V0, V1, V2)) end end(E268, E269)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V549) -> fun (V550) -> fun (V551) -> ('un--racketPrim'(V549, V550, V551)) end end end, fun (V552) -> ('un--racketString'(V552)) end, V0, V1, V2)) end end(E266, E267)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V553) -> fun (V554) -> fun (V555) -> ('un--racketPrim'(V553, V554, V555)) end end end, fun (V556) -> ('un--racketString'(V556)) end, V0, V1, V2)) end end(E264, E265)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V557) -> fun (V558) -> fun (V559) -> ('un--racketPrim'(V557, V558, V559)) end end end, fun (V560) -> ('un--racketString'(V560)) end, V0, V1, V2)) end end end(E262, E263)); _ -> case V384 of [E248 | E249] -> (fun (V561, V562) -> case V562 of [E250 | E251] -> (fun (V563, V564) -> case V564 of [E252 | E253] -> (fun (V565, V566) -> case V566 of [E254 | E255] -> (fun (V567, V568) -> case V568 of [E256 | E257] -> (fun (V569, V570) -> case V570 of [E258 | E259] -> (fun (V571, V572) -> case V572 of [E260 | E261] -> (fun (V573, V574) -> case V574 of [] -> fun (V575) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad setField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V576) -> fun (V577) -> fun (V578) -> ('un--racketPrim'(V576, V577, V578)) end end end, fun (V579) -> ('un--racketString'(V579)) end, V0, V1, V2)) end end(E260, E261)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V580) -> fun (V581) -> fun (V582) -> ('un--racketPrim'(V580, V581, V582)) end end end, fun (V583) -> ('un--racketString'(V583)) end, V0, V1, V2)) end end(E258, E259)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V584) -> fun (V585) -> fun (V586) -> ('un--racketPrim'(V584, V585, V586)) end end end, fun (V587) -> ('un--racketString'(V587)) end, V0, V1, V2)) end end(E256, E257)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V588) -> fun (V589) -> fun (V590) -> ('un--racketPrim'(V588, V589, V590)) end end end, fun (V591) -> ('un--racketString'(V591)) end, V0, V1, V2)) end end(E254, E255)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V592) -> fun (V593) -> fun (V594) -> ('un--racketPrim'(V592, V593, V594)) end end end, fun (V595) -> ('un--racketString'(V595)) end, V0, V1, V2)) end end(E252, E253)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V596) -> fun (V597) -> fun (V598) -> ('un--racketPrim'(V596, V597, V598)) end end end, fun (V599) -> ('un--racketString'(V599)) end, V0, V1, V2)) end end(E250, E251)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V600) -> fun (V601) -> fun (V602) -> ('un--racketPrim'(V600, V601, V602)) end end end, fun (V603) -> ('un--racketString'(V603)) end, V0, V1, V2)) end end(E248, E249)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V604) -> fun (V605) -> fun (V606) -> ('un--racketPrim'(V604, V605, V606)) end end end, fun (V607) -> ('un--racketString'(V607)) end, V0, V1, V2)) end end end(E247)); _ -> case V384 of [E233 | E234] -> (fun (V608, V609) -> case V609 of [E235 | E236] -> (fun (V610, V611) -> case V611 of [E237 | E238] -> (fun (V612, V613) -> case V613 of [E239 | E240] -> (fun (V614, V615) -> case V615 of [E241 | E242] -> (fun (V616, V617) -> case V617 of [E243 | E244] -> (fun (V618, V619) -> case V619 of [E245 | E246] -> (fun (V620, V621) -> case V621 of [] -> fun (V622) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad setField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V623) -> fun (V624) -> fun (V625) -> ('un--racketPrim'(V623, V624, V625)) end end end, fun (V626) -> ('un--racketString'(V626)) end, V0, V1, V2)) end end(E245, E246)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V627) -> fun (V628) -> fun (V629) -> ('un--racketPrim'(V627, V628, V629)) end end end, fun (V630) -> ('un--racketString'(V630)) end, V0, V1, V2)) end end(E243, E244)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V631) -> fun (V632) -> fun (V633) -> ('un--racketPrim'(V631, V632, V633)) end end end, fun (V634) -> ('un--racketString'(V634)) end, V0, V1, V2)) end end(E241, E242)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V635) -> fun (V636) -> fun (V637) -> ('un--racketPrim'(V635, V636, V637)) end end end, fun (V638) -> ('un--racketString'(V638)) end, V0, V1, V2)) end end(E239, E240)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V639) -> fun (V640) -> fun (V641) -> ('un--racketPrim'(V639, V640, V641)) end end end, fun (V642) -> ('un--racketString'(V642)) end, V0, V1, V2)) end end(E237, E238)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V643) -> fun (V644) -> fun (V645) -> ('un--racketPrim'(V643, V644, V645)) end end end, fun (V646) -> ('un--racketString'(V646)) end, V0, V1, V2)) end end(E235, E236)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V647) -> fun (V648) -> fun (V649) -> ('un--racketPrim'(V647, V648, V649)) end end end, fun (V650) -> ('un--racketString'(V650)) end, V0, V1, V2)) end end(E233, E234)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V651) -> fun (V652) -> fun (V653) -> ('un--racketPrim'(V651, V652, V653)) end end end, fun (V654) -> ('un--racketString'(V654)) end, V0, V1, V2)) end end end(E231, E232)); _ -> case V384 of [E217 | E218] -> (fun (V655, V656) -> case V656 of [E219 | E220] -> (fun (V657, V658) -> case V658 of [E221 | E222] -> (fun (V659, V660) -> case V660 of [E223 | E224] -> (fun (V661, V662) -> case V662 of [E225 | E226] -> (fun (V663, V664) -> case V664 of [E227 | E228] -> (fun (V665, V666) -> case V666 of [E229 | E230] -> (fun (V667, V668) -> case V668 of [] -> fun (V669) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad setField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V670) -> fun (V671) -> fun (V672) -> ('un--racketPrim'(V670, V671, V672)) end end end, fun (V673) -> ('un--racketString'(V673)) end, V0, V1, V2)) end end(E229, E230)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V674) -> fun (V675) -> fun (V676) -> ('un--racketPrim'(V674, V675, V676)) end end end, fun (V677) -> ('un--racketString'(V677)) end, V0, V1, V2)) end end(E227, E228)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V678) -> fun (V679) -> fun (V680) -> ('un--racketPrim'(V678, V679, V680)) end end end, fun (V681) -> ('un--racketString'(V681)) end, V0, V1, V2)) end end(E225, E226)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V682) -> fun (V683) -> fun (V684) -> ('un--racketPrim'(V682, V683, V684)) end end end, fun (V685) -> ('un--racketString'(V685)) end, V0, V1, V2)) end end(E223, E224)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V686) -> fun (V687) -> fun (V688) -> ('un--racketPrim'(V686, V687, V688)) end end end, fun (V689) -> ('un--racketString'(V689)) end, V0, V1, V2)) end end(E221, E222)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V690) -> fun (V691) -> fun (V692) -> ('un--racketPrim'(V690, V691, V692)) end end end, fun (V693) -> ('un--racketString'(V693)) end, V0, V1, V2)) end end(E219, E220)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V694) -> fun (V695) -> fun (V696) -> ('un--racketPrim'(V694, V695, V696)) end end end, fun (V697) -> ('un--racketString'(V697)) end, V0, V1, V2)) end end(E217, E218)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V698) -> fun (V699) -> fun (V700) -> ('un--racketPrim'(V698, V699, V700)) end end end, fun (V701) -> ('un--racketString'(V701)) end, V0, V1, V2)) end end end(E215, E216)); _ -> case V384 of [E201 | E202] -> (fun (V702, V703) -> case V703 of [E203 | E204] -> (fun (V704, V705) -> case V705 of [E205 | E206] -> (fun (V706, V707) -> case V707 of [E207 | E208] -> (fun (V708, V709) -> case V709 of [E209 | E210] -> (fun (V710, V711) -> case V711 of [E211 | E212] -> (fun (V712, V713) -> case V713 of [E213 | E214] -> (fun (V714, V715) -> case V715 of [] -> fun (V716) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad setField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V717) -> fun (V718) -> fun (V719) -> ('un--racketPrim'(V717, V718, V719)) end end end, fun (V720) -> ('un--racketString'(V720)) end, V0, V1, V2)) end end(E213, E214)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V721) -> fun (V722) -> fun (V723) -> ('un--racketPrim'(V721, V722, V723)) end end end, fun (V724) -> ('un--racketString'(V724)) end, V0, V1, V2)) end end(E211, E212)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V725) -> fun (V726) -> fun (V727) -> ('un--racketPrim'(V725, V726, V727)) end end end, fun (V728) -> ('un--racketString'(V728)) end, V0, V1, V2)) end end(E209, E210)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V729) -> fun (V730) -> fun (V731) -> ('un--racketPrim'(V729, V730, V731)) end end end, fun (V732) -> ('un--racketString'(V732)) end, V0, V1, V2)) end end(E207, E208)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V733) -> fun (V734) -> fun (V735) -> ('un--racketPrim'(V733, V734, V735)) end end end, fun (V736) -> ('un--racketString'(V736)) end, V0, V1, V2)) end end(E205, E206)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V737) -> fun (V738) -> fun (V739) -> ('un--racketPrim'(V737, V738, V739)) end end end, fun (V740) -> ('un--racketString'(V740)) end, V0, V1, V2)) end end(E203, E204)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V741) -> fun (V742) -> fun (V743) -> ('un--racketPrim'(V741, V742, V743)) end end end, fun (V744) -> ('un--racketString'(V744)) end, V0, V1, V2)) end end(E201, E202)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V745) -> fun (V746) -> fun (V747) -> ('un--racketPrim'(V745, V746, V747)) end end end, fun (V748) -> ('un--racketString'(V748)) end, V0, V1, V2)) end end end(E199, E200)); _ -> case V384 of [E185 | E186] -> (fun (V749, V750) -> case V750 of [E187 | E188] -> (fun (V751, V752) -> case V752 of [E189 | E190] -> (fun (V753, V754) -> case V754 of [E191 | E192] -> (fun (V755, V756) -> case V756 of [E193 | E194] -> (fun (V757, V758) -> case V758 of [E195 | E196] -> (fun (V759, V760) -> case V760 of [E197 | E198] -> (fun (V761, V762) -> case V762 of [] -> fun (V763) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad setField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V764) -> fun (V765) -> fun (V766) -> ('un--racketPrim'(V764, V765, V766)) end end end, fun (V767) -> ('un--racketString'(V767)) end, V0, V1, V2)) end end(E197, E198)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V768) -> fun (V769) -> fun (V770) -> ('un--racketPrim'(V768, V769, V770)) end end end, fun (V771) -> ('un--racketString'(V771)) end, V0, V1, V2)) end end(E195, E196)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V772) -> fun (V773) -> fun (V774) -> ('un--racketPrim'(V772, V773, V774)) end end end, fun (V775) -> ('un--racketString'(V775)) end, V0, V1, V2)) end end(E193, E194)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V776) -> fun (V777) -> fun (V778) -> ('un--racketPrim'(V776, V777, V778)) end end end, fun (V779) -> ('un--racketString'(V779)) end, V0, V1, V2)) end end(E191, E192)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V780) -> fun (V781) -> fun (V782) -> ('un--racketPrim'(V780, V781, V782)) end end end, fun (V783) -> ('un--racketString'(V783)) end, V0, V1, V2)) end end(E189, E190)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V784) -> fun (V785) -> fun (V786) -> ('un--racketPrim'(V784, V785, V786)) end end end, fun (V787) -> ('un--racketString'(V787)) end, V0, V1, V2)) end end(E187, E188)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V788) -> fun (V789) -> fun (V790) -> ('un--racketPrim'(V788, V789, V790)) end end end, fun (V791) -> ('un--racketString'(V791)) end, V0, V1, V2)) end end(E185, E186)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V792) -> fun (V793) -> fun (V794) -> ('un--racketPrim'(V792, V793, V794)) end end end, fun (V795) -> ('un--racketString'(V795)) end, V0, V1, V2)) end end end(E183, E184)); _ -> case V384 of [E169 | E170] -> (fun (V796, V797) -> case V797 of [E171 | E172] -> (fun (V798, V799) -> case V799 of [E173 | E174] -> (fun (V800, V801) -> case V801 of [E175 | E176] -> (fun (V802, V803) -> case V803 of [E177 | E178] -> (fun (V804, V805) -> case V805 of [E179 | E180] -> (fun (V806, V807) -> case V807 of [E181 | E182] -> (fun (V808, V809) -> case V809 of [] -> fun (V810) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad setField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V811) -> fun (V812) -> fun (V813) -> ('un--racketPrim'(V811, V812, V813)) end end end, fun (V814) -> ('un--racketString'(V814)) end, V0, V1, V2)) end end(E181, E182)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V815) -> fun (V816) -> fun (V817) -> ('un--racketPrim'(V815, V816, V817)) end end end, fun (V818) -> ('un--racketString'(V818)) end, V0, V1, V2)) end end(E179, E180)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V819) -> fun (V820) -> fun (V821) -> ('un--racketPrim'(V819, V820, V821)) end end end, fun (V822) -> ('un--racketString'(V822)) end, V0, V1, V2)) end end(E177, E178)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V823) -> fun (V824) -> fun (V825) -> ('un--racketPrim'(V823, V824, V825)) end end end, fun (V826) -> ('un--racketString'(V826)) end, V0, V1, V2)) end end(E175, E176)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V827) -> fun (V828) -> fun (V829) -> ('un--racketPrim'(V827, V828, V829)) end end end, fun (V830) -> ('un--racketString'(V830)) end, V0, V1, V2)) end end(E173, E174)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V831) -> fun (V832) -> fun (V833) -> ('un--racketPrim'(V831, V832, V833)) end end end, fun (V834) -> ('un--racketString'(V834)) end, V0, V1, V2)) end end(E171, E172)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V835) -> fun (V836) -> fun (V837) -> ('un--racketPrim'(V835, V836, V837)) end end end, fun (V838) -> ('un--racketString'(V838)) end, V0, V1, V2)) end end(E169, E170)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V839) -> fun (V840) -> fun (V841) -> ('un--racketPrim'(V839, V840, V841)) end end end, fun (V842) -> ('un--racketString'(V842)) end, V0, V1, V2)) end end end(E167, E168)); _ -> case V384 of [E153 | E154] -> (fun (V843, V844) -> case V844 of [E155 | E156] -> (fun (V845, V846) -> case V846 of [E157 | E158] -> (fun (V847, V848) -> case V848 of [E159 | E160] -> (fun (V849, V850) -> case V850 of [E161 | E162] -> (fun (V851, V852) -> case V852 of [E163 | E164] -> (fun (V853, V854) -> case V854 of [E165 | E166] -> (fun (V855, V856) -> case V856 of [] -> fun (V857) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad setField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V858) -> fun (V859) -> fun (V860) -> ('un--racketPrim'(V858, V859, V860)) end end end, fun (V861) -> ('un--racketString'(V861)) end, V0, V1, V2)) end end(E165, E166)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V862) -> fun (V863) -> fun (V864) -> ('un--racketPrim'(V862, V863, V864)) end end end, fun (V865) -> ('un--racketString'(V865)) end, V0, V1, V2)) end end(E163, E164)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V866) -> fun (V867) -> fun (V868) -> ('un--racketPrim'(V866, V867, V868)) end end end, fun (V869) -> ('un--racketString'(V869)) end, V0, V1, V2)) end end(E161, E162)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V870) -> fun (V871) -> fun (V872) -> ('un--racketPrim'(V870, V871, V872)) end end end, fun (V873) -> ('un--racketString'(V873)) end, V0, V1, V2)) end end(E159, E160)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V874) -> fun (V875) -> fun (V876) -> ('un--racketPrim'(V874, V875, V876)) end end end, fun (V877) -> ('un--racketString'(V877)) end, V0, V1, V2)) end end(E157, E158)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V878) -> fun (V879) -> fun (V880) -> ('un--racketPrim'(V878, V879, V880)) end end end, fun (V881) -> ('un--racketString'(V881)) end, V0, V1, V2)) end end(E155, E156)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V882) -> fun (V883) -> fun (V884) -> ('un--racketPrim'(V882, V883, V884)) end end end, fun (V885) -> ('un--racketString'(V885)) end, V0, V1, V2)) end end(E153, E154)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V886) -> fun (V887) -> fun (V888) -> ('un--racketPrim'(V886, V887, V888)) end end end, fun (V889) -> ('un--racketString'(V889)) end, V0, V1, V2)) end end end(E152)); _ -> case V384 of [E138 | E139] -> (fun (V890, V891) -> case V891 of [E140 | E141] -> (fun (V892, V893) -> case V893 of [E142 | E143] -> (fun (V894, V895) -> case V895 of [E144 | E145] -> (fun (V896, V897) -> case V897 of [E146 | E147] -> (fun (V898, V899) -> case V899 of [E148 | E149] -> (fun (V900, V901) -> case V901 of [E150 | E151] -> (fun (V902, V903) -> case V903 of [] -> fun (V904) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad setField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V905) -> fun (V906) -> fun (V907) -> ('un--racketPrim'(V905, V906, V907)) end end end, fun (V908) -> ('un--racketString'(V908)) end, V0, V1, V2)) end end(E150, E151)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V909) -> fun (V910) -> fun (V911) -> ('un--racketPrim'(V909, V910, V911)) end end end, fun (V912) -> ('un--racketString'(V912)) end, V0, V1, V2)) end end(E148, E149)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V913) -> fun (V914) -> fun (V915) -> ('un--racketPrim'(V913, V914, V915)) end end end, fun (V916) -> ('un--racketString'(V916)) end, V0, V1, V2)) end end(E146, E147)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V917) -> fun (V918) -> fun (V919) -> ('un--racketPrim'(V917, V918, V919)) end end end, fun (V920) -> ('un--racketString'(V920)) end, V0, V1, V2)) end end(E144, E145)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V921) -> fun (V922) -> fun (V923) -> ('un--racketPrim'(V921, V922, V923)) end end end, fun (V924) -> ('un--racketString'(V924)) end, V0, V1, V2)) end end(E142, E143)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V925) -> fun (V926) -> fun (V927) -> ('un--racketPrim'(V925, V926, V927)) end end end, fun (V928) -> ('un--racketString'(V928)) end, V0, V1, V2)) end end(E140, E141)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V929) -> fun (V930) -> fun (V931) -> ('un--racketPrim'(V929, V930, V931)) end end end, fun (V932) -> ('un--racketString'(V932)) end, V0, V1, V2)) end end(E138, E139)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V933) -> fun (V934) -> fun (V935) -> ('un--racketPrim'(V933, V934, V935)) end end end, fun (V936) -> ('un--racketString'(V936)) end, V0, V1, V2)) end end end(E136, E137)); _ -> case V384 of [E122 | E123] -> (fun (V937, V938) -> case V938 of [E124 | E125] -> (fun (V939, V940) -> case V940 of [E126 | E127] -> (fun (V941, V942) -> case V942 of [E128 | E129] -> (fun (V943, V944) -> case V944 of [E130 | E131] -> (fun (V945, V946) -> case V946 of [E132 | E133] -> (fun (V947, V948) -> case V948 of [E134 | E135] -> (fun (V949, V950) -> case V950 of [] -> fun (V951) -> {'Idris.Prelude.Types.Right', <<"(error \x{22}bad setField\x{22})"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V952) -> fun (V953) -> fun (V954) -> ('un--racketPrim'(V952, V953, V954)) end end end, fun (V955) -> ('un--racketString'(V955)) end, V0, V1, V2)) end end(E134, E135)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V956) -> fun (V957) -> fun (V958) -> ('un--racketPrim'(V956, V957, V958)) end end end, fun (V959) -> ('un--racketString'(V959)) end, V0, V1, V2)) end end(E132, E133)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V960) -> fun (V961) -> fun (V962) -> ('un--racketPrim'(V960, V961, V962)) end end end, fun (V963) -> ('un--racketString'(V963)) end, V0, V1, V2)) end end(E130, E131)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V964) -> fun (V965) -> fun (V966) -> ('un--racketPrim'(V964, V965, V966)) end end end, fun (V967) -> ('un--racketString'(V967)) end, V0, V1, V2)) end end(E128, E129)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V968) -> fun (V969) -> fun (V970) -> ('un--racketPrim'(V968, V969, V970)) end end end, fun (V971) -> ('un--racketString'(V971)) end, V0, V1, V2)) end end(E126, E127)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V972) -> fun (V973) -> fun (V974) -> ('un--racketPrim'(V972, V973, V974)) end end end, fun (V975) -> ('un--racketString'(V975)) end, V0, V1, V2)) end end(E124, E125)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V976) -> fun (V977) -> fun (V978) -> ('un--racketPrim'(V976, V977, V978)) end end end, fun (V979) -> ('un--racketString'(V979)) end, V0, V1, V2)) end end(E122, E123)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V980) -> fun (V981) -> fun (V982) -> ('un--racketPrim'(V980, V981, V982)) end end end, fun (V983) -> ('un--racketString'(V983)) end, V0, V1, V2)) end end end(E120, E121)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V984) -> fun (V985) -> fun (V986) -> ('un--racketPrim'(V984, V985, V986)) end end end, fun (V987) -> ('un--racketString'(V987)) end, V0, V1, V2)) end end()); {'Idris.Compiler.Scheme.Common.SysCodegen'} -> (fun () -> case V2 of [] -> fun (V988) -> {'Idris.Prelude.Types.Right', <<"\x{22}racket\x{22}"/utf8>>} end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V989) -> fun (V990) -> fun (V991) -> ('un--racketPrim'(V989, V990, V991)) end end end, fun (V992) -> ('un--racketString'(V992)) end, V0, V1, V2)) end end()); {'Idris.Compiler.Scheme.Common.OnCollect'} -> (fun () -> case V2 of [E314 | E315] -> (fun (V993, V994) -> case V994 of [E316 | E317] -> (fun (V995, V996) -> case V996 of [E318 | E319] -> (fun (V997, V998) -> case V998 of [E320 | E321] -> (fun (V999, V1000) -> case V1000 of [] -> fun (V1001) -> begin (V1006 = (('Idris.Idris2.Compiler.Scheme.Common':'un--schExp'(fun (V1002) -> fun (V1003) -> fun (V1004) -> ('un--racketPrim'(V1002, V1003, V1004)) end end end, fun (V1005) -> ('un--racketString'(V1005)) end, 0, V995))(V1001))), case V1006 of {'Idris.Prelude.Types.Left', E322} -> (fun (V1007) -> {'Idris.Prelude.Types.Left', V1007} end(E322)); {'Idris.Prelude.Types.Right', E323} -> (fun (V1008) -> begin (V1013 = (('Idris.Idris2.Compiler.Scheme.Common':'un--schExp'(fun (V1009) -> fun (V1010) -> fun (V1011) -> ('un--racketPrim'(V1009, V1010, V1011)) end end end, fun (V1012) -> ('un--racketString'(V1012)) end, 0, V997))(V1001))), case V1013 of {'Idris.Prelude.Types.Left', E324} -> (fun (V1014) -> {'Idris.Prelude.Types.Left', V1014} end(E324)); {'Idris.Prelude.Types.Right', E325} -> (fun (V1015) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Compiler.Scheme.Common':'un--mkWorld'(('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"(blodwen-register-object "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V1008, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V1015, <<")"/utf8>>))))))))))} end(E325)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E323)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V1016) -> fun (V1017) -> fun (V1018) -> ('un--racketPrim'(V1016, V1017, V1018)) end end end, fun (V1019) -> ('un--racketString'(V1019)) end, V0, V1, V2)) end end(E320, E321)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V1020) -> fun (V1021) -> fun (V1022) -> ('un--racketPrim'(V1020, V1021, V1022)) end end end, fun (V1023) -> ('un--racketString'(V1023)) end, V0, V1, V2)) end end(E318, E319)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V1024) -> fun (V1025) -> fun (V1026) -> ('un--racketPrim'(V1024, V1025, V1026)) end end end, fun (V1027) -> ('un--racketString'(V1027)) end, V0, V1, V2)) end end(E316, E317)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V1028) -> fun (V1029) -> fun (V1030) -> ('un--racketPrim'(V1028, V1029, V1030)) end end end, fun (V1031) -> ('un--racketString'(V1031)) end, V0, V1, V2)) end end(E314, E315)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V1032) -> fun (V1033) -> fun (V1034) -> ('un--racketPrim'(V1032, V1033, V1034)) end end end, fun (V1035) -> ('un--racketString'(V1035)) end, V0, V1, V2)) end end()); {'Idris.Compiler.Scheme.Common.OnCollectAny'} -> (fun () -> case V2 of [E326 | E327] -> (fun (V1036, V1037) -> case V1037 of [E328 | E329] -> (fun (V1038, V1039) -> case V1039 of [E330 | E331] -> (fun (V1040, V1041) -> case V1041 of [] -> fun (V1042) -> begin (V1047 = (('Idris.Idris2.Compiler.Scheme.Common':'un--schExp'(fun (V1043) -> fun (V1044) -> fun (V1045) -> ('un--racketPrim'(V1043, V1044, V1045)) end end end, fun (V1046) -> ('un--racketString'(V1046)) end, 0, V1036))(V1042))), case V1047 of {'Idris.Prelude.Types.Left', E332} -> (fun (V1048) -> {'Idris.Prelude.Types.Left', V1048} end(E332)); {'Idris.Prelude.Types.Right', E333} -> (fun (V1049) -> begin (V1054 = (('Idris.Idris2.Compiler.Scheme.Common':'un--schExp'(fun (V1050) -> fun (V1051) -> fun (V1052) -> ('un--racketPrim'(V1050, V1051, V1052)) end end end, fun (V1053) -> ('un--racketString'(V1053)) end, 0, V1038))(V1042))), case V1054 of {'Idris.Prelude.Types.Left', E334} -> (fun (V1055) -> {'Idris.Prelude.Types.Left', V1055} end(E334)); {'Idris.Prelude.Types.Right', E335} -> (fun (V1056) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Compiler.Scheme.Common':'un--mkWorld'(('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"(blodwen-register-object "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V1049, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V1056, <<")"/utf8>>))))))))))} end(E335)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E333)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end; _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V1057) -> fun (V1058) -> fun (V1059) -> ('un--racketPrim'(V1057, V1058, V1059)) end end end, fun (V1060) -> ('un--racketString'(V1060)) end, V0, V1, V2)) end end(E330, E331)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V1061) -> fun (V1062) -> fun (V1063) -> ('un--racketPrim'(V1061, V1062, V1063)) end end end, fun (V1064) -> ('un--racketString'(V1064)) end, V0, V1, V2)) end end(E328, E329)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V1065) -> fun (V1066) -> fun (V1067) -> ('un--racketPrim'(V1065, V1066, V1067)) end end end, fun (V1068) -> ('un--racketString'(V1068)) end, V0, V1, V2)) end end(E326, E327)); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V1069) -> fun (V1070) -> fun (V1071) -> ('un--racketPrim'(V1069, V1070, V1071)) end end end, fun (V1072) -> ('un--racketString'(V1072)) end, V0, V1, V2)) end end()); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--schExtCommon'(fun (V1073) -> fun (V1074) -> fun (V1075) -> ('un--racketPrim'(V1073, V1074, V1075)) end end end, fun (V1076) -> ('un--racketString'(V1076)) end, V0, V1, V2)) end.
'un--mkStruct'(V0, V1) -> case V1 of {'Idris.Core.CompileExpr.CFStruct', E0, E1} -> (fun (V2, V3) -> fun (V4) -> begin (V7 = (('Idris.Idris2.Core.Core':'un--traverse'('erased', 'erased', fun (V5) -> ('un--mkStruct'(V0, V5)) end, ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V6) -> ('Idris.Idris2.Builtin':'un--snd'('erased', 'erased', V6)) end, V3))))(V4))), case V7 of {'Idris.Prelude.Types.Left', E2} -> (fun (V8) -> {'Idris.Prelude.Types.Left', V8} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V9) -> begin (V38 = begin (V37 = (('Idris.Idris2.Erlang.Data.IORef':'un--readIORef'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V10) -> fun (V11) -> fun (V12) -> fun (V13) -> fun (V14) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V12, V13, V14)) end end end end end, fun (V15) -> fun (V16) -> fun (V17) -> V16 end end end, fun (V18) -> fun (V19) -> fun (V20) -> fun (V21) -> fun (V22) -> begin (V23 = (V20(V22))), begin (V24 = (V21(V22))), (V23(V24)) end end end end end end end}, fun (V25) -> fun (V26) -> fun (V27) -> fun (V28) -> fun (V29) -> begin (V30 = (V27(V29))), ((V28(V30))(V29)) end end end end end end, fun (V31) -> fun (V32) -> fun (V33) -> begin (V34 = (V32(V33))), (V34(V33)) end end end end}, fun (V35) -> fun (V36) -> V36 end end}, V0))(V4))), {'Idris.Prelude.Types.Right', V37} end), case V38 of {'Idris.Prelude.Types.Left', E4} -> (fun (V39) -> {'Idris.Prelude.Types.Left', V39} end(E4)); {'Idris.Prelude.Types.Right', E5} -> (fun (V40) -> (('case--mkStruct-2006'(V3, V2, V0, V9, V40, ('Idris.Idris2.Prelude.Types':'un--elem'('erased', {'Idris.Prelude.EqOrd.dn--un--__mkEq', fun (V41) -> fun (V42) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__String'(V41, V42)) end end, fun (V43) -> fun (V44) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--/=_Eq__String'(V43, V44)) end end}, V2, V40))))(V4)) end(E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E0, E1)); {'Idris.Core.CompileExpr.CFIORes', E6} -> (fun (V45) -> ('un--mkStruct'(V0, V45)) end(E6)); {'Idris.Core.CompileExpr.CFFun', E7, E8} -> (fun (V46, V47) -> fun (V48) -> begin (V49 = (('un--mkStruct'(V0, V46))(V48))), case V49 of {'Idris.Prelude.Types.Left', E9} -> (fun (V50) -> {'Idris.Prelude.Types.Left', V50} end(E9)); {'Idris.Prelude.Types.Right', E10} -> (fun (V51) -> (('un--mkStruct'(V0, V47))(V48)) end(E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E7, E8)); _ -> fun (V52) -> {'Idris.Prelude.Types.Right', <<""/utf8>>} end end.
'un--mkArgs'(V0, V1) -> case V1 of [] -> []; [E0 | E1] -> (fun (V2, V3) -> case V2 of {'Idris.Core.CompileExpr.CFWorld'} -> (fun () -> [{'Idris.Builtin.MkPair', {'Idris.Core.Name.MN', <<"farg"/utf8>>, V0}, 1} | ('un--mkArgs'(V0, V3))] end()); _ -> [{'Idris.Builtin.MkPair', {'Idris.Core.Name.MN', <<"farg"/utf8>>, V0}, 0} | ('un--mkArgs'(((V0 + 1) rem 9223372036854775808), V3))] end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--makeShWindows'(V0, V1, V2, V3) -> begin (V4 = ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V1, <<".cmd"/utf8>>))), fun (V5) -> begin (V34 = begin (V33 = (('Idris.Idris2.Erlang.System.File':'un--writeFile'('erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V6) -> fun (V7) -> fun (V8) -> fun (V9) -> fun (V10) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V8, V9, V10)) end end end end end, fun (V11) -> fun (V12) -> fun (V13) -> V12 end end end, fun (V14) -> fun (V15) -> fun (V16) -> fun (V17) -> fun (V18) -> begin (V19 = (V16(V18))), begin (V20 = (V17(V18))), (V19(V20)) end end end end end end end}, fun (V21) -> fun (V22) -> fun (V23) -> fun (V24) -> fun (V25) -> begin (V26 = (V23(V25))), ((V24(V26))(V25)) end end end end end end, fun (V27) -> fun (V28) -> fun (V29) -> begin (V30 = (V28(V29))), (V30(V29)) end end end end}, fun (V31) -> fun (V32) -> V32 end end}, V4, ('un--startRacketCmd'(V0, V2, V3))))(V5))), {'Idris.Prelude.Types.Right', V33} end), case V34 of {'Idris.Prelude.Types.Left', E0} -> (fun (V35) -> {'Idris.Prelude.Types.Left', V35} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V36) -> case V36 of {'Idris.Prelude.Types.Right', E2} -> (fun (V37) -> case V37 of {'Idris.Builtin.MkUnit'} -> (fun () -> begin (V66 = begin (V65 = (('Idris.Idris2.Erlang.System.File':'un--writeFile'('erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V38) -> fun (V39) -> fun (V40) -> fun (V41) -> fun (V42) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V40, V41, V42)) end end end end end, fun (V43) -> fun (V44) -> fun (V45) -> V44 end end end, fun (V46) -> fun (V47) -> fun (V48) -> fun (V49) -> fun (V50) -> begin (V51 = (V48(V50))), begin (V52 = (V49(V50))), (V51(V52)) end end end end end end end}, fun (V53) -> fun (V54) -> fun (V55) -> fun (V56) -> fun (V57) -> begin (V58 = (V55(V57))), ((V56(V58))(V57)) end end end end end end, fun (V59) -> fun (V60) -> fun (V61) -> begin (V62 = (V60(V61))), (V62(V61)) end end end end}, fun (V63) -> fun (V64) -> V64 end end}, V1, ('un--startRacketWinSh'(V0, V2, V3))))(V5))), {'Idris.Prelude.Types.Right', V65} end), case V66 of {'Idris.Prelude.Types.Left', E3} -> (fun (V67) -> {'Idris.Prelude.Types.Left', V67} end(E3)); {'Idris.Prelude.Types.Right', E4} -> (fun (V68) -> case V68 of {'Idris.Prelude.Types.Right', E5} -> (fun (V69) -> case V69 of {'Idris.Builtin.MkUnit'} -> (fun () -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkUnit'}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E5)); {'Idris.Prelude.Types.Left', E6} -> (fun (V70) -> ('Idris.Idris2.Core.Core':'dn--un--throw_Catchable__Core_Error'('erased', {'Idris.Core.Core.FileErr', V1, V70}, V5)) end(E6)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E4)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E2)); {'Idris.Prelude.Types.Left', E7} -> (fun (V71) -> ('Idris.Idris2.Core.Core':'dn--un--throw_Catchable__Core_Error'('erased', {'Idris.Core.Core.FileErr', V4, V71}, V5)) end(E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end.
'un--makeSh'(V0, V1, V2, V3, V4) -> begin (V33 = begin (V32 = (('Idris.Idris2.Erlang.System.File':'un--writeFile'('erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V5) -> fun (V6) -> fun (V7) -> fun (V8) -> fun (V9) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V7, V8, V9)) end end end end end, fun (V10) -> fun (V11) -> fun (V12) -> V11 end end end, fun (V13) -> fun (V14) -> fun (V15) -> fun (V16) -> fun (V17) -> begin (V18 = (V15(V17))), begin (V19 = (V16(V17))), (V18(V19)) end end end end end end end}, fun (V20) -> fun (V21) -> fun (V22) -> fun (V23) -> fun (V24) -> begin (V25 = (V22(V24))), ((V23(V25))(V24)) end end end end end end, fun (V26) -> fun (V27) -> fun (V28) -> begin (V29 = (V27(V28))), (V29(V28)) end end end end}, fun (V30) -> fun (V31) -> V31 end end}, V1, ('un--startRacket'(V0, V2, V3))))(V4))), {'Idris.Prelude.Types.Right', V32} end), case V33 of {'Idris.Prelude.Types.Left', E0} -> (fun (V34) -> {'Idris.Prelude.Types.Left', V34} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V35) -> case V35 of {'Idris.Prelude.Types.Right', E2} -> (fun (V36) -> case V36 of {'Idris.Builtin.MkUnit'} -> (fun () -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkUnit'}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E2)); {'Idris.Prelude.Types.Left', E3} -> (fun (V37) -> ('Idris.Idris2.Core.Core':'dn--un--throw_Catchable__Core_Error'('erased', {'Idris.Core.Core.FileErr', V1, V37}, V4)) end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end.
'un--loadlib'(V0, V1) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"(define-ffi-definer define-"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V0, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" (ffi-lib \x{22}"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V0, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{22} "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V1, <<"))\x{a}"/utf8>>)))))))))))).
'un--handleRet'(V0, V1) -> case V0 of {'Idris.Core.CompileExpr.CFUnit'} -> (fun () -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V1, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" "/utf8>>, ('Idris.Idris2.Compiler.Scheme.Common':'un--mkWorld'(('Idris.Idris2.Compiler.Scheme.Common':'un--schConstructor'(fun (V2) -> ('un--racketString'(V2)) end, {'Idris.Core.Name.UN', <<""/utf8>>}, {'Idris.Prelude.Types.Just', 0}, [])))))))) end()); _ -> ('Idris.Idris2.Compiler.Scheme.Common':'un--mkWorld'(('un--cToRkt'(V0, V1)))) end.
'un--getLibVers'(V0) -> ('case--getLibVers-857'(V0, ('Idris.Idris2.Data.Strings':'un--words'(V0)))).
'un--getFgnCall'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V6, V7) -> case V7 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V8, V9) -> ('un--schFgnDef'(V0, V1, V2, V3, V4, V8, V6, V9)) end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--findRacoExe'(V0) -> begin (V28 = (('Idris.Idris2.Erlang.System':'un--getEnv'('erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V1) -> fun (V2) -> fun (V3) -> fun (V4) -> fun (V5) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V3, V4, V5)) end end end end end, fun (V6) -> fun (V7) -> fun (V8) -> V7 end end end, fun (V9) -> fun (V10) -> fun (V11) -> fun (V12) -> fun (V13) -> begin (V14 = (V11(V13))), begin (V15 = (V12(V13))), (V14(V15)) end end end end end end end}, fun (V16) -> fun (V17) -> fun (V18) -> fun (V19) -> fun (V20) -> begin (V21 = (V18(V20))), ((V19(V21))(V20)) end end end end end end, fun (V22) -> fun (V23) -> fun (V24) -> begin (V25 = (V23(V24))), (V25(V24)) end end end end}, fun (V26) -> fun (V27) -> V27 end end}, <<"RACKET_RACO"/utf8>>))(V0))), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Data.Maybe':'un--fromMaybe'('erased', fun () -> <<"/usr/bin/env raco"/utf8>> end, V28)), <<" exe"/utf8>>)) end.
'un--findRacket'(V0) -> begin (V28 = (('Idris.Idris2.Erlang.System':'un--getEnv'('erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V1) -> fun (V2) -> fun (V3) -> fun (V4) -> fun (V5) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V3, V4, V5)) end end end end end, fun (V6) -> fun (V7) -> fun (V8) -> V7 end end end, fun (V9) -> fun (V10) -> fun (V11) -> fun (V12) -> fun (V13) -> begin (V14 = (V11(V13))), begin (V15 = (V12(V13))), (V14(V15)) end end end end end end end}, fun (V16) -> fun (V17) -> fun (V18) -> fun (V19) -> fun (V20) -> begin (V21 = (V18(V20))), ((V19(V21))(V20)) end end end end end end, fun (V22) -> fun (V23) -> fun (V24) -> begin (V25 = (V23(V24))), (V25(V24)) end end end end}, fun (V26) -> fun (V27) -> V27 end end}, <<"RACKET"/utf8>>))(V0))), ('Idris.Idris2.Data.Maybe':'un--fromMaybe'('erased', fun () -> <<"/usr/bin/env racket"/utf8>> end, V28)) end.
'un--executeExpr'(V0, V1, V2, V3) -> begin (V4 = (('un--compileExpr'(1, V0, V1, V1, V2, <<"_tmpracket"/utf8>>))(V3))), case V4 of {'Idris.Prelude.Types.Left', E0} -> (fun (V5) -> {'Idris.Prelude.Types.Left', V5} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V6) -> case V6 of {'Idris.Prelude.Types.Just', E2} -> (fun (V7) -> begin (V36 = begin (V35 = (('Idris.Idris2.Erlang.System':'un--system'('erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V8) -> fun (V9) -> fun (V10) -> fun (V11) -> fun (V12) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V10, V11, V12)) end end end end end, fun (V13) -> fun (V14) -> fun (V15) -> V14 end end end, fun (V16) -> fun (V17) -> fun (V18) -> fun (V19) -> fun (V20) -> begin (V21 = (V18(V20))), begin (V22 = (V19(V20))), (V21(V22)) end end end end end end end}, fun (V23) -> fun (V24) -> fun (V25) -> fun (V26) -> fun (V27) -> begin (V28 = (V25(V27))), ((V26(V28))(V27)) end end end end end end, fun (V29) -> fun (V30) -> fun (V31) -> begin (V32 = (V30(V31))), (V32(V31)) end end end end}, fun (V33) -> fun (V34) -> V34 end end}, V7))(V3))), {'Idris.Prelude.Types.Right', V35} end), case V36 of {'Idris.Prelude.Types.Left', E3} -> (fun (V37) -> {'Idris.Prelude.Types.Left', V37} end(E3)); {'Idris.Prelude.Types.Right', E4} -> (fun (V38) -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkUnit'}} end(E4)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E2)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> ('Idris.Idris2.Core.Core':'dn--un--throw_Catchable__Core_Error'('erased', {'Idris.Core.Core.InternalError', <<"compileExpr returned Nothing"/utf8>>}, V3)) end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end.
'un--compileToRKT'(V0, V1, V2, V3, V4) -> begin (V5 = ('Idris.Idris2.Compiler.Common':'un--getCompileData'(V0, {'Idris.Compiler.Common.Cases'}, V2, V4))), case V5 of {'Idris.Prelude.Types.Left', E0} -> (fun (V6) -> {'Idris.Prelude.Types.Left', V6} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V7) -> begin (V13 = case V7 of {'Idris.Compiler.Common.MkCompileData', E2, E3, E4, E5, E6} -> (fun (V8, V9, V10, V11, V12) -> V9 end(E2, E3, E4, E5, E6)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end), begin (V19 = ('Idris.Idris2.Core.CompileExpr':'un--forget'([], case V7 of {'Idris.Compiler.Common.MkCompileData', E7, E8, E9, E10, E11} -> (fun (V14, V15, V16, V17, V18) -> V14 end(E7, E8, E9, E10, E11)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end))), begin (V48 = begin (V47 = (('Idris.Idris2.Erlang.Data.IORef':'un--readIORef'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V20) -> fun (V21) -> fun (V22) -> fun (V23) -> fun (V24) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V22, V23, V24)) end end end end end, fun (V25) -> fun (V26) -> fun (V27) -> V26 end end end, fun (V28) -> fun (V29) -> fun (V30) -> fun (V31) -> fun (V32) -> begin (V33 = (V30(V32))), begin (V34 = (V31(V32))), (V33(V34)) end end end end end end end}, fun (V35) -> fun (V36) -> fun (V37) -> fun (V38) -> fun (V39) -> begin (V40 = (V37(V39))), ((V38(V40))(V39)) end end end end end end, fun (V41) -> fun (V42) -> fun (V43) -> begin (V44 = (V42(V43))), (V44(V43)) end end end end}, fun (V45) -> fun (V46) -> V46 end end}, V0))(V4))), {'Idris.Prelude.Types.Right', V47} end), case V48 of {'Idris.Prelude.Types.Left', E12} -> (fun (V49) -> {'Idris.Prelude.Types.Left', V49} end(E12)); {'Idris.Prelude.Types.Right', E13} -> (fun (V50) -> begin (V51 = ('Idris.Idris2.Core.Core':'un--newRef'('erased', 'erased', {'Idris.Compiler.Scheme.Racket.Done'}, ('Idris.Idris2.Prelude.Types':'dn--un--empty_Alternative__List'('erased')), V4))), case V51 of {'Idris.Prelude.Types.Left', E14} -> (fun (V52) -> {'Idris.Prelude.Types.Left', V52} end(E14)); {'Idris.Prelude.Types.Right', E15} -> (fun (V53) -> begin (V54 = ('Idris.Idris2.Core.Core':'un--newRef'('erased', 'erased', {'Idris.Compiler.Scheme.Racket.Loaded'}, [], V4))), case V54 of {'Idris.Prelude.Types.Left', E16} -> (fun (V55) -> {'Idris.Prelude.Types.Left', V55} end(E16)); {'Idris.Prelude.Types.Right', E17} -> (fun (V56) -> begin (V57 = ('Idris.Idris2.Core.Core':'un--newRef'('erased', 'erased', {'Idris.Compiler.Scheme.Racket.Structs'}, [], V4))), case V57 of {'Idris.Prelude.Types.Left', E18} -> (fun (V58) -> {'Idris.Prelude.Types.Left', V58} end(E18)); {'Idris.Prelude.Types.Right', E19} -> (fun (V59) -> begin (V61 = (('Idris.Idris2.Core.Core':'un--traverse'('erased', 'erased', fun (V60) -> ('un--getFgnCall'(V53, V0, V56, V59, V1, V60)) end, V13))(V4))), case V61 of {'Idris.Prelude.Types.Left', E20} -> (fun (V62) -> {'Idris.Prelude.Types.Left', V62} end(E20)); {'Idris.Prelude.Types.Right', E21} -> (fun (V63) -> begin (V69 = (('Idris.Idris2.Core.Core':'un--traverse'('erased', 'erased', fun (V64) -> ('Idris.Idris2.Compiler.Scheme.Common':'un--getScheme'(V0, fun (V65) -> fun (V66) -> fun (V67) -> ('un--racketPrim'(V65, V66, V67)) end end end, fun (V68) -> ('un--racketString'(V68)) end, V64)) end, V13))(V4))), case V69 of {'Idris.Prelude.Types.Left', E22} -> (fun (V70) -> {'Idris.Prelude.Types.Left', V70} end(E22)); {'Idris.Prelude.Types.Right', E23} -> (fun (V71) -> begin (V73 = ('Idris.Idris2.Data.Strings':'un--fastAppend'(('Idris.Idris2.Prelude.Types.List':'un--++'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V72) -> ('Idris.Idris2.Builtin':'un--snd'('erased', 'erased', V72)) end, V63)), V71))))), begin (V78 = (('Idris.Idris2.Compiler.Scheme.Common':'un--schExp'(fun (V74) -> fun (V75) -> fun (V76) -> ('un--racketPrim'(V74, V75, V76)) end end end, fun (V77) -> ('un--racketString'(V77)) end, 0, V19))(V4))), case V78 of {'Idris.Prelude.Types.Left', E24} -> (fun (V79) -> {'Idris.Prelude.Types.Left', V79} end(E24)); {'Idris.Prelude.Types.Right', E25} -> (fun (V80) -> begin (V81 = ('Idris.Idris2.Core.Directory':'un--readDataFile'(V0, <<"racket/support.rkt"/utf8>>, V4))), case V81 of {'Idris.Prelude.Types.Left', E26} -> (fun (V82) -> {'Idris.Prelude.Types.Left', V82} end(E26)); {'Idris.Prelude.Types.Right', E27} -> (fun (V83) -> begin (V84 = ('Idris.Idris2.Core.Context':'un--getDirectives'(V0, {'Idris.Core.Options.Racket'}, V4))), case V84 of {'Idris.Prelude.Types.Left', E28} -> (fun (V85) -> {'Idris.Prelude.Types.Left', V85} end(E28)); {'Idris.Prelude.Types.Right', E29} -> (fun (V86) -> begin (V88 = ('Idris.Idris2.Compiler.Common':'un--getExtraRuntime'(('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V87) -> ('Idris.Idris2.Builtin':'un--snd'('erased', 'erased', V87)) end, V86)), V4))), case V88 of {'Idris.Prelude.Types.Left', E30} -> (fun (V89) -> {'Idris.Prelude.Types.Left', V89} end(E30)); {'Idris.Prelude.Types.Right', E31} -> (fun (V90) -> begin (V104 = ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('un--schHeader'((('Idris.Idris2.Prelude.Interfaces':'un--concat'('erased', 'erased', {'Idris.Builtin.MkPair', {'Idris.Prelude.Interfaces.dn--un--__mkFoldable', fun (V92) -> fun (V93) -> fun (V94) -> fun (V95) -> fun (V96) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldr_Foldable__List'('erased', 'erased', V94, V95, V96)) end end end end end, fun (V97) -> fun (V98) -> fun (V99) -> fun (V100) -> fun (V101) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldl_Foldable__List'('erased', 'erased', V99, V100, V101)) end end end end end}, {'Idris.Prelude.Interfaces.dn--un--__mkMonoid', fun (V102) -> fun (V103) -> ('Idris.Idris2.Prelude.Types':'dn--un--<+>_Semigroup__String'(V102, V103)) end end, ('Idris.Idris2.Prelude.Types':'dn--un--neutral_Monoid__String'())}}))(('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V91) -> ('Idris.Idris2.Builtin':'un--fst'('erased', 'erased', V91)) end, V63)))))), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V83, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V90, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V73, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"(void "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V80, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<")\x{a}"/utf8>>, ('un--schFooter'())))))))))))))))), begin (V133 = begin (V132 = (('Idris.Idris2.Erlang.System.File':'un--writeFile'('erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V105) -> fun (V106) -> fun (V107) -> fun (V108) -> fun (V109) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V107, V108, V109)) end end end end end, fun (V110) -> fun (V111) -> fun (V112) -> V111 end end end, fun (V113) -> fun (V114) -> fun (V115) -> fun (V116) -> fun (V117) -> begin (V118 = (V115(V117))), begin (V119 = (V116(V117))), (V118(V119)) end end end end end end end}, fun (V120) -> fun (V121) -> fun (V122) -> fun (V123) -> fun (V124) -> begin (V125 = (V122(V124))), ((V123(V125))(V124)) end end end end end end, fun (V126) -> fun (V127) -> fun (V128) -> begin (V129 = (V127(V128))), (V129(V128)) end end end end}, fun (V130) -> fun (V131) -> V131 end end}, V3, V104))(V4))), {'Idris.Prelude.Types.Right', V132} end), case V133 of {'Idris.Prelude.Types.Left', E32} -> (fun (V134) -> {'Idris.Prelude.Types.Left', V134} end(E32)); {'Idris.Prelude.Types.Right', E33} -> (fun (V135) -> case V135 of {'Idris.Prelude.Types.Right', E34} -> (fun (V136) -> case V136 of {'Idris.Builtin.MkUnit'} -> (fun () -> begin (V165 = begin (V164 = (('Idris.Idris2.Erlang.System.File':'un--chmodRaw'('erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V137) -> fun (V138) -> fun (V139) -> fun (V140) -> fun (V141) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V139, V140, V141)) end end end end end, fun (V142) -> fun (V143) -> fun (V144) -> V143 end end end, fun (V145) -> fun (V146) -> fun (V147) -> fun (V148) -> fun (V149) -> begin (V150 = (V147(V149))), begin (V151 = (V148(V149))), (V150(V151)) end end end end end end end}, fun (V152) -> fun (V153) -> fun (V154) -> fun (V155) -> fun (V156) -> begin (V157 = (V154(V156))), ((V155(V157))(V156)) end end end end end end, fun (V158) -> fun (V159) -> fun (V160) -> begin (V161 = (V159(V160))), (V161(V160)) end end end end}, fun (V162) -> fun (V163) -> V163 end end}, V3, 493))(V4))), {'Idris.Prelude.Types.Right', V164} end), case V165 of {'Idris.Prelude.Types.Left', E35} -> (fun (V166) -> {'Idris.Prelude.Types.Left', V166} end(E35)); {'Idris.Prelude.Types.Right', E36} -> (fun (V167) -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkUnit'}} end(E36)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E34)); {'Idris.Prelude.Types.Left', E37} -> (fun (V168) -> ('Idris.Idris2.Core.Core':'dn--un--throw_Catchable__Core_Error'('erased', {'Idris.Core.Core.FileErr', V3, V168}, V4)) end(E37)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E33)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E31)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E29)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E27)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E25)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E23)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E21)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E19)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E17)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E15)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E13)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end.
'un--compileLibrary'(V0, V1, V2, V3, V4, V5) -> begin (V34 = begin (V33 = (('Idris.Idris2.Prelude.IO':'un--putStrLn'('erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V6) -> fun (V7) -> fun (V8) -> fun (V9) -> fun (V10) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V8, V9, V10)) end end end end end, fun (V11) -> fun (V12) -> fun (V13) -> V12 end end end, fun (V14) -> fun (V15) -> fun (V16) -> fun (V17) -> fun (V18) -> begin (V19 = (V16(V18))), begin (V20 = (V17(V18))), (V19(V20)) end end end end end end end}, fun (V21) -> fun (V22) -> fun (V23) -> fun (V24) -> fun (V25) -> begin (V26 = (V23(V25))), ((V24(V26))(V25)) end end end end end end, fun (V27) -> fun (V28) -> fun (V29) -> begin (V30 = (V28(V29))), (V30(V29)) end end end end}, fun (V31) -> fun (V32) -> V32 end end}, <<"Compiling to library is not supported."/utf8>>))(V5))), {'Idris.Prelude.Types.Right', V33} end), case V34 of {'Idris.Prelude.Types.Left', E0} -> (fun (V35) -> {'Idris.Prelude.Types.Left', V35} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V36) -> {'Idris.Prelude.Types.Right', {'Idris.Prelude.Types.Nothing'}} end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end.
'un--compileExpr'(V0, V1, V2, V3, V4, V5) -> begin (V6 = ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V5, <<"_app"/utf8>>))), begin (V7 = ('Idris.Idris2.Utils.Path':'un--</>'(V3, V6))), fun (V8) -> begin (V10 = begin (V9 = (('Idris.Idris2.Core.Directory':'un--mkdirAll'(V7))(V8))), {'Idris.Prelude.Types.Right', V9} end), case V10 of {'Idris.Prelude.Types.Left', E0} -> (fun (V11) -> {'Idris.Prelude.Types.Left', V11} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V12) -> begin (V41 = begin (V40 = (('Idris.Idris2.Erlang.System.Directory':'un--currentDir'('erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V13) -> fun (V14) -> fun (V15) -> fun (V16) -> fun (V17) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V15, V16, V17)) end end end end end, fun (V18) -> fun (V19) -> fun (V20) -> V19 end end end, fun (V21) -> fun (V22) -> fun (V23) -> fun (V24) -> fun (V25) -> begin (V26 = (V23(V25))), begin (V27 = (V24(V25))), (V26(V27)) end end end end end end end}, fun (V28) -> fun (V29) -> fun (V30) -> fun (V31) -> fun (V32) -> begin (V33 = (V30(V32))), ((V31(V33))(V32)) end end end end end end, fun (V34) -> fun (V35) -> fun (V36) -> begin (V37 = (V35(V36))), (V37(V36)) end end end end}, fun (V38) -> fun (V39) -> V39 end end}))(V8))), {'Idris.Prelude.Types.Right', V40} end), case V41 of {'Idris.Prelude.Types.Left', E2} -> (fun (V42) -> {'Idris.Prelude.Types.Left', V42} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V43) -> case V43 of {'Idris.Prelude.Types.Just', E4} -> (fun (V44) -> begin (V46 = begin (V45 = {'Idris.Prelude.Types.Just', V44}), ('case--case block in compileExpr-2958'(V5, V4, V3, V2, V1, V0, V6, V7, V12, V44, V45, ('Idris.Idris2.System.Info':'un--isWindows'()))) end), begin (V47 = ('Idris.Idris2.Utils.Path':'un--</>'(V6, ('Idris.Idris2.Utils.Path':'un--<.>'(V5, <<"rkt"/utf8>>))))), begin (V48 = ('Idris.Idris2.Utils.Path':'un--</>'(V6, ('Idris.Idris2.Utils.Path':'un--<.>'(V5, V46))))), begin (V49 = ('Idris.Idris2.Utils.Path':'un--</>'(V44, ('Idris.Idris2.Utils.Path':'un--</>'(V3, V47))))), begin (V50 = ('Idris.Idris2.Utils.Path':'un--</>'(V44, ('Idris.Idris2.Utils.Path':'un--</>'(V3, V48))))), begin (V51 = ('un--compileToRKT'(V1, V7, V4, V49, V8))), case V51 of {'Idris.Prelude.Types.Left', E5} -> (fun (V52) -> {'Idris.Prelude.Types.Left', V52} end(E5)); {'Idris.Prelude.Types.Right', E6} -> (fun (V53) -> begin (V55 = begin (V54 = ('un--findRacoExe'(V8))), {'Idris.Prelude.Types.Right', V54} end), case V55 of {'Idris.Prelude.Types.Left', E7} -> (fun (V56) -> {'Idris.Prelude.Types.Left', V56} end(E7)); {'Idris.Prelude.Types.Right', E8} -> (fun (V57) -> begin (V59 = begin (V58 = ('un--findRacket'(V8))), {'Idris.Prelude.Types.Right', V58} end), case V59 of {'Idris.Prelude.Types.Left', E9} -> (fun (V60) -> {'Idris.Prelude.Types.Left', V60} end(E9)); {'Idris.Prelude.Types.Right', E10} -> (fun (V61) -> begin (V91 = case V0 of 0 -> ('Idris.Idris2.Core.Context.Log':'un--logTime'('erased', V1, fun () -> <<"Build racket"/utf8>> end, fun (V62) -> begin (V90 = (('Idris.Idris2.Erlang.System':'un--system'('erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V63) -> fun (V64) -> fun (V65) -> fun (V66) -> fun (V67) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V65, V66, V67)) end end end end end, fun (V68) -> fun (V69) -> fun (V70) -> V69 end end end, fun (V71) -> fun (V72) -> fun (V73) -> fun (V74) -> fun (V75) -> begin (V76 = (V73(V75))), begin (V77 = (V74(V75))), (V76(V77)) end end end end end end end}, fun (V78) -> fun (V79) -> fun (V80) -> fun (V81) -> fun (V82) -> begin (V83 = (V80(V82))), ((V81(V83))(V82)) end end end end end end, fun (V84) -> fun (V85) -> fun (V86) -> begin (V87 = (V85(V86))), (V87(V86)) end end end end}, fun (V88) -> fun (V89) -> V89 end end}, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V57, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" -o "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V50, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" "/utf8>>, V49))))))))))(V62))), {'Idris.Prelude.Types.Right', V90} end end, V8)); 1 -> {'Idris.Prelude.Types.Right', 0}; _ -> ('erlang':'throw'("Error: Unreachable branch")) end), case V91 of {'Idris.Prelude.Types.Left', E11} -> (fun (V92) -> {'Idris.Prelude.Types.Left', V92} end(E11)); {'Idris.Prelude.Types.Right', E12} -> (fun (V93) -> begin (V94 = {'Idris.Prelude.Types.Just', V44}), (('case--case block in compileExpr-3050'(V5, V4, V3, V2, V1, V0, V6, V7, V12, V44, V94, V46, V47, V48, V49, V50, V53, V57, V61, V93, ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V93, 0))))(V8)) end end(E12)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E8)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E6)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end end end end end(E4)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> ('Idris.Idris2.Core.Core':'dn--un--throw_Catchable__Core_Error'('erased', {'Idris.Core.Core.InternalError', <<"Can\x{27}t get current directory"/utf8>>}, V8)) end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end end.
'un--codegenRacket'() -> {'Idris.Compiler.Common.MkCG', fun (V0) -> fun (V1) -> fun (V2) -> fun (V3) -> fun (V4) -> ('un--compileExpr'(0, V0, V1, V2, V3, V4)) end end end end end, fun (V5) -> fun (V6) -> fun (V7) -> fun (V8) -> ('un--executeExpr'(V5, V6, V7, V8)) end end end end, fun (V9) -> fun (V10) -> fun (V11) -> fun (V12) -> fun (V13) -> fun (V14) -> ('un--compileLibrary'(V9, V10, V11, V12, V13, V14)) end end end end end end}.
'un--cftySpec'(V0, V1) -> case V1 of {'Idris.Core.CompileExpr.CFUnit'} -> (fun () -> fun (V2) -> {'Idris.Prelude.Types.Right', <<"_void"/utf8>>} end end()); {'Idris.Core.CompileExpr.CFInt'} -> (fun () -> fun (V3) -> {'Idris.Prelude.Types.Right', <<"_int"/utf8>>} end end()); {'Idris.Core.CompileExpr.CFUnsigned8'} -> (fun () -> fun (V4) -> {'Idris.Prelude.Types.Right', <<"_uint8"/utf8>>} end end()); {'Idris.Core.CompileExpr.CFUnsigned16'} -> (fun () -> fun (V5) -> {'Idris.Prelude.Types.Right', <<"_uint16"/utf8>>} end end()); {'Idris.Core.CompileExpr.CFUnsigned32'} -> (fun () -> fun (V6) -> {'Idris.Prelude.Types.Right', <<"_uint32"/utf8>>} end end()); {'Idris.Core.CompileExpr.CFUnsigned64'} -> (fun () -> fun (V7) -> {'Idris.Prelude.Types.Right', <<"_uint64"/utf8>>} end end()); {'Idris.Core.CompileExpr.CFString'} -> (fun () -> fun (V8) -> {'Idris.Prelude.Types.Right', <<"_string/utf-8"/utf8>>} end end()); {'Idris.Core.CompileExpr.CFDouble'} -> (fun () -> fun (V9) -> {'Idris.Prelude.Types.Right', <<"_double"/utf8>>} end end()); {'Idris.Core.CompileExpr.CFChar'} -> (fun () -> fun (V10) -> {'Idris.Prelude.Types.Right', <<"_int8"/utf8>>} end end()); {'Idris.Core.CompileExpr.CFPtr'} -> (fun () -> fun (V11) -> {'Idris.Prelude.Types.Right', <<"_pointer"/utf8>>} end end()); {'Idris.Core.CompileExpr.CFGCPtr'} -> (fun () -> fun (V12) -> {'Idris.Prelude.Types.Right', <<"_pointer"/utf8>>} end end()); {'Idris.Core.CompileExpr.CFBuffer'} -> (fun () -> fun (V13) -> {'Idris.Prelude.Types.Right', <<"_bytes"/utf8>>} end end()); {'Idris.Core.CompileExpr.CFIORes', E0} -> (fun (V14) -> ('un--cftySpec'(V0, V14)) end(E0)); {'Idris.Core.CompileExpr.CFStruct', E1, E2} -> (fun (V15, V16) -> fun (V17) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"_"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V15, <<"-pointer"/utf8>>))))} end end(E1, E2)); {'Idris.Core.CompileExpr.CFFun', E3, E4} -> (fun (V18, V19) -> ('nested--10074-784--in--un--funTySpec'(V19, V18, V0, [V18 | []], V19)) end(E3, E4)); _ -> fun (V20) -> ('Idris.Idris2.Core.Core':'dn--un--throw_Catchable__Core_Error'('erased', {'Idris.Core.Core.GenericMsg', V0, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"Can\x{27}t pass argument of type "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Core.CompileExpr':'dn--un--show_Show__CFType'(V1)), <<" to foreign function"/utf8>>))))}, V20)) end end.
'un--cToRkt'(V0, V1) -> case V0 of {'Idris.Core.CompileExpr.CFChar'} -> (fun () -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"(integer->char "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V1, <<")"/utf8>>)))) end()); _ -> V1 end.
'un--cCall'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of {'Idris.Core.CompileExpr.CFIORes', E4} -> (fun (V9) -> case V9 of {'Idris.Core.CompileExpr.CFGCPtr'} -> (fun () -> fun (V10) -> ('Idris.Idris2.Core.Core':'dn--un--throw_Catchable__Core_Error'('erased', {'Idris.Core.Core.GenericMsg', V4, <<"Can\x{27}t return GCPtr from a foreign function"/utf8>>}, V10)) end end()); {'Idris.Core.CompileExpr.CFBuffer'} -> (fun () -> fun (V11) -> ('Idris.Idris2.Core.Core':'dn--un--throw_Catchable__Core_Error'('erased', {'Idris.Core.Core.GenericMsg', V4, <<"Can\x{27}t return Buffer from a foreign function"/utf8>>}, V11)) end end()); _ -> fun (V12) -> begin (V41 = begin (V40 = (('Idris.Idris2.Erlang.Data.IORef':'un--readIORef'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V13) -> fun (V14) -> fun (V15) -> fun (V16) -> fun (V17) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V15, V16, V17)) end end end end end, fun (V18) -> fun (V19) -> fun (V20) -> V19 end end end, fun (V21) -> fun (V22) -> fun (V23) -> fun (V24) -> fun (V25) -> begin (V26 = (V23(V25))), begin (V27 = (V24(V25))), (V26(V27)) end end end end end end end}, fun (V28) -> fun (V29) -> fun (V30) -> fun (V31) -> fun (V32) -> begin (V33 = (V30(V32))), ((V31(V33))(V32)) end end end end end end, fun (V34) -> fun (V35) -> fun (V36) -> begin (V37 = (V35(V36))), (V37(V36)) end end end end}, fun (V38) -> fun (V39) -> V39 end end}, V2))(V12))), {'Idris.Prelude.Types.Right', V40} end), case V41 of {'Idris.Prelude.Types.Left', E5} -> (fun (V42) -> {'Idris.Prelude.Types.Left', V42} end(E5)); {'Idris.Prelude.Types.Right', E6} -> (fun (V43) -> begin (V72 = begin (V71 = (('Idris.Idris2.Erlang.Data.IORef':'un--readIORef'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V44) -> fun (V45) -> fun (V46) -> fun (V47) -> fun (V48) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V46, V47, V48)) end end end end end, fun (V49) -> fun (V50) -> fun (V51) -> V50 end end end, fun (V52) -> fun (V53) -> fun (V54) -> fun (V55) -> fun (V56) -> begin (V57 = (V54(V56))), begin (V58 = (V55(V56))), (V57(V58)) end end end end end end end}, fun (V59) -> fun (V60) -> fun (V61) -> fun (V62) -> fun (V63) -> begin (V64 = (V61(V63))), ((V62(V64))(V63)) end end end end end end, fun (V65) -> fun (V66) -> fun (V67) -> begin (V68 = (V66(V67))), (V68(V67)) end end end end}, fun (V69) -> fun (V70) -> V70 end end}, V0))(V12))), {'Idris.Prelude.Types.Right', V71} end), case V72 of {'Idris.Prelude.Types.Left', E7} -> (fun (V73) -> {'Idris.Prelude.Types.Left', V73} end(E7)); {'Idris.Prelude.Types.Right', E8} -> (fun (V74) -> (('case--cCall-1178'(V8, V7, V6, V5, V4, V3, V2, V1, V0, V43, V74, ('un--getLibVers'(V6))))(V12)) end(E8)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E6)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end end(E4)); {'Idris.Core.CompileExpr.CFGCPtr'} -> (fun () -> fun (V75) -> ('Idris.Idris2.Core.Core':'dn--un--throw_Catchable__Core_Error'('erased', {'Idris.Core.Core.GenericMsg', V4, <<"Can\x{27}t return GCPtr from a foreign function"/utf8>>}, V75)) end end()); {'Idris.Core.CompileExpr.CFBuffer'} -> (fun () -> fun (V76) -> ('Idris.Idris2.Core.Core':'dn--un--throw_Catchable__Core_Error'('erased', {'Idris.Core.Core.GenericMsg', V4, <<"Can\x{27}t return Buffer from a foreign function"/utf8>>}, V76)) end end()); _ -> fun (V77) -> begin (V106 = begin (V105 = (('Idris.Idris2.Erlang.Data.IORef':'un--readIORef'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V78) -> fun (V79) -> fun (V80) -> fun (V81) -> fun (V82) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V80, V81, V82)) end end end end end, fun (V83) -> fun (V84) -> fun (V85) -> V84 end end end, fun (V86) -> fun (V87) -> fun (V88) -> fun (V89) -> fun (V90) -> begin (V91 = (V88(V90))), begin (V92 = (V89(V90))), (V91(V92)) end end end end end end end}, fun (V93) -> fun (V94) -> fun (V95) -> fun (V96) -> fun (V97) -> begin (V98 = (V95(V97))), ((V96(V98))(V97)) end end end end end end, fun (V99) -> fun (V100) -> fun (V101) -> begin (V102 = (V100(V101))), (V102(V101)) end end end end}, fun (V103) -> fun (V104) -> V104 end end}, V2))(V77))), {'Idris.Prelude.Types.Right', V105} end), case V106 of {'Idris.Prelude.Types.Left', E0} -> (fun (V107) -> {'Idris.Prelude.Types.Left', V107} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V108) -> begin (V137 = begin (V136 = (('Idris.Idris2.Erlang.Data.IORef':'un--readIORef'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V109) -> fun (V110) -> fun (V111) -> fun (V112) -> fun (V113) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V111, V112, V113)) end end end end end, fun (V114) -> fun (V115) -> fun (V116) -> V115 end end end, fun (V117) -> fun (V118) -> fun (V119) -> fun (V120) -> fun (V121) -> begin (V122 = (V119(V121))), begin (V123 = (V120(V121))), (V122(V123)) end end end end end end end}, fun (V124) -> fun (V125) -> fun (V126) -> fun (V127) -> fun (V128) -> begin (V129 = (V126(V128))), ((V127(V129))(V128)) end end end end end end, fun (V130) -> fun (V131) -> fun (V132) -> begin (V133 = (V131(V132))), (V133(V132)) end end end end}, fun (V134) -> fun (V135) -> V135 end end}, V0))(V77))), {'Idris.Prelude.Types.Right', V136} end), case V137 of {'Idris.Prelude.Types.Left', E2} -> (fun (V138) -> {'Idris.Prelude.Types.Left', V138} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V139) -> (('case--cCall-1178'(V8, V7, V6, V5, V4, V3, V2, V1, V0, V108, V139, ('un--getLibVers'(V6))))(V77)) end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end.