-module('Idris.Idris2.Idris.Parser'). -compile('no_auto_import'). -compile('inline'). -compile({'inline_size',24}). -export([ 'case--nonEmptyCommand-16968'/1, 'case--help-16923'/1, 'case--setOption-15056'/1, 'case--progHdr-14794'/3, 'case--prog-14676'/4, 'case--import_-14553'/5, 'case--collectDefs-14404'/4, 'case--case block in collectDefs,spanMap-14357'/10, 'case--collectDefs,spanMap-14296'/9, 'case--topDecl-14171'/4, 'case--fixDecl-13810'/4, 'case--claim-13670'/4, 'case--recordParam-13340'/6, 'case--recordParam-13296'/8, 'case--fieldDecl,fieldBody-12864'/7, 'case--ifaceDecl-12505'/11, 'case--usingDecls-11500'/4, 'case--paramDecls-11310'/4, 'case--transformDecl-11067'/4, 'case--namespaceDecl-10947'/4, 'case--stripBraces,drop-9956'/5, 'case--dataDecl-9921'/4, 'case--dataDeclBody-9829'/4, 'case--dataBody-9691'/9, 'case--simpleData-9433'/7, 'case--simpleCon-9311'/6, 'case--mkDataConType-9177'/7, 'case--clause-9111'/5, 'case--parseRHS-8949'/9, 'case--parseRHS-8914'/10, 'case--tyDecl-8641'/6, 'case--doAct-8203'/6, 'case--doAct-8148'/5, 'case--validPatternVar-7825'/2, 'case--doBlock-7748'/4, 'case--rewrite_-7659'/4, 'case--if_-7352'/5, 'case--lambdaCase-7125'/4, 'case--case_-7029'/4, 'case--let_-6938'/4, 'case--let_-6911'/4, 'case--buildDoLets-6668'/11, 'case--letBinder-6504'/4, 'case--letBinder-6450'/4, 'case--pibindList-5852'/4, 'case--simplerExpr-5485'/4, 'case--simplerExpr-5463'/4, 'case--case block in simpleExpr-4887'/6, 'case--simpleExpr-4870'/4, 'case--case block in nonEmptyTuple,mergePairs-4646'/14, 'case--nonEmptyTuple,mergePairs-4612'/11, 'case--nonEmptyTuple,optionalPair-4509'/8, 'case--listExpr-4440'/6, 'case--bracketedExpr-4152'/6, 'case--bracketedExpr-4015'/6, 'case--dpairType-3680'/6, 'case--opExpr-3552'/5, 'case--opExpr-3529'/6, 'case--with_-3437'/4, 'case--argExpr-3079'/5, 'case--case block in argExpr-3057'/5, 'case--argExpr-3009'/4, 'case--appExpr-2935'/5, 'case--appExpr-2916'/5, 'case--pnoeq-2318'/1, 'nested--10557-14262--in--un--spanMap'/7, 'nested--10917-3267--in--un--singleName'/2, 'nested--10961-7459--in--un--recFieldCompat'/2, 'nested--16902-8992--in--un--parseWithArg'/3, 'nested--24370-16460--in--un--parse'/3, 'nested--24304-16387--in--un--parse'/3, 'nested--24257-16333--in--un--parse'/3, 'nested--24185-16253--in--un--parse'/3, 'nested--24086-16143--in--un--parse'/4, 'nested--24035-16085--in--un--parse'/3, 'nested--23984-16028--in--un--parse'/3, 'nested--23937-15975--in--un--parse'/3, 'nested--23890-15922--in--un--parse'/3, 'nested--23841-15867--in--un--parse'/3, 'nested--23801-15822--in--un--parse'/3, 'nested--10930-4475--in--un--optionalPair'/7, 'nested--24370-16459--in--un--names'/3, 'nested--24304-16386--in--un--names'/3, 'nested--24257-16332--in--un--names'/3, 'nested--24185-16252--in--un--names'/3, 'nested--24086-16142--in--un--names'/4, 'nested--24035-16084--in--un--names'/3, 'nested--23984-16027--in--un--names'/3, 'nested--23937-15974--in--un--names'/3, 'nested--23890-15921--in--un--names'/3, 'nested--23841-15866--in--un--names'/3, 'nested--23801-15821--in--un--names'/3, 'nested--10917-3268--in--un--nameList'/2, 'nested--10970-8390--in--un--mkPi'/5, 'nested--10930-4476--in--un--mergePairs'/9, 'nested--10930-4473--in--un--lams'/7, 'nested--10557-14263--in--un--isClause'/4, 'nested--10961-7458--in--un--fieldName'/3, 'nested--20881-12828--in--un--fieldBody'/4, 'nested--18172-9941--in--un--drop'/3, 'nested--21415-13375--in--un--ctor'/3, 'nested--10930-4474--in--un--buildOutput'/8, 'nested--10941-5642--in--un--binderName'/2, 'nested--10949-6303--in--un--bindAll'/4, 'nested--10914-2766--in--un--applyExpImp'/7, 'nested--16902-8991--in--un--applyArgs'/5, 'dn--un--show_Show__CmdArg'/1, 'dn--un--showPrec_Show__CmdArg'/2, 'dn--un--__Impl_Show_CmdArg'/0, 'un--with_'/2, 'un--withFlags'/0, 'un--whereBlock'/2, 'un--visibility'/0, 'un--visOption'/0, 'un--visOpt'/1, 'un--validPatternVar'/1, 'un--usingDecls'/2, 'un--typeExpr'/3, 'un--tyDecl'/3, 'un--tuple'/5, 'un--transformDecl'/2, 'un--totalityOpt'/0, 'un--topDecl'/2, 'un--stripBraces'/1, 'un--stringArgCmd'/3, 'un--simplerExpr'/2, 'un--simpleExpr'/2, 'un--simpleData'/5, 'un--simpleCon'/3, 'un--setVarOption'/0, 'un--setOption'/1, 'un--runParseCmd'/1, 'un--runElabDecl'/2, 'un--rewrite_'/2, 'un--replCmd'/1, 'un--record_'/2, 'un--recordParam'/2, 'un--recordDecl'/2, 'un--progHdr'/1, 'un--prog'/1, 'un--postfixApp'/2, 'un--pnowith'/0, 'un--pnoeq'/1, 'un--plhs'/0, 'un--pibindListName'/2, 'un--pibindList'/2, 'un--pibindAll'/4, 'un--pdef'/0, 'un--patAlt'/2, 'un--parserCommandsForHelp'/0, 'un--parseRHS'/7, 'un--parseMode'/0, 'un--paramDecls'/2, 'un--optArgCmd'/4, 'un--opExpr'/3, 'un--onoff'/0, 'un--onOffArgCmd'/3, 'un--nonEmptyTuple'/5, 'un--nonEmptyCommand'/0, 'un--noArgCmd'/3, 'un--nestedDpair'/4, 'un--namespaceHead'/0, 'un--namespaceDecl'/2, 'un--nameArgCmd'/3, 'un--mutualDecls'/2, 'un--multiplicity'/0, 'un--moduleArgCmd'/3, 'un--mkTyConType'/2, 'un--mkDataConType'/3, 'un--lowerFirst'/1, 'un--loggingArgCmd'/3, 'un--listRange'/5, 'un--listExpr'/4, 'un--let_'/2, 'un--letBinder'/2, 'un--lazy'/2, 'un--lambdaCase'/2, 'un--lam'/2, 'un--import_'/2, 'un--implicitPi'/2, 'un--implicitArg'/2, 'un--implDecl'/2, 'un--implBinds'/2, 'un--ifaceParam'/2, 'un--ifaceDecl'/2, 'un--if_'/2, 'un--ifThenElse'/4, 'un--iOperator'/0, 'un--help'/0, 'un--getVisibility'/2, 'un--getRight'/3, 'un--getMult'/1, 'un--getInitRange'/1, 'un--gadtData'/6, 'un--forall_'/2, 'un--fnOpt'/0, 'un--fnDirectOpt'/1, 'un--fixDecl'/2, 'un--fix'/0, 'un--fieldDecl'/2, 'un--field'/2, 'un--extractNames'/1, 'un--extension'/0, 'un--exprArgCmd'/3, 'un--expr'/3, 'un--explicitPi'/2, 'un--eval'/0, 'un--editCmd'/0, 'un--dpairType'/4, 'un--doBlock'/2, 'un--doAct'/2, 'un--directiveDecl'/2, 'un--directive'/2, 'un--definition'/2, 'un--defaultImplicitPi'/2, 'un--declsArgCmd'/3, 'un--dataOpt'/0, 'un--dataDeclBody'/2, 'un--dataDecl'/2, 'un--dataBody'/7, 'un--continueWith'/2, 'un--constraints'/2, 'un--compileArgsCmd'/3, 'un--commitKeyword'/2, 'un--command'/0, 'un--collectDefs'/1, 'un--clause'/3, 'un--claim'/2, 'un--case_'/2, 'un--caseRHS'/5, 'un--caseAlt'/2, 'un--buildLets'/3, 'un--buildDoLets'/2, 'un--bracketedExpr'/4, 'un--boundToFC'/3, 'un--binder'/2, 'un--bindSymbol'/0, 'un--bindList'/2, 'un--autoNumberArgCmd'/3, 'un--autoImplicitPi'/2, 'un--atom'/1, 'un--argExpr'/3, 'un--appExpr'/3 ]). 'case--nonEmptyCommand-16968'(V0) -> case V0 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V1, V2) -> case V2 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V3, V4) -> case V4 of {'Idris.Builtin.MkPair', E4, E5} -> (fun (V5, V6) -> V6 end(E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--help-16923'(V0) -> case V0 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V1, V2) -> case V2 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V3, V4) -> case V4 of {'Idris.Builtin.MkPair', E4, E5} -> (fun (V5, V6) -> {'Idris.Builtin.MkPair', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V7) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<":"/utf8>>, V7)) end, V1)), {'Idris.Builtin.MkPair', V3, V5}} end(E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--setOption-15056'(V0) -> case V0 of 0 -> fun () -> ('un--setVarOption'()) end; 1 -> fun () -> {'Idris.Text.Parser.Core.Fail', 0, <<"Unrecognised option"/utf8>>} end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--progHdr-14794'(V0, V1, V2) -> case V2 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V3, V4) -> case V4 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V5, V6) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.MkModule', ('un--boundToFC'('erased', V0, V1)), V5, V6, V3, []}} end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--prog-14676'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> case V5 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V6, V7) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.MkModule', ('un--boundToFC'('erased', V0, V1)), V6, V7, V4, ('un--collectDefs'((('Idris.Idris2.Prelude.Interfaces':'un--concat'('erased', 'erased', {'Idris.Builtin.MkPair', {'Idris.Prelude.Interfaces.dn--un--__mkFoldable', fun (V8) -> fun (V9) -> fun (V10) -> fun (V11) -> fun (V12) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldr_Foldable__List'('erased', 'erased', V10, V11, V12)) end end end end end, fun (V13) -> fun (V14) -> fun (V15) -> fun (V16) -> fun (V17) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldl_Foldable__List'('erased', 'erased', V15, V16, V17)) end end end end end}, {'Idris.Prelude.Interfaces.dn--un--__mkMonoid', fun (V18) -> fun (V19) -> ('Idris.Idris2.Prelude.Types':'dn--un--<+>_Semigroup__(List $a)'('erased', V18, V19)) end end, ('Idris.Idris2.Prelude.Types':'dn--un--neutral_Monoid__(List $a)'('erased'))}}))(V2))))}} end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--import_-14553'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V5, V6) -> case V6 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V7, V8) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.MkImport', ('un--boundToFC'('erased', V1, V2)), V5, V7, V8}} end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--collectDefs-14404'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> [{'Idris.Idris.Syntax.PDef', V1, ('Idris.Idris2.Prelude.Types.List':'un--++'('erased', V0, V4))} | ('un--collectDefs'(V5))] end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--case block in collectDefs,spanMap-14357'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> case V9 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V10, V11) -> {'Idris.Builtin.MkPair', ('Idris.Idris2.Prelude.Types.List':'un--++'('erased', V8, V10)), V11} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--collectDefs,spanMap-14296'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Builtin.MkPair', [], [V5 | V6]} end()); {'Idris.Prelude.Types.Just', E0} -> (fun (V9) -> ('case--case block in collectDefs,spanMap-14357'(V0, V1, V2, 'erased', 'erased', V6, V7, V5, V9, ('nested--10557-14262--in--un--spanMap'(V0, V1, V2, 'erased', 'erased', V7, V6)))) end(E0)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--topDecl-14171'(V0, V1, V2, V3) -> case V3 of {'Idris.Parser.Lexer.Source.CGDirective', E0} -> (fun (V4) -> {'Idris.Prelude.Types.Just', V4} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end. 'case--fixDecl-13810'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> case V5 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V6, V7) -> {'Idris.Text.Parser.Core.Empty', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V8) -> {'Idris.Idris.Syntax.PFixity', ('un--boundToFC'('erased', V1, V2)), V4, ('Idris.Idris2.Prelude.Types':'dn--un--fromInteger_Num__Nat'(V6)), V8} end, V7))} end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--claim-13670'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> case V5 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V6, V7) -> case V7 of {'Idris.Builtin.MkPair', E4, E5} -> (fun (V8, V9) -> case V9 of {'Idris.Builtin.MkPair', E6, E7} -> (fun (V10, V11) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.PClaim', ('un--boundToFC'('erased', V1, V2)), V10, V6, V8, V11}} end(E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--recordParam-13340'(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) -> {'Idris.Builtin.MkPair', case V8 of {'Idris.Text.Bounded.MkBounded', E4, E5, E6, E7, E8, E9} -> (fun (V10, V11, V12, V13, V14, V15) -> V10 end(E4, E5, E6, E7, E8, E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, {'Idris.Builtin.MkPair', V6, {'Idris.Builtin.MkPair', {'Idris.Core.TT.Explicit'}, V9}}} end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--recordParam-13296'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V8, V9) -> case V9 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V10, V11) -> {'Idris.Builtin.MkPair', case V10 of {'Idris.Text.Bounded.MkBounded', E4, E5, E6, E7, E8, E9} -> (fun (V12, V13, V14, V15, V16, V17) -> V12 end(E4, E5, E6, E7, E8, E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, {'Idris.Builtin.MkPair', V8, {'Idris.Builtin.MkPair', V4, V11}}} end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--fieldDecl,fieldBody-12864'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of 0 -> ('Idris.Idris2.Algebra.Semiring':'un--erased'('erased', {'Idris.Algebra.Semiring.dn--un--__mkSemiring', fun (V7) -> fun (V8) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|+|_Semiring__ZeroOneOmega'(V7, V8)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--plusNeutral_Semiring__ZeroOneOmega'()), fun (V9) -> fun (V10) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|*|_Semiring__ZeroOneOmega'(V9, V10)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--timesNeutral_Semiring__ZeroOneOmega'())})); 1 -> ('Idris.Idris2.Algebra.Semiring':'un--linear'('erased', {'Idris.Algebra.Semiring.dn--un--__mkSemiring', fun (V11) -> fun (V12) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|+|_Semiring__ZeroOneOmega'(V11, V12)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--plusNeutral_Semiring__ZeroOneOmega'()), fun (V13) -> fun (V14) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|*|_Semiring__ZeroOneOmega'(V13, V14)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--timesNeutral_Semiring__ZeroOneOmega'())})); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--ifaceDecl-12505'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10) -> case V10 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V11, V12) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V13) -> {'Idris.Builtin.MkPair', V13, V12} end, V11)) end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--usingDecls-11500'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.PUsing', ('un--boundToFC'('erased', V1, V2)), V4, ('un--collectDefs'((('Idris.Idris2.Prelude.Interfaces':'un--concat'('erased', 'erased', {'Idris.Builtin.MkPair', {'Idris.Prelude.Interfaces.dn--un--__mkFoldable', fun (V6) -> fun (V7) -> fun (V8) -> fun (V9) -> fun (V10) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldr_Foldable__List'('erased', 'erased', V8, V9, V10)) end end end end end, fun (V11) -> fun (V12) -> fun (V13) -> fun (V14) -> fun (V15) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldl_Foldable__List'('erased', 'erased', V13, V14, V15)) end end end end end}, {'Idris.Prelude.Interfaces.dn--un--__mkMonoid', fun (V16) -> fun (V17) -> ('Idris.Idris2.Prelude.Types':'dn--un--<+>_Semigroup__(List $a)'('erased', V16, V17)) end end, ('Idris.Idris2.Prelude.Types':'dn--un--neutral_Monoid__(List $a)'('erased'))}}))(V5))))}} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--paramDecls-11310'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.PParameters', ('un--boundToFC'('erased', V1, V2)), V4, ('un--collectDefs'((('Idris.Idris2.Prelude.Interfaces':'un--concat'('erased', 'erased', {'Idris.Builtin.MkPair', {'Idris.Prelude.Interfaces.dn--un--__mkFoldable', fun (V6) -> fun (V7) -> fun (V8) -> fun (V9) -> fun (V10) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldr_Foldable__List'('erased', 'erased', V8, V9, V10)) end end end end end, fun (V11) -> fun (V12) -> fun (V13) -> fun (V14) -> fun (V15) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldl_Foldable__List'('erased', 'erased', V13, V14, V15)) end end end end end}, {'Idris.Prelude.Interfaces.dn--un--__mkMonoid', fun (V16) -> fun (V17) -> ('Idris.Idris2.Prelude.Types':'dn--un--<+>_Semigroup__(List $a)'('erased', V16, V17)) end end, ('Idris.Idris2.Prelude.Types':'dn--un--neutral_Monoid__(List $a)'('erased'))}}))(V5))))}} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--transformDecl-11067'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> case V5 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V6, V7) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.PTransform', ('un--boundToFC'('erased', V1, V2)), V4, V6, V7}} end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--namespaceDecl-10947'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> case V5 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V6, V7) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.PNamespace', ('un--boundToFC'('erased', V1, V2)), V6, (('Idris.Idris2.Prelude.Interfaces':'un--concat'('erased', 'erased', {'Idris.Builtin.MkPair', {'Idris.Prelude.Interfaces.dn--un--__mkFoldable', fun (V8) -> fun (V9) -> fun (V10) -> fun (V11) -> fun (V12) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldr_Foldable__List'('erased', 'erased', V10, V11, V12)) end end end end end, fun (V13) -> fun (V14) -> fun (V15) -> fun (V16) -> fun (V17) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldl_Foldable__List'('erased', 'erased', V15, V16, V17)) end end end end end}, {'Idris.Prelude.Interfaces.dn--un--__mkMonoid', fun (V18) -> fun (V19) -> ('Idris.Idris2.Prelude.Types':'dn--un--<+>_Semigroup__(List $a)'('erased', V18, V19)) end end, ('Idris.Idris2.Prelude.Types':'dn--un--neutral_Monoid__(List $a)'('erased'))}}))(V7))}} end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--stripBraces,drop-9956'(V0, V1, V2, V3, V4) -> case V4 of 0 -> ('nested--18172-9941--in--un--drop'(V0, V3, V2)); 1 -> [V1 | V2]; _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--dataDecl-9921'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> case V5 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V6, V7) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.PData', ('un--boundToFC'('erased', V1, V2)), V4, V6, V7}} end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--dataDeclBody-9829'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> {'Idris.Text.Parser.Core.Alt', 0, 0, ('un--simpleData'('erased', V1, V2, V5, V0)), fun () -> ('un--gadtData'('erased', V1, V4, V2, V5, V0)) end} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--dataBody-9691'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V9, V10) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.MkPData', ('un--boundToFC'('erased', V6, ('Idris.Idris2.Text.Bounded':'un--mergeBounds'('erased', 'erased', V4, V7)))), V3, V1, V9, V10}} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--simpleData-9433'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V7, V8) -> case V8 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V9, V10) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.MkPData', ('un--boundToFC'('erased', V4, ('Idris.Idris2.Text.Bounded':'un--mergeBounds'('erased', 'erased', V3, V5)))), V2, ('un--mkTyConType'(V9, V7)), [], V10}} end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--simpleCon-9311'(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) -> {'Idris.Text.Parser.Core.Empty', begin (V10 = ('un--boundToFC'('erased', V2, V3))), {'Idris.Idris.Syntax.MkPTy', V10, V8, V6, ('un--mkDataConType'(V10, V1, V9))} end} end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--mkDataConType-9177'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of 0 -> {'Idris.Idris.Syntax.PPi', V5, ('Idris.Idris2.Algebra.Semiring':'un--linear'('erased', {'Idris.Algebra.Semiring.dn--un--__mkSemiring', fun (V7) -> fun (V8) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|+|_Semiring__ZeroOneOmega'(V7, V8)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--plusNeutral_Semiring__ZeroOneOmega'()), fun (V9) -> fun (V10) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|*|_Semiring__ZeroOneOmega'(V9, V10)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--timesNeutral_Semiring__ZeroOneOmega'())})), {'Idris.Core.TT.Implicit'}, V2, {'Idris.Idris.Syntax.PType', V1}, ('un--mkDataConType'(V5, V4, V3))}; 1 -> {'Idris.Idris.Syntax.PPi', V5, ('Idris.Idris2.Algebra.Semiring':'un--linear'('erased', {'Idris.Algebra.Semiring.dn--un--__mkSemiring', fun (V11) -> fun (V12) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|+|_Semiring__ZeroOneOmega'(V11, V12)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--plusNeutral_Semiring__ZeroOneOmega'()), fun (V13) -> fun (V14) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|*|_Semiring__ZeroOneOmega'(V13, V14)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--timesNeutral_Semiring__ZeroOneOmega'())})), {'Idris.Core.TT.Implicit'}, V2, {'Idris.Idris.Syntax.PRef', V1, V0}, ('un--mkDataConType'(V5, V4, V3))}; _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--clause-9111'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V5, V6) -> case V6 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V7, V8) -> ('un--ifThenElse'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--/=_Eq__Nat'(V2, ('Idris.Idris2.Prelude.Types.List':'un--length'('erased', V8)))), fun () -> {'Idris.Text.Parser.Core.Fail', 0, <<"Wrong number of \x{27}with\x{27} arguments"/utf8>>} end, fun () -> ('un--parseRHS'('erased', V2, V1, V3, V5, V0, ('nested--16902-8991--in--un--applyArgs'(V0, V1, V2, V7, V8)))) end)) end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--parseRHS-8949'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V9, V10) -> case V10 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V11, V12) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.MkWithClause', ('un--boundToFC'('erased', V5, ('Idris.Idris2.Text.Bounded':'un--mergeBounds'('erased', 'erased', V4, V7)))), V1, V11, case V9 of {'Idris.Text.Bounded.MkBounded', E4, E5, E6, E7, E8, E9} -> (fun (V13, V14, V15, V16, V17, V18) -> V13 end(E4, E5, E6, E7, E8, E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, V12}} end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--parseRHS-8914'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> case V9 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V10, V11) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.MkPatClause', ('un--boundToFC'('erased', V5, ('Idris.Idris2.Text.Bounded':'un--mergeBounds'('erased', 'erased', V4, V7)))), V1, V10, V11}} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--tyDecl-8641'(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) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.MkPTy', ('un--boundToFC'('erased', V1, V3)), V8, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V2, V6)), V9}} end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--doAct-8203'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V6, V7) -> {'Idris.Text.Parser.Core.Empty', [{'Idris.Idris.Syntax.DoBindPat', ('un--boundToFC'('erased', V1, ('Idris.Idris2.Text.Bounded':'un--mergeBounds'('erased', 'erased', V2, V3)))), case V2 of {'Idris.Text.Bounded.MkBounded', E2, E3, E4, E5, E6, E7} -> (fun (V8, V9, V10, V11, V12, V13) -> V8 end(E2, E3, E4, E5, E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, V6, V7} | []]} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--doAct-8148'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V5, V6) -> {'Idris.Text.Parser.Core.Empty', [{'Idris.Idris.Syntax.DoBind', ('un--boundToFC'('erased', V1, V2)), V5, V6} | []]} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--validPatternVar-7825'(V0, V1) -> case V1 of 0 -> {'Idris.Text.Parser.Core.Empty', {'Idris.Builtin.MkUnit'}}; 1 -> {'Idris.Text.Parser.Core.Fail', 1, <<"Not a pattern variable"/utf8>>}; _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--doBlock-7748'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> case V5 of <<"do"/utf8>> -> {'Idris.Text.Parser.Core.SeqEmpty', 1, 1, {'Idris.Text.Parser.Core.Commit'}, fun (V6) -> {'Idris.Text.Parser.Core.SeqEmpty', 1, 1, {'Idris.Text.Parser.Core.Bounds', ('Idris.Idris2.Parser.Rule.Source':'un--block'('erased', fun (V7) -> ('un--doAct'(V1, V7)) end))}, fun (V8) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.PDoBlock', ('un--boundToFC'('erased', V1, ('Idris.Idris2.Text.Bounded':'un--mergeBounds'('erased', 'erased', V2, V8)))), V4, (('Idris.Idris2.Prelude.Interfaces':'un--concat'('erased', 'erased', {'Idris.Builtin.MkPair', {'Idris.Prelude.Interfaces.dn--un--__mkFoldable', fun (V15) -> fun (V16) -> fun (V17) -> fun (V18) -> fun (V19) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldr_Foldable__List'('erased', 'erased', V17, V18, V19)) end end end end end, fun (V20) -> fun (V21) -> fun (V22) -> fun (V23) -> fun (V24) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldl_Foldable__List'('erased', 'erased', V22, V23, V24)) end end end end end}, {'Idris.Prelude.Interfaces.dn--un--__mkMonoid', fun (V25) -> fun (V26) -> ('Idris.Idris2.Prelude.Types':'dn--un--<+>_Semigroup__(List $a)'('erased', V25, V26)) end end, ('Idris.Idris2.Prelude.Types':'dn--un--neutral_Monoid__(List $a)'('erased'))}}))(case V8 of {'Idris.Text.Bounded.MkBounded', E2, E3, E4, E5, E6, E7} -> (fun (V9, V10, V11, V12, V13, V14) -> V9 end(E2, E3, E4, E5, E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end))}} end} end}; _ -> {'Idris.Text.Parser.Core.Fail', 1, <<"Not a namespaced \x{27}do\x{27}"/utf8>>} end end(E0, E1)); _ -> {'Idris.Text.Parser.Core.Fail', 1, <<"Not a namespaced \x{27}do\x{27}"/utf8>>} end. 'case--rewrite_-7659'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.PRewrite', ('un--boundToFC'('erased', V1, V2)), V4, V5}} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--if_-7352'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V5, V6) -> case V6 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V7, V8) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.PIfThenElse', ('un--boundToFC'('erased', V1, V2)), V5, V7, V8}} end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--lambdaCase-7125'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> {'Idris.Text.Parser.Core.Empty', begin (V6 = ('un--boundToFC'('erased', V1, V2))), begin (V7 = ('un--boundToFC'('erased', V1, V4))), begin (V8 = {'Idris.Core.Name.MN', <<"lcase"/utf8>>, 0}), {'Idris.Idris.Syntax.PLam', V7, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--top_Top__ZeroOneOmega'()), {'Idris.Core.TT.Explicit'}, {'Idris.Idris.Syntax.PRef', V7, V8}, {'Idris.Idris.Syntax.PInfer', V7}, {'Idris.Idris.Syntax.PCase', V6, {'Idris.Idris.Syntax.PRef', V7, V8}, V5}} end end end} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--case_-7029'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.PCase', ('un--boundToFC'('erased', V1, V2)), V4, V5}} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--let_-6938'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> {'Idris.Text.Parser.Core.Empty', ('un--buildLets'(V1, V4, V5))} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--let_-6911'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.PLocal', ('un--boundToFC'('erased', V1, V2)), ('un--collectDefs'((('Idris.Idris2.Prelude.Interfaces':'un--concat'('erased', 'erased', {'Idris.Builtin.MkPair', {'Idris.Prelude.Interfaces.dn--un--__mkFoldable', fun (V6) -> fun (V7) -> fun (V8) -> fun (V9) -> fun (V10) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldr_Foldable__List'('erased', 'erased', V8, V9, V10)) end end end end end, fun (V11) -> fun (V12) -> fun (V13) -> fun (V14) -> fun (V15) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldl_Foldable__List'('erased', 'erased', V13, V14, V15)) end end end end end}, {'Idris.Prelude.Interfaces.dn--un--__mkMonoid', fun (V16) -> fun (V17) -> ('Idris.Idris2.Prelude.Types':'dn--un--<+>_Semigroup__(List $a)'('erased', V16, V17)) end end, ('Idris.Idris2.Prelude.Types':'dn--un--neutral_Monoid__(List $a)'('erased'))}}))(V4)))), V5}} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--buildDoLets-6668'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10) -> case V10 of 0 -> [{'Idris.Idris.Syntax.DoLet', V9, {'Idris.Core.Name.UN', V3}, V2, V5, V6} | ('un--buildDoLets'(V8, V7))]; 1 -> [{'Idris.Idris.Syntax.DoLetPat', V9, {'Idris.Idris.Syntax.PRef', V4, {'Idris.Core.Name.UN', V3}}, V5, V6, []} | ('un--buildDoLets'(V8, V7))]; _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--letBinder-6504'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> {'Idris.Text.Parser.Core.SeqEmpty', 1, 0, ('Idris.Idris2.Text.Parser':'un--option'('erased', 'erased', ('Idris.Idris2.Prelude.Basics':'un--||'(0, fun () -> 0 end)), {'Idris.Idris.Syntax.PImplicit', ('un--boundToFC'('erased', V1, V2))}, {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<":"/utf8>>)), fun () -> fun (V6) -> ('un--typeExpr'(('un--pnoeq'(('un--pdef'()))), V1, V0)) end end})), fun (V7) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<"="/utf8>>)), fun () -> fun (V8) -> {'Idris.Text.Parser.Core.SeqEat', 1, ('un--expr'(('un--pnowith'()), V1, V0)), fun () -> fun (V9) -> {'Idris.Text.Parser.Core.SeqEmpty', 1, 1, ('Idris.Idris2.Parser.Rule.Source':'un--block'('erased', fun (V10) -> ('un--patAlt'(V1, V10)) end)), fun (V11) -> {'Idris.Text.Parser.Core.SeqEmpty', 1, 1, ('un--getMult'(V4)), fun (V12) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Builtin.MkPair', V12, {'Idris.Builtin.MkPair', V5, {'Idris.Builtin.MkPair', V7, {'Idris.Builtin.MkPair', V9, V11}}}}} end} end} end end} end end} end} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--letBinder-6450'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> case V5 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V6, V7) -> case V7 of {'Idris.Builtin.MkPair', E4, E5} -> (fun (V8, V9) -> case V9 of {'Idris.Builtin.MkPair', E6, E7} -> (fun (V10, V11) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Builtin.MkPair', ('Idris.Idris2.Text.Bounded':'un--start'('erased', V2)), {'Idris.Builtin.MkPair', ('Idris.Idris2.Text.Bounded':'un--end'('erased', V2)), {'Idris.Builtin.MkPair', V4, {'Idris.Builtin.MkPair', V6, {'Idris.Builtin.MkPair', V8, {'Idris.Builtin.MkPair', V10, V11}}}}}}} end(E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--pibindList-5852'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> case V5 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V6, V7) -> {'Idris.Builtin.MkPair', V4, {'Idris.Builtin.MkPair', ('Idris.Idris2.Text.Bounded':'dn--un--map_Functor__WithBounds'('erased', 'erased', fun (V8) -> {'Idris.Prelude.Types.Just', V8} end, V6)), V7}} end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--simplerExpr-5485'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.PAs', ('un--boundToFC'('erased', V1, V2)), {'Idris.Core.Name.UN', V4}, V5}} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--simplerExpr-5463'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.PUnifyLog', ('un--boundToFC'('erased', V1, V2)), V4, V5}} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--case block in simpleExpr-4887'(V0, V1, V2, V3, V4, V5) -> case V4 of [] -> V3; _ -> {'Idris.Idris.Syntax.PPostfixProjs', ('un--boundToFC'('erased', V1, V2)), V3, V4} end. 'case--simpleExpr-4870'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> {'Idris.Text.Parser.Core.Empty', case V5 of [] -> V4; _ -> {'Idris.Idris.Syntax.PPostfixProjs', ('un--boundToFC'('erased', V1, V2)), V4, V5} end} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--case block in nonEmptyTuple,mergePairs-4646'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13) -> case V13 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V14, V15) -> {'Idris.Builtin.MkPair', ('Idris.Idris2.Prelude.Types.List':'un--++'('erased', V11, V14)), {'Idris.Idris.Syntax.PPair', ('un--boundToFC'('erased', V4, ('Idris.Idris2.Text.Bounded':'un--mergeBounds'('erased', 'erased', V6, V8)))), V12, V15}} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--nonEmptyTuple,mergePairs-4612'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10) -> case V10 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V11, V12) -> case V12 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V13, V14) -> ('case--case block in nonEmptyTuple,mergePairs-4646'('erased', V1, V2, V3, V4, 'erased', V6, V7, V8, V9, V11, V13, V14, ('nested--10930-4476--in--un--mergePairs'('erased', V1, V2, V3, V4, 'erased', V11, V8, V7)))) end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--nonEmptyTuple,optionalPair-4509'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of {'Idris.Prelude.Types.Just', E0} -> (fun (V8) -> {'Idris.Builtin.MkPair', V6, {'Idris.Builtin.MkPair', [], case V8 of {'Idris.Text.Bounded.MkBounded', E1, E2, E3, E4, E5, E6} -> (fun (V9, V10, V11, V12, V13, V14) -> V9 end(E1, E2, E3, E4, E5, E6)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end}} end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> begin (V15 = ('un--boundToFC'('erased', V4, V5))), begin (V16 = {'Idris.Idris.Syntax.PRef', V15, {'Idris.Core.Name.MN', <<"__infixTupleSection"/utf8>>, V6}}), {'Idris.Builtin.MkPair', ((V6 + 1) rem 9223372036854775808), {'Idris.Builtin.MkPair', [{'Idris.Builtin.MkPair', V15, V16} | []], V16}} end end end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--listExpr-4440'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V6, V7) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.PComprehension', ('un--boundToFC'('erased', V3, ('Idris.Idris2.Text.Bounded':'un--mergeBounds'('erased', 'erased', V2, V4)))), V6, (('Idris.Idris2.Prelude.Interfaces':'un--concat'('erased', 'erased', {'Idris.Builtin.MkPair', {'Idris.Prelude.Interfaces.dn--un--__mkFoldable', fun (V8) -> fun (V9) -> fun (V10) -> fun (V11) -> fun (V12) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldr_Foldable__List'('erased', 'erased', V10, V11, V12)) end end end end end, fun (V13) -> fun (V14) -> fun (V15) -> fun (V16) -> fun (V17) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldl_Foldable__List'('erased', 'erased', V15, V16, V17)) end end end end end}, {'Idris.Prelude.Interfaces.dn--un--__mkMonoid', fun (V18) -> fun (V19) -> ('Idris.Idris2.Prelude.Types':'dn--un--<+>_Semigroup__(List $a)'('erased', V18, V19)) end end, ('Idris.Idris2.Prelude.Types':'dn--un--neutral_Monoid__(List $a)'('erased'))}}))(V7))}} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--bracketedExpr-4152'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V6, V7) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.PSectionL', ('un--boundToFC'('erased', V3, ('Idris.Idris2.Text.Bounded':'un--mergeBounds'('erased', 'erased', V2, V4)))), V6, V7}} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--bracketedExpr-4015'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V6, V7) -> {'Idris.Text.Parser.Core.SeqEat', 1, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<")"/utf8>>)), fun () -> fun (V8) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.PPostfixProjsSection', ('un--boundToFC'('erased', V3, V4)), V6, V7}} end end} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--dpairType-3680'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V6, V7) -> {'Idris.Text.Parser.Core.Alt', ('Idris.Idris2.Prelude.Basics':'un--||'(0, fun () -> 0 end)), 1, {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<"**"/utf8>>)), fun () -> fun (V8) -> {'Idris.Text.Parser.Core.SeqEat', 1, {'Idris.Text.Parser.Core.Bounds', {'Idris.Text.Parser.Core.Alt', 0, 0, ('un--nestedDpair'('erased', V3, V4, V1)), fun () -> ('un--expr'(('un--pdef'()), V3, V1)) end}}, fun () -> fun (V9) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.PDPair', ('un--boundToFC'('erased', V3, ('Idris.Idris2.Text.Bounded':'un--mergeBounds'('erased', 'erased', V2, V9)))), {'Idris.Idris.Syntax.PRef', ('un--boundToFC'('erased', V3, V4)), {'Idris.Core.Name.UN', V6}}, V7, case V9 of {'Idris.Text.Bounded.MkBounded', E2, E3, E4, E5, E6, E7} -> (fun (V10, V11, V12, V13, V14, V15) -> V10 end(E2, E3, E4, E5, E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end}} end end} end end}, fun () -> {'Idris.Text.Parser.Core.Empty', V7} end} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--opExpr-3552'(V0, V1, V2, V3, V4) -> case V4 of 0 -> case ('Idris.Idris2.Prelude.Basics':'un--||'(0, fun () -> 0 end)) of 1 -> {'Idris.Text.Parser.Core.SeqEmpty', 1, 1, {'Idris.Text.Parser.Core.Bounds', {'Idris.Text.Parser.Core.SeqEmpty', 0, 0, ('Idris.Idris2.Text.Parser.Core':'dn--un--map_Functor__((Grammar $tok) $c)'('erased', 'erased', 'erased', 0, fun (V5) -> fun (V6) -> V6 end end, {'Idris.Text.Parser.Core.SeqEmpty', 1, 0, ('Idris.Idris2.Text.Parser.Core':'dn--un--map_Functor__((Grammar $tok) $c)'('erased', 'erased', 'erased', 1, fun (V7) -> fun (V8) -> V8 end end, ('Idris.Idris2.Parser.Rule.Source':'un--continue'(V0)))), fun (V9) -> ('Idris.Idris2.Text.Parser.Core':'dn--un--map_Functor__((Grammar $tok) $c)'('erased', 'erased', 'erased', 0, V9, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<"="/utf8>>)))) end})), fun (V10) -> ('Idris.Idris2.Text.Parser.Core':'dn--un--map_Functor__((Grammar $tok) $c)'('erased', 'erased', 'erased', 0, V10, ('un--opExpr'(V2, V1, V0)))) end}}, fun () -> fun (V11) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.POp', ('un--boundToFC'('erased', V1, ('Idris.Idris2.Text.Bounded':'un--mergeBounds'('erased', 'erased', V3, V11)))), {'Idris.Core.Name.UN', <<"="/utf8>>}, case V3 of {'Idris.Text.Bounded.MkBounded', E0, E1, E2, E3, E4, E5} -> (fun (V12, V13, V14, V15, V16, V17) -> V12 end(E0, E1, E2, E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, case V11 of {'Idris.Text.Bounded.MkBounded', E6, E7, E8, E9, E10, E11} -> (fun (V18, V19, V20, V21, V22, V23) -> V18 end(E6, E7, E8, E9, E10, E11)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end}} end end}; 0 -> {'Idris.Text.Parser.Core.SeqEat', 1, {'Idris.Text.Parser.Core.Bounds', {'Idris.Text.Parser.Core.SeqEmpty', 0, 0, ('Idris.Idris2.Text.Parser.Core':'dn--un--map_Functor__((Grammar $tok) $c)'('erased', 'erased', 'erased', 0, fun (V24) -> fun (V25) -> V25 end end, {'Idris.Text.Parser.Core.SeqEmpty', 1, 0, ('Idris.Idris2.Text.Parser.Core':'dn--un--map_Functor__((Grammar $tok) $c)'('erased', 'erased', 'erased', 1, fun (V26) -> fun (V27) -> V27 end end, ('Idris.Idris2.Parser.Rule.Source':'un--continue'(V0)))), fun (V28) -> ('Idris.Idris2.Text.Parser.Core':'dn--un--map_Functor__((Grammar $tok) $c)'('erased', 'erased', 'erased', 0, V28, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<"="/utf8>>)))) end})), fun (V29) -> ('Idris.Idris2.Text.Parser.Core':'dn--un--map_Functor__((Grammar $tok) $c)'('erased', 'erased', 'erased', 0, V29, ('un--opExpr'(V2, V1, V0)))) end}}, fun () -> fun (V30) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.POp', ('un--boundToFC'('erased', V1, ('Idris.Idris2.Text.Bounded':'un--mergeBounds'('erased', 'erased', V3, V30)))), {'Idris.Core.Name.UN', <<"="/utf8>>}, case V3 of {'Idris.Text.Bounded.MkBounded', E12, E13, E14, E15, E16, E17} -> (fun (V31, V32, V33, V34, V35, V36) -> V31 end(E12, E13, E14, E15, E16, E17)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, case V30 of {'Idris.Text.Bounded.MkBounded', E18, E19, E20, E21, E22, E23} -> (fun (V37, V38, V39, V40, V41, V42) -> V37 end(E18, E19, E20, E21, E22, E23)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end}} end end}; _ -> ('erlang':'throw'("Error: Unreachable branch")) end; 1 -> {'Idris.Text.Parser.Core.Fail', 1, <<"= not allowed"/utf8>>}; _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--opExpr-3529'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V6, V7) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.POp', ('un--boundToFC'('erased', V1, ('Idris.Idris2.Text.Bounded':'un--mergeBounds'('erased', 'erased', V3, V4)))), V6, case V3 of {'Idris.Text.Bounded.MkBounded', E2, E3, E4, E5, E6, E7} -> (fun (V8, V9, V10, V11, V12, V13) -> V8 end(E2, E3, E4, E5, E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, V7}} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--with_-3437'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.PWithUnambigNames', ('un--boundToFC'('erased', V1, V2)), V4, V5}} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--argExpr-3079'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Idris.Syntax.PHole', E0, E1, E2} -> (fun (V5, V6, V7) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Parser.ExpArg', {'Idris.Idris.Syntax.PHole', V5, 0, V7}}} end(E0, E1, E2)); _ -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Parser.ExpArg', V4}} end. 'case--case block in argExpr-3057'(V0, V1, V2, V3, V4) -> case V2 of {'Idris.Idris.Parser.MkParseOpts', E0, E1} -> (fun (V5, V6) -> {'Idris.Idris.Parser.MkParseOpts', V5, 1} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--argExpr-3009'(V0, V1, V2, V3) -> case V3 of 0 -> fun () -> {'Idris.Text.Parser.Core.SeqEmpty', 1, 0, ('Idris.Idris2.Parser.Rule.Source':'un--continue'(V0)), fun (V4) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<"|"/utf8>>)), fun () -> fun (V5) -> {'Idris.Text.Parser.Core.SeqEat', 1, ('un--expr'(case V2 of {'Idris.Idris.Parser.MkParseOpts', E0, E1} -> (fun (V6, V7) -> {'Idris.Idris.Parser.MkParseOpts', V6, 1} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, V1, V0)), fun () -> fun (V8) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Parser.WithArg', V8}} end end} end end} end} end; 1 -> fun () -> {'Idris.Text.Parser.Core.Fail', 1, <<"| not allowed here"/utf8>>} end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--appExpr-2935'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V5, V6) -> {'Idris.Text.Parser.Core.Empty', ('nested--10914-2766--in--un--applyExpImp'(V0, V1, V2, ('Idris.Idris2.Text.Bounded':'un--start'('erased', V3)), ('Idris.Idris2.Text.Bounded':'un--end'('erased', V3)), V5, V6))} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--appExpr-2916'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V5, V6) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Idris.Syntax.PPrefixOp', ('un--boundToFC'('erased', V1, V3)), V5, V6}} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'case--pnoeq-2318'(V0) -> case V0 of {'Idris.Idris.Parser.MkParseOpts', E0, E1} -> (fun (V1, V2) -> {'Idris.Idris.Parser.MkParseOpts', 1, V2} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'nested--10557-14262--in--un--spanMap'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of [] -> {'Idris.Builtin.MkPair', [], []}; [E0 | E1] -> (fun (V7, V8) -> ('case--collectDefs,spanMap-14296'(V0, V1, V2, 'erased', 'erased', V7, V8, V5, (V5(V7)))) end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'nested--10917-3267--in--un--singleName'(V0, V1) -> {'Idris.Text.Parser.Core.SeqEat', 1, ('Idris.Idris2.Parser.Rule.Source':'un--name'()), fun () -> fun (V2) -> {'Idris.Text.Parser.Core.Empty', [V2 | []]} end end}. 'nested--10961-7459--in--un--recFieldCompat'(V0, V1) -> {'Idris.Text.Parser.Core.Alt', 0, ('Idris.Idris2.Prelude.Basics':'un--||'(0, fun () -> 0 end)), ('Idris.Idris2.Parser.Rule.Source':'un--dotIdent'()), fun () -> {'Idris.Text.Parser.Core.SeqEmpty', 0, 0, ('Idris.Idris2.Text.Parser.Core':'dn--un--map_Functor__((Grammar $tok) $c)'('erased', 'erased', 'erased', 0, fun (V2) -> fun (V3) -> V3 end end, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<"->"/utf8>>)))), fun (V4) -> ('Idris.Idris2.Text.Parser.Core':'dn--un--map_Functor__((Grammar $tok) $c)'('erased', 'erased', 'erased', 0, V4, ('Idris.Idris2.Parser.Rule.Source':'un--name'()))) end} end}. 'nested--16902-8992--in--un--parseWithArg'(V0, V1, V2) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<"|"/utf8>>)), fun () -> fun (V3) -> {'Idris.Text.Parser.Core.SeqEat', 1, {'Idris.Text.Parser.Core.Bounds', ('un--expr'(('un--plhs'()), V1, V0))}, fun () -> fun (V4) -> {'Idris.Text.Parser.Core.Empty', {'Idris.Builtin.MkPair', ('un--boundToFC'('erased', V1, V4)), case V4 of {'Idris.Text.Bounded.MkBounded', E0, E1, E2, E3, E4, E5} -> (fun (V5, V6, V7, V8, V9, V10) -> V5 end(E0, E1, E2, E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end}} end end} end end}. 'nested--24370-16460--in--un--parse'(V0, V1, V2) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<":"/utf8>>)), fun () -> fun (V3) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('un--runParseCmd'(V2)), fun () -> fun (V4) -> {'Idris.Text.Parser.Core.SeqEmpty', 1, 0, ('Idris.Idris2.Text.Parser':'un--optional'('erased', 'erased', ('Idris.Idris2.Prelude.Basics':'un--||'(0, fun () -> 1 end)), {'Idris.Text.Parser.Core.SeqEmpty', 0, 1, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V5) -> fun (V6) -> fun (V7) -> fun (V8) -> ('Idris.Idris2.Text.Parser.Core':'dn--un--map_Functor__((Grammar $tok) $c)'('erased', 'erased', 'erased', 0, V7, V8)) end end end end, fun (V9) -> fun (V10) -> {'Idris.Data.List1.:::', V9, V10} end end, ('Idris.Idris2.Parser.Rule.Source':'un--unqualifiedName'()))), fun (V11) -> ('Idris.Idris2.Text.Parser.Core':'dn--un--map_Functor__((Grammar $tok) $c)'('erased', 'erased', 'erased', 1, V11, ('Idris.Idris2.Text.Parser':'un--many'('erased', 'erased', ('Idris.Idris2.Parser.Rule.Source':'un--aDotIdent'()))))) end})), fun (V12) -> {'Idris.Text.Parser.Core.SeqEat', 1, ('Idris.Idris2.Parser.Rule.Source':'un--intLit'()), fun () -> fun (V13) -> {'Idris.Text.Parser.Core.Empty', (V1(('Idris.Idris2.Core.Options.Log':'un--mkLogLevel\x{27}'(V12, ('Idris.Idris2.Prelude.Types':'dn--un--fromInteger_Num__Nat'(V13))))))} end end} end} end end} end end}. 'nested--24304-16387--in--un--parse'(V0, V1, V2) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<":"/utf8>>)), fun () -> fun (V3) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('un--runParseCmd'(V2)), fun () -> fun (V4) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--unqualifiedName'()), fun () -> fun (V5) -> {'Idris.Text.Parser.Core.SeqEat', 1, ('un--expr'(('un--pdef'()), <<"(interactive)"/utf8>>, ('Idris.Idris2.Parser.Rule.Source':'un--init'()))), fun () -> fun (V6) -> {'Idris.Text.Parser.Core.Empty', ((V1(V6))(V5))} end end} end end} end end} end end}. 'nested--24257-16333--in--un--parse'(V0, V1, V2) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<":"/utf8>>)), fun () -> fun (V3) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('un--runParseCmd'(V2)), fun () -> fun (V4) -> {'Idris.Text.Parser.Core.SeqEat', 1, ('Idris.Idris2.Parser.Rule.Source':'un--onOffLit'()), fun () -> fun (V5) -> {'Idris.Text.Parser.Core.Empty', (V1(V5))} end end} end end} end end}. 'nested--24185-16253--in--un--parse'(V0, V1, V2) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<":"/utf8>>)), fun () -> fun (V3) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('un--runParseCmd'(V2)), fun () -> fun (V4) -> {'Idris.Text.Parser.Core.Alt', 0, ('Idris.Idris2.Prelude.Basics':'un--||'(0, fun () -> 1 end)), {'Idris.Text.Parser.Core.SeqEat', 1, ('Idris.Idris2.Parser.Rule.Source':'un--keyword'(<<"auto"/utf8>>)), fun () -> fun (V5) -> {'Idris.Text.Parser.Core.Empty', (V1({'Idris.Prelude.Types.Nothing'}))} end end}, fun () -> {'Idris.Text.Parser.Core.SeqEat', 1, ('Idris.Idris2.Parser.Rule.Source':'un--intLit'()), fun () -> fun (V6) -> {'Idris.Text.Parser.Core.Empty', (V1({'Idris.Prelude.Types.Just', ('Idris.Idris2.Prelude.Types':'dn--un--fromInteger_Num__Nat'(V6))}))} end end} end} end end} end end}. 'nested--24086-16143--in--un--parse'(V0, V1, V2, V3) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<":"/utf8>>)), fun () -> fun (V4) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('un--runParseCmd'(V3)), fun () -> fun (V5) -> {'Idris.Text.Parser.Core.SeqEat', 1, ('un--setOption'(V1)), fun () -> fun (V6) -> {'Idris.Text.Parser.Core.Empty', (V2(V6))} end end} end end} end end}. 'nested--24035-16085--in--un--parse'(V0, V1, V2) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<":"/utf8>>)), fun () -> fun (V3) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('un--runParseCmd'(V2)), fun () -> fun (V4) -> {'Idris.Text.Parser.Core.SeqEat', 1, ('un--topDecl'(<<"(interactive)"/utf8>>, ('Idris.Idris2.Parser.Rule.Source':'un--init'()))), fun () -> fun (V5) -> {'Idris.Text.Parser.Core.Empty', (V1(V5))} end end} end end} end end}. 'nested--23984-16028--in--un--parse'(V0, V1, V2) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<":"/utf8>>)), fun () -> fun (V3) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('un--runParseCmd'(V2)), fun () -> fun (V4) -> {'Idris.Text.Parser.Core.SeqEat', 1, ('un--expr'(('un--pdef'()), <<"(interactive)"/utf8>>, ('Idris.Idris2.Parser.Rule.Source':'un--init'()))), fun () -> fun (V5) -> {'Idris.Text.Parser.Core.Empty', (V1(V5))} end end} end end} end end}. 'nested--23937-15975--in--un--parse'(V0, V1, V2) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<":"/utf8>>)), fun () -> fun (V3) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('un--runParseCmd'(V2)), fun () -> fun (V4) -> {'Idris.Text.Parser.Core.SeqEat', 1, ('Idris.Idris2.Parser.Rule.Source':'un--moduleIdent'()), fun () -> fun (V5) -> {'Idris.Text.Parser.Core.Empty', (V1(V5))} end end} end end} end end}. 'nested--23890-15922--in--un--parse'(V0, V1, V2) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<":"/utf8>>)), fun () -> fun (V3) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('un--runParseCmd'(V2)), fun () -> fun (V4) -> {'Idris.Text.Parser.Core.SeqEat', 1, ('Idris.Idris2.Parser.Rule.Source':'un--strLit'()), fun () -> fun (V5) -> {'Idris.Text.Parser.Core.Empty', (V1(V5))} end end} end end} end end}. 'nested--23841-15867--in--un--parse'(V0, V1, V2) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<":"/utf8>>)), fun () -> fun (V3) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('un--runParseCmd'(V2)), fun () -> fun (V4) -> {'Idris.Text.Parser.Core.SeqEat', 1, ('Idris.Idris2.Parser.Rule.Source':'un--name'()), fun () -> fun (V5) -> {'Idris.Text.Parser.Core.Empty', (V1(V5))} end end} end end} end end}. 'nested--23801-15822--in--un--parse'(V0, V1, V2) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<":"/utf8>>)), fun () -> fun (V3) -> {'Idris.Text.Parser.Core.SeqEat', 1, ('un--runParseCmd'(V2)), fun () -> fun (V4) -> {'Idris.Text.Parser.Core.Empty', V1} end end} end end}. 'nested--10930-4475--in--un--optionalPair'(V0, V1, V2, V3, V4, V5, V6) -> ('case--nonEmptyTuple,optionalPair-4509'('erased', V1, V2, V3, V4, V6, V5, case V6 of {'Idris.Text.Bounded.MkBounded', E0, E1, E2, E3, E4, E5} -> (fun (V7, V8, V9, V10, V11, V12) -> V7 end(E0, E1, E2, E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end)). 'nested--24370-16459--in--un--names'(V0, V1, V2) -> ('un--extractNames'(V2)). 'nested--24304-16386--in--un--names'(V0, V1, V2) -> ('un--extractNames'(V2)). 'nested--24257-16332--in--un--names'(V0, V1, V2) -> ('un--extractNames'(V2)). 'nested--24185-16252--in--un--names'(V0, V1, V2) -> ('un--extractNames'(V2)). 'nested--24086-16142--in--un--names'(V0, V1, V2, V3) -> ('un--extractNames'(V3)). 'nested--24035-16084--in--un--names'(V0, V1, V2) -> ('un--extractNames'(V2)). 'nested--23984-16027--in--un--names'(V0, V1, V2) -> ('un--extractNames'(V2)). 'nested--23937-15974--in--un--names'(V0, V1, V2) -> ('un--extractNames'(V2)). 'nested--23890-15921--in--un--names'(V0, V1, V2) -> ('un--extractNames'(V2)). 'nested--23841-15866--in--un--names'(V0, V1, V2) -> ('un--extractNames'(V2)). 'nested--23801-15821--in--un--names'(V0, V1, V2) -> ('un--extractNames'(V2)). 'nested--10917-3268--in--un--nameList'(V0, V1) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<"["/utf8>>)), fun () -> fun (V2) -> {'Idris.Text.Parser.Core.SeqEmpty', 1, 0, {'Idris.Text.Parser.Core.Commit'}, fun (V3) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Text.Parser':'un--sepBy1'('erased', 'erased', 'erased', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<","/utf8>>)), ('Idris.Idris2.Parser.Rule.Source':'un--name'()))), fun () -> fun (V4) -> {'Idris.Text.Parser.Core.SeqEat', 1, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<"]"/utf8>>)), fun () -> fun (V5) -> {'Idris.Text.Parser.Core.Empty', V4} end end} end end} end} end end}. 'nested--10970-8390--in--un--mkPi'(V0, V1, V2, V3, V4) -> case V4 of [] -> case V3 of {'Idris.Text.Bounded.MkBounded', E0, E1, E2, E3, E4, E5} -> (fun (V5, V6, V7, V8, V9, V10) -> V5 end(E0, E1, E2, E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; [E6 | E7] -> (fun (V11, V12) -> case V11 of {'Idris.Builtin.MkPair', E8, E9} -> (fun (V13, V14) -> {'Idris.Idris.Syntax.PPi', ('un--boundToFC'('erased', V1, V3)), ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--top_Top__ZeroOneOmega'()), V13, {'Idris.Prelude.Types.Nothing'}, case V3 of {'Idris.Text.Bounded.MkBounded', E10, E11, E12, E13, E14, E15} -> (fun (V15, V16, V17, V18, V19, V20) -> V15 end(E10, E11, E12, E13, E14, E15)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, ('nested--10970-8390--in--un--mkPi'(V0, V1, V2, V14, V12))} end(E8, E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'nested--10930-4476--in--un--mergePairs'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of [] -> {'Idris.Builtin.MkPair', [], {'Idris.Idris.Syntax.PUnit', ('un--boundToFC'('erased', V4, ('Idris.Idris2.Text.Bounded':'un--mergeBounds'('erased', 'erased', V3, V7))))}}; [E0 | E1] -> (fun (V9, V10) -> case V10 of [] -> ('Idris.Idris2.Builtin':'un--snd'('erased', 'erased', ('nested--10930-4475--in--un--optionalPair'('erased', V1, V2, V3, V4, V6, V9)))); _ -> ('case--nonEmptyTuple,mergePairs-4612'('erased', V1, V2, V3, V4, 'erased', V9, V10, V7, V6, ('nested--10930-4475--in--un--optionalPair'('erased', V1, V2, V3, V4, V6, V9)))) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'nested--10930-4473--in--un--lams'(V0, V1, V2, V3, V4, V5, V6) -> case V5 of [] -> V6; [E0 | E1] -> (fun (V7, V8) -> case V7 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V9, V10) -> {'Idris.Idris.Syntax.PLam', V9, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--top_Top__ZeroOneOmega'()), {'Idris.Core.TT.Explicit'}, V10, {'Idris.Idris.Syntax.PInfer', V9}, ('nested--10930-4473--in--un--lams'('erased', V1, V2, V3, V4, V8, V6))} end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'nested--10557-14263--in--un--isClause'(V0, V1, V2, V3) -> case V3 of {'Idris.Idris.Syntax.PDef', E0, E1} -> (fun (V4, V5) -> {'Idris.Prelude.Types.Just', V5} end(E0, E1)); _ -> {'Idris.Prelude.Types.Nothing'} end. 'nested--10961-7458--in--un--fieldName'(V0, V1, V2) -> case V2 of {'Idris.Core.Name.UN', E0} -> (fun (V3) -> V3 end(E0)); _ -> <<"_impossible"/utf8>> end. 'nested--20881-12828--in--un--fieldBody'(V0, V1, V2, V3) -> {'Idris.Text.Parser.Core.SeqEat', 1, {'Idris.Text.Parser.Core.Bounds', {'Idris.Text.Parser.Core.SeqEmpty', 1, 0, ('un--multiplicity'()), fun (V4) -> {'Idris.Text.Parser.Core.SeqEmpty', 1, 0, ('un--getMult'(V4)), fun (V5) -> begin (V14 = ('case--fieldDecl,fieldBody-12864'(V0, V1, V3, V2, V4, V5, ('Idris.Idris2.Algebra.Semiring':'un--isErased'('erased', {'Idris.Builtin.MkPair', {'Idris.Algebra.Semiring.dn--un--__mkSemiring', fun (V6) -> fun (V7) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|+|_Semiring__ZeroOneOmega'(V6, V7)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--plusNeutral_Semiring__ZeroOneOmega'()), fun (V8) -> fun (V9) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|*|_Semiring__ZeroOneOmega'(V8, V9)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--timesNeutral_Semiring__ZeroOneOmega'())}, {'Idris.Prelude.EqOrd.dn--un--__mkEq', fun (V10) -> fun (V11) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--==_Eq__ZeroOneOmega'(V10, V11)) end end, fun (V12) -> fun (V13) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--/=_Eq__ZeroOneOmega'(V12, V13)) end end}}, V5))))), {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Text.Parser':'un--sepBy1'('erased', 'erased', 'erased', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<","/utf8>>)), ('Idris.Idris2.Parser.Rule.Source':'un--name'()))), fun () -> fun (V15) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<":"/utf8>>)), fun () -> fun (V16) -> {'Idris.Text.Parser.Core.SeqEat', 1, ('un--expr'(('un--pdef'()), V1, V0)), fun () -> fun (V17) -> {'Idris.Text.Parser.Core.Empty', fun (V18) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V19) -> {'Idris.Idris.Syntax.MkField', V18, V2, V14, V3, V19, V17} end, V15)) end} end end} end end} end end} end end} end}}, fun () -> fun (V20) -> {'Idris.Text.Parser.Core.Empty', case V20 of {'Idris.Text.Bounded.MkBounded', E0, E1, E2, E3, E4, E5} -> (fun (V21, V22, V23, V24, V25, V26) -> (V21(('un--boundToFC'('erased', V1, V20)))) end(E0, E1, E2, E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end} end end}. 'nested--18172-9941--in--un--drop'(V0, V1, V2) -> case V2 of [] -> []; [E0 | E1] -> (fun (V3, V4) -> ('case--stripBraces,drop-9956'(V0, V3, V4, V1, ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Char'(V1, V3)))) end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'nested--21415-13375--in--un--ctor'(V0, V1, V2) -> {'Idris.Text.Parser.Core.SeqEat', 0, ('Idris.Idris2.Parser.Rule.Source':'un--exactIdent'(<<"constructor"/utf8>>)), fun () -> fun (V3) -> {'Idris.Text.Parser.Core.SeqEat', 1, ('Idris.Idris2.Parser.Rule.Source':'un--name'()), fun () -> fun (V4) -> {'Idris.Text.Parser.Core.SeqEmpty', 1, 1, ('Idris.Idris2.Parser.Rule.Source':'un--atEnd'(V2)), fun (V5) -> {'Idris.Text.Parser.Core.Empty', V4} end} end end} end end}. 'nested--10930-4474--in--un--buildOutput'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V8, V9) -> ('nested--10930-4473--in--un--lams'('erased', V1, V2, V3, V4, V8, {'Idris.Idris.Syntax.PPair', ('un--boundToFC'('erased', V4, ('Idris.Idris2.Text.Bounded':'un--mergeBounds'('erased', 'erased', V3, V6)))), V1, V9})) end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'nested--10941-5642--in--un--binderName'(V0, V1) -> {'Idris.Text.Parser.Core.Alt', 0, 0, ('Idris.Idris2.Parser.Rule.Source':'un--unqualifiedName'()), fun () -> {'Idris.Text.Parser.Core.SeqEmpty', 0, 1, ('Idris.Idris2.Text.Parser.Core':'dn--un--map_Functor__((Grammar $tok) $c)'('erased', 'erased', 'erased', 0, fun (V2) -> fun (V3) -> V3 end end, ('Idris.Idris2.Parser.Rule.Source':'un--symbol'(<<"_"/utf8>>)))), fun (V4) -> ('Idris.Idris2.Text.Parser.Core':'dn--un--map_Functor__((Grammar $tok) $c)'('erased', 'erased', 'erased', 1, V4, {'Idris.Text.Parser.Core.Empty', <<"_"/utf8>>})) end} end}. 'nested--10949-6303--in--un--bindAll'(V0, V1, V2, V3) -> case V2 of [] -> V3; [E0 | E1] -> (fun (V4, V5) -> case V4 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V6, V7) -> case V7 of {'Idris.Builtin.MkPair', E4, E5} -> (fun (V8, V9) -> {'Idris.Idris.Syntax.PLam', ('un--boundToFC'('erased', V1, V8)), V6, {'Idris.Core.TT.Explicit'}, case V8 of {'Idris.Text.Bounded.MkBounded', E6, E7, E8, E9, E10, E11} -> (fun (V10, V11, V12, V13, V14, V15) -> V10 end(E6, E7, E8, E9, E10, E11)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, V9, ('nested--10949-6303--in--un--bindAll'(V0, V1, V5, V3))} end(E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'nested--10914-2766--in--un--applyExpImp'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of [] -> V5; [E0 | E1] -> (fun (V7, V8) -> case V7 of {'Idris.Idris.Parser.ExpArg', E2} -> (fun (V9) -> ('nested--10914-2766--in--un--applyExpImp'(V0, V1, V2, V3, V4, {'Idris.Idris.Syntax.PApp', {'Idris.Core.FC.MkFC', V1, V3, V4}, V5, V9}, V8)) end(E2)); {'Idris.Idris.Parser.ImpArg', E3, E4} -> (fun (V10, V11) -> ('nested--10914-2766--in--un--applyExpImp'(V0, V1, V2, V3, V4, {'Idris.Idris.Syntax.PImplicitApp', {'Idris.Core.FC.MkFC', V1, V3, V4}, V5, V10, V11}, V8)) end(E3, E4)); {'Idris.Idris.Parser.WithArg', E5} -> (fun (V12) -> ('nested--10914-2766--in--un--applyExpImp'(V0, V1, V2, V3, V4, {'Idris.Idris.Syntax.PWithApp', {'Idris.Core.FC.MkFC', V1, V3, V4}, V5, V12}, V8)) end(E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'nested--16902-8991--in--un--applyArgs'(V0, V1, V2, V3, V4) -> case V4 of [] -> V3; [E0 | E1] -> (fun (V5, V6) -> case V5 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V7, V8) -> ('nested--16902-8991--in--un--applyArgs'(V0, V1, V2, {'Idris.Idris.Syntax.PApp', V7, V3, V8}, V6)) end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end. 'dn--un--show_Show__CmdArg'(V0) -> case V0 of {'Idris.Idris.Parser.NoArg'} -> (fun () -> <<""/utf8>> end()); {'Idris.Idris.Parser.NameArg'} -> (fun () -> <<""/utf8>> end()); {'Idris.Idris.Parser.ExprArg'} -> (fun () -> <<""/utf8>> end()); {'Idris.Idris.Parser.DeclsArg'} -> (fun () -> <<""/utf8>> end()); {'Idris.Idris.Parser.NumberArg'} -> (fun () -> <<""/utf8>> end()); {'Idris.Idris.Parser.AutoNumberArg'} -> (fun () -> <<""/utf8>> end()); {'Idris.Idris.Parser.OptionArg'} -> (fun () -> <<"