Packages

idris2

0.2.1-alpha.1
0.2.1-alpha.1

Erlang code generator for Idris 2

Current section

Files

Jump to
Readme
1 Version
0 Dependencies
Dependants
Files
Activity
idris2 src Idris.Idris2.Idris.Pretty.erl
Raw

src/Idris.Idris2.Idris.Pretty.erl 

-module('Idris.Idris2.Idris.Pretty').

-compile('no_auto_import').

-compile('inline').

-compile({'inline_size',24}).

-export([

  'case--renderWithoutColor-3400'/3,

  'case--render-3352'/6,

  'case--render-3306'/4,

  'case--prettyTerm,go,deGuard-3064'/11,

  'case--prettyTerm,go,dePure-3010'/10,

  'case--prettyTerm,go-2555'/7,

  'case--prettyTerm,go-2235'/8,

  'case--prettyTerm,parenthesise-1752'/1,

  'nested--9832-1737--in--un--startPrec'/0,

  'nested--10077-2093--in--un--prettyBindings'/8,

  'nested--9832-1740--in--un--parenthesise'/1,

  'nested--9832-1739--in--un--leftAppPrec'/0,

  'nested--9832-1741--in--un--go'/2,

  'nested--10077-2092--in--un--getLamNames'/9,

  'nested--10077-2994--in--un--dePure'/5,

  'nested--10077-2995--in--un--deGuard'/5,

  'nested--9832-1738--in--un--appPrec'/0,

  'un--with_'/0,

  'un--rewrite_'/0,

  'un--renderWithoutColor'/3,

  'un--render'/3,

  'un--record_'/0,

  'un--prettyUpdate'/1,

  'un--prettyTerm'/1,

  'un--prettyRig'/2,

  'un--prettyDo'/1,

  'un--prettyCase'/1,

  'un--prettyAlt'/1,

  'un--pragma'/1,

  'un--of_'/0,

  'un--meta'/1,

  'un--let_'/0,

  'un--keyword'/1,

  'un--in_'/0,

  'un--impossible_'/0,

  'un--fileCtxt'/1,

  'un--errorDesc'/1,

  'un--error'/1,

  'un--do_'/0,

  'un--default_'/0,

  'un--colorAnn'/1,

  'un--code'/1,

  'un--case_'/0,

  'un--auto_'/0

]).

'case--renderWithoutColor-3400'(V0, V1, V2) -> case V2 of {'Idris.Prelude.Types.Nothing'} -> (fun () -> fun (V3) -> begin (V5 = begin (V4 = ('Idris.Idris2.Utils.Term':'un--getTermCols'(V3))), {'Idris.Prelude.Types.Right', V4} end), 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.Text.PrettyPrint.Prettyprinter.Doc.AvailablePerLine', V7, 1.0}} end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end()); {'Idris.Prelude.Types.Just', E2} -> (fun (V8) -> case V8 of 0 -> fun (V9) -> {'Idris.Prelude.Types.Right', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Unbounded'}} end; _ -> fun (V10) -> {'Idris.Prelude.Types.Right', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AvailablePerLine', ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Nat_Int'(V8)), 1.0}} end end end(E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.

'case--render-3352'(V0, V1, V2, V3, V4, V5) -> case V3 of 0 -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--reAnnotateS'('erased', 'erased', fun (V6) -> ('un--colorAnn'(V6)) end, V5)); 1 -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unAnnotateS'('erased', 'erased', V5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.

'case--render-3306'(V0, V1, V2, V3) -> case V2 of {'Idris.Prelude.Types.Nothing'} -> (fun () -> fun (V4) -> begin (V6 = begin (V5 = ('Idris.Idris2.Utils.Term':'un--getTermCols'(V4))), {'Idris.Prelude.Types.Right', V5} end), case V6 of {'Idris.Prelude.Types.Left', E0} -> (fun (V7) -> {'Idris.Prelude.Types.Left', V7} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V8) -> {'Idris.Prelude.Types.Right', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AvailablePerLine', V8, 1.0}} end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end()); {'Idris.Prelude.Types.Just', E2} -> (fun (V9) -> case V9 of 0 -> fun (V10) -> {'Idris.Prelude.Types.Right', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Unbounded'}} end; _ -> fun (V11) -> {'Idris.Prelude.Types.Right', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AvailablePerLine', ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Nat_Int'(V9)), 1.0}} end end end(E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.

'case--prettyTerm,go,deGuard-3064'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10) -> case V10 of 0 -> {'Idris.Idris.Syntax.DoExp', V8, V7}; 1 -> V9; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.

'case--prettyTerm,go,dePure-3010'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> case V9 of 0 -> V7; 1 -> V8; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.

'case--prettyTerm,go-2555'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of 0 -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1739--in--un--leftAppPrec'()), V4)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--braces'('erased', ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V2)))))); 1 -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1739--in--un--leftAppPrec'()), V4)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--braces'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V2)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--equals'('erased')), ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V3)))))))))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.

