-module('Idris.Idris2.Idris.Error').
-compile('no_auto_import').
-compile('inline').
-compile({'inline_size',24}).
-export([
  'case--perror-4661'/8,
  'case--perror-4109'/5,
  'case--perror-3810'/8,
  'case--perror-3532'/8,
  'case--perror-3302'/8,
  'case--perror-2642'/9,
  'case--case block in perror,order-2562'/17,
  'case--perror,order-2471'/17,
  'case--case block in case block in case block in case block in case block in case block in ploc2-1653'/24,
  'case--case block in case block in case block in case block in case block in ploc2-1321'/20,
  'case--case block in case block in case block in case block in ploc2-1164'/16,
  'case--case block in case block in case block in ploc2-1115'/14,
  'case--case block in case block in ploc2-1067'/12,
  'case--case block in ploc2-1025'/10,
  'case--ploc2-989'/8,
  'case--ploc2,addLineNumbers-917'/11,
  'case--case block in case block in ploc-658'/13,
  'case--case block in ploc-609'/8,
  'case--ploc-577'/6,
  'case--ploc,addLineNumbers-509'/9,
  'case--case block in pShowMN-303'/11,
  'case--pShowMN-283'/5,
  'nested--14610-4457--in--un--tshow'/10,
  'nested--14610-2434--in--un--prettyVar'/9,
  'nested--14610-3475--in--un--prettyRig'/9,
  'nested--14610-3476--in--un--prettyRel'/9,
  'nested--14610-4774--in--un--prettyHoles'/5,
  'nested--13072-859--in--un--pad'/9,
  'nested--12636-451--in--un--pad'/7,
  'nested--14610-3993--in--un--pAlterror'/5,
  'nested--14610-2435--in--un--order'/10,
  'nested--13072-858--in--un--extractRange'/10,
  'nested--12636-450--in--un--extractRange'/8,
  'nested--14610-4592--in--un--dropEnv'/10,
  'nested--13072-857--in--un--bimap'/11,
  'nested--12636-449--in--un--bimap'/9,
  'nested--14610-3994--in--un--allUndefined'/5,
  'nested--13072-860--in--un--addLineNumbers'/10,
  'nested--12636-452--in--un--addLineNumbers'/8,
  'un--pwarning'/4,
  'un--pshowNoNorm'/6,
  'un--pshow'/6,
  'un--ploc2'/3,
  'un--ploc'/2,
  'un--perror'/4,
  'un--pShowMN'/5,
  'un--displayWarning'/5,
  'un--display'/5
]).
'case--perror-4661'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of {'Idris.Builtin.DPair.MkDPair', E0, E1} -> (fun (V8, V9) -> case V9 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V10, V11) -> fun (V12) -> begin (V13 = ('un--pshow'(V8, V6, V5, V10, V11, V12))), case V13 of {'Idris.Prelude.Types.Left', E4} -> (fun (V14) -> {'Idris.Prelude.Types.Left', V14} end(E4)); {'Idris.Prelude.Types.Right', E5} -> (fun (V15) -> begin (V16 = (('un--ploc'(V4, V3))(V12))), case V16 of {'Idris.Prelude.Types.Left', E6} -> (fun (V17) -> {'Idris.Prelude.Types.Left', V17} end(E6)); {'Idris.Prelude.Types.Right', E7} -> (fun (V18) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Can\x{27}t find an implementation for"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V15)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V18))} end(E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--perror-4109'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Prelude.Types.Just', E2} -> (fun (V5) -> ('un--perror'(V3, V2, V1, V5)) end(E2)); _ -> fun (V6) -> begin (V8 = (('Idris.Idris2.Core.Core':'un--traverse'('erased', 'erased', fun (V7) -> ('nested--14610-3993--in--un--pAlterror'(V0, V1, V2, V3, V7)) end, V0))(V6))), case V8 of {'Idris.Prelude.Types.Left', E0} -> (fun (V9) -> {'Idris.Prelude.Types.Left', V9} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V10) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Sorry, I can\x{27}t find any elaboration which works. All errors"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', V10))))} end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end.
'case--perror-3810'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of {'Idris.Core.Options.MkPPOpts', E0, E1, E2} -> (fun (V8, V9, V10) -> {'Idris.Core.Options.MkPPOpts', V8, V9, 0} end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--perror-3532'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of 0 -> fun (V8) -> begin (V9 = (('un--ploc'(V4, V3))(V8))), case V9 of {'Idris.Prelude.Types.Left', E0} -> (fun (V10) -> {'Idris.Prelude.Types.Left', V10} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V11) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V2)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"is not accessible in this context."/utf8>>)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V11))} end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end; 1 -> fun (V12) -> begin (V13 = (('un--ploc'(V4, V3))(V12))), case V13 of {'Idris.Prelude.Types.Left', E2} -> (fun (V14) -> {'Idris.Prelude.Types.Left', V14} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V15) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Trying to use"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--14610-3475--in--un--prettyRig'(V0, V1, V2, V3, V4, V5, V6, 'erased', V1)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"name"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('Idris.Idris2.Idris.Resugar':'un--sugarName'(V2)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"in"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--14610-3476--in--un--prettyRel'(V0, V1, V2, V3, V4, V5, V6, 'erased', V0)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"context."/utf8>>)))))))))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V15))} end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--perror-3302'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V0 of [E0 | E1] -> (fun (V8, V9) -> case V9 of [] -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')), ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V8)))); _ -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__Char'('erased', $s)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--concatWith'('erased', fun (V10) -> fun (V11) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--surround'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--comma'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')))), V10, V11)) end end, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V12) -> fun (V13) -> fun (V14) -> fun (V15) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V14, V15)) end end end end, fun (V16) -> ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V16)) end, V0)))))) end end(E0, E1)); _ -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__Char'('erased', $s)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--concatWith'('erased', fun (V17) -> fun (V18) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--surround'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--comma'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')))), V17, V18)) end end, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V19) -> fun (V20) -> fun (V21) -> fun (V22) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V21, V22)) end end end end, fun (V23) -> ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V23)) end, V0)))))) end.
'case--perror-2642'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V9, V10) -> fun (V11) -> begin (V12 = ('un--pshow'(V0, V7, V6, V3, V1, V11))), case V12 of {'Idris.Prelude.Types.Left', E2} -> (fun (V13) -> {'Idris.Prelude.Types.Left', V13} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V14) -> begin (V15 = (('un--ploc2'(V5, V9, V10))(V11))), case V15 of {'Idris.Prelude.Types.Left', E4} -> (fun (V16) -> {'Idris.Prelude.Types.Left', V16} end(E4)); {'Idris.Prelude.Types.Right', E5} -> (fun (V17) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--hsep'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Pattern variable"/utf8>>)) | [('Idris.Idris2.Idris.Pretty':'un--code'(('nested--14610-2434--in--un--prettyVar'(V0, V1, V2, V3, V4, V5, V6, V7, V2)))) | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"unifies with"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))) | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V14)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))) | []]]]])))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V17)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Suggestion: Use the same name for both pattern variables, since they unify."/utf8>>))))} end(E5)); _ -> ('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 perror,order-2562'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, V16) -> case V16 of 0 -> {'Idris.Builtin.MkPair', V15, V12}; 1 -> {'Idris.Builtin.MkPair', V12, V15}; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--perror,order-2471'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, V16) -> case V16 of 0 -> {'Idris.Builtin.MkPair', V15, V12}; 1 -> ('case--case block in perror,order-2562'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, ('Idris.Idris2.Prelude.Basics':'un--&&'(('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__(|((Builtin.Pair $a) $b),((Builtin.MkPair $a) $b)|)'('erased', 'erased', {'Idris.Prelude.EqOrd.dn--un--__mkEq', fun (V17) -> fun (V18) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V17, V18)) end end, fun (V19) -> fun (V20) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--/=_Eq__Int'(V19, V20)) end end}, {'Idris.Prelude.EqOrd.dn--un--__mkEq', fun (V21) -> fun (V22) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V21, V22)) end end, fun (V23) -> fun (V24) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--/=_Eq__Int'(V23, V24)) end end}, V14, V11)), fun () -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--<_Ord__(|((Builtin.Pair $a) $b),((Builtin.MkPair $a) $b)|)'('erased', 'erased', {'Idris.Prelude.EqOrd.dn--un--__mkOrd', {'Idris.Prelude.EqOrd.dn--un--__mkEq', fun (V25) -> fun (V26) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V25, V26)) end end, fun (V27) -> fun (V28) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--/=_Eq__Int'(V27, V28)) end end}, fun (V29) -> fun (V30) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--compare_Ord__Int'(V29, V30)) end end, fun (V31) -> fun (V32) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--<_Ord__Int'(V31, V32)) end end, fun (V33) -> fun (V34) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un-->_Ord__Int'(V33, V34)) end end, fun (V35) -> fun (V36) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--<=_Ord__Int'(V35, V36)) end end, fun (V37) -> fun (V38) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un-->=_Ord__Int'(V37, V38)) end end, fun (V39) -> fun (V40) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--max_Ord__Int'(V39, V40)) end end, fun (V41) -> fun (V42) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--min_Ord__Int'(V41, V42)) end end}, {'Idris.Prelude.EqOrd.dn--un--__mkOrd', {'Idris.Prelude.EqOrd.dn--un--__mkEq', fun (V43) -> fun (V44) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V43, V44)) end end, fun (V45) -> fun (V46) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--/=_Eq__Int'(V45, V46)) end end}, fun (V47) -> fun (V48) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--compare_Ord__Int'(V47, V48)) end end, fun (V49) -> fun (V50) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--<_Ord__Int'(V49, V50)) end end, fun (V51) -> fun (V52) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un-->_Ord__Int'(V51, V52)) end end, fun (V53) -> fun (V54) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--<=_Ord__Int'(V53, V54)) end end, fun (V55) -> fun (V56) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un-->=_Ord__Int'(V55, V56)) end end, fun (V57) -> fun (V58) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--max_Ord__Int'(V57, V58)) end end, fun (V59) -> fun (V60) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--min_Ord__Int'(V59, V60)) end end}, V13, V10)) end)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in case block in case block in case block in case block in case block in ploc2-1653'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, V16, V17, V18, V19, V20, V21, V22, V23) -> case V23 of 0 -> []; 1 -> ('nested--13072-860--in--un--addLineNumbers'(V0, V1, V2, V3, V4, V5, V6, V15, ('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V11, (1 + 0))), ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V24) -> fun (V25) -> fun (V26) -> fun (V27) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V26, V27)) end end end end, fun (V28) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V28)) end, ('nested--13072-858--in--un--extractRange'(V0, V1, V2, V3, V4, V5, V6, ('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V11, (1 + 0))), V8, V18)))))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in case block in case block in case block in case block in ploc2-1321'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, V16, V17, V18, V19) -> case V19 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V20, V21) -> case V20 of 0 -> case V21 of {'Idris.Builtin.MkPair', E6, E7} -> (fun (V22, V23) -> case V22 of 0 -> case V23 of 0 -> begin (V25 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--fileCtxt'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')))), ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) end, fun () -> fun (V24) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V24)) end end, ('Idris.Idris2.Data.List.Extra':'un--elemAt'('erased', V18, V11))))))), begin (V26 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--fileCtxt'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--spaces'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Nat_Int'(V12)))), ('Idris.Idris2.Idris.Pretty':'un--error'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('Idris.Idris2.Data.String.Extra':'un--replicate'(('Idris.Idris2.Prelude.Types':'un--minus'(V7, V12)), $^)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--spaces'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Nat_Int'(('Idris.Idris2.Prelude.Types':'un--minus'(V13, V7)))))))), ('Idris.Idris2.Idris.Pretty':'un--error'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('Idris.Idris2.Data.String.Extra':'un--replicate'(('Idris.Idris2.Prelude.Types':'un--minus'(V10, V13)), $^))))))))))), fun (V27) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | [V16 | [V17 | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--fileCtxt'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__Nat'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V11, (1 + 0))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--align'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [V25 | [V26 | []]])))))) | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | []]]]]]))} end end end; 1 -> begin (V29 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--fileCtxt'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')))), ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) end, fun () -> fun (V28) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V28)) end end, ('Idris.Idris2.Data.List.Extra':'un--elemAt'('erased', V18, V11))))))), begin (V30 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--fileCtxt'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--spaces'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Nat_Int'(V12)))), ('Idris.Idris2.Idris.Pretty':'un--error'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('Idris.Idris2.Data.String.Extra':'un--replicate'(('Idris.Idris2.Prelude.Types':'un--minus'(V7, V12)), $^))))))))))), begin (V32 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--fileCtxt'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')))), ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) end, fun () -> fun (V31) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V31)) end end, ('Idris.Idris2.Data.List.Extra':'un--elemAt'('erased', V18, V14))))))), begin (V33 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--fileCtxt'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--spaces'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Nat_Int'(V13)))), ('Idris.Idris2.Idris.Pretty':'un--error'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('Idris.Idris2.Data.String.Extra':'un--replicate'(('Idris.Idris2.Prelude.Types':'un--minus'(V10, V13)), $^))))))))))), begin (V34 = ('case--case block in case block in case block in case block in case block in case block in ploc2-1653'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, V16, V17, V18, V29, V30, V32, V33, ('Idris.Idris2.Prelude.Types':'dn--un--==_Eq__Nat'(('Idris.Idris2.Prelude.Types':'un--minus'(V14, V8)), ('Idris.Idris2.Prelude.Types':'dn--un--fromInteger_Num__Nat'(1))))))), fun (V35) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types.List':'un--++'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | [V16 | [V17 | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--fileCtxt'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__Nat'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V11, (1 + 0))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--align'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [V29 | [V30 | []]])))))) | []]]]], ('Idris.Idris2.Prelude.Types.List':'un--++'('erased', V34, [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--fileCtxt'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__Nat'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V14, (1 + 0))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--align'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [V32 | [V33 | []]])))))) | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | []]]))))))} end end end end end end; _ -> case V21 of {'Idris.Builtin.MkPair', E10, E11} -> (fun (V36, V37) -> fun (V38) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | [V16 | ('nested--13072-860--in--un--addLineNumbers'(V0, V1, V2, V3, V4, V5, V6, V15, V11, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V39) -> fun (V40) -> fun (V41) -> fun (V42) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V41, V42)) end end end end, fun (V43) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V43)) end, ('nested--13072-858--in--un--extractRange'(V0, V1, V2, V3, V4, V5, V6, V11, V9, V18))))))]])), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased'))))} end end(E10, E11)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end; 1 -> begin (V45 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--fileCtxt'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')))), ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) end, fun () -> fun (V44) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V44)) end end, ('Idris.Idris2.Data.List.Extra':'un--elemAt'('erased', V18, V11))))))), begin (V46 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--fileCtxt'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--spaces'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Nat_Int'(V12)))), ('Idris.Idris2.Idris.Pretty':'un--error'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('Idris.Idris2.Data.String.Extra':'un--replicate'(('Idris.Idris2.Prelude.Types':'un--minus'(V7, V12)), $^))))))))))), fun (V47) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types.List':'un--++'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | [V16 | [V17 | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--fileCtxt'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__Nat'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V11, (1 + 0))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--align'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [V45 | [V46 | []]])))))) | []]]]], ('Idris.Idris2.Prelude.Types.List':'un--++'('erased', ('nested--13072-860--in--un--addLineNumbers'(V0, V1, V2, V3, V4, V5, V6, V15, ('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V11, (1 + 0))), ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V48) -> fun (V49) -> fun (V50) -> fun (V51) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V50, V51)) end end end end, fun (V52) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V52)) end, ('nested--13072-858--in--un--extractRange'(V0, V1, V2, V3, V4, V5, V6, ('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V11, (1 + 0))), ('Idris.Idris2.Prelude.Types':'dn--un--max_Ord__Nat'(V8, V9)), V18)))))), [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | []]))))))} end end end; _ -> case V21 of {'Idris.Builtin.MkPair', E8, E9} -> (fun (V53, V54) -> fun (V55) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | [V16 | ('nested--13072-860--in--un--addLineNumbers'(V0, V1, V2, V3, V4, V5, V6, V15, V11, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V56) -> fun (V57) -> fun (V58) -> fun (V59) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V58, V59)) end end end end, fun (V60) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V60)) end, ('nested--13072-858--in--un--extractRange'(V0, V1, V2, V3, V4, V5, V6, V11, V9, V18))))))]])), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased'))))} end end(E8, E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E6, E7)); _ -> case V21 of {'Idris.Builtin.MkPair', E4, E5} -> (fun (V61, V62) -> fun (V63) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | [V16 | ('nested--13072-860--in--un--addLineNumbers'(V0, V1, V2, V3, V4, V5, V6, V15, V11, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V64) -> fun (V65) -> fun (V66) -> fun (V67) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V66, V67)) end end end end, fun (V68) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V68)) end, ('nested--13072-858--in--un--extractRange'(V0, V1, V2, V3, V4, V5, V6, V11, V9, V18))))))]])), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased'))))} end end(E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end; 1 -> case V21 of {'Idris.Builtin.MkPair', E14, E15} -> (fun (V69, V70) -> case V69 of 0 -> case V70 of 0 -> begin (V72 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--fileCtxt'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')))), ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) end, fun () -> fun (V71) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V71)) end end, ('Idris.Idris2.Data.List.Extra':'un--elemAt'('erased', V18, V11))))))), begin (V73 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--fileCtxt'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--spaces'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Nat_Int'(V12)))), ('Idris.Idris2.Idris.Pretty':'un--error'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('Idris.Idris2.Data.String.Extra':'un--replicate'(('Idris.Idris2.Prelude.Types':'un--minus'(V7, V12)), $^))))))))))), fun (V74) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types.List':'un--++'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | [V16 | [V17 | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--fileCtxt'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__Nat'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V11, (1 + 0))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--align'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [V72 | [V73 | []]])))))) | []]]]], ('Idris.Idris2.Prelude.Types.List':'un--++'('erased', ('nested--13072-860--in--un--addLineNumbers'(V0, V1, V2, V3, V4, V5, V6, V15, ('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V11, (1 + 0))), ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V75) -> fun (V76) -> fun (V77) -> fun (V78) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V77, V78)) end end end end, fun (V79) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V79)) end, ('nested--13072-858--in--un--extractRange'(V0, V1, V2, V3, V4, V5, V6, ('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V11, (1 + 0))), ('Idris.Idris2.Prelude.Types':'dn--un--max_Ord__Nat'(V8, V9)), V18)))))), [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | []]))))))} end end end; 1 -> begin (V85 = ('nested--13072-860--in--un--addLineNumbers'(V0, V1, V2, V3, V4, V5, V6, V15, ('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V11, (1 + 0))), ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V80) -> fun (V81) -> fun (V82) -> fun (V83) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V82, V83)) end end end end, fun (V84) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V84)) end, ('nested--13072-858--in--un--extractRange'(V0, V1, V2, V3, V4, V5, V6, ('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V11, (1 + 0))), V8, V18))))))), begin (V87 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--fileCtxt'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')))), ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) end, fun () -> fun (V86) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V86)) end end, ('Idris.Idris2.Data.List.Extra':'un--elemAt'('erased', V18, V11))))))), begin (V88 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--fileCtxt'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--spaces'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Nat_Int'(V13)))), ('Idris.Idris2.Idris.Pretty':'un--error'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('Idris.Idris2.Data.String.Extra':'un--replicate'(('Idris.Idris2.Prelude.Types':'un--minus'(V10, V13)), $^))))))))))), fun (V89) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types.List':'un--++'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | [V16 | [V17 | []]]], ('Idris.Idris2.Prelude.Types.List':'un--++'('erased', V85, [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--fileCtxt'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__Nat'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V14, (1 + 0))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--align'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [V87 | [V88 | []]])))))) | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | []]]))))))} end end end end; _ -> case V21 of {'Idris.Builtin.MkPair', E18, E19} -> (fun (V90, V91) -> fun (V92) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | [V16 | ('nested--13072-860--in--un--addLineNumbers'(V0, V1, V2, V3, V4, V5, V6, V15, V11, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V93) -> fun (V94) -> fun (V95) -> fun (V96) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V95, V96)) end end end end, fun (V97) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V97)) end, ('nested--13072-858--in--un--extractRange'(V0, V1, V2, V3, V4, V5, V6, V11, V9, V18))))))]])), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased'))))} end end(E18, E19)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end; _ -> case V21 of {'Idris.Builtin.MkPair', E16, E17} -> (fun (V98, V99) -> fun (V100) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | [V16 | ('nested--13072-860--in--un--addLineNumbers'(V0, V1, V2, V3, V4, V5, V6, V15, V11, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V101) -> fun (V102) -> fun (V103) -> fun (V104) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V103, V104)) end end end end, fun (V105) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V105)) end, ('nested--13072-858--in--un--extractRange'(V0, V1, V2, V3, V4, V5, V6, V11, V9, V18))))))]])), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased'))))} end end(E16, E17)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E14, E15)); _ -> case V21 of {'Idris.Builtin.MkPair', E12, E13} -> (fun (V106, V107) -> fun (V108) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | [V16 | ('nested--13072-860--in--un--addLineNumbers'(V0, V1, V2, V3, V4, V5, V6, V15, V11, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V109) -> fun (V110) -> fun (V111) -> fun (V112) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V111, V112)) end end end end, fun (V113) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V113)) end, ('nested--13072-858--in--un--extractRange'(V0, V1, V2, V3, V4, V5, V6, V11, V9, V18))))))]])), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased'))))} end end(E12, E13)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end; _ -> case V21 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V114, V115) -> fun (V116) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | [V16 | ('nested--13072-860--in--un--addLineNumbers'(V0, V1, V2, V3, V4, V5, V6, V15, V11, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V117) -> fun (V118) -> fun (V119) -> fun (V120) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V119, V120)) end end end end, fun (V121) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V121)) end, ('nested--13072-858--in--un--extractRange'(V0, V1, V2, V3, V4, V5, V6, V11, V9, V18))))))]])), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased'))))} end end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in case block in case block in case block in ploc2-1164'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15) -> case V15 of 0 -> fun (V16) -> begin (V17 = (('un--ploc'(V6, {'Idris.Core.FC.MkFC', V2, V1, V0}))(V16))), case V17 of {'Idris.Prelude.Types.Left', E0} -> (fun (V18) -> {'Idris.Prelude.Types.Left', V18} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V19) -> begin (V20 = (('un--ploc'(V6, {'Idris.Core.FC.MkFC', V5, V4, V3}))(V16))), case V20 of {'Idris.Prelude.Types.Left', E2} -> (fun (V21) -> {'Idris.Prelude.Types.Left', V21} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V22) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', V19, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V22))} end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end; 1 -> begin (V23 = ('Idris.Idris2.Prelude.Types.Strings':'un--length'(('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Nat'(('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V13, (1 + 0)))))))), begin (V24 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.FileCtxt'}, ('Idris.Idris2.Core.FC':'dn--un--pretty_Pretty__FC'('erased', {'Idris.Core.FC.MkFC', V2, V1, V3}))))), begin (V25 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.FileCtxt'}, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--spaces'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Nat_Int'(('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V23, (1 + (1 + 0)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased'))))))), fun (V26) -> begin (V31 = ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', fun (V27) -> case V27 of {'Idris.Prelude.Types.Left', E4} -> (fun (V28) -> {'Idris.Prelude.Types.Left', V28} end(E4)); {'Idris.Prelude.Types.Right', E5} -> (fun (V29) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Data.Strings':'un--lines'(V29))} end(E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end, fun (V30) -> ('Idris.Idris2.Idris.REPLOpts':'un--getCurrentElabSource'(V6, V30)) end, V26))), case V31 of {'Idris.Prelude.Types.Left', E6} -> (fun (V32) -> {'Idris.Prelude.Types.Left', V32} end(E6)); {'Idris.Prelude.Types.Right', E7} -> (fun (V33) -> (('case--case block in case block in case block in case block in case block in ploc2-1321'(V0, V1, V2, V3, V4, V5, V6, V11, V12, V13, V14, V8, V7, V10, V9, V23, V24, V25, V33, {'Idris.Builtin.MkPair', ('Idris.Idris2.Prelude.Types':'dn--un--==_Eq__Nat'(V8, V12)), {'Idris.Builtin.MkPair', ('Idris.Idris2.Prelude.Types':'dn--un--==_Eq__Nat'(V9, V13)), ('Idris.Idris2.Prelude.Types':'dn--un--==_Eq__Nat'(V8, V9))}}))(V26)) end(E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end end end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in case block in case block in ploc2-1115'(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) -> ('case--case block in case block in case block in case block in ploc2-1164'(V0, V1, V2, V3, V4, V5, V6, V8, V7, V10, V9, V12, V11, V14, V15, ('Idris.Idris2.Prelude.Types':'dn--un-->_Ord__Nat'(V14, ('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V11, ('Idris.Idris2.Prelude.Types':'dn--un--fromInteger_Num__Nat'(5)))))))) end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in case block in ploc2-1067'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11) -> case V11 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V12, V13) -> ('case--case block in case block in case block in ploc2-1115'(V0, V1, V2, V3, V4, V5, V6, V8, V7, V10, V9, V12, V13, ('nested--13072-857--in--un--bimap'(V0, V1, V2, V3, V4, V5, V6, 'erased', 'erased', fun (V14) -> ('Idris.Idris2.Prelude.Types':'dn--un--fromInteger_Num__Nat'(('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Int_Integer'(V14)))) end, V3)))) end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in ploc2-1025'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> case V9 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V10, V11) -> ('case--case block in case block in ploc2-1067'(V0, V1, V2, V3, V4, V5, V6, V8, V7, V10, V11, ('nested--13072-857--in--un--bimap'(V0, V1, V2, V3, V4, V5, V6, 'erased', 'erased', fun (V12) -> ('Idris.Idris2.Prelude.Types':'dn--un--fromInteger_Num__Nat'(('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Int_Integer'(V12)))) end, V0)))) end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--ploc2-989'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V8, V9) -> ('case--case block in ploc2-1025'(V0, V1, V2, V3, V4, V5, V6, V8, V9, ('nested--13072-857--in--un--bimap'(V0, V1, V2, V3, V4, V5, V6, 'erased', 'erased', fun (V10) -> ('Idris.Idris2.Prelude.Types':'dn--un--fromInteger_Num__Nat'(('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Int_Integer'(V10)))) end, V4)))) end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--ploc2,addLineNumbers-917'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10) -> case V10 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V11, V12) -> fun (V13) -> {'Idris.Builtin.MkPair', (1 + V11), ('Idris.Idris2.Data.List':'un--snoc'('erased', V12, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.FileCtxt'}, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('nested--13072-859--in--un--pad'(V0, V1, V2, V3, V4, V5, V6, V9, ('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Nat'(('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V11, (1 + 0))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')))))))), V13))))} end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in case block in ploc-658'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12) -> case V12 of 0 -> begin (V13 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.FileCtxt'}, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--spaces'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Nat_Int'(('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V9, (1 + (1 + 0)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased'))))))), begin (V15 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.FileCtxt'}, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')))), ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) end, fun () -> fun (V14) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V14)) end end, ('Idris.Idris2.Data.List.Extra':'un--elemAt'('erased', V11, V6))))))), begin (V16 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.FileCtxt'}, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--spaces'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Nat_Int'(V5)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.Error'}, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('Idris.Idris2.Data.String.Extra':'un--replicate'(('Idris.Idris2.Prelude.Types':'un--minus'(V8, V5)), $^))))))))))), fun (V17) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | [V10 | [V13 | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.FileCtxt'}, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__Nat'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V6, (1 + 0))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--align'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [V15 | [V16 | []]])))))) | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | []]]]]]))} end end end end; 1 -> fun (V18) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) | [V10 | ('nested--12636-452--in--un--addLineNumbers'(V0, V1, V2, V3, V4, V9, V6, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V19) -> fun (V20) -> fun (V21) -> fun (V22) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V21, V22)) end end end end, fun (V23) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V23)) end, ('nested--12636-450--in--un--extractRange'(V0, V1, V2, V3, V4, V6, ('Idris.Idris2.Prelude.Types':'dn--un--min_Ord__Nat'(V7, ('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V6, (1 + (1 + (1 + (1 + (1 + 0))))))))), V11))))))]])), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased'))))} end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in ploc-609'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V8, V9) -> begin (V10 = ('Idris.Idris2.Prelude.Types.Strings':'un--length'(('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Nat'(('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V8, (1 + 0)))))))), begin (V11 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.FileCtxt'}, ('Idris.Idris2.Core.FC':'dn--un--pretty_Pretty__FC'('erased', V3))))), fun (V12) -> begin (V17 = ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', fun (V13) -> case V13 of {'Idris.Prelude.Types.Left', E2} -> (fun (V14) -> {'Idris.Prelude.Types.Left', V14} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V15) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Data.Strings':'un--lines'(V15))} end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end, fun (V16) -> ('Idris.Idris2.Idris.REPLOpts':'un--getCurrentElabSource'(V4, V16)) end, V12))), case V17 of {'Idris.Prelude.Types.Left', E4} -> (fun (V18) -> {'Idris.Prelude.Types.Left', V18} end(E4)); {'Idris.Prelude.Types.Right', E5} -> (fun (V19) -> (('case--case block in case block in ploc-658'(V0, V1, V2, V3, V4, V6, V5, V8, V9, V10, V11, V19, ('Idris.Idris2.Prelude.Types':'dn--un--==_Eq__Nat'(V5, V8))))(V12)) end(E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--ploc-577'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V6, V7) -> ('case--case block in ploc-609'(V0, V1, V2, V3, V4, V6, V7, ('nested--12636-449--in--un--bimap'(V0, V1, V2, V3, V4, 'erased', 'erased', fun (V8) -> ('Idris.Idris2.Prelude.Types':'dn--un--fromInteger_Num__Nat'(('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Int_Integer'(V8)))) end, V0)))) end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--ploc,addLineNumbers-509'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V9, V10) -> fun (V11) -> {'Idris.Builtin.MkPair', (1 + V9), ('Idris.Idris2.Data.List':'un--snoc'('erased', V10, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.FileCtxt'}, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('nested--12636-451--in--un--pad'(V0, V1, V2, V3, V4, V7, ('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Nat'(('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V9, (1 + 0))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')))))))), V11))))} end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in pShowMN-303'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10) -> case V10 of {'Idris.Core.Name.MN', E0, E1} -> (fun (V11, V12) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', V2, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--parens'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"implicitly bound at"/utf8>>)), ('Idris.Idris2.Core.FC':'dn--un--pretty_Pretty__FC'('erased', ('Idris.Idris2.Core.Env':'un--getBinderLoc'('erased', 'erased', V1, V6, 'erased', V3)))))))))) end(E0, E1)); _ -> V2 end.
'case--pShowMN-283'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Core.TT.Local', E0, E1, E2} -> (fun (V5, V6, V7) -> begin (V8 = {'Idris.Core.TT.Local', V5, V6, V7}), ('case--case block in pShowMN-303'('erased', V1, V2, V3, 'erased', V6, V7, 'erased', V5, V8, ('Idris.Idris2.Core.Name':'un--dropAllNS'(('Idris.Idris2.Core.TT':'un--nameAt'('erased', V1, V7, 'erased')))))) end end(E0, E1, E2)); _ -> V2 end.
'nested--14610-4457--in--un--tshow'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> case V9 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V10, V11) -> fun (V12) -> begin (V13 = ('un--pshow'(V7, V6, V5, V8, V11, V12))), case V13 of {'Idris.Prelude.Types.Left', E2} -> (fun (V14) -> {'Idris.Prelude.Types.Left', V14} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V15) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V10)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')), ('Idris.Idris2.Idris.Pretty':'un--code'(V15))))))} end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--14610-2434--in--un--prettyVar'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of {'Idris.Core.Name.PV', E0, E1} -> (fun (V9, V10) -> ('nested--14610-2434--in--un--prettyVar'(V0, V1, V2, V3, V4, V5, V6, V7, V9)) end(E0, E1)); _ -> ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V8)) end.
'nested--14610-3475--in--un--prettyRig'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> ('Idris.Idris2.Algebra.Semiring':'un--elimSemi'('erased', 'erased', {'Idris.Builtin.MkPair', {'Idris.Algebra.Semiring.dn--un--__mkSemiring', fun (V9) -> fun (V10) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|+|_Semiring__ZeroOneOmega'(V9, V10)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--plusNeutral_Semiring__ZeroOneOmega'()), fun (V11) -> fun (V12) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|*|_Semiring__ZeroOneOmega'(V11, V12)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--timesNeutral_Semiring__ZeroOneOmega'())}, {'Idris.Prelude.EqOrd.dn--un--__mkEq', fun (V13) -> fun (V14) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--==_Eq__ZeroOneOmega'(V13, V14)) end end, fun (V15) -> fun (V16) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--/=_Eq__ZeroOneOmega'(V15, V16)) end end}}, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"irrelevant"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"linear"/utf8>>)), fun (V17) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"unrestricted"/utf8>>)) end, V8)).
'nested--14610-3476--in--un--prettyRel'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> ('Idris.Idris2.Algebra.Semiring':'un--elimSemi'('erased', 'erased', {'Idris.Builtin.MkPair', {'Idris.Algebra.Semiring.dn--un--__mkSemiring', fun (V9) -> fun (V10) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|+|_Semiring__ZeroOneOmega'(V9, V10)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--plusNeutral_Semiring__ZeroOneOmega'()), fun (V11) -> fun (V12) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|*|_Semiring__ZeroOneOmega'(V11, V12)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--timesNeutral_Semiring__ZeroOneOmega'())}, {'Idris.Prelude.EqOrd.dn--un--__mkEq', fun (V13) -> fun (V14) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--==_Eq__ZeroOneOmega'(V13, V14)) end end, fun (V15) -> fun (V16) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--/=_Eq__ZeroOneOmega'(V15, V16)) end end}}, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"irrelevant"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"relevant"/utf8>>)), fun (V17) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"non-linear"/utf8>>)) end, V8)).
'nested--14610-4774--in--un--prettyHoles'(V0, V1, V2, V3, V4) -> case V4 of [] -> fun (V5) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased'))} end; [E0 | E1] -> (fun (V6, V7) -> case V6 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V8, V9) -> fun (V10) -> begin (V11 = (('un--ploc'(V1, V8))(V10))), case V11 of {'Idris.Prelude.Types.Left', E4} -> (fun (V12) -> {'Idris.Prelude.Types.Left', V12} end(E4)); {'Idris.Prelude.Types.Right', E5} -> (fun (V13) -> begin (V14 = (('nested--14610-4774--in--un--prettyHoles'(V0, V1, V2, V3, V7))(V10))), case V14 of {'Idris.Prelude.Types.Left', E6} -> (fun (V15) -> {'Idris.Prelude.Types.Left', V15} end(E6)); {'Idris.Prelude.Types.Right', E7} -> (fun (V16) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--meta'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V9)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"introduced at:"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', V13, V16))))))} end(E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--13072-859--in--un--pad'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Data.String.Extra':'un--replicate'(('Idris.Idris2.Prelude.Types':'un--minus'(V7, ('Idris.Idris2.Prelude.Types.Strings':'un--length'(V8)))), $0)), V8)).
'nested--12636-451--in--un--pad'(V0, V1, V2, V3, V4, V5, V6) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Data.String.Extra':'un--replicate'(('Idris.Idris2.Prelude.Types':'un--minus'(V5, ('Idris.Idris2.Prelude.Types.Strings':'un--length'(V6)))), $0)), V6)).
'nested--14610-3993--in--un--pAlterror'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V5, V6) -> case V5 of {'Idris.Prelude.Types.Just', E2} -> (fun (V7) -> fun (V8) -> begin (V9 = (('Idris.Idris2.Core.Context':'un--getFullName'(V3, V7))(V8))), case V9 of {'Idris.Prelude.Types.Left', E3} -> (fun (V10) -> {'Idris.Prelude.Types.Left', V10} end(E3)); {'Idris.Prelude.Types.Right', E4} -> (fun (V11) -> begin (V12 = ('Idris.Idris2.Core.Context':'un--aliasName'(V3, V11, V8))), case V12 of {'Idris.Prelude.Types.Left', E5} -> (fun (V13) -> {'Idris.Prelude.Types.Left', V13} end(E5)); {'Idris.Prelude.Types.Right', E6} -> (fun (V14) -> begin (V15 = (('un--perror'(V3, V2, V1, V6))(V8))), case V15 of {'Idris.Prelude.Types.Left', E7} -> (fun (V16) -> {'Idris.Prelude.Types.Left', V16} end(E7)); {'Idris.Prelude.Types.Right', E8} -> (fun (V17) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"If"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V14)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))), V17))))} 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(E2)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> fun (V18) -> begin (V19 = (('un--perror'(V3, V2, V1, V6))(V18))), case V19 of {'Idris.Prelude.Types.Left', E9} -> (fun (V20) -> {'Idris.Prelude.Types.Left', V20} end(E9)); {'Idris.Prelude.Types.Right', E10} -> (fun (V21) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Possible error"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--indent'('erased', 4, V21))))} end(E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--14610-2435--in--un--order'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> case V8 of {'Idris.Core.FC.EmptyFC'} -> (fun () -> {'Idris.Builtin.MkPair', {'Idris.Core.FC.EmptyFC'}, V9} end()); _ -> case V9 of {'Idris.Core.FC.EmptyFC'} -> (fun () -> {'Idris.Builtin.MkPair', V8, {'Idris.Core.FC.EmptyFC'}} end()); _ -> case V8 of {'Idris.Core.FC.MkFC', E0, E1, E2} -> (fun (V10, V11, V12) -> case V9 of {'Idris.Core.FC.MkFC', E3, E4, E5} -> (fun (V13, V14, V15) -> begin (V16 = {'Idris.Core.FC.MkFC', V13, V14, V15}), begin (V17 = {'Idris.Core.FC.MkFC', V10, V11, V12}), ('case--perror,order-2471'(V0, V1, V2, V3, V4, V5, V6, V7, V10, V13, V15, V14, V16, V12, V11, V17, ('Idris.Idris2.Prelude.EqOrd':'dn--un--<_Ord__(|((Builtin.Pair $a) $b),((Builtin.MkPair $a) $b)|)'('erased', 'erased', {'Idris.Prelude.EqOrd.dn--un--__mkOrd', {'Idris.Prelude.EqOrd.dn--un--__mkEq', fun (V18) -> fun (V19) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V18, V19)) end end, fun (V20) -> fun (V21) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--/=_Eq__Int'(V20, V21)) end end}, fun (V22) -> fun (V23) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--compare_Ord__Int'(V22, V23)) end end, fun (V24) -> fun (V25) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--<_Ord__Int'(V24, V25)) end end, fun (V26) -> fun (V27) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un-->_Ord__Int'(V26, V27)) end end, fun (V28) -> fun (V29) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--<=_Ord__Int'(V28, V29)) end end, fun (V30) -> fun (V31) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un-->=_Ord__Int'(V30, V31)) end end, fun (V32) -> fun (V33) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--max_Ord__Int'(V32, V33)) end end, fun (V34) -> fun (V35) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--min_Ord__Int'(V34, V35)) end end}, {'Idris.Prelude.EqOrd.dn--un--__mkOrd', {'Idris.Prelude.EqOrd.dn--un--__mkEq', fun (V36) -> fun (V37) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V36, V37)) end end, fun (V38) -> fun (V39) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--/=_Eq__Int'(V38, V39)) end end}, fun (V40) -> fun (V41) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--compare_Ord__Int'(V40, V41)) end end, fun (V42) -> fun (V43) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--<_Ord__Int'(V42, V43)) end end, fun (V44) -> fun (V45) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un-->_Ord__Int'(V44, V45)) end end, fun (V46) -> fun (V47) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--<=_Ord__Int'(V46, V47)) end end, fun (V48) -> fun (V49) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un-->=_Ord__Int'(V48, V49)) end end, fun (V50) -> fun (V51) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--max_Ord__Int'(V50, V51)) end end, fun (V52) -> fun (V53) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--min_Ord__Int'(V52, V53)) end end}, V11, V14)))) end end end(E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end.
'nested--13072-858--in--un--extractRange'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> ('Idris.Idris2.Data.List':'un--take'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(('Idris.Idris2.Prelude.Types':'un--minus'(V8, V7)), (1 + 0))), ('Idris.Idris2.Data.List':'un--drop'('erased', V7, V9)))).
'nested--12636-450--in--un--extractRange'(V0, V1, V2, V3, V4, V5, V6, V7) -> ('Idris.Idris2.Data.List':'un--take'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(('Idris.Idris2.Prelude.Types':'un--minus'(V6, V5)), (1 + 0))), ('Idris.Idris2.Data.List':'un--drop'('erased', V5, V7)))).
'nested--14610-4592--in--un--dropEnv'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> case V9 of {'Idris.Core.TT.Bind', E0, E1, E2, E3} -> (fun (V10, V11, V12, V13) -> case V12 of {'Idris.Core.TT.Pi', E4, E5, E6, E7} -> (fun (V14, V15, V16, V17) -> ('nested--14610-4592--in--un--dropEnv'(V0, V1, V2, V3, V4, V5, V6, [V11 | V7], {'Idris.Core.Env.::', V12, V8}, V13)) end(E4, E5, E6, E7)); {'Idris.Core.TT.Let', E8, E9, E10, E11} -> (fun (V18, V19, V20, V21) -> ('nested--14610-4592--in--un--dropEnv'(V0, V1, V2, V3, V4, V5, V6, [V11 | V7], {'Idris.Core.Env.::', V12, V8}, V13)) end(E8, E9, E10, E11)); _ -> {'Idris.Builtin.DPair.MkDPair', V7, {'Idris.Builtin.MkPair', V8, V9}} end end(E0, E1, E2, E3)); _ -> {'Idris.Builtin.DPair.MkDPair', V7, {'Idris.Builtin.MkPair', V8, V9}} end.
'nested--13072-857--in--un--bimap'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10) -> case V10 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V11, V12) -> {'Idris.Builtin.MkPair', (V9(V11)), (V9(V12))} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--12636-449--in--un--bimap'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V9, V10) -> {'Idris.Builtin.MkPair', (V7(V9)), (V7(V10))} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--14610-3994--in--un--allUndefined'(V0, V1, V2, V3, V4) -> case V4 of [] -> {'Idris.Prelude.Types.Nothing'}; [E0 | E1] -> (fun (V5, V6) -> case V5 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V7, V8) -> case V8 of {'Idris.Core.Core.UndefinedName', E4, E5} -> (fun (V9, V10) -> case V6 of [] -> {'Idris.Prelude.Types.Just', {'Idris.Core.Core.UndefinedName', V9, V10}}; _ -> ('nested--14610-3994--in--un--allUndefined'(V0, V1, V2, V3, V6)) end end(E4, E5)); _ -> {'Idris.Prelude.Types.Nothing'} end end(E2, E3)); _ -> {'Idris.Prelude.Types.Nothing'} end end(E0, E1)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'nested--13072-860--in--un--addLineNumbers'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> ('Idris.Idris2.Builtin':'un--snd'('erased', 'erased', ('Idris.Idris2.Prelude.Types':'dn--un--foldl_Foldable__List'('erased', 'erased', fun (V10) -> case V10 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V11, V12) -> fun (V13) -> {'Idris.Builtin.MkPair', (1 + V11), ('Idris.Idris2.Data.List':'un--snoc'('erased', V12, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.FileCtxt'}, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('nested--13072-859--in--un--pad'(V0, V1, V2, V3, V4, V5, V6, V7, ('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Nat'(('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V11, (1 + 0))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')))))))), V13))))} end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end, {'Idris.Builtin.MkPair', V8, []}, V9)))).
'nested--12636-452--in--un--addLineNumbers'(V0, V1, V2, V3, V4, V5, V6, V7) -> ('Idris.Idris2.Builtin':'un--snd'('erased', 'erased', ('Idris.Idris2.Prelude.Types':'dn--un--foldl_Foldable__List'('erased', 'erased', fun (V8) -> begin (V9 = {'Idris.Core.FC.MkFC', V2, V1, V0}), case V8 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V10, V11) -> fun (V12) -> {'Idris.Builtin.MkPair', (1 + V10), ('Idris.Idris2.Data.List':'un--snoc'('erased', V11, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.FileCtxt'}, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('nested--12636-451--in--un--pad'(V0, V1, V2, V9, V4, V5, ('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Nat'(('Idris.Idris2.Prelude.Types':'dn--un--+_Num__Nat'(V10, (1 + 0))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')))))))), V12))))} end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end, {'Idris.Builtin.MkPair', V6, []}, V7)))).
'un--pwarning'(V0, V1, V2, V3) -> case V3 of {'Idris.Core.Core.UnreachableClause', E0, E1, E2, E3} -> (fun (V4, V5, V6, V7) -> fun (V8) -> begin (V9 = ('un--pshow'(V4, V0, V1, V6, V7, V8))), case V9 of {'Idris.Prelude.Types.Left', E4} -> (fun (V10) -> {'Idris.Prelude.Types.Left', V10} end(E4)); {'Idris.Prelude.Types.Right', E5} -> (fun (V11) -> begin (V12 = (('un--ploc'(V2, V5))(V8))), case V12 of {'Idris.Prelude.Types.Left', E6} -> (fun (V13) -> {'Idris.Prelude.Types.Left', V13} end(E6)); {'Idris.Prelude.Types.Right', E7} -> (fun (V14) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Unreachable clause:"/utf8>>)), ('Idris.Idris2.Idris.Pretty':'un--code'(V11)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V14))} end(E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E0, E1, E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--pshowNoNorm'(V0, V1, V2, V3, V4, V5) -> begin (V34 = begin (V33 = (('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 (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}, V1))(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) -> begin (V37 = ('Idris.Idris2.Idris.Resugar':'un--resugar'(V0, V1, V2, V3, V4, V5))), case V37 of {'Idris.Prelude.Types.Left', E2} -> (fun (V38) -> {'Idris.Prelude.Types.Left', V38} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V39) -> {'Idris.Prelude.Types.Right', ('un--pShowMN'('erased', V0, V4, V3, ('Idris.Idris2.Idris.Pretty':'un--prettyTerm'(V39))))} end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end.
'un--pshow'(V0, V1, V2, V3, V4, V5) -> begin (V34 = begin (V33 = (('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 (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}, V1))(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) -> begin (V37 = ('Idris.Idris2.Core.Normalise':'un--normaliseHoles'(V1, V0, V36, V3, V4, V5))), case V37 of {'Idris.Prelude.Types.Left', E2} -> (fun (V38) -> {'Idris.Prelude.Types.Left', V38} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V39) -> begin (V40 = ('Idris.Idris2.Idris.Resugar':'un--resugar'(V0, V1, V2, V3, V39, V5))), case V40 of {'Idris.Prelude.Types.Left', E4} -> (fun (V41) -> {'Idris.Prelude.Types.Left', V41} end(E4)); {'Idris.Prelude.Types.Right', E5} -> (fun (V42) -> {'Idris.Prelude.Types.Right', ('un--pShowMN'('erased', V0, V39, V3, ('Idris.Idris2.Idris.Pretty':'un--prettyTerm'(V42))))} end(E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end.
'un--ploc2'(V0, V1, V2) -> case V2 of {'Idris.Core.FC.EmptyFC'} -> (fun () -> ('un--ploc'(V0, V1)) end()); _ -> case V1 of {'Idris.Core.FC.EmptyFC'} -> (fun () -> ('un--ploc'(V0, V2)) end()); {'Idris.Core.FC.MkFC', E0, E1, E2} -> (fun (V3, V4, V5) -> case V2 of {'Idris.Core.FC.MkFC', E3, E4, E5} -> (fun (V6, V7, V8) -> ('case--ploc2-989'(V5, V4, V3, V8, V7, V6, V0, ('nested--13072-857--in--un--bimap'(V5, V4, V3, V8, V7, V6, V0, 'erased', 'erased', fun (V9) -> ('Idris.Idris2.Prelude.Types':'dn--un--fromInteger_Num__Nat'(('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Int_Integer'(V9)))) end, V4)))) end(E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end.
'un--ploc'(V0, V1) -> case V1 of {'Idris.Core.FC.EmptyFC'} -> (fun () -> fun (V2) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased'))} end end()); {'Idris.Core.FC.MkFC', E0, E1, E2} -> (fun (V3, V4, V5) -> begin (V6 = {'Idris.Core.FC.MkFC', V3, V4, V5}), ('case--ploc-577'(V5, V4, V3, V6, V0, ('nested--12636-449--in--un--bimap'(V5, V4, V3, V6, V0, 'erased', 'erased', fun (V7) -> ('Idris.Idris2.Prelude.Types':'dn--un--fromInteger_Num__Nat'(('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Int_Integer'(V7)))) end, V4)))) end end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--perror'(V0, V1, V2, V3) -> case V3 of {'Idris.Core.Core.Fatal', E0} -> (fun (V4) -> ('un--perror'(V0, V1, V2, V4)) end(E0)); {'Idris.Core.Core.CantConvert', E1, E2, E3, E4, E5} -> (fun (V5, V6, V7, V8, V9) -> fun (V10) -> begin (V11 = ('un--pshow'(V5, V0, V1, V7, V8, V10))), case V11 of {'Idris.Prelude.Types.Left', E6} -> (fun (V12) -> {'Idris.Prelude.Types.Left', V12} end(E6)); {'Idris.Prelude.Types.Right', E7} -> (fun (V13) -> begin (V14 = ('un--pshow'(V5, V0, V1, V7, V9, V10))), case V14 of {'Idris.Prelude.Types.Left', E8} -> (fun (V15) -> {'Idris.Prelude.Types.Left', V15} end(E8)); {'Idris.Prelude.Types.Right', E9} -> (fun (V16) -> begin (V17 = (('un--ploc'(V2, V6))(V10))), case V17 of {'Idris.Prelude.Types.Left', E10} -> (fun (V18) -> {'Idris.Prelude.Types.Left', V18} end(E10)); {'Idris.Prelude.Types.Right', E11} -> (fun (V19) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--hsep'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Mismatch between"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))) | [('Idris.Idris2.Idris.Pretty':'un--code'(V13)) | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V20) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unsafeTextWithoutNewLines'('erased', V20)) end, ('Idris.Idris2.Data.Strings':'un--lines'(<<"and"/utf8>>)))))) | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V16)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))) | []]]]])))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V19))} 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 end(E1, E2, E3, E4, E5)); {'Idris.Core.Core.CantSolveEq', E12, E13, E14, E15, E16} -> (fun (V21, V22, V23, V24, V25) -> fun (V26) -> begin (V27 = ('un--pshow'(V21, V0, V1, V23, V24, V26))), case V27 of {'Idris.Prelude.Types.Left', E17} -> (fun (V28) -> {'Idris.Prelude.Types.Left', V28} end(E17)); {'Idris.Prelude.Types.Right', E18} -> (fun (V29) -> begin (V30 = ('un--pshow'(V21, V0, V1, V23, V25, V26))), case V30 of {'Idris.Prelude.Types.Left', E19} -> (fun (V31) -> {'Idris.Prelude.Types.Left', V31} end(E19)); {'Idris.Prelude.Types.Right', E20} -> (fun (V32) -> begin (V33 = (('un--ploc'(V2, V22))(V26))), case V33 of {'Idris.Prelude.Types.Left', E21} -> (fun (V34) -> {'Idris.Prelude.Types.Left', V34} end(E21)); {'Idris.Prelude.Types.Right', E22} -> (fun (V35) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--hsep'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Can\x{27}t solve constraint between"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))) | [('Idris.Idris2.Idris.Pretty':'un--code'(V29)) | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V36) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unsafeTextWithoutNewLines'('erased', V36)) end, ('Idris.Idris2.Data.Strings':'un--lines'(<<"and"/utf8>>)))))) | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V32)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))) | []]]]])))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V35))} end(E22)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E20)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E18)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E12, E13, E14, E15, E16)); {'Idris.Core.Core.PatternVariableUnifies', E23, E24, E25, E26, E27} -> (fun (V37, V38, V39, V40, V41) -> ('case--perror-2642'(V37, V41, V40, V39, V38, V2, V1, V0, ('nested--14610-2435--in--un--order'(V37, V41, V40, V39, V38, V2, V1, V0, V38, ('Idris.Idris2.Core.TT':'un--getLoc'('erased', V41)))))) end(E23, E24, E25, E26, E27)); {'Idris.Core.Core.CyclicMeta', E28, E29, E30, E31, E32} -> (fun (V42, V43, V44, V45, V46) -> fun (V47) -> begin (V48 = (('Idris.Idris2.Core.Context':'un--prettyName'(V0, V45))(V47))), case V48 of {'Idris.Prelude.Types.Left', E33} -> (fun (V49) -> {'Idris.Prelude.Types.Left', V49} end(E33)); {'Idris.Prelude.Types.Right', E34} -> (fun (V50) -> begin (V51 = ('un--pshow'(V42, V0, V1, V44, V46, V47))), case V51 of {'Idris.Prelude.Types.Left', E35} -> (fun (V52) -> {'Idris.Prelude.Types.Left', V52} end(E35)); {'Idris.Prelude.Types.Right', E36} -> (fun (V53) -> begin (V54 = (('un--ploc'(V2, V43))(V47))), case V54 of {'Idris.Prelude.Types.Left', E37} -> (fun (V55) -> {'Idris.Prelude.Types.Left', V55} end(E37)); {'Idris.Prelude.Types.Right', E38} -> (fun (V56) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Cycle detected in solution of metavariable"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--meta'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V50)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--equals'('erased')), ('Idris.Idris2.Idris.Pretty':'un--code'(V53)))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V56))} end(E38)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E36)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E34)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E28, E29, E30, E31, E32)); {'Idris.Core.Core.WhenUnifying', E39, E40, E41, E42, E43, E44} -> (fun (V57, V58, V59, V60, V61, V62) -> fun (V63) -> begin (V64 = ('un--pshow'(V57, V0, V1, V59, V60, V63))), case V64 of {'Idris.Prelude.Types.Left', E45} -> (fun (V65) -> {'Idris.Prelude.Types.Left', V65} end(E45)); {'Idris.Prelude.Types.Right', E46} -> (fun (V66) -> begin (V67 = ('un--pshow'(V57, V0, V1, V59, V61, V63))), case V67 of {'Idris.Prelude.Types.Left', E47} -> (fun (V68) -> {'Idris.Prelude.Types.Left', V68} end(E47)); {'Idris.Prelude.Types.Right', E48} -> (fun (V69) -> begin (V70 = (('un--perror'(V0, V1, V2, V62))(V63))), case V70 of {'Idris.Prelude.Types.Left', E49} -> (fun (V71) -> {'Idris.Prelude.Types.Left', V71} end(E49)); {'Idris.Prelude.Types.Right', E50} -> (fun (V72) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"When unifying"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V66)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"and"/utf8>>)), ('Idris.Idris2.Idris.Pretty':'un--code'(V69)))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V72))} end(E50)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E48)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E46)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E39, E40, E41, E42, E43, E44)); {'Idris.Core.Core.ValidCase', E51, E52, E53, E54} -> (fun (V73, V74, V75, V76) -> case V76 of {'Idris.Prelude.Types.Left', E55} -> (fun (V77) -> fun (V78) -> begin (V79 = ('un--pshow'(V73, V0, V1, V75, V77, V78))), case V79 of {'Idris.Prelude.Types.Left', E56} -> (fun (V80) -> {'Idris.Prelude.Types.Left', V80} end(E56)); {'Idris.Prelude.Types.Right', E57} -> (fun (V81) -> begin (V82 = (('un--ploc'(V2, V74))(V78))), case V82 of {'Idris.Prelude.Types.Left', E58} -> (fun (V83) -> {'Idris.Prelude.Types.Left', V83} end(E58)); {'Idris.Prelude.Types.Right', E59} -> (fun (V84) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V81)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"is not a valid impossible case."/utf8>>)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V84))} end(E59)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E57)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E55)); {'Idris.Prelude.Types.Right', E60} -> (fun (V85) -> fun (V86) -> begin (V87 = (('un--perror'(V0, V1, V2, V85))(V86))), case V87 of {'Idris.Prelude.Types.Left', E61} -> (fun (V88) -> {'Idris.Prelude.Types.Left', V88} end(E61)); {'Idris.Prelude.Types.Right', E62} -> (fun (V89) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Impossible pattern gives an error"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V89))} end(E62)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E60)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E51, E52, E53, E54)); {'Idris.Core.Core.UndefinedName', E63, E64} -> (fun (V90, V91) -> fun (V92) -> begin (V93 = (('un--ploc'(V2, V90))(V92))), case V93 of {'Idris.Prelude.Types.Left', E65} -> (fun (V94) -> {'Idris.Prelude.Types.Left', V94} end(E65)); {'Idris.Prelude.Types.Right', E66} -> (fun (V95) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Undefined name"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V91)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')), V95))))} end(E66)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E63, E64)); {'Idris.Core.Core.InvisibleName', E67, E68, E69} -> (fun (V96, V97, V98) -> case V98 of {'Idris.Prelude.Types.Just', E70} -> (fun (V99) -> fun (V100) -> begin (V101 = (('un--ploc'(V2, V96))(V100))), case V101 of {'Idris.Prelude.Types.Left', E71} -> (fun (V102) -> {'Idris.Prelude.Types.Left', V102} end(E71)); {'Idris.Prelude.Types.Right', E72} -> (fun (V103) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"Name"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V97)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"is inaccessible since"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name.Namespace':'dn--un--pretty_Pretty__Namespace'('erased', V99)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"is not explicitly imported."/utf8>>)))))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V103)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Suggestion: add an explicit"/utf8>>)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V104) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unsafeTextWithoutNewLines'('erased', V104)) end, ('Idris.Idris2.Data.Strings':'un--lines'(<<"export"/utf8>>)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"or"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"public"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"export"/utf8>>)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"modifier. By default, all names are"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V105) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unsafeTextWithoutNewLines'('erased', V105)) end, ('Idris.Idris2.Data.Strings':'un--lines'(<<"private"/utf8>>)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"in namespace blocks."/utf8>>))))))))))))))} end(E72)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E70)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> fun (V106) -> begin (V107 = (('un--ploc'(V2, V96))(V106))), case V107 of {'Idris.Prelude.Types.Left', E73} -> (fun (V108) -> {'Idris.Prelude.Types.Left', V108} end(E73)); {'Idris.Prelude.Types.Right', E74} -> (fun (V109) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"Name"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V97)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"is private."/utf8>>)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V109)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Suggestion: add an explicit"/utf8>>)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V110) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unsafeTextWithoutNewLines'('erased', V110)) end, ('Idris.Idris2.Data.Strings':'un--lines'(<<"export"/utf8>>)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"or"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"public"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"export"/utf8>>)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"modifier. By default, all names are"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V111) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unsafeTextWithoutNewLines'('erased', V111)) end, ('Idris.Idris2.Data.Strings':'un--lines'(<<"private"/utf8>>)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"in namespace blocks."/utf8>>))))))))))))))} end(E74)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E67, E68, E69)); {'Idris.Core.Core.BadTypeConType', E75, E76} -> (fun (V112, V113) -> fun (V114) -> begin (V115 = (('un--ploc'(V2, V112))(V114))), case V115 of {'Idris.Prelude.Types.Left', E77} -> (fun (V116) -> {'Idris.Prelude.Types.Left', V116} end(E77)); {'Idris.Prelude.Types.Right', E78} -> (fun (V117) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Return type of"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V113)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"must be"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V118) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unsafeTextWithoutNewLines'('erased', V118)) end, ('Idris.Idris2.Data.Strings':'un--lines'(<<"Type"/utf8>>)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V117))} end(E78)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E75, E76)); {'Idris.Core.Core.BadDataConType', E79, E80, E81} -> (fun (V119, V120, V121) -> fun (V122) -> begin (V127 = ('Idris.Idris2.Core.Context':'un--toFullNames'('erased', V0, {'Idris.Core.Context.dn--un--__mkHasNames', fun (V123) -> fun (V124) -> ('Idris.Idris2.Core.Context':'dn--un--full_HasNames__Name'(V123, V124)) end end, fun (V125) -> fun (V126) -> ('Idris.Idris2.Core.Context':'dn--un--resolved_HasNames__Name'(V125, V126)) end end}, V121, V122))), case V127 of {'Idris.Prelude.Types.Left', E82} -> (fun (V128) -> {'Idris.Prelude.Types.Left', V128} end(E82)); {'Idris.Prelude.Types.Right', E83} -> (fun (V129) -> begin (V130 = (('un--ploc'(V2, V119))(V122))), case V130 of {'Idris.Prelude.Types.Left', E84} -> (fun (V131) -> {'Idris.Prelude.Types.Left', V131} end(E84)); {'Idris.Prelude.Types.Right', E85} -> (fun (V132) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Return type of"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V120)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"must be in"/utf8>>)), ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V129)))))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')), V132))))} end(E85)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E83)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E79, E80, E81)); {'Idris.Core.Core.NotCovering', E86, E87, E88} -> (fun (V133, V134, V135) -> case V135 of {'Idris.Core.TT.IsCovering'} -> (fun () -> fun (V136) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Internal error"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--parens'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Coverage of"/utf8>>)), ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V134))))))))))))} end end()); {'Idris.Core.TT.MissingCases', E89} -> (fun (V137) -> fun (V138) -> begin (V139 = (('Idris.Idris2.Core.Context':'un--prettyName'(V0, V134))(V138))), case V139 of {'Idris.Prelude.Types.Left', E90} -> (fun (V140) -> {'Idris.Prelude.Types.Left', V140} end(E90)); {'Idris.Prelude.Types.Right', E91} -> (fun (V141) -> begin (V142 = (('un--ploc'(V2, V133))(V138))), case V142 of {'Idris.Prelude.Types.Left', E92} -> (fun (V143) -> {'Idris.Prelude.Types.Left', V143} end(E92)); {'Idris.Prelude.Types.Right', E93} -> (fun (V144) -> begin (V147 = (('Idris.Idris2.Core.Core':'un--traverse'('erased', 'erased', fun (V145) -> fun (V146) -> ('un--pshow'([], V0, V1, {'Idris.Core.Env.Nil'}, V145, V146)) end end, V137))(V138))), case V147 of {'Idris.Prelude.Types.Left', E94} -> (fun (V148) -> {'Idris.Prelude.Types.Left', V148} end(E94)); {'Idris.Prelude.Types.Right', E95} -> (fun (V149) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V141)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"is not covering."/utf8>>)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V144)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Missing cases"/utf8>>)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--indent'('erased', 4, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', V149)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased'))))} end(E95)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E93)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E91)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E89)); {'Idris.Core.TT.NonCoveringCall', E96} -> (fun (V150) -> fun (V151) -> begin (V152 = (('Idris.Idris2.Core.Context':'un--prettyName'(V0, V134))(V151))), case V152 of {'Idris.Prelude.Types.Left', E97} -> (fun (V153) -> {'Idris.Prelude.Types.Left', V153} end(E97)); {'Idris.Prelude.Types.Right', E98} -> (fun (V154) -> begin (V155 = (('un--ploc'(V2, V133))(V151))), case V155 of {'Idris.Prelude.Types.Left', E99} -> (fun (V156) -> {'Idris.Prelude.Types.Left', V156} end(E99)); {'Idris.Prelude.Types.Right', E100} -> (fun (V157) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V154)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"is not covering."/utf8>>)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V157)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Calls non covering function"/utf8>>)))), case V150 of [E101 | E102] -> (fun (V158, V159) -> case V159 of [] -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')), ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V158)))); _ -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__Char'('erased', $s)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--concatWith'('erased', fun (V160) -> fun (V161) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--surround'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--comma'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')))), V160, V161)) end end, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V162) -> fun (V163) -> fun (V164) -> fun (V165) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V164, V165)) end end end end, fun (V166) -> ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V166)) end, V150)))))) end end(E101, E102)); _ -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__Char'('erased', $s)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--concatWith'('erased', fun (V167) -> fun (V168) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--surround'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--comma'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')))), V167, V168)) end end, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V169) -> fun (V170) -> fun (V171) -> fun (V172) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V171, V172)) end end end end, fun (V173) -> ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V173)) end, V150)))))) end))} end(E100)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E98)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E96)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E86, E87, E88)); {'Idris.Core.Core.NotTotal', E103, E104, E105} -> (fun (V174, V175, V176) -> fun (V177) -> begin (V178 = (('Idris.Idris2.Core.Context':'un--prettyName'(V0, V175))(V177))), case V178 of {'Idris.Prelude.Types.Left', E106} -> (fun (V179) -> {'Idris.Prelude.Types.Left', V179} end(E106)); {'Idris.Prelude.Types.Right', E107} -> (fun (V180) -> begin (V181 = (('un--ploc'(V2, V174))(V177))), case V181 of {'Idris.Prelude.Types.Left', E108} -> (fun (V182) -> {'Idris.Prelude.Types.Left', V182} end(E108)); {'Idris.Prelude.Types.Right', E109} -> (fun (V183) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V180)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"is not total,"/utf8>>)), ('Idris.Idris2.Core.TT':'dn--un--pretty_Pretty__PartialReason'('erased', V176)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V183))} end(E109)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E107)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E103, E104, E105)); {'Idris.Core.Core.LinearUsed', E110, E111, E112} -> (fun (V184, V185, V186) -> fun (V187) -> begin (V188 = (('un--ploc'(V2, V184))(V187))), case V188 of {'Idris.Prelude.Types.Left', E113} -> (fun (V189) -> {'Idris.Prelude.Types.Left', V189} end(E113)); {'Idris.Prelude.Types.Right', E114} -> (fun (V190) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"There are"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__Nat'('erased', V185)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"uses of linear name"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('Idris.Idris2.Idris.Resugar':'un--sugarName'(V186)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')), V190)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Suggestion: linearly bounded variables must be used exactly once."/utf8>>))))))} end(E114)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E110, E111, E112)); {'Idris.Core.Core.LinearMisuse', E115, E116, E117, E118} -> (fun (V191, V192, V193, V194) -> ('case--perror-3532'(V194, V193, V192, V191, V2, V1, V0, ('Idris.Idris2.Algebra.Semiring':'un--isErased'('erased', {'Idris.Builtin.MkPair', {'Idris.Algebra.Semiring.dn--un--__mkSemiring', fun (V195) -> fun (V196) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|+|_Semiring__ZeroOneOmega'(V195, V196)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--plusNeutral_Semiring__ZeroOneOmega'()), fun (V197) -> fun (V198) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|*|_Semiring__ZeroOneOmega'(V197, V198)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--timesNeutral_Semiring__ZeroOneOmega'())}, {'Idris.Prelude.EqOrd.dn--un--__mkEq', fun (V199) -> fun (V200) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--==_Eq__ZeroOneOmega'(V199, V200)) end end, fun (V201) -> fun (V202) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--/=_Eq__ZeroOneOmega'(V201, V202)) end end}}, V193)))) end(E115, E116, E117, E118)); {'Idris.Core.Core.BorrowPartial', E119, E120, E121, E122, E123} -> (fun (V203, V204, V205, V206, V207) -> fun (V208) -> begin (V209 = ('un--pshow'(V203, V0, V1, V205, V206, V208))), case V209 of {'Idris.Prelude.Types.Left', E124} -> (fun (V210) -> {'Idris.Prelude.Types.Left', V210} end(E124)); {'Idris.Prelude.Types.Right', E125} -> (fun (V211) -> begin (V212 = ('un--pshow'(V203, V0, V1, V205, V207, V208))), case V212 of {'Idris.Prelude.Types.Left', E126} -> (fun (V213) -> {'Idris.Prelude.Types.Left', V213} end(E126)); {'Idris.Prelude.Types.Right', E127} -> (fun (V214) -> begin (V215 = (('un--ploc'(V2, V204))(V208))), case V215 of {'Idris.Prelude.Types.Left', E128} -> (fun (V216) -> {'Idris.Prelude.Types.Left', V216} end(E128)); {'Idris.Prelude.Types.Right', E129} -> (fun (V217) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V211)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"borrows argument"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V214)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"so must be fully applied."/utf8>>)))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V217))} end(E129)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E127)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E125)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E119, E120, E121, E122, E123)); {'Idris.Core.Core.BorrowPartialType', E130, E131, E132, E133} -> (fun (V218, V219, V220, V221) -> fun (V222) -> begin (V223 = ('un--pshow'(V218, V0, V1, V220, V221, V222))), case V223 of {'Idris.Prelude.Types.Left', E134} -> (fun (V224) -> {'Idris.Prelude.Types.Left', V224} end(E134)); {'Idris.Prelude.Types.Right', E135} -> (fun (V225) -> begin (V226 = (('un--ploc'(V2, V219))(V222))), case V226 of {'Idris.Prelude.Types.Left', E136} -> (fun (V227) -> {'Idris.Prelude.Types.Left', V227} end(E136)); {'Idris.Prelude.Types.Right', E137} -> (fun (V228) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V225)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"borrows, so must return a concrete type."/utf8>>)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V228))} end(E137)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E135)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E130, E131, E132, E133)); {'Idris.Core.Core.AmbiguousName', E138, E139} -> (fun (V229, V230) -> fun (V231) -> begin (V232 = (('un--ploc'(V2, V229))(V231))), case V232 of {'Idris.Prelude.Types.Left', E140} -> (fun (V233) -> {'Idris.Prelude.Types.Left', V233} end(E140)); {'Idris.Prelude.Types.Right', E141} -> (fun (V234) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Ambiguous name"/utf8>>)), ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__(List $a)'('erased', 'erased', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V235) -> fun (V236) -> ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V236)) end end, fun (V237) -> fun (V238) -> fun (V239) -> ('Idris.Idris2.Core.Name':'dn--un--prettyPrec_Pretty__Name'('erased', V238, V239)) end end end}, V230)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V234))} end(E141)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E138, E139)); {'Idris.Core.Core.AmbiguousElab', E142, E143, E144, E145} -> (fun (V240, V241, V242, V243) -> fun (V244) -> begin (V245 = ('Idris.Idris2.Core.Context':'un--getPPrint'(V0, V244))), case V245 of {'Idris.Prelude.Types.Left', E146} -> (fun (V246) -> {'Idris.Prelude.Types.Left', V246} end(E146)); {'Idris.Prelude.Types.Right', E147} -> (fun (V247) -> begin (V251 = ('Idris.Idris2.Core.Context':'un--setPPrint'(V0, case V247 of {'Idris.Core.Options.MkPPOpts', E148, E149, E150} -> (fun (V248, V249, V250) -> {'Idris.Core.Options.MkPPOpts', V248, V249, 0} end(E148, E149, E150)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, V244))), case V251 of {'Idris.Prelude.Types.Left', E151} -> (fun (V252) -> {'Idris.Prelude.Types.Left', V252} end(E151)); {'Idris.Prelude.Types.Right', E152} -> (fun (V253) -> begin (V256 = (('Idris.Idris2.Core.Core':'un--traverse'('erased', 'erased', fun (V254) -> fun (V255) -> ('un--pshow'(V240, V0, V1, V242, V254, V255)) end end, V243))(V244))), case V256 of {'Idris.Prelude.Types.Left', E153} -> (fun (V257) -> {'Idris.Prelude.Types.Left', V257} end(E153)); {'Idris.Prelude.Types.Right', E154} -> (fun (V258) -> begin (V259 = (('un--ploc'(V2, V241))(V244))), case V259 of {'Idris.Prelude.Types.Left', E155} -> (fun (V260) -> {'Idris.Prelude.Types.Left', V260} end(E155)); {'Idris.Prelude.Types.Right', E156} -> (fun (V261) -> begin (V262 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Ambiguous elaboration. Possible results"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))))) | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--indent'('erased', 4, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', V258)))) | []]])), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V261))), begin (V263 = ('Idris.Idris2.Core.Context':'un--setPPrint'(V0, V247, V244))), case V263 of {'Idris.Prelude.Types.Left', E157} -> (fun (V264) -> {'Idris.Prelude.Types.Left', V264} end(E157)); {'Idris.Prelude.Types.Right', E158} -> (fun (V265) -> {'Idris.Prelude.Types.Right', V262} end(E158)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E156)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E154)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E152)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E147)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E142, E143, E144, E145)); {'Idris.Core.Core.AmbiguousSearch', E159, E160, E161, E162, E163} -> (fun (V266, V267, V268, V269, V270) -> fun (V271) -> begin (V272 = ('un--pshowNoNorm'(V266, V0, V1, V268, V269, V271))), case V272 of {'Idris.Prelude.Types.Left', E164} -> (fun (V273) -> {'Idris.Prelude.Types.Left', V273} end(E164)); {'Idris.Prelude.Types.Right', E165} -> (fun (V274) -> begin (V275 = (('un--ploc'(V2, V267))(V271))), case V275 of {'Idris.Prelude.Types.Left', E166} -> (fun (V276) -> {'Idris.Prelude.Types.Left', V276} end(E166)); {'Idris.Prelude.Types.Right', E167} -> (fun (V277) -> begin (V280 = (('Idris.Idris2.Core.Core':'un--traverse'('erased', 'erased', fun (V278) -> fun (V279) -> ('un--pshowNoNorm'(V266, V0, V1, V268, V278, V279)) end end, V270))(V271))), case V280 of {'Idris.Prelude.Types.Left', E168} -> (fun (V281) -> {'Idris.Prelude.Types.Left', V281} end(E168)); {'Idris.Prelude.Types.Right', E169} -> (fun (V282) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Multiple solutions found in search of"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))))) | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--indent'('erased', 4, V274)) | [V277 | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Possible correct results"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))) | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--indent'('erased', 4, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', V282)))) | []]]]]]))} end(E169)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E167)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E165)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E159, E160, E161, E162, E163)); {'Idris.Core.Core.AmbiguityTooDeep', E170, E171, E172} -> (fun (V283, V284, V285) -> fun (V286) -> begin (V287 = (('Idris.Idris2.Core.Context':'un--getFullName'(V0, V284))(V286))), case V287 of {'Idris.Prelude.Types.Left', E173} -> (fun (V288) -> {'Idris.Prelude.Types.Left', V288} end(E173)); {'Idris.Prelude.Types.Right', E174} -> (fun (V289) -> begin (V291 = (('Idris.Idris2.Core.Core':'un--traverse'('erased', 'erased', fun (V290) -> ('Idris.Idris2.Core.Context':'un--getFullName'(V0, V290)) end, V285))(V286))), case V291 of {'Idris.Prelude.Types.Left', E175} -> (fun (V292) -> {'Idris.Prelude.Types.Left', V292} end(E175)); {'Idris.Prelude.Types.Right', E176} -> (fun (V293) -> begin (V294 = (('un--ploc'(V2, V283))(V286))), case V294 of {'Idris.Prelude.Types.Left', E177} -> (fun (V295) -> {'Idris.Prelude.Types.Left', V295} end(E177)); {'Idris.Prelude.Types.Right', E178} -> (fun (V296) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Maximum ambiguity depth exceeded in"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V289)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--concatWith'('erased', fun (V297) -> fun (V298) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--surround'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<" --> "/utf8>>)), V297, V298)) end end, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V299) -> fun (V300) -> fun (V301) -> fun (V302) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V301, V302)) end end end end, fun (V303) -> ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V303)) end, V293)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')), V296)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Suggestion: the default ambiguity depth limit is 3, the"/utf8>>)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V304) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unsafeTextWithoutNewLines'('erased', V304)) end, ('Idris.Idris2.Data.Strings':'un--lines'(<<"%ambiguity_depth"/utf8>>)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"pragma can be used to extend this limit, but beware compilation times can be severely impacted."/utf8>>))))))))} end(E178)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E176)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E174)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E170, E171, E172)); {'Idris.Core.Core.AllFailed', E179} -> (fun (V305) -> ('case--perror-4109'(V305, V2, V1, V0, ('nested--14610-3994--in--un--allUndefined'(V305, V2, V1, V0, V305)))) end(E179)); {'Idris.Core.Core.RecordTypeNeeded', E180, E181, E182} -> (fun (V306, V307, V308) -> fun (V309) -> begin (V310 = (('un--ploc'(V2, V307))(V309))), case V310 of {'Idris.Prelude.Types.Left', E183} -> (fun (V311) -> {'Idris.Prelude.Types.Left', V311} end(E183)); {'Idris.Prelude.Types.Right', E184} -> (fun (V312) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Can\x{27}t infer type for this record update."/utf8>>)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V312))} end(E184)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E180, E181, E182)); {'Idris.Core.Core.NotRecordField', E185, E186, E187} -> (fun (V313, V314, V315) -> case V315 of {'Idris.Prelude.Types.Nothing'} -> (fun () -> fun (V316) -> begin (V317 = (('un--ploc'(V2, V313))(V316))), case V317 of {'Idris.Prelude.Types.Left', E188} -> (fun (V318) -> {'Idris.Prelude.Types.Left', V318} end(E188)); {'Idris.Prelude.Types.Right', E189} -> (fun (V319) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V314)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"is not part of a record type."/utf8>>)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V319))} end(E189)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end()); {'Idris.Prelude.Types.Just', E190} -> (fun (V320) -> fun (V321) -> begin (V322 = (('Idris.Idris2.Core.Context':'un--getFullName'(V0, V320))(V321))), case V322 of {'Idris.Prelude.Types.Left', E191} -> (fun (V323) -> {'Idris.Prelude.Types.Left', V323} end(E191)); {'Idris.Prelude.Types.Right', E192} -> (fun (V324) -> begin (V325 = (('un--ploc'(V2, V313))(V321))), case V325 of {'Idris.Prelude.Types.Left', E193} -> (fun (V326) -> {'Idris.Prelude.Types.Left', V326} end(E193)); {'Idris.Prelude.Types.Right', E194} -> (fun (V327) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Record type"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V324)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"has no field"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V314)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V327))} end(E194)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E192)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E190)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E185, E186, E187)); {'Idris.Core.Core.NotRecordType', E195, E196} -> (fun (V328, V329) -> fun (V330) -> begin (V331 = (('Idris.Idris2.Core.Context':'un--getFullName'(V0, V329))(V330))), case V331 of {'Idris.Prelude.Types.Left', E197} -> (fun (V332) -> {'Idris.Prelude.Types.Left', V332} end(E197)); {'Idris.Prelude.Types.Right', E198} -> (fun (V333) -> begin (V334 = (('un--ploc'(V2, V328))(V330))), case V334 of {'Idris.Prelude.Types.Left', E199} -> (fun (V335) -> {'Idris.Prelude.Types.Left', V335} end(E199)); {'Idris.Prelude.Types.Right', E200} -> (fun (V336) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V333)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"is not a record type."/utf8>>)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V336))} end(E200)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E198)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E195, E196)); {'Idris.Core.Core.IncompatibleFieldUpdate', E201, E202} -> (fun (V337, V338) -> fun (V339) -> begin (V340 = (('un--ploc'(V2, V337))(V339))), case V340 of {'Idris.Prelude.Types.Left', E203} -> (fun (V341) -> {'Idris.Prelude.Types.Left', V341} end(E203)); {'Idris.Prelude.Types.Right', E204} -> (fun (V342) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Field update"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--concatWith'('erased', fun (V343) -> fun (V344) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--surround'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"->"/utf8>>)), V343, V344)) end end, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V345) -> fun (V346) -> fun (V347) -> fun (V348) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V347, V348)) end end end end, fun (V349) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V349)) end, V338)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"not compatible with other updates at"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V342))))))} end(E204)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E201, E202)); {'Idris.Core.Core.InvalidImplicits', E205, E206, E207, E208, E209} -> (fun (V350, V351, V352, V353, V354) -> case V353 of [E214 | E215] -> (fun (V355, V356) -> case V355 of {'Idris.Prelude.Types.Just', E220} -> (fun (V357) -> case V356 of [] -> fun (V358) -> begin (V359 = ('un--pshow'(V350, V0, V1, V352, V354, V358))), case V359 of {'Idris.Prelude.Types.Left', E225} -> (fun (V360) -> {'Idris.Prelude.Types.Left', V360} end(E225)); {'Idris.Prelude.Types.Right', E226} -> (fun (V361) -> begin (V362 = (('un--ploc'(V2, V351))(V358))), case V362 of {'Idris.Prelude.Types.Left', E227} -> (fun (V363) -> {'Idris.Prelude.Types.Left', V363} end(E227)); {'Idris.Prelude.Types.Right', E228} -> (fun (V364) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V357)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"is not a valid implicit argument in"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', V361, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V364))} end(E228)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E226)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end; _ -> fun (V365) -> begin (V366 = ('un--pshow'(V350, V0, V1, V352, V354, V365))), case V366 of {'Idris.Prelude.Types.Left', E221} -> (fun (V367) -> {'Idris.Prelude.Types.Left', V367} end(E221)); {'Idris.Prelude.Types.Right', E222} -> (fun (V368) -> begin (V369 = (('un--ploc'(V2, V351))(V365))), case V369 of {'Idris.Prelude.Types.Left', E223} -> (fun (V370) -> {'Idris.Prelude.Types.Left', V370} end(E223)); {'Idris.Prelude.Types.Right', E224} -> (fun (V371) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--concatWith'('erased', fun (V372) -> fun (V373) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--surround'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--comma'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')))), V372, V373)) end end, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V374) -> fun (V375) -> fun (V376) -> fun (V377) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V376, V377)) end end end end, fun (V378) -> ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__(Maybe $a)'('erased', 'erased', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V379) -> fun (V380) -> ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V380)) end end, fun (V381) -> fun (V382) -> fun (V383) -> ('Idris.Idris2.Core.Name':'dn--un--prettyPrec_Pretty__Name'('erased', V382, V383)) end end end}, V378)))) end, V353)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"are not valid implicit arguments in"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', V368, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V371))} end(E224)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E222)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end end(E220)); _ -> fun (V384) -> begin (V385 = ('un--pshow'(V350, V0, V1, V352, V354, V384))), case V385 of {'Idris.Prelude.Types.Left', E216} -> (fun (V386) -> {'Idris.Prelude.Types.Left', V386} end(E216)); {'Idris.Prelude.Types.Right', E217} -> (fun (V387) -> begin (V388 = (('un--ploc'(V2, V351))(V384))), case V388 of {'Idris.Prelude.Types.Left', E218} -> (fun (V389) -> {'Idris.Prelude.Types.Left', V389} end(E218)); {'Idris.Prelude.Types.Right', E219} -> (fun (V390) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--concatWith'('erased', fun (V391) -> fun (V392) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--surround'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--comma'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')))), V391, V392)) end end, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V393) -> fun (V394) -> fun (V395) -> fun (V396) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V395, V396)) end end end end, fun (V397) -> ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__(Maybe $a)'('erased', 'erased', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V398) -> fun (V399) -> ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V399)) end end, fun (V400) -> fun (V401) -> fun (V402) -> ('Idris.Idris2.Core.Name':'dn--un--prettyPrec_Pretty__Name'('erased', V401, V402)) end end end}, V397)))) end, V353)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"are not valid implicit arguments in"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', V387, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V390))} end(E219)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E217)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end end(E214, E215)); _ -> fun (V403) -> begin (V404 = ('un--pshow'(V350, V0, V1, V352, V354, V403))), case V404 of {'Idris.Prelude.Types.Left', E210} -> (fun (V405) -> {'Idris.Prelude.Types.Left', V405} end(E210)); {'Idris.Prelude.Types.Right', E211} -> (fun (V406) -> begin (V407 = (('un--ploc'(V2, V351))(V403))), case V407 of {'Idris.Prelude.Types.Left', E212} -> (fun (V408) -> {'Idris.Prelude.Types.Left', V408} end(E212)); {'Idris.Prelude.Types.Right', E213} -> (fun (V409) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--concatWith'('erased', fun (V410) -> fun (V411) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--surround'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--comma'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')))), V410, V411)) end end, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V412) -> fun (V413) -> fun (V414) -> fun (V415) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V414, V415)) end end end end, fun (V416) -> ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__(Maybe $a)'('erased', 'erased', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V417) -> fun (V418) -> ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V418)) end end, fun (V419) -> fun (V420) -> fun (V421) -> ('Idris.Idris2.Core.Name':'dn--un--prettyPrec_Pretty__Name'('erased', V420, V421)) end end end}, V416)))) end, V353)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"are not valid implicit arguments in"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', V406, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V409))} end(E213)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E211)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end end(E205, E206, E207, E208, E209)); {'Idris.Core.Core.TryWithImplicits', E229, E230, E231, E232} -> (fun (V422, V423, V424, V425) -> fun (V426) -> begin (V428 = (('Idris.Idris2.Core.Core':'un--traverse'('erased', 'erased', fun (V427) -> ('nested--14610-4457--in--un--tshow'(V422, V425, V424, V423, V2, V1, V0, V422, V424, V427)) end, V425))(V426))), case V428 of {'Idris.Prelude.Types.Left', E233} -> (fun (V429) -> {'Idris.Prelude.Types.Left', V429} end(E233)); {'Idris.Prelude.Types.Right', E234} -> (fun (V430) -> begin (V431 = (('un--ploc'(V2, V423))(V426))), case V431 of {'Idris.Prelude.Types.Left', E235} -> (fun (V432) -> {'Idris.Prelude.Types.Left', V432} end(E235)); {'Idris.Prelude.Types.Right', E236} -> (fun (V433) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Need to bind implicits"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--concatWith'('erased', fun (V434) -> fun (V435) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--surround'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--comma'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')))), V434, V435)) end end, V430)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V433))} end(E236)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E234)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E229, E230, E231, E232)); {'Idris.Core.Core.BadUnboundImplicit', E237, E238, E239, E240, E241} -> (fun (V436, V437, V438, V439, V440) -> fun (V441) -> begin (V442 = ('un--pshow'(V436, V0, V1, V438, V440, V441))), case V442 of {'Idris.Prelude.Types.Left', E242} -> (fun (V443) -> {'Idris.Prelude.Types.Left', V443} end(E242)); {'Idris.Prelude.Types.Right', E243} -> (fun (V444) -> begin (V445 = (('un--ploc'(V2, V437))(V441))), case V445 of {'Idris.Prelude.Types.Left', E244} -> (fun (V446) -> {'Idris.Prelude.Types.Left', V446} end(E244)); {'Idris.Prelude.Types.Right', E245} -> (fun (V447) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Can\x{27}t bind name"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('Idris.Idris2.Core.Name':'un--nameRoot'(V439)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"with type"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V444)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V447)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Suggestion: try an explicit bind."/utf8>>))))} end(E245)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E243)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E237, E238, E239, E240, E241)); {'Idris.Core.Core.CantSolveGoal', E246, E247, E248, E249} -> (fun (V448, V449, V450, V451) -> ('case--perror-4661'(V448, V451, V450, V449, V2, V1, V0, ('nested--14610-4592--in--un--dropEnv'(V448, V451, V450, V449, V2, V1, V0, V448, V450, V451)))) end(E246, E247, E248, E249)); {'Idris.Core.Core.DeterminingArg', E250, E251, E252, E253, E254, E255} -> (fun (V452, V453, V454, V455, V456, V457) -> fun (V458) -> begin (V459 = ('un--pshow'(V452, V0, V1, V456, V457, V458))), case V459 of {'Idris.Prelude.Types.Left', E256} -> (fun (V460) -> {'Idris.Prelude.Types.Left', V460} end(E256)); {'Idris.Prelude.Types.Right', E257} -> (fun (V461) -> begin (V462 = (('un--ploc'(V2, V453))(V458))), case V462 of {'Idris.Prelude.Types.Left', E258} -> (fun (V463) -> {'Idris.Prelude.Types.Left', V463} end(E258)); {'Idris.Prelude.Types.Right', E259} -> (fun (V464) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Can\x{27}t find an implementation for"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V461)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"since I can\x{27}t infer a value for argument"/utf8>>)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V454)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V464))} end(E259)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E257)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E250, E251, E252, E253, E254, E255)); {'Idris.Core.Core.UnsolvedHoles', E260} -> (fun (V465) -> fun (V466) -> begin (V467 = (('nested--14610-4774--in--un--prettyHoles'(V465, V2, V1, V0, V465))(V466))), case V467 of {'Idris.Prelude.Types.Left', E261} -> (fun (V468) -> {'Idris.Prelude.Types.Left', V468} end(E261)); {'Idris.Prelude.Types.Right', E262} -> (fun (V469) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Unsolved holes"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V469))} end(E262)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E260)); {'Idris.Core.Core.CantInferArgType', E263, E264, E265, E266, E267, E268} -> (fun (V470, V471, V472, V473, V474, V475) -> fun (V476) -> begin (V477 = ('un--pshow'(V470, V0, V1, V472, V475, V476))), case V477 of {'Idris.Prelude.Types.Left', E269} -> (fun (V478) -> {'Idris.Prelude.Types.Left', V478} end(E269)); {'Idris.Prelude.Types.Right', E270} -> (fun (V479) -> begin (V480 = (('un--ploc'(V2, V471))(V476))), case V480 of {'Idris.Prelude.Types.Left', E271} -> (fun (V481) -> {'Idris.Prelude.Types.Left', V481} end(E271)); {'Idris.Prelude.Types.Right', E272} -> (fun (V482) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Can\x{27}t infer type for argument"/utf8>>)), ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V473)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V483) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unsafeTextWithoutNewLines'('erased', V483)) end, ('Idris.Idris2.Data.Strings':'un--lines'(<<"Got"/utf8>>)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V479)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"with hole"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--meta'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V474)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V482))))))))} end(E272)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E270)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E263, E264, E265, E266, E267, E268)); {'Idris.Core.Core.SolvedNamedHole', E273, E274, E275, E276, E277} -> (fun (V484, V485, V486, V487, V488) -> fun (V489) -> begin (V490 = ('un--pshow'(V484, V0, V1, V486, V488, V489))), case V490 of {'Idris.Prelude.Types.Left', E278} -> (fun (V491) -> {'Idris.Prelude.Types.Left', V491} end(E278)); {'Idris.Prelude.Types.Right', E279} -> (fun (V492) -> begin (V493 = (('un--ploc'(V2, V485))(V489))), case V493 of {'Idris.Prelude.Types.Left', E280} -> (fun (V494) -> {'Idris.Prelude.Types.Left', V494} end(E280)); {'Idris.Prelude.Types.Right', E281} -> (fun (V495) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Named hole"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--meta'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V487)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"has been solved by unification."/utf8>>)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V496) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unsafeTextWithoutNewLines'('erased', V496)) end, ('Idris.Idris2.Data.Strings':'un--lines'(<<"Result"/utf8>>)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V492)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V495))))} end(E281)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E279)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E273, E274, E275, E276, E277)); {'Idris.Core.Core.VisibilityError', E282, E283, E284, E285, E286} -> (fun (V497, V498, V499, V500, V501) -> fun (V502) -> begin (V507 = ('Idris.Idris2.Core.Context':'un--toFullNames'('erased', V0, {'Idris.Core.Context.dn--un--__mkHasNames', fun (V503) -> fun (V504) -> ('Idris.Idris2.Core.Context':'dn--un--full_HasNames__Name'(V503, V504)) end end, fun (V505) -> fun (V506) -> ('Idris.Idris2.Core.Context':'dn--un--resolved_HasNames__Name'(V505, V506)) end end}, V499, V502))), case V507 of {'Idris.Prelude.Types.Left', E287} -> (fun (V508) -> {'Idris.Prelude.Types.Left', V508} end(E287)); {'Idris.Prelude.Types.Right', E288} -> (fun (V509) -> begin (V514 = ('Idris.Idris2.Core.Context':'un--toFullNames'('erased', V0, {'Idris.Core.Context.dn--un--__mkHasNames', fun (V510) -> fun (V511) -> ('Idris.Idris2.Core.Context':'dn--un--full_HasNames__Name'(V510, V511)) end end, fun (V512) -> fun (V513) -> ('Idris.Idris2.Core.Context':'dn--un--resolved_HasNames__Name'(V512, V513)) end end}, V501, V502))), case V514 of {'Idris.Prelude.Types.Left', E289} -> (fun (V515) -> {'Idris.Prelude.Types.Left', V515} end(E289)); {'Idris.Prelude.Types.Right', E290} -> (fun (V516) -> begin (V517 = (('un--ploc'(V2, V497))(V502))), case V517 of {'Idris.Prelude.Types.Left', E291} -> (fun (V518) -> {'Idris.Prelude.Types.Left', V518} end(E291)); {'Idris.Prelude.Types.Right', E292} -> (fun (V519) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--keyword'(('Idris.Idris2.Core.TT':'dn--un--pretty_Pretty__Visibility'('erased', V498)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('Idris.Idris2.Idris.Resugar':'un--sugarName'(V509)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"cannot refer to"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--keyword'(('Idris.Idris2.Core.TT':'dn--un--pretty_Pretty__Visibility'('erased', V500)))), ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('Idris.Idris2.Idris.Resugar':'un--sugarName'(V516)))))))))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V519))} end(E292)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E290)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E288)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E282, E283, E284, E285, E286)); {'Idris.Core.Core.NonLinearPattern', E293, E294} -> (fun (V520, V521) -> fun (V522) -> begin (V523 = (('un--ploc'(V2, V520))(V522))), case V523 of {'Idris.Prelude.Types.Left', E295} -> (fun (V524) -> {'Idris.Prelude.Types.Left', V524} end(E295)); {'Idris.Prelude.Types.Right', E296} -> (fun (V525) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Non linear pattern"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('Idris.Idris2.Idris.Resugar':'un--sugarName'(V521)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V525))} end(E296)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E293, E294)); {'Idris.Core.Core.BadPattern', E297, E298} -> (fun (V526, V527) -> fun (V528) -> begin (V529 = (('un--ploc'(V2, V526))(V528))), case V529 of {'Idris.Prelude.Types.Left', E299} -> (fun (V530) -> {'Idris.Prelude.Types.Left', V530} end(E299)); {'Idris.Prelude.Types.Right', E300} -> (fun (V531) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Pattern not allowed here"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V527)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V531))} end(E300)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E297, E298)); {'Idris.Core.Core.NoDeclaration', E301, E302} -> (fun (V532, V533) -> fun (V534) -> begin (V535 = (('un--ploc'(V2, V532))(V534))), case V535 of {'Idris.Prelude.Types.Left', E303} -> (fun (V536) -> {'Idris.Prelude.Types.Left', V536} end(E303)); {'Idris.Prelude.Types.Right', E304} -> (fun (V537) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"No type declaration for"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V533)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V537))} end(E304)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E301, E302)); {'Idris.Core.Core.AlreadyDefined', E305, E306} -> (fun (V538, V539) -> fun (V540) -> begin (V541 = (('un--ploc'(V2, V538))(V540))), case V541 of {'Idris.Prelude.Types.Left', E307} -> (fun (V542) -> {'Idris.Prelude.Types.Left', V542} end(E307)); {'Idris.Prelude.Types.Right', E308} -> (fun (V543) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V539)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"is already defined."/utf8>>)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V543))} end(E308)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E305, E306)); {'Idris.Core.Core.NotFunctionType', E309, E310, E311, E312} -> (fun (V544, V545, V546, V547) -> fun (V548) -> begin (V549 = ('un--pshow'(V544, V0, V1, V546, V547, V548))), case V549 of {'Idris.Prelude.Types.Left', E313} -> (fun (V550) -> {'Idris.Prelude.Types.Left', V550} end(E313)); {'Idris.Prelude.Types.Right', E314} -> (fun (V551) -> begin (V552 = (('un--ploc'(V2, V545))(V548))), case V552 of {'Idris.Prelude.Types.Left', E315} -> (fun (V553) -> {'Idris.Prelude.Types.Left', V553} end(E315)); {'Idris.Prelude.Types.Right', E316} -> (fun (V554) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V551)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"is not a function type."/utf8>>)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V554))} end(E316)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E314)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E309, E310, E311, E312)); {'Idris.Core.Core.RewriteNoChange', E317, E318, E319, E320, E321} -> (fun (V555, V556, V557, V558, V559) -> fun (V560) -> begin (V561 = ('un--pshow'(V555, V0, V1, V557, V558, V560))), case V561 of {'Idris.Prelude.Types.Left', E322} -> (fun (V562) -> {'Idris.Prelude.Types.Left', V562} end(E322)); {'Idris.Prelude.Types.Right', E323} -> (fun (V563) -> begin (V564 = ('un--pshow'(V555, V0, V1, V557, V559, V560))), case V564 of {'Idris.Prelude.Types.Left', E324} -> (fun (V565) -> {'Idris.Prelude.Types.Left', V565} end(E324)); {'Idris.Prelude.Types.Right', E325} -> (fun (V566) -> begin (V567 = (('un--ploc'(V2, V556))(V560))), case V567 of {'Idris.Prelude.Types.Left', E326} -> (fun (V568) -> {'Idris.Prelude.Types.Left', V568} end(E326)); {'Idris.Prelude.Types.Right', E327} -> (fun (V569) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Rewriting by"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V563)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"did not change type"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V566)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V569))} end(E327)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E325)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E323)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E317, E318, E319, E320, E321)); {'Idris.Core.Core.NotRewriteRule', E328, E329, E330, E331} -> (fun (V570, V571, V572, V573) -> fun (V574) -> begin (V575 = ('un--pshow'(V570, V0, V1, V572, V573, V574))), case V575 of {'Idris.Prelude.Types.Left', E332} -> (fun (V576) -> {'Idris.Prelude.Types.Left', V576} end(E332)); {'Idris.Prelude.Types.Right', E333} -> (fun (V577) -> begin (V578 = (('un--ploc'(V2, V571))(V574))), case V578 of {'Idris.Prelude.Types.Left', E334} -> (fun (V579) -> {'Idris.Prelude.Types.Left', V579} end(E334)); {'Idris.Prelude.Types.Right', E335} -> (fun (V580) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V577)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"is not a rewrite rule type."/utf8>>)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V580))} end(E335)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E333)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E328, E329, E330, E331)); {'Idris.Core.Core.CaseCompile', E336, E337, E338} -> (fun (V581, V582, V583) -> case V583 of {'Idris.Core.Core.DifferingArgNumbers'} -> (fun () -> fun (V584) -> begin (V585 = (('Idris.Idris2.Core.Context':'un--prettyName'(V0, V582))(V584))), case V585 of {'Idris.Prelude.Types.Left', E339} -> (fun (V586) -> {'Idris.Prelude.Types.Left', V586} end(E339)); {'Idris.Prelude.Types.Right', E340} -> (fun (V587) -> begin (V588 = (('un--ploc'(V2, V581))(V584))), case V588 of {'Idris.Prelude.Types.Left', E341} -> (fun (V589) -> {'Idris.Prelude.Types.Left', V589} end(E341)); {'Idris.Prelude.Types.Right', E342} -> (fun (V590) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Patterns for"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V587)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"have differing numbers of arguments."/utf8>>)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V590))} end(E342)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E340)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end()); {'Idris.Core.Core.DifferingTypes'} -> (fun () -> fun (V591) -> begin (V592 = (('Idris.Idris2.Core.Context':'un--prettyName'(V0, V582))(V591))), case V592 of {'Idris.Prelude.Types.Left', E343} -> (fun (V593) -> {'Idris.Prelude.Types.Left', V593} end(E343)); {'Idris.Prelude.Types.Right', E344} -> (fun (V594) -> begin (V595 = (('un--ploc'(V2, V581))(V591))), case V595 of {'Idris.Prelude.Types.Left', E345} -> (fun (V596) -> {'Idris.Prelude.Types.Left', V596} end(E345)); {'Idris.Prelude.Types.Right', E346} -> (fun (V597) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Patterns for"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V594)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"require matching on different types."/utf8>>)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V597))} end(E346)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E344)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end()); {'Idris.Core.Core.UnknownType'} -> (fun () -> fun (V598) -> begin (V599 = (('Idris.Idris2.Core.Context':'un--prettyName'(V0, V582))(V598))), case V599 of {'Idris.Prelude.Types.Left', E347} -> (fun (V600) -> {'Idris.Prelude.Types.Left', V600} end(E347)); {'Idris.Prelude.Types.Right', E348} -> (fun (V601) -> begin (V602 = (('un--ploc'(V2, V581))(V598))), case V602 of {'Idris.Prelude.Types.Left', E349} -> (fun (V603) -> {'Idris.Prelude.Types.Left', V603} end(E349)); {'Idris.Prelude.Types.Right', E350} -> (fun (V604) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Can\x{27}t infer type to match in"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V601)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V604))} end(E350)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E348)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end()); {'Idris.Core.Core.NotFullyApplied', E351} -> (fun (V605) -> fun (V606) -> begin (V611 = ('Idris.Idris2.Core.Context':'un--toFullNames'('erased', V0, {'Idris.Core.Context.dn--un--__mkHasNames', fun (V607) -> fun (V608) -> ('Idris.Idris2.Core.Context':'dn--un--full_HasNames__Name'(V607, V608)) end end, fun (V609) -> fun (V610) -> ('Idris.Idris2.Core.Context':'dn--un--resolved_HasNames__Name'(V609, V610)) end end}, V605, V606))), case V611 of {'Idris.Prelude.Types.Left', E352} -> (fun (V612) -> {'Idris.Prelude.Types.Left', V612} end(E352)); {'Idris.Prelude.Types.Right', E353} -> (fun (V613) -> begin (V614 = (('un--ploc'(V2, V581))(V606))), case V614 of {'Idris.Prelude.Types.Left', E354} -> (fun (V615) -> {'Idris.Prelude.Types.Left', V615} end(E354)); {'Idris.Prelude.Types.Right', E355} -> (fun (V616) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"Constructor"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V613)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"is not fully applied."/utf8>>)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V616))} end(E355)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E353)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E351)); {'Idris.Core.Core.MatchErased', E356} -> (fun (V617) -> case V617 of {'Idris.Builtin.DPair.MkDPair', E357, E358} -> (fun (V618, V619) -> case V619 of {'Idris.Builtin.MkPair', E359, E360} -> (fun (V620, V621) -> fun (V622) -> begin (V623 = ('un--pshow'(V618, V0, V1, V620, V621, V622))), case V623 of {'Idris.Prelude.Types.Left', E361} -> (fun (V624) -> {'Idris.Prelude.Types.Left', V624} end(E361)); {'Idris.Prelude.Types.Right', E362} -> (fun (V625) -> begin (V626 = (('Idris.Idris2.Core.Context':'un--prettyName'(V0, V582))(V622))), case V626 of {'Idris.Prelude.Types.Left', E363} -> (fun (V627) -> {'Idris.Prelude.Types.Left', V627} end(E363)); {'Idris.Prelude.Types.Right', E364} -> (fun (V628) -> begin (V629 = (('un--ploc'(V2, V581))(V622))), case V629 of {'Idris.Prelude.Types.Left', E365} -> (fun (V630) -> {'Idris.Prelude.Types.Left', V630} end(E365)); {'Idris.Prelude.Types.Right', E366} -> (fun (V631) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Attempt to match on erased argument"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V625)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"in"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V628)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V631))} end(E366)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E364)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E362)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E359, E360)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E357, E358)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E356)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E336, E337, E338)); {'Idris.Core.Core.BadDotPattern', E367, E368, E369, E370, E371, E372} -> (fun (V632, V633, V634, V635, V636, V637) -> fun (V638) -> begin (V639 = ('un--pshow'(V632, V0, V1, V634, V636, V638))), case V639 of {'Idris.Prelude.Types.Left', E373} -> (fun (V640) -> {'Idris.Prelude.Types.Left', V640} end(E373)); {'Idris.Prelude.Types.Right', E374} -> (fun (V641) -> begin (V642 = (('un--ploc'(V2, V633))(V638))), case V642 of {'Idris.Prelude.Types.Left', E375} -> (fun (V643) -> {'Idris.Prelude.Types.Left', V643} end(E375)); {'Idris.Prelude.Types.Right', E376} -> (fun (V644) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Can\x{27}t match on"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V641)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--parens'('erased', ('Idris.Idris2.Core.Core':'dn--un--pretty_Pretty__DotReason'('erased', V635)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V644))} end(E376)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E374)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E367, E368, E369, E370, E371, E372)); {'Idris.Core.Core.MatchTooSpecific', E377, E378, E379, E380} -> (fun (V645, V646, V647, V648) -> fun (V649) -> begin (V650 = ('un--pshow'(V645, V0, V1, V647, V648, V649))), case V650 of {'Idris.Prelude.Types.Left', E381} -> (fun (V651) -> {'Idris.Prelude.Types.Left', V651} end(E381)); {'Idris.Prelude.Types.Right', E382} -> (fun (V652) -> begin (V653 = (('un--ploc'(V2, V646))(V649))), case V653 of {'Idris.Prelude.Types.Left', E383} -> (fun (V654) -> {'Idris.Prelude.Types.Left', V654} end(E383)); {'Idris.Prelude.Types.Right', E384} -> (fun (V655) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Can\x{27}t match on"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V652)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"as it has a polymorphic type."/utf8>>)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V655))} end(E384)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E382)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E377, E378, E379, E380)); {'Idris.Core.Core.BadImplicit', E385, E386} -> (fun (V656, V657) -> fun (V658) -> begin (V659 = (('un--ploc'(V2, V656))(V658))), case V659 of {'Idris.Prelude.Types.Left', E387} -> (fun (V660) -> {'Idris.Prelude.Types.Left', V660} end(E387)); {'Idris.Prelude.Types.Right', E388} -> (fun (V661) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Can\x{27}t infer type for unbound implicit name"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V657)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V661)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Suggestion: try making it a bound implicit."/utf8>>))))} end(E388)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E385, E386)); {'Idris.Core.Core.BadRunElab', E389, E390, E391, E392} -> (fun (V662, V663, V664, V665) -> fun (V666) -> begin (V667 = ('un--pshow'(V662, V0, V1, V664, V665, V666))), case V667 of {'Idris.Prelude.Types.Left', E393} -> (fun (V668) -> {'Idris.Prelude.Types.Left', V668} end(E393)); {'Idris.Prelude.Types.Right', E394} -> (fun (V669) -> begin (V670 = (('un--ploc'(V2, V663))(V666))), case V670 of {'Idris.Prelude.Types.Left', E395} -> (fun (V671) -> {'Idris.Prelude.Types.Left', V671} end(E395)); {'Idris.Prelude.Types.Right', E396} -> (fun (V672) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Bad elaborator script"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--code'(V669)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V672))} end(E396)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E394)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E389, E390, E391, E392)); {'Idris.Core.Core.GenericMsg', E397, E398} -> (fun (V673, V674) -> fun (V675) -> begin (V676 = (('un--ploc'(V2, V673))(V675))), case V676 of {'Idris.Prelude.Types.Left', E399} -> (fun (V677) -> {'Idris.Prelude.Types.Left', V677} end(E399)); {'Idris.Prelude.Types.Right', E400} -> (fun (V678) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V674)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V678))} end(E400)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E397, E398)); {'Idris.Core.Core.TTCError', E401} -> (fun (V679) -> fun (V680) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Error in TTC file"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('Idris.Idris2.Core.Core':'dn--un--show_Show__TTCErrorMsg'(V679)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--parens'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"the most likely case is that the ./build directory in your current project contains files from a previous build of idris2 or the idris2 executable is from a different build than the installed .ttc files"/utf8>>))))))} end end(E401)); {'Idris.Core.Core.FileErr', E402, E403} -> (fun (V681, V682) -> fun (V683) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"File error in"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V681)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('Idris.Idris2.Erlang.System.File':'dn--un--show_Show__FileError'(V682))))))} end end(E402, E403)); {'Idris.Core.Core.ParseFail', E404, E405, E406} -> (fun (V684, V685, V686) -> fun (V687) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Parser.Support':'dn--un--pretty_Pretty__(ParseError $tok)'('erased', 'erased', ('Idris.Idris2.Builtin':'un--snd'('erased', 'erased', V684)), V686))} end end(E404, E405, E406)); {'Idris.Core.Core.ModuleNotFound', E407, E408} -> (fun (V688, V689) -> fun (V690) -> begin (V691 = (('un--ploc'(V2, V688))(V690))), case V691 of {'Idris.Prelude.Types.Left', E409} -> (fun (V692) -> {'Idris.Prelude.Types.Left', V692} end(E409)); {'Idris.Prelude.Types.Right', E410} -> (fun (V693) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"Module"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.FileCtxt'}, ('Idris.Idris2.Core.Name.Namespace':'dn--un--pretty_Pretty__ModuleIdent'('erased', V689)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"not found"/utf8>>)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V693))} end(E410)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E407, E408)); {'Idris.Core.Core.CyclicImports', E411} -> (fun (V694) -> fun (V695) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Module imports form a cycle"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--concatWith'('erased', fun (V696) -> fun (V697) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--surround'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<" -> "/utf8>>)), V696, V697)) end end, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V698) -> fun (V699) -> fun (V700) -> fun (V701) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V700, V701)) end end end end, fun (V702) -> ('Idris.Idris2.Core.Name.Namespace':'dn--un--pretty_Pretty__ModuleIdent'('erased', V702)) end, V694))))))} end end(E411)); {'Idris.Core.Core.ForceNeeded'} -> (fun () -> fun (V703) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Internal error when resolving implicit laziness"/utf8>>))))} end end()); {'Idris.Core.Core.InternalError', E412} -> (fun (V704) -> fun (V705) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"INTERNAL ERROR"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V704))))} end end(E412)); {'Idris.Core.Core.UserError', E413} -> (fun (V706) -> fun (V707) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"Error"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V706))))} end end(E413)); {'Idris.Core.Core.NoForeignCC', E414} -> (fun (V708) -> fun (V709) -> begin (V738 = begin (V737 = (('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 (V710) -> fun (V711) -> fun (V712) -> fun (V713) -> fun (V714) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V712, V713, V714)) end end end end end, fun (V715) -> fun (V716) -> fun (V717) -> V716 end end end, fun (V718) -> fun (V719) -> fun (V720) -> fun (V721) -> fun (V722) -> begin (V723 = (V720(V722))), begin (V724 = (V721(V722))), (V723(V724)) end end end end end end end}, fun (V725) -> fun (V726) -> fun (V727) -> fun (V728) -> fun (V729) -> begin (V730 = (V727(V729))), ((V728(V730))(V729)) end end end end end end, fun (V731) -> fun (V732) -> fun (V733) -> begin (V734 = (V732(V733))), (V734(V733)) end end end end}, fun (V735) -> fun (V736) -> V736 end end}, V0))(V709))), {'Idris.Prelude.Types.Right', V737} end), case V738 of {'Idris.Prelude.Types.Left', E415} -> (fun (V739) -> {'Idris.Prelude.Types.Left', V739} end(E415)); {'Idris.Prelude.Types.Right', E416} -> (fun (V740) -> begin (V772 = ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V741) -> fun (V742) -> fun (V743) -> fun (V744) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V743, V744)) end end end end, fun (V745) -> ('Idris.Idris2.Builtin':'un--fst'('erased', 'erased', V745)) end, ('Idris.Idris2.Core.Options':'un--availableCGs'(case V740 of {'Idris.Core.Context.MkDefs', E417, E418, E419, E420, E421, E422, E423, E424, E425, E426, E427, E428, E429, E430, E431, E432, E433, E434, E435, E436, E437, E438, E439, E440, E441, E442} -> (fun (V746, V747, V748, V749, V750, V751, V752, V753, V754, V755, V756, V757, V758, V759, V760, V761, V762, V763, V764, V765, V766, V767, V768, V769, V770, V771) -> V750 end(E417, E418, E419, E420, E421, E422, E423, E424, E425, E426, E427, E428, E429, E430, E431, E432, E433, E434, E435, E436, E437, E438, E439, E440, E441, E442)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end))))), begin (V773 = (('un--ploc'(V2, V708))(V709))), case V773 of {'Idris.Prelude.Types.Left', E443} -> (fun (V774) -> {'Idris.Prelude.Types.Left', V774} end(E443)); {'Idris.Prelude.Types.Right', E444} -> (fun (V775) -> begin (V779 = ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"The given specifier was not accepted by any backend. Available backends"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')))))) | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--indent'('erased', 2, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--concatWith'('erased', fun (V776) -> fun (V777) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', V776, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<", "/utf8>>)))), V777)) end end, ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V778) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', V778)) end, V772)))))) | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"Some backends have additional specifier rules, refer to their documentation."/utf8>>)) | []]]])), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), V775))), {'Idris.Prelude.Types.Right', V779} end end(E444)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E416)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E414)); {'Idris.Core.Core.InType', E445, E446, E447} -> (fun (V780, V781, V782) -> fun (V783) -> begin (V784 = (('Idris.Idris2.Core.Context':'un--prettyName'(V0, V781))(V783))), case V784 of {'Idris.Prelude.Types.Left', E448} -> (fun (V785) -> {'Idris.Prelude.Types.Left', V785} end(E448)); {'Idris.Prelude.Types.Right', E449} -> (fun (V786) -> begin (V787 = (('un--perror'(V0, V1, V2, V782))(V783))), case V787 of {'Idris.Prelude.Types.Left', E450} -> (fun (V788) -> {'Idris.Prelude.Types.Left', V788} end(E450)); {'Idris.Prelude.Types.Right', E451} -> (fun (V789) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--hsep'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"While processing type of"/utf8>>)), ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V786)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))) | [V789 | []]]))} end(E451)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E449)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E445, E446, E447)); {'Idris.Core.Core.InCon', E452, E453, E454} -> (fun (V790, V791, V792) -> fun (V793) -> begin (V794 = (('Idris.Idris2.Core.Context':'un--prettyName'(V0, V791))(V793))), case V794 of {'Idris.Prelude.Types.Left', E455} -> (fun (V795) -> {'Idris.Prelude.Types.Left', V795} end(E455)); {'Idris.Prelude.Types.Right', E456} -> (fun (V796) -> begin (V797 = (('un--perror'(V0, V1, V2, V792))(V793))), case V797 of {'Idris.Prelude.Types.Left', E457} -> (fun (V798) -> {'Idris.Prelude.Types.Left', V798} end(E457)); {'Idris.Prelude.Types.Right', E458} -> (fun (V799) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--hsep'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"While processing constructor"/utf8>>)), ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V796)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))) | [V799 | []]]))} end(E458)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E456)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E452, E453, E454)); {'Idris.Core.Core.InLHS', E459, E460, E461} -> (fun (V800, V801, V802) -> fun (V803) -> begin (V804 = (('Idris.Idris2.Core.Context':'un--prettyName'(V0, V801))(V803))), case V804 of {'Idris.Prelude.Types.Left', E462} -> (fun (V805) -> {'Idris.Prelude.Types.Left', V805} end(E462)); {'Idris.Prelude.Types.Right', E463} -> (fun (V806) -> begin (V807 = (('un--perror'(V0, V1, V2, V802))(V803))), case V807 of {'Idris.Prelude.Types.Left', E464} -> (fun (V808) -> {'Idris.Prelude.Types.Left', V808} end(E464)); {'Idris.Prelude.Types.Right', E465} -> (fun (V809) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--hsep'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"While processing left hand side of"/utf8>>)), ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V806)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))) | [V809 | []]]))} end(E465)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E463)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E459, E460, E461)); {'Idris.Core.Core.InRHS', E466, E467, E468} -> (fun (V810, V811, V812) -> fun (V813) -> begin (V814 = (('Idris.Idris2.Core.Context':'un--prettyName'(V0, V811))(V813))), case V814 of {'Idris.Prelude.Types.Left', E469} -> (fun (V815) -> {'Idris.Prelude.Types.Left', V815} end(E469)); {'Idris.Prelude.Types.Right', E470} -> (fun (V816) -> begin (V817 = (('un--perror'(V0, V1, V2, V812))(V813))), case V817 of {'Idris.Prelude.Types.Left', E471} -> (fun (V818) -> {'Idris.Prelude.Types.Left', V818} end(E471)); {'Idris.Prelude.Types.Right', E472} -> (fun (V819) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--hsep'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Idris.Pretty':'un--errorDesc'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"While processing right hand side of"/utf8>>)), ('Idris.Idris2.Idris.Pretty':'un--code'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V816)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')))) | [V819 | []]]))} end(E472)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E470)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E466, E467, E468)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--pShowMN'(V0, V1, V2, V3, V4) -> case V2 of {'Idris.Core.TT.Local', E0, E1, E2} -> (fun (V5, V6, V7) -> begin (V8 = {'Idris.Core.TT.Local', V5, V6, V7}), ('case--case block in pShowMN-303'('erased', V1, V4, V3, 'erased', V6, V7, 'erased', V5, V8, ('Idris.Idris2.Core.Name':'un--dropAllNS'(('Idris.Idris2.Core.TT':'un--nameAt'('erased', V1, V7, 'erased')))))) end end(E0, E1, E2)); _ -> V4 end.
'un--displayWarning'(V0, V1, V2, V3, V4) -> begin (V5 = (('un--pwarning'(V0, V1, V2, V3))(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) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.Warning'}, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"Warning:"/utf8>>)))), V7))} end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end.
'un--display'(V0, V1, V2, V3, V4) -> begin (V5 = (('un--perror'(V0, V1, V2, V3))(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) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.Error'}, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"Error:"/utf8>>)))), V7))} end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end.