'case--prettyTerm,go-2235'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V8, V9) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V6, ('nested--9832-1737--in--un--startPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--align'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--hang'('erased', 2, ('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--backslash'('erased')), ('nested--10077-2093--in--un--prettyBindings'(V0, V1, V2, V3, V4, V5, V6, V8)))), ('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--fromString_FromString__(Doc $ann)'('erased', <<"=>"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V9)))))))))))))) end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.

'case--prettyTerm,parenthesise-1752'(V0) -> case V0 of 0 -> fun (V1) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--parens'('erased', V1)) end; 1 -> fun (V2) -> V2 end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.

'nested--9832-1737--in--un--startPrec'() -> {'Idris.Prelude.Show.User', 0}.

'nested--10077-2093--in--un--prettyBindings'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of [] -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--neutral_Monoid__(Doc $ann)'('erased')); [E0 | E1] -> (fun (V8, V9) -> case V8 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V10, V11) -> case V11 of {'Idris.Builtin.MkPair', E4, E5} -> (fun (V12, V13) -> case V13 of {'Idris.Idris.Syntax.PImplicit', E7} -> (fun (V14) -> case V9 of [] -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--prettyRig'('erased', V10)), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V12)))); _ -> case V9 of [] -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--prettyRig'('erased', V10)), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V12)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V13)))))); _ -> case V13 of {'Idris.Idris.Syntax.PImplicit', E8} -> (fun (V15) -> ('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', ('un--prettyRig'('erased', V10)), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V12)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--comma'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--10077-2093--in--un--prettyBindings'(V0, V1, V2, V3, V4, V5, V6, V9)))) end(E8)); _ -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--prettyRig'('erased', V10)), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V12)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('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.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V13)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--comma'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--10077-2093--in--un--prettyBindings'(V0, V1, V2, V3, V4, V5, V6, V9)))))))) end end end end(E7)); _ -> case V9 of [] -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--prettyRig'('erased', V10)), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V12)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V13)))))); _ -> case V13 of {'Idris.Idris.Syntax.PImplicit', E6} -> (fun (V16) -> ('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', ('un--prettyRig'('erased', V10)), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V12)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--comma'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--10077-2093--in--un--prettyBindings'(V0, V1, V2, V3, V4, V5, V6, V9)))) end(E6)); _ -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--prettyRig'('erased', V10)), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V12)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('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.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V13)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--comma'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--10077-2093--in--un--prettyBindings'(V0, V1, V2, V3, V4, V5, V6, V9)))))))) end end end end(E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.

'nested--9832-1740--in--un--parenthesise'(V0) -> case V0 of 0 -> fun (V1) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--parens'('erased', V1)) end; 1 -> fun (V2) -> V2 end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.

'nested--9832-1739--in--un--leftAppPrec'() -> {'Idris.Prelude.Show.User', (1 + (1 + (1 + (1 + (1 + (1 + (1 + (1 + (1 + 0)))))))))}.

'nested--9832-1741--in--un--go'(V0, V1) -> case V1 of {'Idris.Idris.Syntax.PRef', E0, E1} -> (fun (V2, V3) -> ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V3)) end(E0, E1)); {'Idris.Idris.Syntax.PPi', E2, E3, E4, E5, E6, E7} -> (fun (V4, V5, V6, V7, V8, V9) -> case V6 of {'Idris.Core.TT.Explicit'} -> (fun () -> case V7 of {'Idris.Prelude.Types.Nothing'} -> (fun () -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1737--in--un--startPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Algebra.Semiring':'un--branchVal'('erased', 'erased', {'Idris.Builtin.MkPair', {'Idris.Algebra.Semiring.dn--un--__mkSemiring', fun (V10) -> fun (V11) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|+|_Semiring__ZeroOneOmega'(V10, V11)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--plusNeutral_Semiring__ZeroOneOmega'()), fun (V12) -> fun (V13) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|*|_Semiring__ZeroOneOmega'(V12, V13)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--timesNeutral_Semiring__ZeroOneOmega'())}, {'Idris.Prelude.EqOrd.dn--un--__mkEq', fun (V14) -> fun (V15) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--==_Eq__ZeroOneOmega'(V14, V15)) end end, fun (V16) -> fun (V17) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--/=_Eq__ZeroOneOmega'(V16, V17)) end end}}, fun () -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V8)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"->"/utf8>>)), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V9)))))) end, fun () -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('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--<+>_Semigroup__(Doc $ann)'('erased', ('un--prettyRig'('erased', V5)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"_"/utf8>>)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V8)))))))), ('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--fromString_FromString__(Doc $ann)'('erased', <<"->"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V9)))))) end, V5)))))) end()); {'Idris.Prelude.Types.Just', E8} -> (fun (V18) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1737--in--un--startPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('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--<+>_Semigroup__(Doc $ann)'('erased', ('un--prettyRig'('erased', V5)), ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V18)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V8)))))))), ('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--fromString_FromString__(Doc $ann)'('erased', <<"->"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V9)))))))))) end(E8)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end()); {'Idris.Core.TT.Implicit'} -> (fun () -> case V7 of {'Idris.Prelude.Types.Nothing'} -> (fun () -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1737--in--un--startPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--braces'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--prettyRig'('erased', V5)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__Char'('erased', $_)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V8)))))))), ('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--fromString_FromString__(Doc $ann)'('erased', <<"->"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V9)))))))))) end()); {'Idris.Prelude.Types.Just', E9} -> (fun (V19) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1737--in--un--startPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--braces'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--prettyRig'('erased', V5)), ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V19)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V8)))))))), ('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--fromString_FromString__(Doc $ann)'('erased', <<"->"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V9)))))))))) end(E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end()); {'Idris.Core.TT.AutoImplicit'} -> (fun () -> case V7 of {'Idris.Prelude.Types.Nothing'} -> (fun () -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1737--in--un--startPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Algebra.Semiring':'un--branchVal'('erased', 'erased', {'Idris.Builtin.MkPair', {'Idris.Algebra.Semiring.dn--un--__mkSemiring', fun (V20) -> fun (V21) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|+|_Semiring__ZeroOneOmega'(V20, V21)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--plusNeutral_Semiring__ZeroOneOmega'()), fun (V22) -> fun (V23) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|*|_Semiring__ZeroOneOmega'(V22, V23)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--timesNeutral_Semiring__ZeroOneOmega'())}, {'Idris.Prelude.EqOrd.dn--un--__mkEq', fun (V24) -> fun (V25) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--==_Eq__ZeroOneOmega'(V24, V25)) end end, fun (V26) -> fun (V27) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--/=_Eq__ZeroOneOmega'(V26, V27)) end end}}, fun () -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V8)), ('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--fromString_FromString__(Doc $ann)'('erased', <<"=>"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V9)))))) end, fun () -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--braces'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--auto_'()), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--prettyRig'('erased', V5)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"_"/utf8>>)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V8)))))))))), ('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--fromString_FromString__(Doc $ann)'('erased', <<"->"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V9)))))) end, V5)))))) end()); {'Idris.Prelude.Types.Just', E10} -> (fun (V28) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1737--in--un--startPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--braces'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--auto_'()), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--prettyRig'('erased', V5)), ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V28)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V8)))))))))), ('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--fromString_FromString__(Doc $ann)'('erased', <<"->"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V9)))))))))) end(E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end()); {'Idris.Core.TT.DefImplicit', E11} -> (fun (V29) -> case V7 of {'Idris.Prelude.Types.Nothing'} -> (fun () -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1737--in--un--startPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--braces'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--default_'()), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1738--in--un--appPrec'()), V29)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--prettyRig'('erased', V5)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"_"/utf8>>)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V8)))))))))))), ('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--fromString_FromString__(Doc $ann)'('erased', <<"->"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V9)))))))))) end()); {'Idris.Prelude.Types.Just', E12} -> (fun (V30) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1737--in--un--startPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--braces'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--default_'()), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1738--in--un--appPrec'()), V29)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--prettyRig'('erased', V5)), ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V30)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V8)))))))))))), ('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--fromString_FromString__(Doc $ann)'('erased', <<"->"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V9)))))))))) end(E12)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E11)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E2, E3, E4, E5, E6, E7)); {'Idris.Idris.Syntax.PLam', E13, E14, E15, E16, E17, E18} -> (fun (V31, V32, V33, V34, V35, V36) -> ('case--prettyTerm,go-2235'(V31, V33, V36, V35, V34, V32, V0, ('nested--10077-2092--in--un--getLamNames'(V31, V33, V36, V35, V34, V32, V0, [{'Idris.Builtin.MkPair', V32, {'Idris.Builtin.MkPair', V34, V35}} | []], V36)))) end(E13, E14, E15, E16, E17, E18)); {'Idris.Idris.Syntax.PLet', E19, E20, E21, E22, E23, E24, E25} -> (fun (V37, V38, V39, V40, V41, V42, V43) -> case V40 of {'Idris.Idris.Syntax.PImplicit', E26} -> (fun (V44) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1737--in--un--startPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--align'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--let_'()), ('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':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--align'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--hang'('erased', 2, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--prettyRig'('erased', V38)), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V39)))), ('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.Symbols':'un--equals'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V41)))))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('un--in_'()))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--align'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--hang'('erased', 2, ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V42)))))))))))))))))) end(E26)); _ -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1737--in--un--startPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--align'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--let_'()), ('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.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--align'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--hang'('erased', 2, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--prettyRig'('erased', V38)), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V39)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V40)), ('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.Symbols':'un--equals'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V41)))))))))))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--hardline'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--hang'('erased', 4, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--fillSep'('erased', ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V45) -> fun (V46) -> fun (V47) -> fun (V48) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V47, V48)) end end end end, fun (V49) -> ('un--prettyAlt'(V49)) end, V43)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('un--in_'()))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--align'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--hang'('erased', 2, ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V42)))))))))))))))))) end end(E19, E20, E21, E22, E23, E24, E25)); {'Idris.Idris.Syntax.PCase', E27, E28, E29} -> (fun (V50, V51, V52) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--align'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--case_'()), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V51)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--of_'()), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--braces'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--punctuate'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--semi'('erased')), ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V53) -> fun (V54) -> fun (V55) -> fun (V56) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V55, V56)) end end end end, fun (V57) -> ('un--prettyCase'(V57)) end, V52)))))))))))))))))) end(E27, E28, E29)); {'Idris.Idris.Syntax.PLocal', E30, E31, E32} -> (fun (V58, V59, V60) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1737--in--un--startPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--align'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--let_'()), ('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.Symbols':'un--braces'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--angles'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--angles'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"definitions"/utf8>>)))))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('un--in_'()))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V60)))))))))))) end(E30, E31, E32)); {'Idris.Idris.Syntax.PUpdate', E33, E34} -> (fun (V61, V62) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--record_'()), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--braces'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--punctuate'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--comma'('erased')), ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V63) -> fun (V64) -> fun (V65) -> fun (V66) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V65, V66)) end end end end, fun (V67) -> ('un--prettyUpdate'(V67)) end, V62)))))))))))))) end(E33, E34)); {'Idris.Idris.Syntax.PApp', E35, E36, E37} -> (fun (V68, V69, V70) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1739--in--un--leftAppPrec'()), V69)), ('nested--9832-1741--in--un--go'(('nested--9832-1738--in--un--appPrec'()), V70)))))))) end(E35, E36, E37)); {'Idris.Idris.Syntax.PWithApp', E38, E39, E40} -> (fun (V71, V72, V73) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(V0, V72)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')), ('nested--9832-1741--in--un--go'(V0, V73)))))) end(E38, E39, E40)); {'Idris.Idris.Syntax.PDelayed', E41, E42, E43} -> (fun (V74, V75, V76) -> case V75 of {'Idris.Core.TT.LInf'} -> (fun () -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"Inf"/utf8>>)), ('nested--9832-1741--in--un--go'(('nested--9832-1738--in--un--appPrec'()), V76)))))) end()); _ -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"Lazy"/utf8>>)), ('nested--9832-1741--in--un--go'(('nested--9832-1738--in--un--appPrec'()), V76)))))) end end(E41, E42, E43)); {'Idris.Idris.Syntax.PDelay', E44, E45} -> (fun (V77, V78) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"Delay"/utf8>>)), ('nested--9832-1741--in--un--go'(('nested--9832-1738--in--un--appPrec'()), V78)))))) end(E44, E45)); {'Idris.Idris.Syntax.PForce', E46, E47} -> (fun (V79, V80) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"Force"/utf8>>)), ('nested--9832-1741--in--un--go'(('nested--9832-1738--in--un--appPrec'()), V80)))))) end(E46, E47)); {'Idris.Idris.Syntax.PImplicitApp', E48, E49, E50, E51} -> (fun (V81, V82, V83, V84) -> case V83 of {'Idris.Prelude.Types.Nothing'} -> (fun () -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1739--in--un--leftAppPrec'()), V82)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"@"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--braces'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V84)))))))))))) end()); {'Idris.Prelude.Types.Just', E52} -> (fun (V85) -> case V84 of {'Idris.Idris.Syntax.PRef', E53, E54} -> (fun (V86, V87) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('case--prettyTerm,go-2555'(V81, V86, V85, V87, V82, V0, ('Idris.Idris2.Core.Name':'dn--un--==_Eq__Name'(V85, V87)))))))) end(E53, E54)); _ -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1739--in--un--leftAppPrec'()), V82)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--braces'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V85)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--equals'('erased')), ('nested--9832-1741--in--un--go'(V0, V84)))))))))))))) end end(E52)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E48, E49, E50, E51)); {'Idris.Idris.Syntax.PSearch', E55, E56} -> (fun (V88, V89) -> ('un--pragma'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V90) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unsafeTextWithoutNewLines'('erased', V90)) end, ('Idris.Idris2.Data.Strings':'un--lines'(<<"%search"/utf8>>)))))))) end(E55, E56)); {'Idris.Idris.Syntax.PQuote', E57, E58} -> (fun (V91, V92) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"`"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--parens'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V92)))))))) end(E57, E58)); {'Idris.Idris.Syntax.PQuoteName', E59, E60} -> (fun (V93, V94) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"`"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--braces'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--braces'('erased', ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V94)))))))))) end(E59, E60)); {'Idris.Idris.Syntax.PQuoteDecl', E61, E62} -> (fun (V95, V96) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"`"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--brackets'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--angles'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--angles'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"declaration"/utf8>>)))))))))))) end(E61, E62)); {'Idris.Idris.Syntax.PUnquote', E63, E64} -> (fun (V97, V98) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"~"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--parens'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V98)))))))) end(E63, E64)); {'Idris.Idris.Syntax.PRunElab', E65, E66} -> (fun (V99, V100) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--pragma'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V101) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unsafeTextWithoutNewLines'('erased', V101)) end, ('Idris.Idris2.Data.Strings':'un--lines'(<<"%runElab"/utf8>>)))))))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V100)))))) end(E65, E66)); {'Idris.Idris.Syntax.PPrimVal', E67, E68} -> (fun (V102, V103) -> ('Idris.Idris2.Core.TT':'dn--un--pretty_Pretty__Constant'('erased', V103)) end(E67, E68)); {'Idris.Idris.Syntax.PHole', E69, E70, E71} -> (fun (V104, V105, V106) -> ('un--meta'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', ('Idris.Idris2.Prelude.Types':'un--strCons'($?, V106)))))) end(E69, E70, E71)); {'Idris.Idris.Syntax.PType', E72} -> (fun (V107) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"Type"/utf8>>)) end(E72)); {'Idris.Idris.Syntax.PAs', E73, E74, E75} -> (fun (V108, V109, V110) -> ('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.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V109)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"@"/utf8>>)))), ('nested--9832-1741--in--un--go'(V0, V110)))) end(E73, E74, E75)); {'Idris.Idris.Syntax.PDotted', E76, E77} -> (fun (V111, V112) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')), ('nested--9832-1741--in--un--go'(V0, V112)))) end(E76, E77)); {'Idris.Idris.Syntax.PImplicit', E78} -> (fun (V113) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V114) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unsafeTextWithoutNewLines'('erased', V114)) end, ('Idris.Idris2.Data.Strings':'un--lines'(<<"_"/utf8>>)))))) end(E78)); {'Idris.Idris.Syntax.PInfer', E79} -> (fun (V115) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V116) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unsafeTextWithoutNewLines'('erased', V116)) end, ('Idris.Idris2.Data.Strings':'un--lines'(<<"?"/utf8>>)))))) end(E79)); {'Idris.Idris.Syntax.POp', E80, E81, E82, E83} -> (fun (V117, V118, V119, V120) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V119)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V118)), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V120)))))))))) end(E80, E81, E82, E83)); {'Idris.Idris.Syntax.PPrefixOp', E84, E85, E86} -> (fun (V121, V122, V123) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V122)), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V123)))))) end(E84, E85, E86)); {'Idris.Idris.Syntax.PSectionL', E87, E88, E89} -> (fun (V124, V125, V126) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--parens'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V125)), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V126)))))) end(E87, E88, E89)); {'Idris.Idris.Syntax.PSectionR', E90, E91, E92} -> (fun (V127, V128, V129) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--parens'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V128)), ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V129)))))) end(E90, E91, E92)); {'Idris.Idris.Syntax.PEq', E93, E94, E95} -> (fun (V130, V131, V132) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V131)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--equals'('erased')), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V132)))))))) end(E93, E94, E95)); {'Idris.Idris.Syntax.PBracketed', E96, E97} -> (fun (V133, V134) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--parens'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V134)))) end(E96, E97)); {'Idris.Idris.Syntax.PDoBlock', E98, E99, E100} -> (fun (V135, V136, V137) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--align'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--hang'('erased', 2, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--do_'()), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--punctuate'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--semi'('erased')), ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V138) -> fun (V139) -> fun (V140) -> fun (V141) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V140, V141)) end end end end, fun (V142) -> ('un--prettyDo'(V142)) end, V137)))))))))))))))) end(E98, E99, E100)); {'Idris.Idris.Syntax.PBang', E101, E102} -> (fun (V143, V144) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--fromString_FromString__(Doc $ann)'('erased', <<"!"/utf8>>)), ('nested--9832-1741--in--un--go'(V0, V144)))) end(E101, E102)); {'Idris.Idris.Syntax.PIdiom', E103, E104} -> (fun (V145, V146) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--enclose'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"[|"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"|]"/utf8>>)), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V146)))) end(E103, E104)); {'Idris.Idris.Syntax.PList', E105, E106} -> (fun (V147, V148) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--brackets'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--align'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--punctuate'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--comma'('erased')), ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V149) -> fun (V150) -> fun (V151) -> fun (V152) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V151, V152)) end end end end, fun (V153) -> ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V153)) end, V148)))))))))))) end(E105, E106)); {'Idris.Idris.Syntax.PPair', E107, E108, E109} -> (fun (V154, V155, V156) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--parens'('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', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V155)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--comma'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V156)))))))) end(E107, E108, E109)); {'Idris.Idris.Syntax.PDPair', E110, E111, E112, E113} -> (fun (V157, V158, V159, V160) -> case V159 of {'Idris.Idris.Syntax.PImplicit', E114} -> (fun (V161) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--parens'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V158)), ('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', <<"**"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V160)))))))))) end(E114)); _ -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--parens'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V158)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--colon'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V159)), ('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', <<"**"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V160)))))))))))))) end end(E110, E111, E112, E113)); {'Idris.Idris.Syntax.PUnit', E115} -> (fun (V162) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V163) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unsafeTextWithoutNewLines'('erased', V163)) end, ('Idris.Idris2.Data.Strings':'un--lines'(<<"()"/utf8>>)))))) end(E115)); {'Idris.Idris.Syntax.PIfThenElse', E116, E117, E118, E119} -> (fun (V164, V165, V166, V167) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--align'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--hang'('erased', 2, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V168) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unsafeTextWithoutNewLines'('erased', V168)) end, ('Idris.Idris2.Data.Strings':'un--lines'(<<"if"/utf8>>)))))))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V165)))) | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V169) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unsafeTextWithoutNewLines'('erased', V169)) end, ('Idris.Idris2.Data.Strings':'un--lines'(<<"then"/utf8>>)))))))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V166)))) | [('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V170) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unsafeTextWithoutNewLines'('erased', V170)) end, ('Idris.Idris2.Data.Strings':'un--lines'(<<"else"/utf8>>)))))))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V167)))) | []]]])))))))))) end(E116, E117, E118, E119)); {'Idris.Idris.Syntax.PComprehension', E120, E121, E122} -> (fun (V171, V172, V173) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--brackets'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), ('nested--10077-2994--in--un--dePure'(V171, V173, V172, V0, V172)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--pipe'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--vsep'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--punctuate'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--comma'('erased')), ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V174) -> fun (V175) -> fun (V176) -> fun (V177) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V176, V177)) end end end end, fun (V178) -> ('un--prettyDo'(('nested--10077-2995--in--un--deGuard'(V171, V173, V172, V0, V178)))) end, V173)))))))))))))) end(E120, E121, E122)); {'Idris.Idris.Syntax.PRewrite', E123, E124, E125} -> (fun (V179, V180, V181) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--rewrite_'()), ('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', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V180)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('un--in_'()))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V181)))))))))) end(E123, E124, E125)); {'Idris.Idris.Syntax.PRange', E126, E127, E128, E129} -> (fun (V182, V183, V184, V185) -> case V184 of {'Idris.Prelude.Types.Nothing'} -> (fun () -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--brackets'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V183)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<".."/utf8>>)), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V185)))))))) end()); {'Idris.Prelude.Types.Just', E130} -> (fun (V186) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--brackets'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V183)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--comma'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V186)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<".."/utf8>>)), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V185)))))))))) end(E130)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E126, E127, E128, E129)); {'Idris.Idris.Syntax.PRangeStream', E131, E132, E133} -> (fun (V187, V188, V189) -> case V189 of {'Idris.Prelude.Types.Nothing'} -> (fun () -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--brackets'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V188)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<".."/utf8>>)))))) end()); {'Idris.Prelude.Types.Just', E134} -> (fun (V190) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--brackets'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V188)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--comma'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V190)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<".."/utf8>>)))))))) end(E134)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E131, E132, E133)); {'Idris.Idris.Syntax.PUnifyLog', E135, E136, E137} -> (fun (V191, V192, V193) -> ('nested--9832-1741--in--un--go'(V0, V193)) end(E135, E136, E137)); {'Idris.Idris.Syntax.PPostfixProjs', E138, E139, E140} -> (fun (V194, V195, V196) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V195)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--concatWith'('erased', fun (V197) -> fun (V198) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--surround'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')), V197, V198)) end end, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V199) -> fun (V200) -> fun (V201) -> fun (V202) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V201, V202)) end end end end, fun (V203) -> ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V203)) end, V196)))))))))) end(E138, E139, E140)); {'Idris.Idris.Syntax.PPostfixProjsSection', E141, E142, E143} -> (fun (V204, V205, V206) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--parens'('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.Symbols':'un--dot'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--concatWith'('erased', fun (V207) -> fun (V208) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--surround'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')), V207, V208)) end end, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V209) -> fun (V210) -> fun (V211) -> fun (V212) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V211, V212)) end end end end, fun (V213) -> ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V213)) end, V205)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--fillSep'('erased', ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V214) -> fun (V215) -> fun (V216) -> fun (V217) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V216, V217)) end end end end, fun (V218) -> ('nested--9832-1741--in--un--go'(('nested--9832-1738--in--un--appPrec'()), V218)) end, V206)))))))) end(E141, E142, E143)); {'Idris.Idris.Syntax.PWithUnambigNames', E144, E145, E146} -> (fun (V219, V220, V221) -> (('nested--9832-1740--in--un--parenthesise'(('Idris.Idris2.Prelude.Show':'dn--un-->_Ord__Prec'(V0, ('nested--9832-1738--in--un--appPrec'())))))(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--group'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--with_'()), ('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__(List $a)'('erased', 'erased', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V222) -> fun (V223) -> ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V223)) end end, fun (V224) -> fun (V225) -> fun (V226) -> ('Idris.Idris2.Core.Name':'dn--un--prettyPrec_Pretty__Name'('erased', V225, V226)) end end end}, V220)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--line'('erased')))), ('nested--9832-1741--in--un--go'(('nested--9832-1737--in--un--startPrec'()), V221)))))))))) end(E144, E145, E146)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.

'nested--10077-2092--in--un--getLamNames'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of {'Idris.Idris.Syntax.PLam', E0, E1, E2, E3, E4, E5} -> (fun (V9, V10, V11, V12, V13, V14) -> ('nested--10077-2092--in--un--getLamNames'(V0, V1, V2, V3, V4, V5, V6, [{'Idris.Builtin.MkPair', V10, {'Idris.Builtin.MkPair', V12, V13}} | V7], V14)) end(E0, E1, E2, E3, E4, E5)); _ -> {'Idris.Builtin.MkPair', ('Idris.Idris2.Data.List':'un--reverse'('erased', V7)), V8} end.

'nested--10077-2994--in--un--dePure'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Idris.Syntax.PApp', E0, E1, E2} -> (fun (V5, V6, V7) -> case V6 of {'Idris.Idris.Syntax.PRef', E3, E4} -> (fun (V8, V9) -> begin (V10 = {'Idris.Idris.Syntax.PApp', V5, {'Idris.Idris.Syntax.PRef', V8, V9}, V7}), ('case--prettyTerm,go,dePure-3010'(V0, V1, V2, V3, V5, V8, V9, V7, V10, ('Idris.Idris2.Core.Name':'dn--un--==_Eq__Name'(('Idris.Idris2.Core.Name':'un--dropNS'(V9)), {'Idris.Core.Name.UN', <<"pure"/utf8>>})))) end end(E3, E4)); _ -> V4 end end(E0, E1, E2)); _ -> V4 end.

'nested--10077-2995--in--un--deGuard'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Idris.Syntax.DoExp', E0, E1} -> (fun (V5, V6) -> case V6 of {'Idris.Idris.Syntax.PApp', E2, E3, E4} -> (fun (V7, V8, V9) -> case V8 of {'Idris.Idris.Syntax.PRef', E5, E6} -> (fun (V10, V11) -> begin (V12 = {'Idris.Idris.Syntax.DoExp', V5, {'Idris.Idris.Syntax.PApp', V7, {'Idris.Idris.Syntax.PRef', V10, V11}, V9}}), ('case--prettyTerm,go,deGuard-3064'(V0, V1, V2, V3, V7, V10, V11, V9, V5, V12, ('Idris.Idris2.Core.Name':'dn--un--==_Eq__Name'(('Idris.Idris2.Core.Name':'un--dropNS'(V11)), {'Idris.Core.Name.UN', <<"guard"/utf8>>})))) end end(E5, E6)); _ -> V4 end end(E2, E3, E4)); _ -> V4 end end(E0, E1)); _ -> V4 end.

'nested--9832-1738--in--un--appPrec'() -> {'Idris.Prelude.Show.User', (1 + (1 + (1 + (1 + (1 + (1 + (1 + (1 + (1 + (1 + 0))))))))))}.

'un--with_'() -> ('un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"with"/utf8>>)))).

'un--rewrite_'() -> ('un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"rewrite"/utf8>>)))).

'un--renderWithoutColor'(V0, V1, V2) -> begin (V3 = ('Idris.Idris2.Idris.REPLOpts':'un--getConsoleWidth'(V0, V2))), case V3 of {'Idris.Prelude.Types.Left', E0} -> (fun (V4) -> {'Idris.Prelude.Types.Left', V4} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V5) -> begin (V11 = case V5 of {'Idris.Prelude.Types.Nothing'} -> (fun () -> begin (V7 = begin (V6 = ('Idris.Idris2.Utils.Term':'un--getTermCols'(V2))), {'Idris.Prelude.Types.Right', V6} end), case V7 of {'Idris.Prelude.Types.Left', E2} -> (fun (V8) -> {'Idris.Prelude.Types.Left', V8} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V9) -> {'Idris.Prelude.Types.Right', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AvailablePerLine', V9, 1.0}} end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end()); {'Idris.Prelude.Types.Just', E4} -> (fun (V10) -> case V10 of 0 -> {'Idris.Prelude.Types.Right', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Unbounded'}}; _ -> {'Idris.Prelude.Types.Right', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AvailablePerLine', ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Nat_Int'(V10)), 1.0}} end end(E4)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end), case V11 of {'Idris.Prelude.Types.Left', E5} -> (fun (V12) -> {'Idris.Prelude.Types.Left', V12} end(E5)); {'Idris.Prelude.Types.Right', E6} -> (fun (V13) -> begin (V14 = (('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--layoutPretty'('erased', V13))(V1))), {'Idris.Prelude.Types.Right', ('Idris.Idris2.Erlang.Text.PrettyPrint.Prettyprinter.Render.Terminal':'un--renderString'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unAnnotateS'('erased', 'erased', V14))))} end end(E6)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end.

'un--render'(V0, V1, V2) -> begin (V3 = ('Idris.Idris2.Idris.REPLOpts':'un--getConsoleWidth'(V0, V2))), case V3 of {'Idris.Prelude.Types.Left', E0} -> (fun (V4) -> {'Idris.Prelude.Types.Left', V4} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V5) -> begin (V6 = ('Idris.Idris2.Idris.REPLOpts':'un--getColor'(V0, V2))), case V6 of {'Idris.Prelude.Types.Left', E2} -> (fun (V7) -> {'Idris.Prelude.Types.Left', V7} end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V8) -> begin (V14 = case V5 of {'Idris.Prelude.Types.Nothing'} -> (fun () -> begin (V10 = begin (V9 = ('Idris.Idris2.Utils.Term':'un--getTermCols'(V2))), {'Idris.Prelude.Types.Right', V9} end), case V10 of {'Idris.Prelude.Types.Left', E4} -> (fun (V11) -> {'Idris.Prelude.Types.Left', V11} end(E4)); {'Idris.Prelude.Types.Right', E5} -> (fun (V12) -> {'Idris.Prelude.Types.Right', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AvailablePerLine', V12, 1.0}} end(E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end()); {'Idris.Prelude.Types.Just', E6} -> (fun (V13) -> case V13 of 0 -> {'Idris.Prelude.Types.Right', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Unbounded'}}; _ -> {'Idris.Prelude.Types.Right', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AvailablePerLine', ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Nat_Int'(V13)), 1.0}} end end(E6)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end), case V14 of {'Idris.Prelude.Types.Left', E7} -> (fun (V15) -> {'Idris.Prelude.Types.Left', V15} end(E7)); {'Idris.Prelude.Types.Right', E8} -> (fun (V16) -> begin (V17 = (('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--layoutPretty'('erased', V16))(V1))), {'Idris.Prelude.Types.Right', ('Idris.Idris2.Erlang.Text.PrettyPrint.Prettyprinter.Render.Terminal':'un--renderString'(case V8 of 0 -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--reAnnotateS'('erased', 'erased', fun (V18) -> ('un--colorAnn'(V18)) end, V17)); 1 -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--unAnnotateS'('erased', 'erased', V17)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end))} end end(E8)); _ -> ('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--record_'() -> ('un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"record"/utf8>>)))).

'un--prettyUpdate'(V0) -> case V0 of {'Idris.Idris.Syntax.PSetField', E0, E1} -> (fun (V1, V2) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--concatWith'('erased', fun (V3) -> fun (V4) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--surround'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')), V3, V4)) end end, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V5) -> fun (V6) -> fun (V7) -> fun (V8) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V7, V8)) end end end end, fun (V9) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V9)) end, V1)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--equals'('erased')), ('un--prettyTerm'(V2)))))) end(E0, E1)); {'Idris.Idris.Syntax.PSetFieldApp', E2, E3} -> (fun (V10, V11) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--concatWith'('erased', fun (V12) -> fun (V13) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--surround'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--dot'('erased')), V12, V13)) end end, ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V14) -> fun (V15) -> fun (V16) -> fun (V17) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V16, V17)) end end end end, fun (V18) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', V18)) end, 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.Doc':'dn--un--pretty_Pretty__Char'('erased', $$)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--equals'('erased')))), ('un--prettyTerm'(V11)))))) end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.

'un--prettyTerm'(V0) -> ('nested--9832-1741--in--un--go'({'Idris.Prelude.Show.Open'}, V0)).

'un--prettyRig'(V0, V1) -> ('Idris.Idris2.Algebra.Semiring':'un--elimSemi'('erased', 'erased', {'Idris.Builtin.MkPair', {'Idris.Algebra.Semiring.dn--un--__mkSemiring', fun (V2) -> fun (V3) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|+|_Semiring__ZeroOneOmega'(V2, V3)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--plusNeutral_Semiring__ZeroOneOmega'()), fun (V4) -> fun (V5) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--|*|_Semiring__ZeroOneOmega'(V4, V5)) end end, ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--timesNeutral_Semiring__ZeroOneOmega'())}, {'Idris.Prelude.EqOrd.dn--un--__mkEq', fun (V6) -> fun (V7) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--==_Eq__ZeroOneOmega'(V6, V7)) end end, fun (V8) -> fun (V9) -> ('Idris.Idris2.Algebra.ZeroOneOmega':'dn--un--/=_Eq__ZeroOneOmega'(V8, V9)) end end}}, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__Char'('erased', $0)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('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', $1)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--space'('erased')))), fun (V10) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--emptyDoc'('erased')) end, V1)).

'un--prettyDo'(V0) -> case V0 of {'Idris.Idris.Syntax.DoExp', E0, E1} -> (fun (V1, V2) -> ('un--prettyTerm'(V2)) end(E0, E1)); {'Idris.Idris.Syntax.DoBind', E2, E3, E4} -> (fun (V3, V4, V5) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V4)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"<-"/utf8>>)), ('un--prettyTerm'(V5)))))) end(E2, E3, E4)); {'Idris.Idris.Syntax.DoBindPat', E5, E6, E7, E8} -> (fun (V6, V7, V8, V9) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--prettyTerm'(V7)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"<-"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--prettyTerm'(V8)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--hang'('erased', 4, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--fillSep'('erased', ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V10) -> fun (V11) -> fun (V12) -> fun (V13) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V12, V13)) end end end end, fun (V14) -> ('un--prettyAlt'(V14)) end, V9)))))))))))) end(E5, E6, E7, E8)); {'Idris.Idris.Syntax.DoLet', E9, E10, E11, E12, E13} -> (fun (V15, V16, V17, V18, V19) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--let_'()), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--prettyRig'('erased', V17)), ('Idris.Idris2.Core.Name':'dn--un--pretty_Pretty__Name'('erased', V16)))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--equals'('erased')), ('un--prettyTerm'(V19)))))))) end(E9, E10, E11, E12, E13)); {'Idris.Idris.Syntax.DoLetPat', E14, E15, E16, E17, E18} -> (fun (V20, V21, V22, V23, V24) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--let_'()), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--prettyTerm'(V21)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--equals'('erased')), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--prettyTerm'(V23)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--hang'('erased', 4, ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--fillSep'('erased', ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V25) -> fun (V26) -> fun (V27) -> fun (V28) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', V27, V28)) end end end end, fun (V29) -> ('un--prettyAlt'(V29)) end, V24)))))))))))))) end(E14, E15, E16, E17, E18)); {'Idris.Idris.Syntax.DoLetLocal', E19, E20} -> (fun (V30, V31) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--let_'()), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--braces'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--angles'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--angles'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"definitions"/utf8>>)))))))))) end(E19, E20)); {'Idris.Idris.Syntax.DoRewrite', E21, E22} -> (fun (V32, V33) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--rewrite_'()), ('un--prettyTerm'(V33)))) end(E21, E22)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.

'un--prettyCase'(V0) -> case V0 of {'Idris.Idris.Syntax.MkPatClause', E0, E1, E2, E3} -> (fun (V1, V2, V3, V4) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--prettyTerm'(V2)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"=>"/utf8>>)), ('un--prettyTerm'(V3)))))) end(E0, E1, E2, E3)); {'Idris.Idris.Syntax.MkWithClause', E4, E5, E6, E7, E8} -> (fun (V5, V6, V7, V8, V9) -> ('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.Symbols':'un--pipe'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--angles'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--angles'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"with alts not possible"/utf8>>)))))))) end(E4, E5, E6, E7, E8)); {'Idris.Idris.Syntax.MkImpossible', E9, E10} -> (fun (V10, V11) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--prettyTerm'(V11)), ('un--impossible_'()))) end(E9, E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.

'un--prettyAlt'(V0) -> case V0 of {'Idris.Idris.Syntax.MkPatClause', E0, E1, E2, E3} -> (fun (V1, V2, V3, V4) -> ('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.Symbols':'un--pipe'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--prettyTerm'(V2)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"=>"/utf8>>)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--prettyTerm'(V3)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--semi'('erased')))))))))) end(E0, E1, E2, E3)); {'Idris.Idris.Syntax.MkWithClause', E4, E5, E6, E7, E8} -> (fun (V5, V6, V7, V8, V9) -> ('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.Symbols':'un--pipe'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--angles'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--angles'('erased', ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Util':'un--reflow'('erased', <<"with alts not possible"/utf8>>)))))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--semi'('erased')))))) end(E4, E5, E6, E7, E8)); {'Idris.Idris.Syntax.MkImpossible', E9, E10} -> (fun (V10, 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.Symbols':'un--pipe'('erased')))), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--<++>'('erased', ('un--prettyTerm'(V11)), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--impossible_'()), ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Symbols':'un--semi'('erased')))))))) end(E9, E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.

'un--pragma'(V0) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.Pragma'}, V0)).

'un--of_'() -> ('un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"of"/utf8>>)))).

'un--meta'(V0) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.Meta'}, V0)).

'un--let_'() -> ('un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"let"/utf8>>)))).

'un--keyword'(V0) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.Keyword'}, V0)).

'un--in_'() -> ('un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"in"/utf8>>)))).

'un--impossible_'() -> ('un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"impossible"/utf8>>)))).

'un--fileCtxt'(V0) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.FileCtxt'}, V0)).

'un--errorDesc'(V0) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.ErrorDesc'}, V0)).

'un--error'(V0) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.Error'}, V0)).

'un--do_'() -> ('un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"do"/utf8>>)))).

'un--default_'() -> ('un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"default"/utf8>>)))).

'un--colorAnn'(V0) -> case V0 of {'Idris.Idris.Pretty.Warning'} -> (fun () -> ('Idris.Idris2.Prelude.Types':'dn--un--<+>_Semigroup__(List $a)'('erased', ('Idris.Idris2.Erlang.Text.PrettyPrint.Prettyprinter.Render.Terminal':'un--color'({'Idris.Control.ANSI.SGR.Yellow'})), ('Idris.Idris2.Erlang.Text.PrettyPrint.Prettyprinter.Render.Terminal':'un--bold'()))) end()); {'Idris.Idris.Pretty.Error'} -> (fun () -> ('Idris.Idris2.Prelude.Types':'dn--un--<+>_Semigroup__(List $a)'('erased', ('Idris.Idris2.Erlang.Text.PrettyPrint.Prettyprinter.Render.Terminal':'un--color'({'Idris.Control.ANSI.SGR.BrightRed'})), ('Idris.Idris2.Erlang.Text.PrettyPrint.Prettyprinter.Render.Terminal':'un--bold'()))) end()); {'Idris.Idris.Pretty.ErrorDesc'} -> (fun () -> ('Idris.Idris2.Erlang.Text.PrettyPrint.Prettyprinter.Render.Terminal':'un--bold'()) end()); {'Idris.Idris.Pretty.FileCtxt'} -> (fun () -> ('Idris.Idris2.Erlang.Text.PrettyPrint.Prettyprinter.Render.Terminal':'un--color'({'Idris.Control.ANSI.SGR.BrightBlue'})) end()); {'Idris.Idris.Pretty.Code'} -> (fun () -> ('Idris.Idris2.Erlang.Text.PrettyPrint.Prettyprinter.Render.Terminal':'un--color'({'Idris.Control.ANSI.SGR.Magenta'})) end()); {'Idris.Idris.Pretty.Keyword'} -> (fun () -> ('Idris.Idris2.Erlang.Text.PrettyPrint.Prettyprinter.Render.Terminal':'un--color'({'Idris.Control.ANSI.SGR.Red'})) end()); {'Idris.Idris.Pretty.Pragma'} -> (fun () -> ('Idris.Idris2.Erlang.Text.PrettyPrint.Prettyprinter.Render.Terminal':'un--color'({'Idris.Control.ANSI.SGR.BrightMagenta'})) end()); {'Idris.Idris.Pretty.Meta'} -> (fun () -> ('Idris.Idris2.Erlang.Text.PrettyPrint.Prettyprinter.Render.Terminal':'un--color'({'Idris.Control.ANSI.SGR.Green'})) end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.

'un--code'(V0) -> ('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'un--annotate'('erased', {'Idris.Idris.Pretty.Code'}, V0)).

'un--case_'() -> ('un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"case"/utf8>>)))).

'un--auto_'() -> ('un--keyword'(('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc':'dn--un--pretty_Pretty__String'('erased', <<"auto"/utf8>>)))).