" (cons " --build-dir " (cons " --output-dir " '())))))))))))))))))
-(define IdrisC-45Package-copyFile (lambda (arg-0 arg-1 ext-0) (let ((act-24 (LibrariesC-45UtilsC-45Binary-readFromFile arg-0 ext-0))) (let ((sc0 act-24)) (case (vector-ref sc0 0) ((1) (let ((e-2 (vector-ref sc0 1))) ((LibrariesC-45UtilsC-45Binary-writeToFile arg-1 e-2) ext-0))) (else (let ((e-5 (vector-ref sc0 1))) (vector 0 e-5))))))))
-(define IdrisC-45Package-compileMain (lambda (arg-0 arg-1 arg-2 arg-3 arg-4 arg-5 ext-0) (let ((act-24 (CoreC-45Core-newRef (vector "Core.Metadata.MD" ) (CoreC-45Metadata-initMetadata) ext-0))) (let ((sc0 act-24)) (case (vector-ref sc0 0) ((0) (let ((e-2 (vector-ref sc0 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref sc0 1))) (let ((act-25 (CoreC-45Core-newRef (vector "Core.UnifyState.UST" ) (CoreC-45UnifyState-initUState) ext-0))) (let ((sc1 act-25)) (case (vector-ref sc1 0) ((0) (let ((e-2 (vector-ref sc1 1))) (vector 0 e-2))) (else (let ((e-6 (vector-ref sc1 1))) (let ((act-26 (PreludeC-45IO-u--map_Functor_IO (lambda (eta-0) (let ((sc2 eta-0)) (case (vector-ref sc2 0) ((0) (let ((e-2 (vector-ref sc2 1))) (vector 0 e-2))) (else (vector 1 (vector 0 )))))) (lambda (eta-0) (IdrisC-45REPL-loadMainFile arg-0 e-6 arg-1 e-5 arg-2 arg-4 eta-0)) ext-0))) (let ((sc2 act-26)) (case (vector-ref sc2 0) ((0) (let ((e-2 (vector-ref sc2 1))) (vector 0 e-2))) (else (PreludeC-45IO-u--map_Functor_IO (lambda (eta-0) (let ((sc3 eta-0)) (case (vector-ref sc3 0) ((0) (let ((e-2 (vector-ref sc3 1))) (vector 0 e-2))) (else (vector 1 (vector 0 )))))) (lambda (eta-0) (IdrisC-45REPL-compileExp arg-0 e-6 arg-1 e-5 arg-2 (vector 0 (IdrisC-45REPLC-45Opts-replFC) arg-3) arg-5 eta-0)) ext-0)))))))))))))))))
-(define IdrisC-45Package-clean (lambda (arg-0 arg-1 arg-2 arg-3 ext-0) (let ((act-24 (let ((act-24 (unbox arg-0))) (vector 1 act-24)))) (let ((sc0 act-24)) (case (vector-ref sc0 0) ((0) (let ((e-2 (vector-ref sc0 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref sc0 1))) (let ((act-25 (IdrisC-45Package-runScript (let ((sc1 arg-2)) (let ((e-22 (vector-ref sc1 23))) e-22)) ext-0))) (let ((sc1 act-25)) (case (vector-ref sc1 0) ((0) (let ((e-2 (vector-ref sc1 1))) (vector 0 e-2))) (else (let ((u--pkgmods (PreludeC-45Types-maybe (lambda () (PreludeC-45Types-u--map_Functor_List (lambda (eta-0) (Builtin-fst eta-0)) (let ((sc2 arg-2)) (let ((e-11 (vector-ref sc2 12))) e-11)))) (lambda () (lambda (u--m) (cons (Builtin-fst u--m) (PreludeC-45Types-u--map_Functor_List (lambda (eta-0) (Builtin-fst eta-0)) (let ((sc2 arg-2)) (let ((e-11 (vector-ref sc2 12))) e-11)))))) (let ((sc2 arg-2)) (let ((e-12 (vector-ref sc2 13))) e-12))))) (let ((u--toClean (DataC-45List-mapMaybe (lambda (u--mod) (IdrisC-45Package-case--clean-7479 arg-3 arg-2 arg-1 arg-0 e-5 u--pkgmods u--mod (CoreC-45NameC-45Namespace-unsafeUnfoldModuleIdent u--mod))) u--pkgmods))) (let ((act-26 (let ((act-26 ((SystemC-45Directory-currentDir (cons (vector 0 (vector 0 (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-143) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-143 eta-0)))))) (lambda (u--a) (lambda (arg-577) (lambda (eta-0) arg-577))) (lambda (u--b) (lambda (u--a) (lambda (arg-578) (lambda (arg-580) (lambda (eta-0) (let ((act-17 (arg-578 eta-0))) (let ((act-16 (arg-580 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-876) (lambda (arg-877) (lambda (eta-0) (let ((act-26 (arg-876 eta-0))) ((arg-877 act-26) eta-0))))))) (lambda (u--a) (lambda (arg-879) (lambda (eta-0) (let ((act-51 (arg-879 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-7803) arg-7803)))) ext-0))) (vector 1 act-26)))) (let ((sc2 act-26)) (case (vector-ref sc2 0) ((0) (let ((e-2 (vector-ref sc2 1))) (vector 0 e-2))) (else (let ((e-7 (vector-ref sc2 1))) (let ((sc3 e-7)) (case (vector-ref sc3 0) ((1) (let ((e-1 (vector-ref sc3 1))) (let ((u--d (let ((sc4 e-5)) (let ((e-4 (vector-ref sc4 5))) (let ((sc5 e-4)) (let ((e-40 (vector-ref sc5 1))) e-40)))))) (let ((u--builddir (LibrariesC-45UtilsC-45Path-C-60C-47C-62 e-1 (LibrariesC-45UtilsC-45Path-C-60C-47C-62 (let ((sc4 u--d)) (let ((e-2 (vector-ref sc4 3))) e-2)) "ttc")))) (let ((u--outputdir (LibrariesC-45UtilsC-45Path-C-60C-47C-62 e-1 (CoreC-45Options-outputDirWithDefault u--d)))) (let ((u--pkgTrie (PreludeC-45Types-u--foldl_Foldable_List (lambda (u--trie) (lambda (u--ksv) (let ((u--ks (Builtin-fst u--ksv))) (let ((u--v (Builtin-snd u--ksv))) (LibrariesC-45DataC-45StringTrie-insertWith (DataC-45List-reverse u--ks) (lambda (eta-0) (PreludeC-45Types-maybe (lambda () (cons u--v '())) (lambda () (lambda (arg-4) (cons u--v arg-4))) eta-0)) u--trie))))) (LibrariesC-45DataC-45StringTrie-empty) u--toClean))) (let ((act-27 (IdrisC-45Package-foldWithKeysC (cons (lambda (arg-4) (lambda (arg-5) (PreludeC-45Interfaces-u--C-60C-43C-62_Semigroup_C-40C-124UnitC-44MkUnitC-124C-41 arg-4 arg-5))) (PreludeC-45Interfaces-u--neutral_Monoid_C-40C-124UnitC-44MkUnitC-124C-41)) (lambda (eta-0) (lambda (eta-1) (IdrisC-45Package-n--22546-7370-u--deleteFolder arg-3 arg-2 arg-1 arg-0 u--builddir eta-0 eta-1))) (lambda (u--ks) (lambda (eta-0) (lambda (eta-1) (PreludeC-45IO-u--map_Functor_IO (lambda (eta-2) (let ((sc4 eta-2)) (case (vector-ref sc4 0) ((0) (let ((e-2 (vector-ref sc4 1))) (vector 0 e-2))) (else (let ((e-8 (vector-ref sc4 1))) (vector 1 (PreludeC-45Interfaces-concat (cons (vector 0 (lambda (u--acc) (lambda (u--elem) (lambda (u--func) (lambda (u--init) (lambda (u--input) (PreludeC-45Types-u--foldr_Foldable_List u--func u--init u--input)))))) (lambda (u--elem) (lambda (u--acc) (lambda (u--func) (lambda (u--init) (lambda (u--input) (PreludeC-45Types-u--foldl_Foldable_List u--func u--init u--input)))))) (lambda (u--elem) (lambda (arg-1144) (PreludeC-45Types-u--null_Foldable_List arg-1144))) (lambda (u--elem) (lambda (u--acc) (lambda (u--m) (lambda (i_con-0) (lambda (u--funcM) (lambda (u--init) (lambda (u--input) (PreludeC-45Types-u--foldlM_Foldable_List i_con-0 u--funcM u--init u--input))))))))) (cons (lambda (arg-4) (lambda (arg-5) (PreludeC-45Interfaces-u--C-60C-43C-62_Semigroup_C-40C-124UnitC-44MkUnitC-124C-41 arg-4 arg-5))) (PreludeC-45Interfaces-u--neutral_Monoid_C-40C-124UnitC-44MkUnitC-124C-41))) e-8))))))) (lambda (eta-2) (CoreC-45Core-traverseC-39 (lambda (eta-3) (IdrisC-45Package-n--22546-7371-u--deleteBin arg-3 arg-2 arg-1 arg-0 u--builddir u--ks eta-3)) eta-0 '() eta-2)) eta-1)))) u--pkgTrie ext-0))) (let ((sc4 act-27)) (case (vector-ref sc4 0) ((0) (let ((e-2 (vector-ref sc4 1))) (vector 0 e-2))) (else (let ((act-28 (IdrisC-45Package-n--22546-7370-u--deleteFolder arg-3 arg-2 arg-1 arg-0 u--builddir '() ext-0))) (let ((sc5 act-28)) (case (vector-ref sc5 0) ((0) (let ((e-2 (vector-ref sc5 1))) (vector 0 e-2))) (else (let ((act-29 ((PreludeC-45Types-maybe (lambda () (lambda (eta-0) (vector 1 (vector 0 )))) (lambda () (lambda (u--e) (lambda (eta-0) (IdrisC-45Package-n--22546-7369-u--delete arg-3 arg-2 arg-1 arg-0 (LibrariesC-45UtilsC-45Path-C-60C-47C-62 u--outputdir u--e) eta-0)))) (let ((sc6 arg-2)) (let ((e-13 (vector-ref sc6 14))) e-13))) ext-0))) (let ((sc6 act-29)) (case (vector-ref sc6 0) ((0) (let ((e-2 (vector-ref sc6 1))) (vector 0 e-2))) (else (IdrisC-45Package-runScript (let ((sc7 arg-2)) (let ((e-23 (vector-ref sc7 24))) e-23)) ext-0))))))))))))))))))) (else (CoreC-45Core-u--throw_Catchable_Core_Error (vector 57 "Can't get current directory") ext-0))))))))))))))))))))))
-(define IdrisC-45Package-check (lambda (arg-0 arg-1 arg-2 arg-3 arg-4 ext-0) (let ((act-24 (IdrisC-45Package-prepareCompilation arg-0 arg-1 arg-2 arg-3 arg-4 ext-0))) (let ((sc0 act-24)) (case (vector-ref sc0 0) ((0) (let ((e-2 (vector-ref sc0 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref sc0 1))) (let ((sc1 e-5)) (if (null? sc1) (let ((act-25 (IdrisC-45Package-runScript (let ((sc2 arg-3)) (let ((e-19 (vector-ref sc2 20))) e-19)) ext-0))) (let ((sc2 act-25)) (case (vector-ref sc2 0) ((0) (let ((e-2 (vector-ref sc2 1))) (vector 0 e-2))) (else (vector 1 '()))))) (vector 1 e-5))))))))))
-(define IdrisC-45Package-build (lambda (arg-0 arg-1 arg-2 arg-3 arg-4 ext-0) (let ((act-24 (IdrisC-45Package-prepareCompilation arg-0 arg-1 arg-2 arg-3 arg-4 ext-0))) (let ((sc0 act-24)) (case (vector-ref sc0 0) ((0) (let ((e-2 (vector-ref sc0 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref sc0 1))) (let ((sc1 e-5)) (if (null? sc1) (let ((act-25 (let ((_-0 '())) ((IdrisC-45Package-case--caseC-32blockC-32inC-32build-5736 arg-4 arg-3 arg-2 arg-1 arg-0 _-0 (let ((sc2 arg-3)) (let ((e-13 (vector-ref sc2 14))) e-13))) ext-0)))) (let ((sc2 act-25)) (case (vector-ref sc2 0) ((0) (let ((e-2 (vector-ref sc2 1))) (vector 0 e-2))) (else (let ((act-26 (IdrisC-45Package-runScript (let ((sc3 arg-3)) (let ((e-19 (vector-ref sc3 20))) e-19)) ext-0))) (let ((sc3 act-26)) (case (vector-ref sc3 0) ((0) (let ((e-2 (vector-ref sc3 1))) (vector 0 e-2))) (else (vector 1 '()))))))))) (vector 1 e-5))))))))))
-(define IdrisC-45Package-bitraverseC (lambda (arg-4 arg-5 arg-6 ext-0) (let ((sc0 arg-6)) (case (vector-ref sc0 0) ((0) (let ((e-2 (vector-ref sc0 1))) (CoreC-45Core-C-60C-42C-62 (lambda (eta-0) (vector 1 (lambda (eta-1) (vector 0 eta-1)))) (arg-4 e-2) ext-0))) ((1) (let ((e-5 (vector-ref sc0 1))) (CoreC-45Core-C-60C-42C-62 (lambda (eta-0) (vector 1 (lambda (eta-1) (vector 1 eta-1)))) (arg-5 e-5) ext-0))) (else (let ((e-8 (vector-ref sc0 1))) (let ((e-9 (vector-ref sc0 2))) (CoreC-45Core-C-60C-42C-62 (lambda (eta-0) (CoreC-45Core-C-60C-42C-62 (lambda (eta-1) (vector 1 (lambda (eta-2) (lambda (eta-3) (vector 2 eta-2 eta-3))))) (arg-4 e-8) eta-0)) (arg-5 e-9) ext-0))))))))
-(define IdrisC-45Package-addFields (lambda (arg-0 arg-1 arg-2 arg-3 arg-4 ext-0) (let ((act-24 (CoreC-45Core-newRef (vector "Idris.Package.ParsedMods" ) '() ext-0))) (let ((sc0 act-24)) (case (vector-ref sc0 0) ((0) (let ((e-2 (vector-ref sc0 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref sc0 1))) (let ((act-25 (CoreC-45Core-newRef (vector "Idris.Package.MainMod" ) (vector 0 ) ext-0))) (let ((sc1 act-25)) (case (vector-ref sc1 0) ((0) (let ((e-2 (vector-ref sc1 1))) (vector 0 e-2))) (else (let ((e-6 (vector-ref sc1 1))) (let ((act-26 (IdrisC-45Package-n--20297-5338-u--go arg-4 arg-3 arg-2 arg-1 arg-0 e-5 e-6 arg-3 arg-4 ext-0))) (let ((sc2 act-26)) (case (vector-ref sc2 0) ((0) (let ((e-2 (vector-ref sc2 1))) (vector 0 e-2))) (else (let ((e-7 (vector-ref sc2 1))) (let ((act-27 (CoreC-45Context-setSourceDir arg-0 (let ((sc3 e-7)) (let ((e-15 (vector-ref sc3 16))) e-15)) ext-0))) (let ((sc3 act-27)) (case (vector-ref sc3 0) ((0) (let ((e-2 (vector-ref sc3 1))) (vector 0 e-2))) (else (let ((act-28 (let ((act-28 (unbox e-5))) (vector 1 act-28)))) (let ((sc4 act-28)) (case (vector-ref sc4 0) ((0) (let ((e-2 (vector-ref sc4 1))) (vector 0 e-2))) (else (let ((e-9 (vector-ref sc4 1))) (let ((act-29 (let ((act-29 (unbox e-6))) (vector 1 act-29)))) (let ((sc5 act-29)) (case (vector-ref sc5 0) ((0) (let ((e-2 (vector-ref sc5 1))) (vector 0 e-2))) (else (let ((e-10 (vector-ref sc5 1))) (let ((act-30 (CoreC-45Core-traverseC-39 (lambda (eta-0) (lambda (eta-1) (IdrisC-45Package-n--20297-5337-u--toSource arg-4 arg-3 arg-2 arg-1 arg-0 eta-0 eta-1))) e-9 '() ext-0))) (let ((sc6 act-30)) (case (vector-ref sc6 0) ((0) (let ((e-2 (vector-ref sc6 1))) (vector 0 e-2))) (else (let ((e-11 (vector-ref sc6 1))) (let ((act-31 (let ((sc7 e-10)) (case (vector-ref sc7 0) ((0) (vector 1 (vector 0 ))) (else (let ((e-2 (vector-ref sc7 1))) (PreludeC-45IO-u--map_Functor_IO (lambda (eta-0) (let ((sc8 eta-0)) (case (vector-ref sc8 0) ((0) (let ((e-3 (vector-ref sc8 1))) (vector 0 e-3))) (else (let ((e-12 (vector-ref sc8 1))) (vector 1 (vector 1 e-12))))))) (lambda (eta-0) (IdrisC-45Package-n--20297-5337-u--toSource arg-4 arg-3 arg-2 arg-1 arg-0 e-2 eta-0)) ext-0))))))) (let ((sc7 act-31)) (case (vector-ref sc7 0) ((0) (let ((e-2 (vector-ref sc7 1))) (vector 0 e-2))) (else (let ((e-12 (vector-ref sc7 1))) (vector 1 (let ((sc8 e-7)) (let ((e-0 (vector-ref sc8 1))) (let ((e-1 (vector-ref sc8 2))) (let ((e-2 (vector-ref sc8 3))) (let ((e-3 (vector-ref sc8 4))) (let ((e-4 (vector-ref sc8 5))) (let ((e-31 (vector-ref sc8 6))) (let ((e-30 (vector-ref sc8 7))) (let ((e-29 (vector-ref sc8 8))) (let ((e-28 (vector-ref sc8 9))) (let ((e-27 (vector-ref sc8 10))) (let ((e-26 (vector-ref sc8 11))) (let ((e-13 (vector-ref sc8 14))) (let ((e-14 (vector-ref sc8 15))) (let ((e-15 (vector-ref sc8 16))) (let ((e-16 (vector-ref sc8 17))) (let ((e-17 (vector-ref sc8 18))) (let ((e-18 (vector-ref sc8 19))) (let ((e-19 (vector-ref sc8 20))) (let ((e-20 (vector-ref sc8 21))) (let ((e-21 (vector-ref sc8 22))) (let ((e-22 (vector-ref sc8 23))) (let ((e-23 (vector-ref sc8 24))) (vector 0 e-0 e-1 e-2 e-3 e-4 e-31 e-30 e-29 e-28 e-27 e-26 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
-(define IdrisC-45Package-addField (lambda (arg-0 arg-1 arg-2 arg-3 arg-4 arg-5 arg-6 ext-0) (let ((sc0 arg-5)) (case (vector-ref sc0 0) ((0) (let ((e-1 (vector-ref sc0 2))) (vector 1 (let ((sc1 arg-6)) (let ((e-25 (vector-ref sc1 1))) (let ((e-2 (vector-ref sc1 3))) (let ((e-3 (vector-ref sc1 4))) (let ((e-4 (vector-ref sc1 5))) (let ((e-5 (vector-ref sc1 6))) (let ((e-6 (vector-ref sc1 7))) (let ((e-7 (vector-ref sc1 8))) (let ((e-8 (vector-ref sc1 9))) (let ((e-9 (vector-ref sc1 10))) (let ((e-10 (vector-ref sc1 11))) (let ((e-11 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-13 (vector-ref sc1 14))) (let ((e-14 (vector-ref sc1 15))) (let ((e-15 (vector-ref sc1 16))) (let ((e-16 (vector-ref sc1 17))) (let ((e-17 (vector-ref sc1 18))) (let ((e-18 (vector-ref sc1 19))) (let ((e-19 (vector-ref sc1 20))) (let ((e-20 (vector-ref sc1 21))) (let ((e-21 (vector-ref sc1 22))) (let ((e-22 (vector-ref sc1 23))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-25 (vector 1 e-1) e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23)))))))))))))))))))))))))))) ((1) (let ((act-24 (IdrisC-45REPLC-45Common-emitWarning arg-0 arg-2 arg-1 (vector 1 "version numbers must now be of the form x.y.z") ext-0))) (let ((sc1 act-24)) (case (vector-ref sc1 0) ((0) (let ((e-4 (vector-ref sc1 1))) (vector 0 e-4))) (else (vector 1 arg-6)))))) ((2) (let ((e-5 (vector-ref sc0 2))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-3 (vector-ref sc1 4))) (let ((e-25 (vector-ref sc1 5))) (let ((e-24 (vector-ref sc1 6))) (let ((e-6 (vector-ref sc1 7))) (let ((e-7 (vector-ref sc1 8))) (let ((e-8 (vector-ref sc1 9))) (let ((e-9 (vector-ref sc1 10))) (let ((e-10 (vector-ref sc1 11))) (let ((e-11 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-13 (vector-ref sc1 14))) (let ((e-14 (vector-ref sc1 15))) (let ((e-15 (vector-ref sc1 16))) (let ((e-16 (vector-ref sc1 17))) (let ((e-17 (vector-ref sc1 18))) (let ((e-18 (vector-ref sc1 19))) (let ((e-19 (vector-ref sc1 20))) (let ((e-20 (vector-ref sc1 21))) (let ((e-21 (vector-ref sc1 22))) (let ((e-22 (vector-ref sc1 23))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-0 e-1 (vector 1 e-5) e-3 e-25 e-24 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23)))))))))))))))))))))))))))) ((3) (let ((e-7 (vector-ref sc0 2))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-2 (vector-ref sc1 3))) (let ((e-4 (vector-ref sc1 5))) (let ((e-5 (vector-ref sc1 6))) (let ((e-25 (vector-ref sc1 7))) (let ((e-24 (vector-ref sc1 8))) (let ((e-8 (vector-ref sc1 9))) (let ((e-9 (vector-ref sc1 10))) (let ((e-10 (vector-ref sc1 11))) (let ((e-11 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-13 (vector-ref sc1 14))) (let ((e-14 (vector-ref sc1 15))) (let ((e-15 (vector-ref sc1 16))) (let ((e-16 (vector-ref sc1 17))) (let ((e-17 (vector-ref sc1 18))) (let ((e-18 (vector-ref sc1 19))) (let ((e-19 (vector-ref sc1 20))) (let ((e-20 (vector-ref sc1 21))) (let ((e-21 (vector-ref sc1 22))) (let ((e-22 (vector-ref sc1 23))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-0 e-1 e-2 (vector 1 e-7) e-4 e-5 e-25 e-24 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23)))))))))))))))))))))))))))) ((4) (let ((e-9 (vector-ref sc0 2))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-2 (vector-ref sc1 3))) (let ((e-3 (vector-ref sc1 4))) (let ((e-5 (vector-ref sc1 6))) (let ((e-6 (vector-ref sc1 7))) (let ((e-7 (vector-ref sc1 8))) (let ((e-25 (vector-ref sc1 9))) (let ((e-24 (vector-ref sc1 10))) (let ((e-10 (vector-ref sc1 11))) (let ((e-11 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-13 (vector-ref sc1 14))) (let ((e-14 (vector-ref sc1 15))) (let ((e-15 (vector-ref sc1 16))) (let ((e-16 (vector-ref sc1 17))) (let ((e-17 (vector-ref sc1 18))) (let ((e-18 (vector-ref sc1 19))) (let ((e-19 (vector-ref sc1 20))) (let ((e-20 (vector-ref sc1 21))) (let ((e-21 (vector-ref sc1 22))) (let ((e-22 (vector-ref sc1 23))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-0 e-1 e-2 e-3 (vector 1 e-9) e-5 e-6 e-7 e-25 e-24 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23)))))))))))))))))))))))))))) ((5) (let ((e-11 (vector-ref sc0 2))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-2 (vector-ref sc1 3))) (let ((e-3 (vector-ref sc1 4))) (let ((e-4 (vector-ref sc1 5))) (let ((e-6 (vector-ref sc1 7))) (let ((e-7 (vector-ref sc1 8))) (let ((e-8 (vector-ref sc1 9))) (let ((e-9 (vector-ref sc1 10))) (let ((e-25 (vector-ref sc1 11))) (let ((e-24 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-13 (vector-ref sc1 14))) (let ((e-14 (vector-ref sc1 15))) (let ((e-15 (vector-ref sc1 16))) (let ((e-16 (vector-ref sc1 17))) (let ((e-17 (vector-ref sc1 18))) (let ((e-18 (vector-ref sc1 19))) (let ((e-19 (vector-ref sc1 20))) (let ((e-20 (vector-ref sc1 21))) (let ((e-21 (vector-ref sc1 22))) (let ((e-22 (vector-ref sc1 23))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-0 e-1 e-2 e-3 e-4 (vector 1 e-11) e-6 e-7 e-8 e-9 e-25 e-24 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23)))))))))))))))))))))))))))) ((6) (let ((e-13 (vector-ref sc0 2))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-2 (vector-ref sc1 3))) (let ((e-3 (vector-ref sc1 4))) (let ((e-4 (vector-ref sc1 5))) (let ((e-5 (vector-ref sc1 6))) (let ((e-7 (vector-ref sc1 8))) (let ((e-8 (vector-ref sc1 9))) (let ((e-9 (vector-ref sc1 10))) (let ((e-10 (vector-ref sc1 11))) (let ((e-11 (vector-ref sc1 12))) (let ((e-25 (vector-ref sc1 13))) (let ((e-24 (vector-ref sc1 14))) (let ((e-14 (vector-ref sc1 15))) (let ((e-15 (vector-ref sc1 16))) (let ((e-16 (vector-ref sc1 17))) (let ((e-17 (vector-ref sc1 18))) (let ((e-18 (vector-ref sc1 19))) (let ((e-19 (vector-ref sc1 20))) (let ((e-20 (vector-ref sc1 21))) (let ((e-21 (vector-ref sc1 22))) (let ((e-22 (vector-ref sc1 23))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-0 e-1 e-2 e-3 e-4 e-5 (vector 1 e-13) e-7 e-8 e-9 e-10 e-11 e-25 e-24 e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23)))))))))))))))))))))))))))) ((7) (let ((e-15 (vector-ref sc0 2))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-2 (vector-ref sc1 3))) (let ((e-3 (vector-ref sc1 4))) (let ((e-4 (vector-ref sc1 5))) (let ((e-5 (vector-ref sc1 6))) (let ((e-6 (vector-ref sc1 7))) (let ((e-8 (vector-ref sc1 9))) (let ((e-9 (vector-ref sc1 10))) (let ((e-10 (vector-ref sc1 11))) (let ((e-11 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-13 (vector-ref sc1 14))) (let ((e-25 (vector-ref sc1 15))) (let ((e-24 (vector-ref sc1 16))) (let ((e-16 (vector-ref sc1 17))) (let ((e-17 (vector-ref sc1 18))) (let ((e-18 (vector-ref sc1 19))) (let ((e-19 (vector-ref sc1 20))) (let ((e-20 (vector-ref sc1 21))) (let ((e-21 (vector-ref sc1 22))) (let ((e-22 (vector-ref sc1 23))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-0 e-1 e-2 e-3 e-4 e-5 e-6 (vector 1 e-15) e-8 e-9 e-10 e-11 e-12 e-13 e-25 e-24 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23)))))))))))))))))))))))))))) ((8) (let ((e-17 (vector-ref sc0 2))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-2 (vector-ref sc1 3))) (let ((e-3 (vector-ref sc1 4))) (let ((e-4 (vector-ref sc1 5))) (let ((e-5 (vector-ref sc1 6))) (let ((e-6 (vector-ref sc1 7))) (let ((e-7 (vector-ref sc1 8))) (let ((e-9 (vector-ref sc1 10))) (let ((e-10 (vector-ref sc1 11))) (let ((e-11 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-13 (vector-ref sc1 14))) (let ((e-14 (vector-ref sc1 15))) (let ((e-15 (vector-ref sc1 16))) (let ((e-25 (vector-ref sc1 17))) (let ((e-24 (vector-ref sc1 18))) (let ((e-18 (vector-ref sc1 19))) (let ((e-19 (vector-ref sc1 20))) (let ((e-20 (vector-ref sc1 21))) (let ((e-21 (vector-ref sc1 22))) (let ((e-22 (vector-ref sc1 23))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 (vector 1 e-17) e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-25 e-24 e-18 e-19 e-20 e-21 e-22 e-23)))))))))))))))))))))))))))) ((9) (let ((e-19 (vector-ref sc0 2))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-2 (vector-ref sc1 3))) (let ((e-3 (vector-ref sc1 4))) (let ((e-4 (vector-ref sc1 5))) (let ((e-5 (vector-ref sc1 6))) (let ((e-6 (vector-ref sc1 7))) (let ((e-7 (vector-ref sc1 8))) (let ((e-8 (vector-ref sc1 9))) (let ((e-10 (vector-ref sc1 11))) (let ((e-11 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-13 (vector-ref sc1 14))) (let ((e-14 (vector-ref sc1 15))) (let ((e-15 (vector-ref sc1 16))) (let ((e-16 (vector-ref sc1 17))) (let ((e-17 (vector-ref sc1 18))) (let ((e-25 (vector-ref sc1 19))) (let ((e-24 (vector-ref sc1 20))) (let ((e-20 (vector-ref sc1 21))) (let ((e-21 (vector-ref sc1 22))) (let ((e-22 (vector-ref sc1 23))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 (vector 1 e-19) e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-25 e-24 e-20 e-21 e-22 e-23)))))))))))))))))))))))))))) ((10) (let ((e-20 (vector-ref sc0 1))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-2 (vector-ref sc1 3))) (let ((e-3 (vector-ref sc1 4))) (let ((e-4 (vector-ref sc1 5))) (let ((e-5 (vector-ref sc1 6))) (let ((e-6 (vector-ref sc1 7))) (let ((e-7 (vector-ref sc1 8))) (let ((e-8 (vector-ref sc1 9))) (let ((e-9 (vector-ref sc1 10))) (let ((e-11 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-13 (vector-ref sc1 14))) (let ((e-14 (vector-ref sc1 15))) (let ((e-15 (vector-ref sc1 16))) (let ((e-16 (vector-ref sc1 17))) (let ((e-17 (vector-ref sc1 18))) (let ((e-18 (vector-ref sc1 19))) (let ((e-19 (vector-ref sc1 20))) (let ((e-24 (vector-ref sc1 21))) (let ((e-21 (vector-ref sc1 22))) (let ((e-22 (vector-ref sc1 23))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-20 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-24 e-21 e-22 e-23)))))))))))))))))))))))))))) ((11) (let ((e-21 (vector-ref sc0 1))) (let ((act-24 (let ((act-24 (set-box! arg-3 e-21))) (vector 1 act-24)))) (let ((sc1 act-24)) (case (vector-ref sc1 0) ((0) (let ((e-2 (vector-ref sc1 1))) (vector 0 e-2))) (else (vector 1 arg-6))))))) ((12) (let ((e-22 (vector-ref sc0 1))) (let ((e-23 (vector-ref sc0 2))) (let ((act-24 (let ((act-24 (set-box! arg-4 (vector 1 (cons e-22 e-23))))) (vector 1 act-24)))) (let ((sc1 act-24)) (case (vector-ref sc1 0) ((0) (let ((e-2 (vector-ref sc1 1))) (vector 0 e-2))) (else (vector 1 arg-6)))))))) ((13) (let ((e-24 (vector-ref sc0 1))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-2 (vector-ref sc1 3))) (let ((e-3 (vector-ref sc1 4))) (let ((e-4 (vector-ref sc1 5))) (let ((e-5 (vector-ref sc1 6))) (let ((e-6 (vector-ref sc1 7))) (let ((e-7 (vector-ref sc1 8))) (let ((e-8 (vector-ref sc1 9))) (let ((e-9 (vector-ref sc1 10))) (let ((e-10 (vector-ref sc1 11))) (let ((e-11 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-14 (vector-ref sc1 15))) (let ((e-15 (vector-ref sc1 16))) (let ((e-16 (vector-ref sc1 17))) (let ((e-17 (vector-ref sc1 18))) (let ((e-18 (vector-ref sc1 19))) (let ((e-19 (vector-ref sc1 20))) (let ((e-20 (vector-ref sc1 21))) (let ((e-21 (vector-ref sc1 22))) (let ((e-22 (vector-ref sc1 23))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 (vector 1 e-24) e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23)))))))))))))))))))))))))))) ((14) (let ((e-25 (vector-ref sc0 1))) (let ((e-26 (vector-ref sc0 2))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-2 (vector-ref sc1 3))) (let ((e-3 (vector-ref sc1 4))) (let ((e-4 (vector-ref sc1 5))) (let ((e-5 (vector-ref sc1 6))) (let ((e-6 (vector-ref sc1 7))) (let ((e-7 (vector-ref sc1 8))) (let ((e-8 (vector-ref sc1 9))) (let ((e-9 (vector-ref sc1 10))) (let ((e-10 (vector-ref sc1 11))) (let ((e-11 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-13 (vector-ref sc1 14))) (let ((e-15 (vector-ref sc1 16))) (let ((e-16 (vector-ref sc1 17))) (let ((e-17 (vector-ref sc1 18))) (let ((e-18 (vector-ref sc1 19))) (let ((e-19 (vector-ref sc1 20))) (let ((e-20 (vector-ref sc1 21))) (let ((e-21 (vector-ref sc1 22))) (let ((e-22 (vector-ref sc1 23))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 (vector 1 (cons e-25 e-26)) e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23))))))))))))))))))))))))))))) ((15) (let ((e-28 (vector-ref sc0 2))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-2 (vector-ref sc1 3))) (let ((e-3 (vector-ref sc1 4))) (let ((e-4 (vector-ref sc1 5))) (let ((e-5 (vector-ref sc1 6))) (let ((e-6 (vector-ref sc1 7))) (let ((e-7 (vector-ref sc1 8))) (let ((e-8 (vector-ref sc1 9))) (let ((e-9 (vector-ref sc1 10))) (let ((e-10 (vector-ref sc1 11))) (let ((e-11 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-13 (vector-ref sc1 14))) (let ((e-14 (vector-ref sc1 15))) (let ((e-16 (vector-ref sc1 17))) (let ((e-17 (vector-ref sc1 18))) (let ((e-18 (vector-ref sc1 19))) (let ((e-19 (vector-ref sc1 20))) (let ((e-20 (vector-ref sc1 21))) (let ((e-21 (vector-ref sc1 22))) (let ((e-22 (vector-ref sc1 23))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 (vector 1 e-28) e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23)))))))))))))))))))))))))))) ((16) (let ((e-30 (vector-ref sc0 2))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-2 (vector-ref sc1 3))) (let ((e-3 (vector-ref sc1 4))) (let ((e-4 (vector-ref sc1 5))) (let ((e-5 (vector-ref sc1 6))) (let ((e-6 (vector-ref sc1 7))) (let ((e-7 (vector-ref sc1 8))) (let ((e-8 (vector-ref sc1 9))) (let ((e-9 (vector-ref sc1 10))) (let ((e-10 (vector-ref sc1 11))) (let ((e-11 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-13 (vector-ref sc1 14))) (let ((e-14 (vector-ref sc1 15))) (let ((e-15 (vector-ref sc1 16))) (let ((e-17 (vector-ref sc1 18))) (let ((e-18 (vector-ref sc1 19))) (let ((e-19 (vector-ref sc1 20))) (let ((e-20 (vector-ref sc1 21))) (let ((e-21 (vector-ref sc1 22))) (let ((e-22 (vector-ref sc1 23))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 (vector 1 e-30) e-17 e-18 e-19 e-20 e-21 e-22 e-23)))))))))))))))))))))))))))) ((17) (let ((e-32 (vector-ref sc0 2))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-2 (vector-ref sc1 3))) (let ((e-3 (vector-ref sc1 4))) (let ((e-4 (vector-ref sc1 5))) (let ((e-5 (vector-ref sc1 6))) (let ((e-6 (vector-ref sc1 7))) (let ((e-7 (vector-ref sc1 8))) (let ((e-8 (vector-ref sc1 9))) (let ((e-9 (vector-ref sc1 10))) (let ((e-10 (vector-ref sc1 11))) (let ((e-11 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-13 (vector-ref sc1 14))) (let ((e-14 (vector-ref sc1 15))) (let ((e-15 (vector-ref sc1 16))) (let ((e-16 (vector-ref sc1 17))) (let ((e-18 (vector-ref sc1 19))) (let ((e-19 (vector-ref sc1 20))) (let ((e-20 (vector-ref sc1 21))) (let ((e-21 (vector-ref sc1 22))) (let ((e-22 (vector-ref sc1 23))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 (vector 1 e-32) e-18 e-19 e-20 e-21 e-22 e-23)))))))))))))))))))))))))))) ((18) (let ((e-33 (vector-ref sc0 1))) (let ((e-34 (vector-ref sc0 2))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-2 (vector-ref sc1 3))) (let ((e-3 (vector-ref sc1 4))) (let ((e-4 (vector-ref sc1 5))) (let ((e-5 (vector-ref sc1 6))) (let ((e-6 (vector-ref sc1 7))) (let ((e-7 (vector-ref sc1 8))) (let ((e-8 (vector-ref sc1 9))) (let ((e-9 (vector-ref sc1 10))) (let ((e-10 (vector-ref sc1 11))) (let ((e-11 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-13 (vector-ref sc1 14))) (let ((e-14 (vector-ref sc1 15))) (let ((e-15 (vector-ref sc1 16))) (let ((e-16 (vector-ref sc1 17))) (let ((e-17 (vector-ref sc1 18))) (let ((e-19 (vector-ref sc1 20))) (let ((e-20 (vector-ref sc1 21))) (let ((e-21 (vector-ref sc1 22))) (let ((e-22 (vector-ref sc1 23))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 (vector 1 (cons e-33 e-34)) e-19 e-20 e-21 e-22 e-23))))))))))))))))))))))))))))) ((19) (let ((e-35 (vector-ref sc0 1))) (let ((e-36 (vector-ref sc0 2))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-2 (vector-ref sc1 3))) (let ((e-3 (vector-ref sc1 4))) (let ((e-4 (vector-ref sc1 5))) (let ((e-5 (vector-ref sc1 6))) (let ((e-6 (vector-ref sc1 7))) (let ((e-7 (vector-ref sc1 8))) (let ((e-8 (vector-ref sc1 9))) (let ((e-9 (vector-ref sc1 10))) (let ((e-10 (vector-ref sc1 11))) (let ((e-11 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-13 (vector-ref sc1 14))) (let ((e-14 (vector-ref sc1 15))) (let ((e-15 (vector-ref sc1 16))) (let ((e-16 (vector-ref sc1 17))) (let ((e-17 (vector-ref sc1 18))) (let ((e-18 (vector-ref sc1 19))) (let ((e-20 (vector-ref sc1 21))) (let ((e-21 (vector-ref sc1 22))) (let ((e-22 (vector-ref sc1 23))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 (vector 1 (cons e-35 e-36)) e-20 e-21 e-22 e-23))))))))))))))))))))))))))))) ((20) (let ((e-37 (vector-ref sc0 1))) (let ((e-38 (vector-ref sc0 2))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-2 (vector-ref sc1 3))) (let ((e-3 (vector-ref sc1 4))) (let ((e-4 (vector-ref sc1 5))) (let ((e-5 (vector-ref sc1 6))) (let ((e-6 (vector-ref sc1 7))) (let ((e-7 (vector-ref sc1 8))) (let ((e-8 (vector-ref sc1 9))) (let ((e-9 (vector-ref sc1 10))) (let ((e-10 (vector-ref sc1 11))) (let ((e-11 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-13 (vector-ref sc1 14))) (let ((e-14 (vector-ref sc1 15))) (let ((e-15 (vector-ref sc1 16))) (let ((e-16 (vector-ref sc1 17))) (let ((e-17 (vector-ref sc1 18))) (let ((e-18 (vector-ref sc1 19))) (let ((e-19 (vector-ref sc1 20))) (let ((e-21 (vector-ref sc1 22))) (let ((e-22 (vector-ref sc1 23))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 (vector 1 (cons e-37 e-38)) e-21 e-22 e-23))))))))))))))))))))))))))))) ((21) (let ((e-39 (vector-ref sc0 1))) (let ((e-40 (vector-ref sc0 2))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-2 (vector-ref sc1 3))) (let ((e-3 (vector-ref sc1 4))) (let ((e-4 (vector-ref sc1 5))) (let ((e-5 (vector-ref sc1 6))) (let ((e-6 (vector-ref sc1 7))) (let ((e-7 (vector-ref sc1 8))) (let ((e-8 (vector-ref sc1 9))) (let ((e-9 (vector-ref sc1 10))) (let ((e-10 (vector-ref sc1 11))) (let ((e-11 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-13 (vector-ref sc1 14))) (let ((e-14 (vector-ref sc1 15))) (let ((e-15 (vector-ref sc1 16))) (let ((e-16 (vector-ref sc1 17))) (let ((e-17 (vector-ref sc1 18))) (let ((e-18 (vector-ref sc1 19))) (let ((e-19 (vector-ref sc1 20))) (let ((e-20 (vector-ref sc1 21))) (let ((e-22 (vector-ref sc1 23))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-20 (vector 1 (cons e-39 e-40)) e-22 e-23))))))))))))))))))))))))))))) ((22) (let ((e-41 (vector-ref sc0 1))) (let ((e-42 (vector-ref sc0 2))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-2 (vector-ref sc1 3))) (let ((e-3 (vector-ref sc1 4))) (let ((e-4 (vector-ref sc1 5))) (let ((e-5 (vector-ref sc1 6))) (let ((e-6 (vector-ref sc1 7))) (let ((e-7 (vector-ref sc1 8))) (let ((e-8 (vector-ref sc1 9))) (let ((e-9 (vector-ref sc1 10))) (let ((e-10 (vector-ref sc1 11))) (let ((e-11 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-13 (vector-ref sc1 14))) (let ((e-14 (vector-ref sc1 15))) (let ((e-15 (vector-ref sc1 16))) (let ((e-16 (vector-ref sc1 17))) (let ((e-17 (vector-ref sc1 18))) (let ((e-18 (vector-ref sc1 19))) (let ((e-19 (vector-ref sc1 20))) (let ((e-20 (vector-ref sc1 21))) (let ((e-21 (vector-ref sc1 22))) (let ((e-23 (vector-ref sc1 24))) (vector 0 e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 (vector 1 (cons e-41 e-42)) e-23))))))))))))))))))))))))))))) (else (let ((e-43 (vector-ref sc0 1))) (let ((e-44 (vector-ref sc0 2))) (vector 1 (let ((sc1 arg-6)) (let ((e-0 (vector-ref sc1 1))) (let ((e-1 (vector-ref sc1 2))) (let ((e-2 (vector-ref sc1 3))) (let ((e-3 (vector-ref sc1 4))) (let ((e-4 (vector-ref sc1 5))) (let ((e-5 (vector-ref sc1 6))) (let ((e-6 (vector-ref sc1 7))) (let ((e-7 (vector-ref sc1 8))) (let ((e-8 (vector-ref sc1 9))) (let ((e-9 (vector-ref sc1 10))) (let ((e-10 (vector-ref sc1 11))) (let ((e-11 (vector-ref sc1 12))) (let ((e-12 (vector-ref sc1 13))) (let ((e-13 (vector-ref sc1 14))) (let ((e-14 (vector-ref sc1 15))) (let ((e-15 (vector-ref sc1 16))) (let ((e-16 (vector-ref sc1 17))) (let ((e-17 (vector-ref sc1 18))) (let ((e-18 (vector-ref sc1 19))) (let ((e-19 (vector-ref sc1 20))) (let ((e-20 (vector-ref sc1 21))) (let ((e-21 (vector-ref sc1 22))) (let ((e-22 (vector-ref sc1 23))) (vector 0 e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 (vector 1 (cons e-43 e-44)))))))))))))))))))))))))))))))))))
-(define IdrisC-45Package-addDeps (lambda (arg-0 arg-1 ext-0) (let ((act-24 (let ((act-24 (unbox arg-0))) (vector 1 act-24)))) (let ((sc0 act-24)) (case (vector-ref sc0 0) ((0) (let ((e-2 (vector-ref sc0 1))) (vector 0 e-2))) (else (CoreC-45Core-traverse_ (lambda (u--p) (lambda (eta-0) (IdrisC-45SetOptions-addPkgDir arg-0 (let ((sc1 u--p)) (let ((e-0 (car sc1))) e-0)) (let ((sc1 u--p)) (let ((e-1 (cdr sc1))) e-1)) eta-0))) (let ((sc1 arg-1)) (let ((e-10 (vector-ref sc1 11))) e-10)) ext-0)))))))
-(define IdrisC-45PackageC-45Init-case--interactive-3164 (lambda (arg-0 arg-1 arg-2 arg-3 arg-4 arg-5 arg-6) (let ((sc0 arg-6)) (let ((e-0 (vector-ref sc0 1))) (let ((e-1 (vector-ref sc0 2))) (let ((e-3 (vector-ref sc0 4))) (let ((e-4 (vector-ref sc0 5))) (let ((e-5 (vector-ref sc0 6))) (let ((e-6 (vector-ref sc0 7))) (let ((e-7 (vector-ref sc0 8))) (let ((e-8 (vector-ref sc0 9))) (let ((e-9 (vector-ref sc0 10))) (let ((e-10 (vector-ref sc0 11))) (let ((e-12 (vector-ref sc0 13))) (let ((e-13 (vector-ref sc0 14))) (let ((e-16 (vector-ref sc0 17))) (let ((e-17 (vector-ref sc0 18))) (let ((e-18 (vector-ref sc0 19))) (let ((e-19 (vector-ref sc0 20))) (let ((e-20 (vector-ref sc0 21))) (let ((e-21 (vector-ref sc0 22))) (let ((e-22 (vector-ref sc0 23))) (let ((e-23 (vector-ref sc0 24))) (vector 0 e-0 e-1 (IdrisC-45PackageC-45Init-n--5052-3047-u--mstring arg-1) e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 arg-5 e-12 e-13 (PreludeC-45Interfaces-C-60C-36C-62 (lambda (eta-0) (lambda (eta-1) (lambda (eta-2) (lambda (eta-3) (PreludeC-45Types-u--map_Functor_Maybe eta-2 eta-3))))) (lambda (__infixTupleSection-0) (cons (CoreC-45FC-emptyFC) __infixTupleSection-0)) (IdrisC-45PackageC-45Init-n--5052-3047-u--mstring arg-2)) arg-4 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23))))))))))))))))))))))))
-(define IdrisC-45PackageC-45Init-case--interactiveC-44mstring-3052 (lambda (arg-0 arg-1) (let ((sc0 arg-1)) (cond ((equal? sc0 "") (vector 0 ))(else (vector 1 arg-1))))))
-(define IdrisC-45PackageC-45Init-case--packageTreeC-44validFile-2777 (lambda (arg-0 arg-1 arg-2 arg-3) (let ((sc0 arg-3)) (let ((e-2 (car sc0))) (let ((e-3 (cdr sc0))) (PreludeC-45Basics-C-38C-38 (IdrisC-45PackageC-45Init-isModuleIdent e-2) (lambda () (PreludeC-45Types-elem (cons (lambda (arg-4) (lambda (arg-5) (PreludeC-45EqOrd-u--C-61C-61_Eq_String arg-4 arg-5))) (lambda (arg-4) (lambda (arg-5) (PreludeC-45EqOrd-u--C-47C-61_Eq_String arg-4 arg-5)))) e-3 (cons "idr" (cons "lidr" '()))))))))))
-(define IdrisC-45PackageC-45Init-case--isModuleIdent-2749 (lambda (arg-0 arg-1) (let ((sc0 arg-1)) (if (null? sc0) 1 (let ((e-2 (car sc0))) (PreludeC-45Basics-C-38C-38 (PreludeC-45Types-isUpper e-2) (lambda () (PreludeC-45Interfaces-all (vector 0 (lambda (u--acc) (lambda (u--elem) (lambda (u--func) (lambda (u--init) (lambda (u--input) (PreludeC-45Types-u--foldr_Foldable_List u--func u--init u--input)))))) (lambda (u--elem) (lambda (u--acc) (lambda (u--func) (lambda (u--init) (lambda (u--input) (PreludeC-45Types-u--foldl_Foldable_List u--func u--init u--input)))))) (lambda (u--elem) (lambda (arg-1144) (PreludeC-45Types-u--null_Foldable_List arg-1144))) (lambda (u--elem) (lambda (u--acc) (lambda (u--m) (lambda (i_con-0) (lambda (u--funcM) (lambda (u--init) (lambda (u--input) (PreludeC-45Types-u--foldlM_Foldable_List i_con-0 u--funcM u--init u--input))))))))) (lambda (eta-0) (PreludeC-45Types-isAlphaNum eta-0)) arg-1))))))))
-(define IdrisC-45PackageC-45Init-n--4772-2766-u--validFile (lambda (arg-0 arg-1 arg-2) (IdrisC-45PackageC-45Init-case--packageTreeC-44validFile-2777 arg-0 arg-1 arg-2 (LibrariesC-45UtilsC-45Path-splitFileName (LibrariesC-45SystemC-45DirectoryC-45Tree-fileName arg-2)))))
-(define IdrisC-45PackageC-45Init-n--4772-2767-u--validDirectory (lambda (arg-0 arg-1 ext-0) (IdrisC-45PackageC-45Init-isModuleIdent (LibrariesC-45SystemC-45DirectoryC-45Tree-fileName ext-0))))
-(define IdrisC-45PackageC-45Init-n--5052-3047-u--mstring (lambda (arg-0) (IdrisC-45PackageC-45Init-case--interactiveC-44mstring-3052 arg-0 (DataC-45String-trim arg-0))))
-(define IdrisC-45PackageC-45Init-n--4833-2830-u--go (lambda (arg-0 arg-1 arg-2 ext-0) (let ((sc0 arg-2)) (if (null? sc0) arg-1 (let ((e-2 (car sc0))) (let ((e-3 (cdr sc0))) (let ((sc1 e-2)) (let ((e-6 (car sc1))) (let ((e-7 (cdr sc1))) (let ((sc2 e-7)) (let ((e-10 (car sc2))) (let ((e-11 (cdr sc2))) (let ((act-24 (e-11 ext-0))) (let ((u--mods (PreludeC-45Basics-flip (lambda (eta-0) (lambda (eta-1) (PreludeC-45Types-u--map_Functor_List eta-0 eta-1))) (let ((sc3 act-24)) (let ((e-1 (car sc3))) e-1)) (lambda (u--entry) (let ((u--fname (Builtin-fst (LibrariesC-45UtilsC-45Path-splitFileName (LibrariesC-45SystemC-45DirectoryC-45Tree-fileName u--entry))))) (let ((u--mod (CoreC-45NameC-45Namespace-unsafeFoldModuleIdent (cons u--fname e-6)))) (let ((u--fp (LibrariesC-45SystemC-45DirectoryC-45Tree-toFilePath e-10 u--entry))) (cons u--mod u--fp)))))))) (let ((u--dirs (PreludeC-45Basics-flip (lambda (eta-0) (lambda (eta-1) (PreludeC-45Types-u--map_Functor_List eta-0 eta-1))) (let ((sc3 act-24)) (let ((e-4 (cdr sc3))) e-4)) (lambda (lamc-0) (let ((sc3 lamc-0)) (let ((e-5 (car sc3))) (let ((e-4 (cdr sc3))) (cons (cons (LibrariesC-45SystemC-45DirectoryC-45Tree-fileName e-5) e-6) (cons (LibrariesC-45UtilsC-45Path-C-47C-62 e-10 (LibrariesC-45SystemC-45DirectoryC-45Tree-fileName e-5)) e-4))))))))) (IdrisC-45PackageC-45Init-n--4833-2830-u--go arg-0 (PreludeC-45TypesC-45List-C-43C-43 u--mods arg-1) (PreludeC-45TypesC-45List-C-43C-43 u--dirs e-3) ext-0))))))))))))))))
-(define IdrisC-45PackageC-45Init-packageTree (lambda (arg-0) (PreludeC-45Interfaces-C-60C-36C-62 (lambda (eta-0) (lambda (eta-1) (lambda (eta-2) (lambda (eta-3) (lambda (eta-4) (PreludeC-45IO-u--map_Functor_IO eta-2 eta-3 eta-4)))))) (lambda (eta-0) (LibrariesC-45SystemC-45DirectoryC-45Tree-filter (lambda (root-2820) (lambda (eta-1) (IdrisC-45PackageC-45Init-n--4772-2766-u--validFile arg-0 root-2820 eta-1))) (lambda (root-2824) (lambda (eta-1) (IdrisC-45PackageC-45Init-n--4772-2767-u--validDirectory arg-0 root-2824 eta-1))) arg-0 eta-0)) (lambda (eta-0) (LibrariesC-45SystemC-45DirectoryC-45Tree-explore arg-0 eta-0)))))
-(define IdrisC-45PackageC-45Init-isModuleIdent (lambda (arg-0) (IdrisC-45PackageC-45Init-case--isModuleIdent-2749 arg-0 (PreludeC-45Types-fastUnpack arg-0))))
-(define IdrisC-45PackageC-45Init-interactive (lambda (ext-0) (let ((act-24 ((PreludeC-45Interfaces-C-42C-62 (vector 0 (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-143) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-143 eta-0)))))) (lambda (u--a) (lambda (arg-577) (lambda (eta-0) arg-577))) (lambda (u--b) (lambda (u--a) (lambda (arg-578) (lambda (arg-580) (lambda (eta-0) (let ((act-17 (arg-578 eta-0))) (let ((act-16 (arg-580 eta-0))) (act-17 act-16))))))))) (PreludeC-45IO-putStr (cons (vector 0 (vector 0 (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-143) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-143 eta-0)))))) (lambda (u--a) (lambda (arg-577) (lambda (eta-0) arg-577))) (lambda (u--b) (lambda (u--a) (lambda (arg-578) (lambda (arg-580) (lambda (eta-0) (let ((act-17 (arg-578 eta-0))) (let ((act-16 (arg-580 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-876) (lambda (arg-877) (lambda (eta-0) (let ((act-24 (arg-876 eta-0))) ((arg-877 act-24) eta-0))))))) (lambda (u--a) (lambda (arg-879) (lambda (eta-0) (let ((act-51 (arg-879 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-7803) arg-7803))) "Package name: ") (PreludeC-45IO-getLine (cons (vector 0 (vector 0 (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-143) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-143 eta-0)))))) (lambda (u--a) (lambda (arg-577) (lambda (eta-0) arg-577))) (lambda (u--b) (lambda (u--a) (lambda (arg-578) (lambda (arg-580) (lambda (eta-0) (let ((act-17 (arg-578 eta-0))) (let ((act-16 (arg-580 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-876) (lambda (arg-877) (lambda (eta-0) (let ((act-24 (arg-876 eta-0))) ((arg-877 act-24) eta-0))))))) (lambda (u--a) (lambda (arg-879) (lambda (eta-0) (let ((act-51 (arg-879 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-7803) arg-7803))))) ext-0))) (let ((act-25 ((PreludeC-45Interfaces-C-42C-62 (vector 0 (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-143) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-143 eta-0)))))) (lambda (u--a) (lambda (arg-577) (lambda (eta-0) arg-577))) (lambda (u--b) (lambda (u--a) (lambda (arg-578) (lambda (arg-580) (lambda (eta-0) (let ((act-17 (arg-578 eta-0))) (let ((act-16 (arg-580 eta-0))) (act-17 act-16))))))))) (PreludeC-45IO-putStr (cons (vector 0 (vector 0 (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-143) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-143 eta-0)))))) (lambda (u--a) (lambda (arg-577) (lambda (eta-0) arg-577))) (lambda (u--b) (lambda (u--a) (lambda (arg-578) (lambda (arg-580) (lambda (eta-0) (let ((act-17 (arg-578 eta-0))) (let ((act-16 (arg-580 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-876) (lambda (arg-877) (lambda (eta-0) (let ((act-25 (arg-876 eta-0))) ((arg-877 act-25) eta-0))))))) (lambda (u--a) (lambda (arg-879) (lambda (eta-0) (let ((act-51 (arg-879 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-7803) arg-7803))) "Package authors: ") (PreludeC-45IO-getLine (cons (vector 0 (vector 0 (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-143) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-143 eta-0)))))) (lambda (u--a) (lambda (arg-577) (lambda (eta-0) arg-577))) (lambda (u--b) (lambda (u--a) (lambda (arg-578) (lambda (arg-580) (lambda (eta-0) (let ((act-17 (arg-578 eta-0))) (let ((act-16 (arg-580 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-876) (lambda (arg-877) (lambda (eta-0) (let ((act-25 (arg-876 eta-0))) ((arg-877 act-25) eta-0))))))) (lambda (u--a) (lambda (arg-879) (lambda (eta-0) (let ((act-51 (arg-879 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-7803) arg-7803))))) ext-0))) (let ((act-26 ((PreludeC-45Interfaces-C-42C-62 (vector 0 (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-143) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-143 eta-0)))))) (lambda (u--a) (lambda (arg-577) (lambda (eta-0) arg-577))) (lambda (u--b) (lambda (u--a) (lambda (arg-578) (lambda (arg-580) (lambda (eta-0) (let ((act-17 (arg-578 eta-0))) (let ((act-16 (arg-580 eta-0))) (act-17 act-16))))))))) (PreludeC-45IO-putStr (cons (vector 0 (vector 0 (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-143) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-143 eta-0)))))) (lambda (u--a) (lambda (arg-577) (lambda (eta-0) arg-577))) (lambda (u--b) (lambda (u--a) (lambda (arg-578) (lambda (arg-580) (lambda (eta-0) (let ((act-17 (arg-578 eta-0))) (let ((act-16 (arg-580 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-876) (lambda (arg-877) (lambda (eta-0) (let ((act-26 (arg-876 eta-0))) ((arg-877 act-26) eta-0))))))) (lambda (u--a) (lambda (arg-879) (lambda (eta-0) (let ((act-51 (arg-879 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-7803) arg-7803))) "Package options: ") (PreludeC-45IO-getLine (cons (vector 0 (vector 0 (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-143) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-143 eta-0)))))) (lambda (u--a) (lambda (arg-577) (lambda (eta-0) arg-577))) (lambda (u--b) (lambda (u--a) (lambda (arg-578) (lambda (arg-580) (lambda (eta-0) (let ((act-17 (arg-578 eta-0))) (let ((act-16 (arg-580 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-876) (lambda (arg-877) (lambda (eta-0) (let ((act-26 (arg-876 eta-0))) ((arg-877 act-26) eta-0))))))) (lambda (u--a) (lambda (arg-879) (lambda (eta-0) (let ((act-51 (arg-879 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-7803) arg-7803))))) ext-0))) (let ((act-27 ((PreludeC-45Interfaces-C-42C-62 (vector 0 (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-143) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-143 eta-0)))))) (lambda (u--a) (lambda (arg-577) (lambda (eta-0) arg-577))) (lambda (u--b) (lambda (u--a) (lambda (arg-578) (lambda (arg-580) (lambda (eta-0) (let ((act-17 (arg-578 eta-0))) (let ((act-16 (arg-580 eta-0))) (act-17 act-16))))))))) (PreludeC-45IO-putStr (cons (vector 0 (vector 0 (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-143) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-143 eta-0)))))) (lambda (u--a) (lambda (arg-577) (lambda (eta-0) arg-577))) (lambda (u--b) (lambda (u--a) (lambda (arg-578) (lambda (arg-580) (lambda (eta-0) (let ((act-17 (arg-578 eta-0))) (let ((act-16 (arg-580 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-876) (lambda (arg-877) (lambda (eta-0) (let ((act-27 (arg-876 eta-0))) ((arg-877 act-27) eta-0))))))) (lambda (u--a) (lambda (arg-879) (lambda (eta-0) (let ((act-51 (arg-879 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-7803) arg-7803))) "Source directory: ") (PreludeC-45IO-getLine (cons (vector 0 (vector 0 (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-143) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-143 eta-0)))))) (lambda (u--a) (lambda (arg-577) (lambda (eta-0) arg-577))) (lambda (u--b) (lambda (u--a) (lambda (arg-578) (lambda (arg-580) (lambda (eta-0) (let ((act-17 (arg-578 eta-0))) (let ((act-16 (arg-580 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-876) (lambda (arg-877) (lambda (eta-0) (let ((act-27 (arg-876 eta-0))) ((arg-877 act-27) eta-0))))))) (lambda (u--a) (lambda (arg-879) (lambda (eta-0) (let ((act-51 (arg-879 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-7803) arg-7803))))) ext-0))) (let ((u--sourcedir (IdrisC-45PackageC-45Init-n--5052-3047-u--mstring act-27))) (let ((act-28 (IdrisC-45PackageC-45Init-findModules u--sourcedir ext-0))) (let ((u--pkg (IdrisC-45PackageC-45Init-case--interactive-3164 act-24 act-25 act-26 act-27 u--sourcedir act-28 (IdrisC-45PackageC-45Types-initPkgDesc (DataC-45Maybe-fromMaybe (lambda () "project") (IdrisC-45PackageC-45Init-n--5052-3047-u--mstring act-24)))))) u--pkg)))))))))
-(define IdrisC-45PackageC-45Init-findModules (lambda (arg-0 ext-0) (let ((act-24 ((PreludeC-45Types-maybe (lambda () (SystemC-45Directory-currentDir (cons (vector 0 (vector 0 (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-143) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-143 eta-0)))))) (lambda (u--a) (lambda (arg-577) (lambda (eta-0) arg-577))) (lambda (u--b) (lambda (u--a) (lambda (arg-578) (lambda (arg-580) (lambda (eta-0) (let ((act-17 (arg-578 eta-0))) (let ((act-16 (arg-580 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-876) (lambda (arg-877) (lambda (eta-0) (let ((act-24 (arg-876 eta-0))) ((arg-877 act-24) eta-0))))))) (lambda (u--a) (lambda (arg-879) (lambda (eta-0) (let ((act-51 (arg-879 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-7803) arg-7803))))) (lambda () (lambda (eta-0) (lambda (eta-1) (vector 1 eta-0)))) arg-0) ext-0))) (let ((sc0 act-24)) (case (vector-ref sc0 0) ((1) (let ((e-1 (vector-ref sc0 1))) (let ((u--root (LibrariesC-45UtilsC-45Path-parse e-1))) (let ((act-25 ((IdrisC-45PackageC-45Init-packageTree u--root) ext-0))) (let ((act-26 (IdrisC-45PackageC-45Init-n--4833-2830-u--go arg-0 '() (cons (cons '() (cons u--root (lambda (eta-0) act-25))) '()) ext-0))) (DataC-45List-sortBy (lambda (u--a) (lambda (u--b) (PreludeC-45EqOrd-u--compare_Ord_String (Builtin-snd u--a) (Builtin-snd u--b)))) act-26)))))) (else '()))))))
-(define IdrisC-45DocC-45HTML-with--tryCanonicalName-865 (lambda (arg-0 arg-1 arg-2 arg-3 ext-0) (let ((sc0 arg-1)) (cond ((equal? sc0 0) (let ((act-24 (let ((act-24 (unbox arg-3))) (vector 1 act-24)))) (let ((sc1 act-24)) (case (vector-ref sc1 0) ((0) (let ((e-2 (vector-ref sc1 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref sc1 1))) (let ((act-25 ((CoreC-45Context-lookupCtxtName arg-0 (let ((sc2 e-5)) (let ((e-0 (vector-ref sc2 1))) e-0))) ext-0))) (let ((sc2 act-25)) (case (vector-ref sc2 0) ((0) (let ((e-2 (vector-ref sc2 1))) (vector 0 e-2))) (else (let ((e-6 (vector-ref sc2 1))) (let ((sc3 e-6)) (if (null? sc3) (vector 1 (vector 0 )) (let ((e-1 (car sc3))) (let ((e-2 (cdr sc3))) (let ((sc4 e-1)) (if (null? sc4) (vector 1 (vector 0 )) (let ((e-8 (car sc4))) (let ((e-7 (cdr sc4))) (let ((sc5 e-7)) (if (null? sc5) (vector 1 (vector 0 )) (let ((sc6 e-2)) (if (null? sc6) (vector 1 (vector 1 e-8)) (vector 1 (vector 0 ))))))))))))))))))))))))) (else (vector 1 (vector 0 )))))))
-(define IdrisC-45DocC-45HTML-case--prettyNameRoot-960 (lambda (arg-0 arg-1 arg-2) (let ((sc0 arg-2)) (cond ((equal? sc0 0) (PreludeC-45TypesC-45String-C-43C-43 "(" (PreludeC-45TypesC-45String-C-43C-43 arg-1 ")"))) (else arg-1)))))
-(define IdrisC-45DocC-45HTML-n--9081-1385-u--moduleLink (lambda (arg-0 arg-1) (let ((sc0 arg-1)) (let ((e-2 (car sc0))) (PreludeC-45TypesC-45String-C-43C-43 "" (PreludeC-45TypesC-45String-C-43C-43 (CoreC-45NameC-45Namespace-u--show_Show_ModuleIdent e-2) ""))))))))
-(define IdrisC-45DocC-45HTML-n--8988-1299-u--go (lambda (arg-0 arg-1) (let ((sc0 arg-0)) (cond ((equal? sc0 1) (let ((sc1 arg-1)) (case (vector-ref sc1 0) ((3) arg-1)(else (let ((sc1 arg-1)) (case (vector-ref sc1 0) ((5) (let ((e-1 (vector-ref sc1 1))) (vector 5 (PreludeC-45Types-u--map_Functor_List (lambda (eta-0) (IdrisC-45DocC-45HTML-n--8988-1299-u--go arg-0 eta-0)) e-1)))) ((4) (let ((e-3 (vector-ref sc1 1))) (let ((e-4 (vector-ref sc1 2))) (let ((sc2 e-3)) (case (vector-ref sc2 0) ((4) (vector 4 (vector 4 ) (IdrisC-45DocC-45HTML-n--8988-1299-u--go 0 e-4)))(else (vector 4 e-3 (IdrisC-45DocC-45HTML-n--8988-1299-u--go 1 e-4))))))))(else arg-1))))))) ((equal? sc0 0) (let ((sc1 arg-1)) (case (vector-ref sc1 0) ((3) (vector 0 ))(else (let ((sc1 arg-1)) (case (vector-ref sc1 0) ((5) (let ((e-1 (vector-ref sc1 1))) (vector 5 (PreludeC-45Types-u--map_Functor_List (lambda (eta-0) (IdrisC-45DocC-45HTML-n--8988-1299-u--go arg-0 eta-0)) e-1)))) ((4) (let ((e-3 (vector-ref sc1 1))) (let ((e-4 (vector-ref sc1 2))) (let ((sc2 e-3)) (case (vector-ref sc2 0) ((4) (vector 4 (vector 4 ) (IdrisC-45DocC-45HTML-n--8988-1299-u--go 0 e-4)))(else (vector 4 e-3 (IdrisC-45DocC-45HTML-n--8988-1299-u--go 1 e-4))))))))(else arg-1)))))))(else (let ((sc0 arg-1)) (case (vector-ref sc0 0) ((5) (let ((e-1 (vector-ref sc0 1))) (vector 5 (PreludeC-45Types-u--map_Functor_List (lambda (eta-0) (IdrisC-45DocC-45HTML-n--8988-1299-u--go arg-0 eta-0)) e-1)))) ((4) (let ((e-3 (vector-ref sc0 1))) (let ((e-4 (vector-ref sc0 2))) (let ((sc1 e-3)) (case (vector-ref sc1 0) ((4) (vector 4 (vector 4 ) (IdrisC-45DocC-45HTML-n--8988-1299-u--go 0 e-4)))(else (vector 4 e-3 (IdrisC-45DocC-45HTML-n--8988-1299-u--go 1 e-4))))))))(else arg-1))))))))
-(define IdrisC-45DocC-45HTML-tryCanonicalName (lambda (arg-0 arg-1 arg-2 ext-0) (IdrisC-45DocC-45HTML-with--tryCanonicalName-865 arg-2 (IdrisC-45DocC-45HTML-hasNS arg-2) arg-1 arg-0 ext-0)))
-(define IdrisC-45DocC-45HTML-renderModuleDoc (lambda (arg-0 arg-1 arg-2 ext-0) (let ((act-24 ((IdrisC-45DocC-45HTML-docDocToHtml arg-0 arg-2) ext-0))) (let ((sc0 act-24)) (case (vector-ref sc0 0) ((0) (let ((e-2 (vector-ref sc0 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref sc0 1))) (vector 1 (PreludeC-45Types-fastConcat (cons (IdrisC-45DocC-45HTML-htmlPreamble (CoreC-45NameC-45Namespace-u--show_Show_ModuleIdent arg-1) "../" "namespace") (cons "" (cons (CoreC-45NameC-45Namespace-u--show_Show_ModuleIdent arg-1) (cons "
" (cons e-5 (cons (IdrisC-45DocC-45HTML-htmlFooter) '())))))))))))))))
-(define IdrisC-45DocC-45HTML-renderHtml (lambda (arg-0 arg-1) (let ((sc0 arg-1)) (case (vector-ref sc0 0) ((0) (lambda (eta-0) (vector 1 (PreludeC-45Types-u--neutral_Monoid_String)))) ((1) (let ((e-2 (vector-ref sc0 1))) (lambda (clam-0) (let ((sc1 e-2)) (cond ((equal? sc1 #\ ) (vector 1 " "))(else (vector 1 (PreludeC-45Cast-u--cast_Cast_Char_String e-2)))))))) ((2) (let ((e-5 (vector-ref sc0 2))) (lambda (eta-0) (vector 1 (LibrariesC-45TextC-45PrettyPrintC-45PrettyprinterC-45RenderC-45HTML-htmlEscape e-5))))) ((3) (lambda (eta-0) (vector 1 "
"))) ((4) (let ((e-9 (vector-ref sc0 1))) (let ((e-10 (vector-ref sc0 2))) (lambda (clam-0) (let ((sc1 e-9)) (case (vector-ref sc1 0) ((4) (let ((act-24 ((IdrisC-45DocC-45HTML-renderHtml arg-0 e-10) clam-0))) (let ((sc2 act-24)) (case (vector-ref sc2 0) ((0) (let ((e-2 (vector-ref sc2 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref sc2 1))) (vector 1 (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String "" e-5) "
")))))))) ((5) (let ((e-13 (vector-ref sc1 1))) (let ((act-24 ((IdrisC-45DocC-45HTML-renderHtml arg-0 e-10) clam-0))) (let ((sc2 act-24)) (case (vector-ref sc2 0) ((0) (let ((e-2 (vector-ref sc2 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref sc2 1))) (vector 1 (PreludeC-45TypesC-45String-C-43C-43 "" e-5) ""))))))))))) ((6) (let ((act-24 ((IdrisC-45DocC-45HTML-renderHtml arg-0 e-10) clam-0))) (let ((sc2 act-24)) (case (vector-ref sc2 0) ((0) (let ((e-2 (vector-ref sc2 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref sc2 1))) (vector 1 (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String "" e-5) "")))))))) ((1) (let ((act-24 ((IdrisC-45DocC-45HTML-renderHtml arg-0 e-10) clam-0))) (let ((sc2 act-24)) (case (vector-ref sc2 0) ((0) (let ((e-2 (vector-ref sc2 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref sc2 1))) (vector 1 (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String "" e-5) "")))))))) ((0) (let ((e-14 (vector-ref sc1 1))) (vector 1 (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String "" (IdrisC-45DocC-45HTML-prettyNameRoot e-14)) "")))) ((2) (let ((e-15 (vector-ref sc1 1))) (vector 1 (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String "" (IdrisC-45DocC-45HTML-prettyNameRoot e-15)) "")))) ((3) (let ((act-24 ((IdrisC-45DocC-45HTML-renderHtml arg-0 e-10) clam-0))) (let ((sc2 act-24)) (case (vector-ref sc2 0) ((0) (let ((e-2 (vector-ref sc2 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref sc2 1))) (vector 1 (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String "" e-5) "")))))))) ((7) (let ((e-16 (vector-ref sc1 1))) (let ((sc2 e-16)) (case (vector-ref sc2 0) ((3) (let ((e-17 (vector-ref sc2 1))) (let ((act-24 ((IdrisC-45DocC-45HTML-renderHtml arg-0 e-10) clam-0))) (let ((sc3 act-24)) (case (vector-ref sc3 0) ((0) (let ((e-2 (vector-ref sc3 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref sc3 1))) (let ((act-25 (IdrisC-45DocC-45HTML-tryCanonicalName arg-0 (CoreC-45FC-emptyFC) e-17 clam-0))) (let ((sc4 act-25)) (case (vector-ref sc4 0) ((0) (let ((e-2 (vector-ref sc4 1))) (vector 0 e-2))) (else (let ((e-6 (vector-ref sc4 1))) (let ((sc5 e-6)) (case (vector-ref sc5 0) ((1) (let ((e-1 (vector-ref sc5 1))) (let ((act-26 ((IdrisC-45DocC-45HTML-packageInternal arg-0 e-1) clam-0))) (let ((sc6 act-26)) (case (vector-ref sc6 0) ((0) (let ((e-2 (vector-ref sc6 1))) (vector 0 e-2))) (else (let ((e-7 (vector-ref sc6 1))) (let ((sc7 e-7)) (cond ((equal? sc7 0) (vector 1 (PreludeC-45TypesC-45String-C-43C-43 "" (LibrariesC-45TextC-45PrettyPrintC-45PrettyprinterC-45RenderC-45HTML-htmlEscape (CoreC-45Name-nameRoot e-1))) ""))))))) (else (vector 1 (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String "") (LibrariesC-45TextC-45PrettyPrintC-45PrettyprinterC-45RenderC-45HTML-htmlEscape (CoreC-45Name-nameRoot e-1))) "")))))))))))) (else (vector 1 (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String "" e-5) "")))))))))))))))))(else (let ((act-24 ((IdrisC-45DocC-45HTML-renderHtml arg-0 e-10) clam-0))) (let ((sc2 act-24)) (case (vector-ref sc2 0) ((0) (let ((e-2 (vector-ref sc2 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref sc2 1))) (vector 1 (PreludeC-45TypesC-45String-C-43C-43 "" (PreludeC-45TypesC-45String-C-43C-43 e-5 "")))))))))))))(else (let ((act-24 ((IdrisC-45DocC-45HTML-renderHtml arg-0 e-10) clam-0))) (let ((sc1 act-24)) (case (vector-ref sc1 0) ((0) (let ((e-2 (vector-ref sc1 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref sc1 1))) (vector 1 (PreludeC-45TypesC-45String-C-43C-43 "" (PreludeC-45TypesC-45String-C-43C-43 e-5 ""))))))))))))))) (else (let ((e-12 (vector-ref sc0 1))) (lambda (eta-0) (let ((act-24 (CoreC-45Core-traverseC-39 (lambda (eta-1) (IdrisC-45DocC-45HTML-renderHtml arg-0 eta-1)) e-12 '() eta-0))) (let ((sc1 act-24)) (case (vector-ref sc1 0) ((0) (let ((e-2 (vector-ref sc1 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref sc1 1))) (vector 1 (PreludeC-45Types-fastConcat e-5))))))))))))))
-(define IdrisC-45DocC-45HTML-renderDocIndex (lambda (arg-0) (PreludeC-45Types-fastConcat (PreludeC-45TypesC-45List-C-43C-43 (cons (IdrisC-45DocC-45HTML-htmlPreamble (let ((sc0 arg-0)) (let ((e-0 (vector-ref sc0 1))) e-0)) "" "index") (cons "Package " (cons (let ((sc0 arg-0)) (let ((e-0 (vector-ref sc0 1))) e-0)) (cons " - Namespaces
" (cons "" '()))))) (PreludeC-45TypesC-45List-C-43C-43 (PreludeC-45Types-u--map_Functor_List (lambda (eta-0) (IdrisC-45DocC-45HTML-n--9081-1385-u--moduleLink arg-0 eta-0)) (let ((sc0 arg-0)) (let ((e-11 (vector-ref sc0 12))) e-11))) (cons "
" (cons (IdrisC-45DocC-45HTML-htmlFooter) '())))))))
-(define IdrisC-45DocC-45HTML-removeNewlinesFromDeclarations (lambda (ext-0) (IdrisC-45DocC-45HTML-n--8988-1299-u--go 1 ext-0)))
-(define IdrisC-45DocC-45HTML-prettyNameRoot (lambda (arg-0) (let ((u--root (LibrariesC-45TextC-45PrettyPrintC-45PrettyprinterC-45RenderC-45HTML-htmlEscape (CoreC-45Name-nameRoot arg-0)))) (IdrisC-45DocC-45HTML-case--prettyNameRoot-960 arg-0 u--root (ParserC-45LexerC-45Source-isOpName arg-0)))))
-(define IdrisC-45DocC-45HTML-packageInternal (lambda (arg-0 arg-1) (let ((sc0 arg-1)) (case (vector-ref sc0 0) ((0) (let ((e-0 (vector-ref sc0 1))) (let ((u--mi (CoreC-45NameC-45Namespace-nsAsModuleIdent e-0))) (lambda (eta-0) (CoreC-45Core-u--catch_Catchable_Core_Error (lambda (eta-1) (PreludeC-45IO-u--map_Functor_IO (lambda (eta-2) (let ((sc1 eta-2)) (case (vector-ref sc1 0) ((0) (let ((e-2 (vector-ref sc1 1))) (vector 0 e-2))) (else (vector 1 0))))) (lambda (eta-2) (CoreC-45Directory-nsToSource arg-0 (CoreC-45FC-emptyFC) u--mi eta-2)) eta-1)) (lambda (_-941) (lambda (eta-1) (vector 1 1))) eta-0)))))(else (lambda (eta-0) (vector 1 1)))))))
+(define IdrisC-45Package-copyFile (lambda (arg-0 arg-1 ext-0) (let ((act-24 (LibrariesC-45UtilsC-45Binary-readFromFile arg-0 ext-0))) (case (vector-ref act-24 0) ((1) (let ((e-2 (vector-ref act-24 1))) ((LibrariesC-45UtilsC-45Binary-writeToFile arg-1 e-2) ext-0))) (else (let ((e-5 (vector-ref act-24 1))) (vector 0 e-5)))))))
+(define IdrisC-45Package-compileMain (lambda (arg-0 arg-1 arg-2 arg-3 arg-4 arg-5 ext-0) (let ((act-24 (CoreC-45Directory-ctxtPathToNS arg-0 arg-4 ext-0))) (case (vector-ref act-24 0) ((0) (let ((e-2 (vector-ref act-24 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref act-24 1))) (let ((act-25 (CoreC-45Core-newRef (vector "Core.Metadata.MD" ) (CoreC-45Metadata-initMetadata (vector 0 e-5)) ext-0))) (case (vector-ref act-25 0) ((0) (let ((e-2 (vector-ref act-25 1))) (vector 0 e-2))) (else (let ((e-6 (vector-ref act-25 1))) (let ((act-26 (CoreC-45Core-newRef (vector "Core.UnifyState.UST" ) (CoreC-45UnifyState-initUState) ext-0))) (case (vector-ref act-26 0) ((0) (let ((e-2 (vector-ref act-26 1))) (vector 0 e-2))) (else (let ((e-7 (vector-ref act-26 1))) (let ((act-27 (PreludeC-45IO-u--map_Functor_IO (lambda (eta-0) (case (vector-ref eta-0 0) ((0) (let ((e-2 (vector-ref eta-0 1))) (vector 0 e-2))) (else (vector 1 0)))) (lambda (eta-0) (IdrisC-45REPL-loadMainFile arg-0 e-7 arg-1 e-6 arg-2 arg-4 eta-0)) ext-0))) (case (vector-ref act-27 0) ((0) (let ((e-2 (vector-ref act-27 1))) (vector 0 e-2))) (else (PreludeC-45IO-u--map_Functor_IO (lambda (eta-0) (case (vector-ref eta-0 0) ((0) (let ((e-2 (vector-ref eta-0 1))) (vector 0 e-2))) (else (vector 1 0)))) (lambda (eta-0) (IdrisC-45REPL-compileExp arg-0 e-7 arg-1 e-6 arg-2 (vector 0 (CoreC-45FC-replFC) arg-3) arg-5 eta-0)) ext-0))))))))))))))))))
+(define IdrisC-45Package-clean (lambda (arg-0 arg-1 arg-2 arg-3 ext-0) (let ((act-24 (let ((act-24 (unbox arg-0))) (vector 1 act-24)))) (case (vector-ref act-24 0) ((0) (let ((e-2 (vector-ref act-24 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref act-24 1))) (let ((act-25 (IdrisC-45Package-runScript (let ((e-22 (vector-ref arg-2 22))) e-22) ext-0))) (case (vector-ref act-25 0) ((0) (let ((e-2 (vector-ref act-25 1))) (vector 0 e-2))) (else (let ((u--pkgmods (PreludeC-45Types-maybe (lambda () (PreludeC-45Types-u--map_Functor_List (lambda (eta-0) (Builtin-fst eta-0)) (let ((e-11 (vector-ref arg-2 11))) e-11))) (lambda () (lambda (u--m) (cons (Builtin-fst u--m) (PreludeC-45Types-u--map_Functor_List (lambda (eta-0) (Builtin-fst eta-0)) (let ((e-11 (vector-ref arg-2 11))) e-11))))) (let ((e-12 (vector-ref arg-2 12))) e-12)))) (let ((u--toClean (DataC-45List-mapMaybe (lambda (u--mod) (let ((sc2 (CoreC-45NameC-45Namespace-unsafeUnfoldModuleIdent u--mod))) (if (null? sc2) '() (let ((e-2 (car sc2))) (let ((e-3 (cdr sc2))) (box (cons e-3 e-2))))))) u--pkgmods))) (let ((act-26 (let ((act-26 ((SystemC-45Directory-currentDir (cons (vector (vector (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-133) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-133 eta-0)))))) (lambda (u--a) (lambda (arg-527) (lambda (eta-0) arg-527))) (lambda (u--b) (lambda (u--a) (lambda (arg-528) (lambda (arg-530) (lambda (eta-0) (let ((act-17 (arg-528 eta-0))) (let ((act-16 (arg-530 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-811) (lambda (arg-812) (lambda (eta-0) (let ((act-26 (arg-811 eta-0))) ((arg-812 act-26) eta-0))))))) (lambda (u--a) (lambda (arg-814) (lambda (eta-0) (let ((act-51 (arg-814 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-6881) arg-6881)))) ext-0))) (vector 1 act-26)))) (case (vector-ref act-26 0) ((0) (let ((e-2 (vector-ref act-26 1))) (vector 0 e-2))) (else (let ((e-7 (vector-ref act-26 1))) (if (null? e-7) (CoreC-45Core-u--throw_Catchable_Core_Error (vector 57 "Can't get current directory") ext-0) (let ((e-1 (unbox e-7))) (let ((u--d (let ((e-4 (vector-ref e-5 4))) (let ((e-41 (vector-ref e-4 0))) e-41)))) (let ((u--builddir (LibrariesC-45UtilsC-45Path-C-60C-47C-62 e-1 (LibrariesC-45UtilsC-45Path-C-60C-47C-62 (let ((e-2 (vector-ref u--d 2))) e-2) "ttc")))) (let ((u--outputdir (LibrariesC-45UtilsC-45Path-C-60C-47C-62 e-1 (CoreC-45Options-outputDirWithDefault u--d)))) (let ((u--pkgTrie (PreludeC-45Types-u--foldl_Foldable_List (lambda (u--trie) (lambda (u--ksv) (let ((u--ks (Builtin-fst u--ksv))) (let ((u--v (Builtin-snd u--ksv))) (LibrariesC-45DataC-45StringTrie-insertWith (DataC-45List-reverse u--ks) (lambda (eta-0) (PreludeC-45Types-maybe (lambda () (cons u--v '())) (lambda () (lambda (arg-4) (cons u--v arg-4))) eta-0)) u--trie))))) (LibrariesC-45DataC-45StringTrie-empty) u--toClean))) (let ((act-27 (IdrisC-45Package-foldWithKeysC (cons (lambda (arg-4) (lambda (arg-5) (PreludeC-45Interfaces-u--C-60C-43C-62_Semigroup_C-40C-124UnitC-44MkUnitC-124C-41 arg-4 arg-5))) (PreludeC-45Interfaces-u--neutral_Monoid_C-40C-124UnitC-44MkUnitC-124C-41)) (lambda (eta-0) (lambda (eta-1) (IdrisC-45Package-n--16726-7705-u--deleteFolder arg-3 arg-2 arg-1 arg-0 u--builddir eta-0 eta-1))) (lambda (u--ks) (lambda (eta-0) (lambda (eta-1) (PreludeC-45IO-u--map_Functor_IO (lambda (eta-2) (case (vector-ref eta-2 0) ((0) (let ((e-2 (vector-ref eta-2 1))) (vector 0 e-2))) (else (let ((e-8 (vector-ref eta-2 1))) (vector 1 (PreludeC-45Interfaces-concat (cons (vector (lambda (u--acc) (lambda (u--elem) (lambda (u--func) (lambda (u--init) (lambda (u--input) (PreludeC-45Types-u--foldr_Foldable_List u--func u--init u--input)))))) (lambda (u--elem) (lambda (u--acc) (lambda (u--func) (lambda (u--init) (lambda (u--input) (PreludeC-45Types-u--foldl_Foldable_List u--func u--init u--input)))))) (lambda (u--elem) (lambda (arg-1094) (PreludeC-45Types-u--null_Foldable_List arg-1094))) (lambda (u--elem) (lambda (u--acc) (lambda (u--m) (lambda (i_con-0) (lambda (u--funcM) (lambda (u--init) (lambda (u--input) (PreludeC-45Types-u--foldlM_Foldable_List i_con-0 u--funcM u--init u--input)))))))) (lambda (u--elem) (lambda (arg-1098) (PreludeC-45Types-u--toList_Foldable_List arg-1098))) (lambda (u--a) (lambda (u--m) (lambda (i_con-0) (lambda (u--f) (lambda (arg-1100) (PreludeC-45Types-u--foldMap_Foldable_List i_con-0 u--f arg-1100))))))) (cons (lambda (arg-4) (lambda (arg-5) (PreludeC-45Interfaces-u--C-60C-43C-62_Semigroup_C-40C-124UnitC-44MkUnitC-124C-41 arg-4 arg-5))) (PreludeC-45Interfaces-u--neutral_Monoid_C-40C-124UnitC-44MkUnitC-124C-41))) e-8)))))) (lambda (eta-2) (CoreC-45Core-traverseC-39 (lambda (eta-3) (IdrisC-45Package-n--16726-7706-u--deleteBin arg-3 arg-2 arg-1 arg-0 u--builddir u--ks eta-3)) eta-0 '() eta-2)) eta-1)))) u--pkgTrie ext-0))) (case (vector-ref act-27 0) ((0) (let ((e-2 (vector-ref act-27 1))) (vector 0 e-2))) (else (let ((act-28 (IdrisC-45Package-n--16726-7705-u--deleteFolder arg-3 arg-2 arg-1 arg-0 u--builddir '() ext-0))) (case (vector-ref act-28 0) ((0) (let ((e-2 (vector-ref act-28 1))) (vector 0 e-2))) (else (let ((act-29 ((PreludeC-45Types-maybe (lambda () (lambda (eta-0) (vector 1 0))) (lambda () (lambda (u--e) (lambda (eta-0) (IdrisC-45Package-n--16726-7704-u--delete arg-3 arg-2 arg-1 arg-0 (LibrariesC-45UtilsC-45Path-C-60C-47C-62 u--outputdir u--e) eta-0)))) (let ((e-13 (vector-ref arg-2 13))) e-13)) ext-0))) (case (vector-ref act-29 0) ((0) (let ((e-2 (vector-ref act-29 1))) (vector 0 e-2))) (else (IdrisC-45Package-runScript (let ((e-23 (vector-ref arg-2 23))) e-23) ext-0)))))))))))))))))))))))))))))))
+(define IdrisC-45Package-check (lambda (arg-0 arg-1 arg-2 arg-3 arg-4 ext-0) (let ((act-24 (IdrisC-45Package-prepareCompilation arg-0 arg-1 arg-2 arg-3 arg-4 ext-0))) (case (vector-ref act-24 0) ((0) (let ((e-2 (vector-ref act-24 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref act-24 1))) (if (null? e-5) (let ((act-25 (IdrisC-45Package-runScript (let ((e-19 (vector-ref arg-3 19))) e-19) ext-0))) (case (vector-ref act-25 0) ((0) (let ((e-2 (vector-ref act-25 1))) (vector 0 e-2))) (else (vector 1 '())))) (vector 1 e-5))))))))
+(define IdrisC-45Package-build (lambda (arg-0 arg-1 arg-2 arg-3 arg-4 ext-0) (let ((act-24 (IdrisC-45Package-prepareCompilation arg-0 arg-1 arg-2 arg-3 arg-4 ext-0))) (case (vector-ref act-24 0) ((0) (let ((e-2 (vector-ref act-24 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref act-24 1))) (if (null? e-5) (let ((act-25 (let ((e-13 (vector-ref arg-3 13))) (if (null? e-13) (vector 1 0) (let ((e-25 (unbox e-13))) (let ((e-37 (vector-ref arg-3 12))) (if (null? e-37) (CoreC-45Core-u--throw_Catchable_Core_Error (vector 47 (CoreC-45FC-emptyFC) "No main module given") ext-0) (let ((e-50 (unbox e-37))) (let ((e-52 (car e-50))) (let ((e-51 (cdr e-50))) (let ((u--mainName (vector 0 (CoreC-45NameC-45Namespace-miAsNamespace e-52) (vector 1 "main")))) (IdrisC-45Package-compileMain arg-0 arg-1 arg-2 u--mainName e-51 e-25 ext-0)))))))))))) (case (vector-ref act-25 0) ((0) (let ((e-2 (vector-ref act-25 1))) (vector 0 e-2))) (else (let ((act-26 (IdrisC-45Package-runScript (let ((e-19 (vector-ref arg-3 19))) e-19) ext-0))) (case (vector-ref act-26 0) ((0) (let ((e-2 (vector-ref act-26 1))) (vector 0 e-2))) (else (vector 1 '()))))))) (vector 1 e-5))))))))
+(define IdrisC-45Package-bitraverseC (lambda (arg-4 arg-5 arg-6 ext-0) (case (vector-ref arg-6 0) ((0) (let ((e-2 (vector-ref arg-6 1))) (CoreC-45Core-C-60C-42C-62 (lambda (eta-0) (vector 1 (lambda (eta-1) (vector 0 eta-1)))) (arg-4 e-2) ext-0))) ((1) (let ((e-5 (vector-ref arg-6 1))) (CoreC-45Core-C-60C-42C-62 (lambda (eta-0) (vector 1 (lambda (eta-1) (vector 1 eta-1)))) (arg-5 e-5) ext-0))) (else (let ((e-8 (vector-ref arg-6 1))) (let ((e-9 (vector-ref arg-6 2))) (CoreC-45Core-C-60C-42C-62 (lambda (eta-0) (CoreC-45Core-C-60C-42C-62 (lambda (eta-1) (vector 1 (lambda (eta-2) (lambda (eta-3) (vector 2 eta-2 eta-3))))) (arg-4 e-8) eta-0)) (arg-5 e-9) ext-0)))))))
+(define IdrisC-45Package-addFields (lambda (arg-0 arg-1 arg-2 arg-3 arg-4 ext-0) (let ((act-24 (CoreC-45Core-newRef (vector "Idris.Package.ParsedMods" ) '() ext-0))) (case (vector-ref act-24 0) ((0) (let ((e-2 (vector-ref act-24 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref act-24 1))) (let ((act-25 (CoreC-45Core-newRef (vector "Idris.Package.MainMod" ) '() ext-0))) (case (vector-ref act-25 0) ((0) (let ((e-2 (vector-ref act-25 1))) (vector 0 e-2))) (else (let ((e-6 (vector-ref act-25 1))) (let ((act-26 (IdrisC-45Package-n--13886-5177-u--go arg-4 arg-3 arg-2 arg-1 arg-0 e-5 e-6 arg-3 arg-4 ext-0))) (case (vector-ref act-26 0) ((0) (let ((e-2 (vector-ref act-26 1))) (vector 0 e-2))) (else (let ((e-7 (vector-ref act-26 1))) (let ((act-27 (CoreC-45Context-setSourceDir arg-0 (let ((e-15 (vector-ref e-7 15))) e-15) ext-0))) (case (vector-ref act-27 0) ((0) (let ((e-2 (vector-ref act-27 1))) (vector 0 e-2))) (else (let ((act-28 (let ((act-28 (unbox e-5))) (vector 1 act-28)))) (case (vector-ref act-28 0) ((0) (let ((e-2 (vector-ref act-28 1))) (vector 0 e-2))) (else (let ((e-9 (vector-ref act-28 1))) (let ((act-29 (let ((act-29 (unbox e-6))) (vector 1 act-29)))) (case (vector-ref act-29 0) ((0) (let ((e-2 (vector-ref act-29 1))) (vector 0 e-2))) (else (let ((e-10 (vector-ref act-29 1))) (let ((act-30 (CoreC-45Core-traverseC-39 (lambda (eta-0) (lambda (eta-1) (IdrisC-45Package-n--13886-5176-u--toSource arg-4 arg-3 arg-2 arg-1 arg-0 eta-0 eta-1))) e-9 '() ext-0))) (case (vector-ref act-30 0) ((0) (let ((e-2 (vector-ref act-30 1))) (vector 0 e-2))) (else (let ((e-11 (vector-ref act-30 1))) (let ((act-31 (if (null? e-10) (vector 1 '()) (let ((e-2 (unbox e-10))) (PreludeC-45IO-u--map_Functor_IO (lambda (eta-0) (case (vector-ref eta-0 0) ((0) (let ((e-3 (vector-ref eta-0 1))) (vector 0 e-3))) (else (let ((e-12 (vector-ref eta-0 1))) (vector 1 (box e-12)))))) (lambda (eta-0) (IdrisC-45Package-n--13886-5176-u--toSource arg-4 arg-3 arg-2 arg-1 arg-0 e-2 eta-0)) ext-0))))) (case (vector-ref act-31 0) ((0) (let ((e-2 (vector-ref act-31 1))) (vector 0 e-2))) (else (let ((e-12 (vector-ref act-31 1))) (vector 1 (let ((e-0 (vector-ref e-7 0))) (let ((e-1 (vector-ref e-7 1))) (let ((e-2 (vector-ref e-7 2))) (let ((e-3 (vector-ref e-7 3))) (let ((e-4 (vector-ref e-7 4))) (let ((e-31 (vector-ref e-7 5))) (let ((e-30 (vector-ref e-7 6))) (let ((e-29 (vector-ref e-7 7))) (let ((e-28 (vector-ref e-7 8))) (let ((e-27 (vector-ref e-7 9))) (let ((e-26 (vector-ref e-7 10))) (let ((e-13 (vector-ref e-7 13))) (let ((e-14 (vector-ref e-7 14))) (let ((e-15 (vector-ref e-7 15))) (let ((e-16 (vector-ref e-7 16))) (let ((e-17 (vector-ref e-7 17))) (let ((e-18 (vector-ref e-7 18))) (let ((e-19 (vector-ref e-7 19))) (let ((e-20 (vector-ref e-7 20))) (let ((e-21 (vector-ref e-7 21))) (let ((e-22 (vector-ref e-7 22))) (let ((e-23 (vector-ref e-7 23))) (vector e-0 e-1 e-2 e-3 e-4 e-31 e-30 e-29 e-28 e-27 e-26 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23)))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+(define IdrisC-45Package-addField (lambda (arg-0 arg-1 arg-2 arg-3 arg-4 arg-5 arg-6 ext-0) (case (vector-ref arg-5 0) ((0) (let ((e-1 (vector-ref arg-5 2))) (vector 1 (let ((e-25 (vector-ref arg-6 0))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-4 (vector-ref arg-6 4))) (let ((e-5 (vector-ref arg-6 5))) (let ((e-6 (vector-ref arg-6 6))) (let ((e-7 (vector-ref arg-6 7))) (let ((e-8 (vector-ref arg-6 8))) (let ((e-9 (vector-ref arg-6 9))) (let ((e-10 (vector-ref arg-6 10))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-13 (vector-ref arg-6 13))) (let ((e-14 (vector-ref arg-6 14))) (let ((e-15 (vector-ref arg-6 15))) (let ((e-16 (vector-ref arg-6 16))) (let ((e-17 (vector-ref arg-6 17))) (let ((e-18 (vector-ref arg-6 18))) (let ((e-19 (vector-ref arg-6 19))) (let ((e-20 (vector-ref arg-6 20))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-22 (vector-ref arg-6 22))) (let ((e-23 (vector-ref arg-6 23))) (vector e-25 (box e-1) e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23))))))))))))))))))))))))))) ((1) (let ((act-24 (IdrisC-45REPLC-45Common-emitWarning arg-0 arg-2 arg-1 (vector 2 "version numbers must now be of the form x.y.z") ext-0))) (case (vector-ref act-24 0) ((0) (let ((e-4 (vector-ref act-24 1))) (vector 0 e-4))) (else (vector 1 arg-6))))) ((2) (let ((e-5 (vector-ref arg-5 2))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-25 (vector-ref arg-6 4))) (let ((e-24 (vector-ref arg-6 5))) (let ((e-6 (vector-ref arg-6 6))) (let ((e-7 (vector-ref arg-6 7))) (let ((e-8 (vector-ref arg-6 8))) (let ((e-9 (vector-ref arg-6 9))) (let ((e-10 (vector-ref arg-6 10))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-13 (vector-ref arg-6 13))) (let ((e-14 (vector-ref arg-6 14))) (let ((e-15 (vector-ref arg-6 15))) (let ((e-16 (vector-ref arg-6 16))) (let ((e-17 (vector-ref arg-6 17))) (let ((e-18 (vector-ref arg-6 18))) (let ((e-19 (vector-ref arg-6 19))) (let ((e-20 (vector-ref arg-6 20))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-22 (vector-ref arg-6 22))) (let ((e-23 (vector-ref arg-6 23))) (vector e-0 e-1 (box e-5) e-3 e-25 e-24 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23))))))))))))))))))))))))))) ((3) (let ((e-7 (vector-ref arg-5 2))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-4 (vector-ref arg-6 4))) (let ((e-5 (vector-ref arg-6 5))) (let ((e-25 (vector-ref arg-6 6))) (let ((e-24 (vector-ref arg-6 7))) (let ((e-8 (vector-ref arg-6 8))) (let ((e-9 (vector-ref arg-6 9))) (let ((e-10 (vector-ref arg-6 10))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-13 (vector-ref arg-6 13))) (let ((e-14 (vector-ref arg-6 14))) (let ((e-15 (vector-ref arg-6 15))) (let ((e-16 (vector-ref arg-6 16))) (let ((e-17 (vector-ref arg-6 17))) (let ((e-18 (vector-ref arg-6 18))) (let ((e-19 (vector-ref arg-6 19))) (let ((e-20 (vector-ref arg-6 20))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-22 (vector-ref arg-6 22))) (let ((e-23 (vector-ref arg-6 23))) (vector e-0 e-1 e-2 (box e-7) e-4 e-5 e-25 e-24 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23))))))))))))))))))))))))))) ((4) (let ((e-9 (vector-ref arg-5 2))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-5 (vector-ref arg-6 5))) (let ((e-6 (vector-ref arg-6 6))) (let ((e-7 (vector-ref arg-6 7))) (let ((e-25 (vector-ref arg-6 8))) (let ((e-24 (vector-ref arg-6 9))) (let ((e-10 (vector-ref arg-6 10))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-13 (vector-ref arg-6 13))) (let ((e-14 (vector-ref arg-6 14))) (let ((e-15 (vector-ref arg-6 15))) (let ((e-16 (vector-ref arg-6 16))) (let ((e-17 (vector-ref arg-6 17))) (let ((e-18 (vector-ref arg-6 18))) (let ((e-19 (vector-ref arg-6 19))) (let ((e-20 (vector-ref arg-6 20))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-22 (vector-ref arg-6 22))) (let ((e-23 (vector-ref arg-6 23))) (vector e-0 e-1 e-2 e-3 (box e-9) e-5 e-6 e-7 e-25 e-24 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23))))))))))))))))))))))))))) ((5) (let ((e-11 (vector-ref arg-5 2))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-4 (vector-ref arg-6 4))) (let ((e-6 (vector-ref arg-6 6))) (let ((e-7 (vector-ref arg-6 7))) (let ((e-8 (vector-ref arg-6 8))) (let ((e-9 (vector-ref arg-6 9))) (let ((e-25 (vector-ref arg-6 10))) (let ((e-24 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-13 (vector-ref arg-6 13))) (let ((e-14 (vector-ref arg-6 14))) (let ((e-15 (vector-ref arg-6 15))) (let ((e-16 (vector-ref arg-6 16))) (let ((e-17 (vector-ref arg-6 17))) (let ((e-18 (vector-ref arg-6 18))) (let ((e-19 (vector-ref arg-6 19))) (let ((e-20 (vector-ref arg-6 20))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-22 (vector-ref arg-6 22))) (let ((e-23 (vector-ref arg-6 23))) (vector e-0 e-1 e-2 e-3 e-4 (box e-11) e-6 e-7 e-8 e-9 e-25 e-24 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23))))))))))))))))))))))))))) ((6) (let ((e-13 (vector-ref arg-5 2))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-4 (vector-ref arg-6 4))) (let ((e-5 (vector-ref arg-6 5))) (let ((e-7 (vector-ref arg-6 7))) (let ((e-8 (vector-ref arg-6 8))) (let ((e-9 (vector-ref arg-6 9))) (let ((e-10 (vector-ref arg-6 10))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-25 (vector-ref arg-6 12))) (let ((e-24 (vector-ref arg-6 13))) (let ((e-14 (vector-ref arg-6 14))) (let ((e-15 (vector-ref arg-6 15))) (let ((e-16 (vector-ref arg-6 16))) (let ((e-17 (vector-ref arg-6 17))) (let ((e-18 (vector-ref arg-6 18))) (let ((e-19 (vector-ref arg-6 19))) (let ((e-20 (vector-ref arg-6 20))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-22 (vector-ref arg-6 22))) (let ((e-23 (vector-ref arg-6 23))) (vector e-0 e-1 e-2 e-3 e-4 e-5 (box e-13) e-7 e-8 e-9 e-10 e-11 e-25 e-24 e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23))))))))))))))))))))))))))) ((7) (let ((e-15 (vector-ref arg-5 2))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-4 (vector-ref arg-6 4))) (let ((e-5 (vector-ref arg-6 5))) (let ((e-6 (vector-ref arg-6 6))) (let ((e-8 (vector-ref arg-6 8))) (let ((e-9 (vector-ref arg-6 9))) (let ((e-10 (vector-ref arg-6 10))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-13 (vector-ref arg-6 13))) (let ((e-25 (vector-ref arg-6 14))) (let ((e-24 (vector-ref arg-6 15))) (let ((e-16 (vector-ref arg-6 16))) (let ((e-17 (vector-ref arg-6 17))) (let ((e-18 (vector-ref arg-6 18))) (let ((e-19 (vector-ref arg-6 19))) (let ((e-20 (vector-ref arg-6 20))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-22 (vector-ref arg-6 22))) (let ((e-23 (vector-ref arg-6 23))) (vector e-0 e-1 e-2 e-3 e-4 e-5 e-6 (box e-15) e-8 e-9 e-10 e-11 e-12 e-13 e-25 e-24 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23))))))))))))))))))))))))))) ((8) (let ((e-17 (vector-ref arg-5 2))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-4 (vector-ref arg-6 4))) (let ((e-5 (vector-ref arg-6 5))) (let ((e-6 (vector-ref arg-6 6))) (let ((e-7 (vector-ref arg-6 7))) (let ((e-9 (vector-ref arg-6 9))) (let ((e-10 (vector-ref arg-6 10))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-13 (vector-ref arg-6 13))) (let ((e-14 (vector-ref arg-6 14))) (let ((e-15 (vector-ref arg-6 15))) (let ((e-25 (vector-ref arg-6 16))) (let ((e-24 (vector-ref arg-6 17))) (let ((e-18 (vector-ref arg-6 18))) (let ((e-19 (vector-ref arg-6 19))) (let ((e-20 (vector-ref arg-6 20))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-22 (vector-ref arg-6 22))) (let ((e-23 (vector-ref arg-6 23))) (vector e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 (box e-17) e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-25 e-24 e-18 e-19 e-20 e-21 e-22 e-23))))))))))))))))))))))))))) ((9) (let ((e-19 (vector-ref arg-5 2))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-4 (vector-ref arg-6 4))) (let ((e-5 (vector-ref arg-6 5))) (let ((e-6 (vector-ref arg-6 6))) (let ((e-7 (vector-ref arg-6 7))) (let ((e-8 (vector-ref arg-6 8))) (let ((e-10 (vector-ref arg-6 10))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-13 (vector-ref arg-6 13))) (let ((e-14 (vector-ref arg-6 14))) (let ((e-15 (vector-ref arg-6 15))) (let ((e-16 (vector-ref arg-6 16))) (let ((e-17 (vector-ref arg-6 17))) (let ((e-25 (vector-ref arg-6 18))) (let ((e-24 (vector-ref arg-6 19))) (let ((e-20 (vector-ref arg-6 20))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-22 (vector-ref arg-6 22))) (let ((e-23 (vector-ref arg-6 23))) (vector e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 (box e-19) e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-25 e-24 e-20 e-21 e-22 e-23))))))))))))))))))))))))))) ((10) (let ((e-20 (vector-ref arg-5 1))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-4 (vector-ref arg-6 4))) (let ((e-5 (vector-ref arg-6 5))) (let ((e-6 (vector-ref arg-6 6))) (let ((e-7 (vector-ref arg-6 7))) (let ((e-8 (vector-ref arg-6 8))) (let ((e-9 (vector-ref arg-6 9))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-13 (vector-ref arg-6 13))) (let ((e-14 (vector-ref arg-6 14))) (let ((e-15 (vector-ref arg-6 15))) (let ((e-16 (vector-ref arg-6 16))) (let ((e-17 (vector-ref arg-6 17))) (let ((e-18 (vector-ref arg-6 18))) (let ((e-19 (vector-ref arg-6 19))) (let ((e-24 (vector-ref arg-6 20))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-22 (vector-ref arg-6 22))) (let ((e-23 (vector-ref arg-6 23))) (vector e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-20 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-24 e-21 e-22 e-23))))))))))))))))))))))))))) ((11) (let ((e-21 (vector-ref arg-5 1))) (let ((act-24 (let ((act-24 (set-box! arg-3 e-21))) (vector 1 act-24)))) (case (vector-ref act-24 0) ((0) (let ((e-2 (vector-ref act-24 1))) (vector 0 e-2))) (else (vector 1 arg-6)))))) ((12) (let ((e-22 (vector-ref arg-5 1))) (let ((e-23 (vector-ref arg-5 2))) (let ((act-24 (let ((act-24 (set-box! arg-4 (box (cons e-22 e-23))))) (vector 1 act-24)))) (case (vector-ref act-24 0) ((0) (let ((e-2 (vector-ref act-24 1))) (vector 0 e-2))) (else (vector 1 arg-6))))))) ((13) (let ((e-24 (vector-ref arg-5 1))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-4 (vector-ref arg-6 4))) (let ((e-5 (vector-ref arg-6 5))) (let ((e-6 (vector-ref arg-6 6))) (let ((e-7 (vector-ref arg-6 7))) (let ((e-8 (vector-ref arg-6 8))) (let ((e-9 (vector-ref arg-6 9))) (let ((e-10 (vector-ref arg-6 10))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-14 (vector-ref arg-6 14))) (let ((e-15 (vector-ref arg-6 15))) (let ((e-16 (vector-ref arg-6 16))) (let ((e-17 (vector-ref arg-6 17))) (let ((e-18 (vector-ref arg-6 18))) (let ((e-19 (vector-ref arg-6 19))) (let ((e-20 (vector-ref arg-6 20))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-22 (vector-ref arg-6 22))) (let ((e-23 (vector-ref arg-6 23))) (vector e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 (box e-24) e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23))))))))))))))))))))))))))) ((14) (let ((e-25 (vector-ref arg-5 1))) (let ((e-26 (vector-ref arg-5 2))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-4 (vector-ref arg-6 4))) (let ((e-5 (vector-ref arg-6 5))) (let ((e-6 (vector-ref arg-6 6))) (let ((e-7 (vector-ref arg-6 7))) (let ((e-8 (vector-ref arg-6 8))) (let ((e-9 (vector-ref arg-6 9))) (let ((e-10 (vector-ref arg-6 10))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-13 (vector-ref arg-6 13))) (let ((e-15 (vector-ref arg-6 15))) (let ((e-16 (vector-ref arg-6 16))) (let ((e-17 (vector-ref arg-6 17))) (let ((e-18 (vector-ref arg-6 18))) (let ((e-19 (vector-ref arg-6 19))) (let ((e-20 (vector-ref arg-6 20))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-22 (vector-ref arg-6 22))) (let ((e-23 (vector-ref arg-6 23))) (vector e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 (box (cons e-25 e-26)) e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23)))))))))))))))))))))))))))) ((15) (let ((e-28 (vector-ref arg-5 2))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-4 (vector-ref arg-6 4))) (let ((e-5 (vector-ref arg-6 5))) (let ((e-6 (vector-ref arg-6 6))) (let ((e-7 (vector-ref arg-6 7))) (let ((e-8 (vector-ref arg-6 8))) (let ((e-9 (vector-ref arg-6 9))) (let ((e-10 (vector-ref arg-6 10))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-13 (vector-ref arg-6 13))) (let ((e-14 (vector-ref arg-6 14))) (let ((e-16 (vector-ref arg-6 16))) (let ((e-17 (vector-ref arg-6 17))) (let ((e-18 (vector-ref arg-6 18))) (let ((e-19 (vector-ref arg-6 19))) (let ((e-20 (vector-ref arg-6 20))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-22 (vector-ref arg-6 22))) (let ((e-23 (vector-ref arg-6 23))) (vector e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 (box e-28) e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23))))))))))))))))))))))))))) ((16) (let ((e-30 (vector-ref arg-5 2))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-4 (vector-ref arg-6 4))) (let ((e-5 (vector-ref arg-6 5))) (let ((e-6 (vector-ref arg-6 6))) (let ((e-7 (vector-ref arg-6 7))) (let ((e-8 (vector-ref arg-6 8))) (let ((e-9 (vector-ref arg-6 9))) (let ((e-10 (vector-ref arg-6 10))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-13 (vector-ref arg-6 13))) (let ((e-14 (vector-ref arg-6 14))) (let ((e-15 (vector-ref arg-6 15))) (let ((e-17 (vector-ref arg-6 17))) (let ((e-18 (vector-ref arg-6 18))) (let ((e-19 (vector-ref arg-6 19))) (let ((e-20 (vector-ref arg-6 20))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-22 (vector-ref arg-6 22))) (let ((e-23 (vector-ref arg-6 23))) (vector e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 (box e-30) e-17 e-18 e-19 e-20 e-21 e-22 e-23))))))))))))))))))))))))))) ((17) (let ((e-32 (vector-ref arg-5 2))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-4 (vector-ref arg-6 4))) (let ((e-5 (vector-ref arg-6 5))) (let ((e-6 (vector-ref arg-6 6))) (let ((e-7 (vector-ref arg-6 7))) (let ((e-8 (vector-ref arg-6 8))) (let ((e-9 (vector-ref arg-6 9))) (let ((e-10 (vector-ref arg-6 10))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-13 (vector-ref arg-6 13))) (let ((e-14 (vector-ref arg-6 14))) (let ((e-15 (vector-ref arg-6 15))) (let ((e-16 (vector-ref arg-6 16))) (let ((e-18 (vector-ref arg-6 18))) (let ((e-19 (vector-ref arg-6 19))) (let ((e-20 (vector-ref arg-6 20))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-22 (vector-ref arg-6 22))) (let ((e-23 (vector-ref arg-6 23))) (vector e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 (box e-32) e-18 e-19 e-20 e-21 e-22 e-23))))))))))))))))))))))))))) ((18) (let ((e-33 (vector-ref arg-5 1))) (let ((e-34 (vector-ref arg-5 2))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-4 (vector-ref arg-6 4))) (let ((e-5 (vector-ref arg-6 5))) (let ((e-6 (vector-ref arg-6 6))) (let ((e-7 (vector-ref arg-6 7))) (let ((e-8 (vector-ref arg-6 8))) (let ((e-9 (vector-ref arg-6 9))) (let ((e-10 (vector-ref arg-6 10))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-13 (vector-ref arg-6 13))) (let ((e-14 (vector-ref arg-6 14))) (let ((e-15 (vector-ref arg-6 15))) (let ((e-16 (vector-ref arg-6 16))) (let ((e-17 (vector-ref arg-6 17))) (let ((e-19 (vector-ref arg-6 19))) (let ((e-20 (vector-ref arg-6 20))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-22 (vector-ref arg-6 22))) (let ((e-23 (vector-ref arg-6 23))) (vector e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 (box (cons e-33 e-34)) e-19 e-20 e-21 e-22 e-23)))))))))))))))))))))))))))) ((19) (let ((e-35 (vector-ref arg-5 1))) (let ((e-36 (vector-ref arg-5 2))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-4 (vector-ref arg-6 4))) (let ((e-5 (vector-ref arg-6 5))) (let ((e-6 (vector-ref arg-6 6))) (let ((e-7 (vector-ref arg-6 7))) (let ((e-8 (vector-ref arg-6 8))) (let ((e-9 (vector-ref arg-6 9))) (let ((e-10 (vector-ref arg-6 10))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-13 (vector-ref arg-6 13))) (let ((e-14 (vector-ref arg-6 14))) (let ((e-15 (vector-ref arg-6 15))) (let ((e-16 (vector-ref arg-6 16))) (let ((e-17 (vector-ref arg-6 17))) (let ((e-18 (vector-ref arg-6 18))) (let ((e-20 (vector-ref arg-6 20))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-22 (vector-ref arg-6 22))) (let ((e-23 (vector-ref arg-6 23))) (vector e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 (box (cons e-35 e-36)) e-20 e-21 e-22 e-23)))))))))))))))))))))))))))) ((20) (let ((e-37 (vector-ref arg-5 1))) (let ((e-38 (vector-ref arg-5 2))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-4 (vector-ref arg-6 4))) (let ((e-5 (vector-ref arg-6 5))) (let ((e-6 (vector-ref arg-6 6))) (let ((e-7 (vector-ref arg-6 7))) (let ((e-8 (vector-ref arg-6 8))) (let ((e-9 (vector-ref arg-6 9))) (let ((e-10 (vector-ref arg-6 10))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-13 (vector-ref arg-6 13))) (let ((e-14 (vector-ref arg-6 14))) (let ((e-15 (vector-ref arg-6 15))) (let ((e-16 (vector-ref arg-6 16))) (let ((e-17 (vector-ref arg-6 17))) (let ((e-18 (vector-ref arg-6 18))) (let ((e-19 (vector-ref arg-6 19))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-22 (vector-ref arg-6 22))) (let ((e-23 (vector-ref arg-6 23))) (vector e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 (box (cons e-37 e-38)) e-21 e-22 e-23)))))))))))))))))))))))))))) ((21) (let ((e-39 (vector-ref arg-5 1))) (let ((e-40 (vector-ref arg-5 2))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-4 (vector-ref arg-6 4))) (let ((e-5 (vector-ref arg-6 5))) (let ((e-6 (vector-ref arg-6 6))) (let ((e-7 (vector-ref arg-6 7))) (let ((e-8 (vector-ref arg-6 8))) (let ((e-9 (vector-ref arg-6 9))) (let ((e-10 (vector-ref arg-6 10))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-13 (vector-ref arg-6 13))) (let ((e-14 (vector-ref arg-6 14))) (let ((e-15 (vector-ref arg-6 15))) (let ((e-16 (vector-ref arg-6 16))) (let ((e-17 (vector-ref arg-6 17))) (let ((e-18 (vector-ref arg-6 18))) (let ((e-19 (vector-ref arg-6 19))) (let ((e-20 (vector-ref arg-6 20))) (let ((e-22 (vector-ref arg-6 22))) (let ((e-23 (vector-ref arg-6 23))) (vector e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-20 (box (cons e-39 e-40)) e-22 e-23)))))))))))))))))))))))))))) ((22) (let ((e-41 (vector-ref arg-5 1))) (let ((e-42 (vector-ref arg-5 2))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-4 (vector-ref arg-6 4))) (let ((e-5 (vector-ref arg-6 5))) (let ((e-6 (vector-ref arg-6 6))) (let ((e-7 (vector-ref arg-6 7))) (let ((e-8 (vector-ref arg-6 8))) (let ((e-9 (vector-ref arg-6 9))) (let ((e-10 (vector-ref arg-6 10))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-13 (vector-ref arg-6 13))) (let ((e-14 (vector-ref arg-6 14))) (let ((e-15 (vector-ref arg-6 15))) (let ((e-16 (vector-ref arg-6 16))) (let ((e-17 (vector-ref arg-6 17))) (let ((e-18 (vector-ref arg-6 18))) (let ((e-19 (vector-ref arg-6 19))) (let ((e-20 (vector-ref arg-6 20))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-23 (vector-ref arg-6 23))) (vector e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 (box (cons e-41 e-42)) e-23)))))))))))))))))))))))))))) (else (let ((e-43 (vector-ref arg-5 1))) (let ((e-44 (vector-ref arg-5 2))) (vector 1 (let ((e-0 (vector-ref arg-6 0))) (let ((e-1 (vector-ref arg-6 1))) (let ((e-2 (vector-ref arg-6 2))) (let ((e-3 (vector-ref arg-6 3))) (let ((e-4 (vector-ref arg-6 4))) (let ((e-5 (vector-ref arg-6 5))) (let ((e-6 (vector-ref arg-6 6))) (let ((e-7 (vector-ref arg-6 7))) (let ((e-8 (vector-ref arg-6 8))) (let ((e-9 (vector-ref arg-6 9))) (let ((e-10 (vector-ref arg-6 10))) (let ((e-11 (vector-ref arg-6 11))) (let ((e-12 (vector-ref arg-6 12))) (let ((e-13 (vector-ref arg-6 13))) (let ((e-14 (vector-ref arg-6 14))) (let ((e-15 (vector-ref arg-6 15))) (let ((e-16 (vector-ref arg-6 16))) (let ((e-17 (vector-ref arg-6 17))) (let ((e-18 (vector-ref arg-6 18))) (let ((e-19 (vector-ref arg-6 19))) (let ((e-20 (vector-ref arg-6 20))) (let ((e-21 (vector-ref arg-6 21))) (let ((e-22 (vector-ref arg-6 22))) (vector e-0 e-1 e-2 e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 e-11 e-12 e-13 e-14 e-15 e-16 e-17 e-18 e-19 e-20 e-21 e-22 (box (cons e-43 e-44)))))))))))))))))))))))))))))))))
+(define IdrisC-45Package-addDeps (lambda (arg-0 arg-1 ext-0) (let ((act-24 (let ((act-24 (unbox arg-0))) (vector 1 act-24)))) (case (vector-ref act-24 0) ((0) (let ((e-2 (vector-ref act-24 1))) (vector 0 e-2))) (else (CoreC-45Core-traverse_ (lambda (u--p) (lambda (eta-0) (IdrisC-45SetOptions-addPkgDir arg-0 (let ((e-0 (car u--p))) e-0) (let ((e-1 (cdr u--p))) e-1) eta-0))) (let ((e-10 (vector-ref arg-1 10))) e-10) ext-0))))))
+(define IdrisC-45PackageC-45Init-case--interactiveC-44mstring-2738 (lambda (arg-0 arg-1) (cond ((equal? arg-1 "") '())(else (box arg-1)))))
+(define IdrisC-45PackageC-45Init-case--isModuleIdent-2434 (lambda (arg-0 arg-1) (if (null? arg-1) 0 (let ((e-2 (car arg-1))) (let ((sc1 (PreludeC-45Types-isUpper e-2))) (cond ((equal? sc1 1) (PreludeC-45Interfaces-all (vector (lambda (u--acc) (lambda (u--elem) (lambda (u--func) (lambda (u--init) (lambda (u--input) (PreludeC-45Types-u--foldr_Foldable_List u--func u--init u--input)))))) (lambda (u--elem) (lambda (u--acc) (lambda (u--func) (lambda (u--init) (lambda (u--input) (PreludeC-45Types-u--foldl_Foldable_List u--func u--init u--input)))))) (lambda (u--elem) (lambda (arg-1094) (PreludeC-45Types-u--null_Foldable_List arg-1094))) (lambda (u--elem) (lambda (u--acc) (lambda (u--m) (lambda (i_con-0) (lambda (u--funcM) (lambda (u--init) (lambda (u--input) (PreludeC-45Types-u--foldlM_Foldable_List i_con-0 u--funcM u--init u--input)))))))) (lambda (u--elem) (lambda (arg-1098) (PreludeC-45Types-u--toList_Foldable_List arg-1098))) (lambda (u--a) (lambda (u--m) (lambda (i_con-0) (lambda (u--f) (lambda (arg-1100) (PreludeC-45Types-u--foldMap_Foldable_List i_con-0 u--f arg-1100))))))) (lambda (eta-0) (PreludeC-45Types-isAlphaNum eta-0)) arg-1)) (else 0)))))))
+(define IdrisC-45PackageC-45Init-n--3811-2452-u--validFile (lambda (arg-0 arg-1 arg-2) (let ((sc0 (LibrariesC-45UtilsC-45Path-splitFileName (LibrariesC-45SystemC-45DirectoryC-45Tree-fileName arg-2)))) (let ((e-2 (car sc0))) (let ((e-3 (cdr sc0))) (let ((sc1 (IdrisC-45PackageC-45Init-isModuleIdent e-2))) (cond ((equal? sc1 1) (PreludeC-45Types-elem (cons (lambda (arg-3) (lambda (arg-4) (PreludeC-45EqOrd-u--C-61C-61_Eq_String arg-3 arg-4))) (lambda (arg-4) (lambda (arg-5) (PreludeC-45EqOrd-u--C-47C-61_Eq_String arg-4 arg-5)))) e-3 (cons "idr" (cons "lidr" '())))) (else 0))))))))
+(define IdrisC-45PackageC-45Init-n--3811-2453-u--validDirectory (lambda (arg-0 arg-1 ext-0) (IdrisC-45PackageC-45Init-isModuleIdent (LibrariesC-45SystemC-45DirectoryC-45Tree-fileName ext-0))))
+(define IdrisC-45PackageC-45Init-n--4099-2733-u--mstring (lambda (arg-0) (IdrisC-45PackageC-45Init-case--interactiveC-44mstring-2738 arg-0 (DataC-45String-trim arg-0))))
+(define IdrisC-45PackageC-45Init-n--3872-2517-u--go (lambda (arg-0 arg-1 arg-2 ext-0) (if (null? arg-2) arg-1 (let ((e-2 (car arg-2))) (let ((e-3 (cdr arg-2))) (let ((e-6 (car e-2))) (let ((e-7 (cdr e-2))) (let ((e-10 (car e-7))) (let ((e-11 (cdr e-7))) (let ((act-24 (e-11 ext-0))) (let ((u--mods (PreludeC-45Basics-flip (lambda (eta-0) (lambda (eta-1) (PreludeC-45Types-u--map_Functor_List eta-0 eta-1))) (let ((e-1 (car act-24))) e-1) (lambda (u--entry) (let ((u--fname (Builtin-fst (LibrariesC-45UtilsC-45Path-splitFileName (LibrariesC-45SystemC-45DirectoryC-45Tree-fileName u--entry))))) (let ((u--mod (CoreC-45NameC-45Namespace-unsafeFoldModuleIdent (cons u--fname e-6)))) (let ((u--fp (LibrariesC-45SystemC-45DirectoryC-45Tree-toFilePath e-10 u--entry))) (cons u--mod u--fp)))))))) (let ((u--dirs (PreludeC-45Basics-flip (lambda (eta-0) (lambda (eta-1) (PreludeC-45Types-u--map_Functor_List eta-0 eta-1))) (let ((e-4 (cdr act-24))) e-4) (lambda (lamc-0) (let ((e-5 (car lamc-0))) (let ((e-4 (cdr lamc-0))) (cons (cons (LibrariesC-45SystemC-45DirectoryC-45Tree-fileName e-5) e-6) (cons (LibrariesC-45UtilsC-45Path-C-47C-62 e-10 (LibrariesC-45SystemC-45DirectoryC-45Tree-fileName e-5)) e-4)))))))) (IdrisC-45PackageC-45Init-n--3872-2517-u--go arg-0 (PreludeC-45TypesC-45List-C-43C-43 u--mods arg-1) (PreludeC-45TypesC-45List-C-43C-43 u--dirs e-3) ext-0)))))))))))))
+(define IdrisC-45PackageC-45Init-packageTree (lambda (arg-0) (PreludeC-45Interfaces-C-60C-36C-62 (lambda (eta-0) (lambda (eta-1) (lambda (eta-2) (lambda (eta-3) (lambda (eta-4) (PreludeC-45IO-u--map_Functor_IO eta-2 eta-3 eta-4)))))) (lambda (eta-0) (LibrariesC-45SystemC-45DirectoryC-45Tree-filter (lambda (root-2506) (lambda (eta-1) (IdrisC-45PackageC-45Init-n--3811-2452-u--validFile arg-0 root-2506 eta-1))) (lambda (root-2510) (lambda (eta-1) (IdrisC-45PackageC-45Init-n--3811-2453-u--validDirectory arg-0 root-2510 eta-1))) arg-0 eta-0)) (lambda (eta-0) (LibrariesC-45SystemC-45DirectoryC-45Tree-explore arg-0 eta-0)))))
+(define IdrisC-45PackageC-45Init-isModuleIdent (lambda (arg-0) (IdrisC-45PackageC-45Init-case--isModuleIdent-2434 arg-0 (PreludeC-45Types-fastUnpack arg-0))))
+(define IdrisC-45PackageC-45Init-interactive (lambda (ext-0) (let ((act-24 ((PreludeC-45Interfaces-C-42C-62 (vector (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-133) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-133 eta-0)))))) (lambda (u--a) (lambda (arg-527) (lambda (eta-0) arg-527))) (lambda (u--b) (lambda (u--a) (lambda (arg-528) (lambda (arg-530) (lambda (eta-0) (let ((act-17 (arg-528 eta-0))) (let ((act-16 (arg-530 eta-0))) (act-17 act-16))))))))) (PreludeC-45IO-putStr (cons (vector (vector (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-133) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-133 eta-0)))))) (lambda (u--a) (lambda (arg-527) (lambda (eta-0) arg-527))) (lambda (u--b) (lambda (u--a) (lambda (arg-528) (lambda (arg-530) (lambda (eta-0) (let ((act-17 (arg-528 eta-0))) (let ((act-16 (arg-530 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-811) (lambda (arg-812) (lambda (eta-0) (let ((act-24 (arg-811 eta-0))) ((arg-812 act-24) eta-0))))))) (lambda (u--a) (lambda (arg-814) (lambda (eta-0) (let ((act-51 (arg-814 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-6881) arg-6881))) "Package name: ") (PreludeC-45IO-getLine (cons (vector (vector (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-133) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-133 eta-0)))))) (lambda (u--a) (lambda (arg-527) (lambda (eta-0) arg-527))) (lambda (u--b) (lambda (u--a) (lambda (arg-528) (lambda (arg-530) (lambda (eta-0) (let ((act-17 (arg-528 eta-0))) (let ((act-16 (arg-530 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-811) (lambda (arg-812) (lambda (eta-0) (let ((act-24 (arg-811 eta-0))) ((arg-812 act-24) eta-0))))))) (lambda (u--a) (lambda (arg-814) (lambda (eta-0) (let ((act-51 (arg-814 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-6881) arg-6881))))) ext-0))) (let ((act-25 ((PreludeC-45Interfaces-C-42C-62 (vector (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-133) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-133 eta-0)))))) (lambda (u--a) (lambda (arg-527) (lambda (eta-0) arg-527))) (lambda (u--b) (lambda (u--a) (lambda (arg-528) (lambda (arg-530) (lambda (eta-0) (let ((act-17 (arg-528 eta-0))) (let ((act-16 (arg-530 eta-0))) (act-17 act-16))))))))) (PreludeC-45IO-putStr (cons (vector (vector (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-133) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-133 eta-0)))))) (lambda (u--a) (lambda (arg-527) (lambda (eta-0) arg-527))) (lambda (u--b) (lambda (u--a) (lambda (arg-528) (lambda (arg-530) (lambda (eta-0) (let ((act-17 (arg-528 eta-0))) (let ((act-16 (arg-530 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-811) (lambda (arg-812) (lambda (eta-0) (let ((act-25 (arg-811 eta-0))) ((arg-812 act-25) eta-0))))))) (lambda (u--a) (lambda (arg-814) (lambda (eta-0) (let ((act-51 (arg-814 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-6881) arg-6881))) "Package authors: ") (PreludeC-45IO-getLine (cons (vector (vector (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-133) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-133 eta-0)))))) (lambda (u--a) (lambda (arg-527) (lambda (eta-0) arg-527))) (lambda (u--b) (lambda (u--a) (lambda (arg-528) (lambda (arg-530) (lambda (eta-0) (let ((act-17 (arg-528 eta-0))) (let ((act-16 (arg-530 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-811) (lambda (arg-812) (lambda (eta-0) (let ((act-25 (arg-811 eta-0))) ((arg-812 act-25) eta-0))))))) (lambda (u--a) (lambda (arg-814) (lambda (eta-0) (let ((act-51 (arg-814 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-6881) arg-6881))))) ext-0))) (let ((act-26 ((PreludeC-45Interfaces-C-42C-62 (vector (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-133) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-133 eta-0)))))) (lambda (u--a) (lambda (arg-527) (lambda (eta-0) arg-527))) (lambda (u--b) (lambda (u--a) (lambda (arg-528) (lambda (arg-530) (lambda (eta-0) (let ((act-17 (arg-528 eta-0))) (let ((act-16 (arg-530 eta-0))) (act-17 act-16))))))))) (PreludeC-45IO-putStr (cons (vector (vector (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-133) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-133 eta-0)))))) (lambda (u--a) (lambda (arg-527) (lambda (eta-0) arg-527))) (lambda (u--b) (lambda (u--a) (lambda (arg-528) (lambda (arg-530) (lambda (eta-0) (let ((act-17 (arg-528 eta-0))) (let ((act-16 (arg-530 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-811) (lambda (arg-812) (lambda (eta-0) (let ((act-26 (arg-811 eta-0))) ((arg-812 act-26) eta-0))))))) (lambda (u--a) (lambda (arg-814) (lambda (eta-0) (let ((act-51 (arg-814 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-6881) arg-6881))) "Package options: ") (PreludeC-45IO-getLine (cons (vector (vector (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-133) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-133 eta-0)))))) (lambda (u--a) (lambda (arg-527) (lambda (eta-0) arg-527))) (lambda (u--b) (lambda (u--a) (lambda (arg-528) (lambda (arg-530) (lambda (eta-0) (let ((act-17 (arg-528 eta-0))) (let ((act-16 (arg-530 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-811) (lambda (arg-812) (lambda (eta-0) (let ((act-26 (arg-811 eta-0))) ((arg-812 act-26) eta-0))))))) (lambda (u--a) (lambda (arg-814) (lambda (eta-0) (let ((act-51 (arg-814 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-6881) arg-6881))))) ext-0))) (let ((act-27 ((PreludeC-45Interfaces-C-42C-62 (vector (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-133) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-133 eta-0)))))) (lambda (u--a) (lambda (arg-527) (lambda (eta-0) arg-527))) (lambda (u--b) (lambda (u--a) (lambda (arg-528) (lambda (arg-530) (lambda (eta-0) (let ((act-17 (arg-528 eta-0))) (let ((act-16 (arg-530 eta-0))) (act-17 act-16))))))))) (PreludeC-45IO-putStr (cons (vector (vector (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-133) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-133 eta-0)))))) (lambda (u--a) (lambda (arg-527) (lambda (eta-0) arg-527))) (lambda (u--b) (lambda (u--a) (lambda (arg-528) (lambda (arg-530) (lambda (eta-0) (let ((act-17 (arg-528 eta-0))) (let ((act-16 (arg-530 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-811) (lambda (arg-812) (lambda (eta-0) (let ((act-27 (arg-811 eta-0))) ((arg-812 act-27) eta-0))))))) (lambda (u--a) (lambda (arg-814) (lambda (eta-0) (let ((act-51 (arg-814 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-6881) arg-6881))) "Source directory: ") (PreludeC-45IO-getLine (cons (vector (vector (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-133) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-133 eta-0)))))) (lambda (u--a) (lambda (arg-527) (lambda (eta-0) arg-527))) (lambda (u--b) (lambda (u--a) (lambda (arg-528) (lambda (arg-530) (lambda (eta-0) (let ((act-17 (arg-528 eta-0))) (let ((act-16 (arg-530 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-811) (lambda (arg-812) (lambda (eta-0) (let ((act-27 (arg-811 eta-0))) ((arg-812 act-27) eta-0))))))) (lambda (u--a) (lambda (arg-814) (lambda (eta-0) (let ((act-51 (arg-814 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-6881) arg-6881))))) ext-0))) (let ((u--sourcedir (IdrisC-45PackageC-45Init-n--4099-2733-u--mstring act-27))) (let ((act-28 (IdrisC-45PackageC-45Init-findModules u--sourcedir ext-0))) (let ((u--pkg (let ((sc0 (IdrisC-45PackageC-45Types-initPkgDesc (DataC-45Maybe-fromMaybe (lambda () "project") (IdrisC-45PackageC-45Init-n--4099-2733-u--mstring act-24))))) (let ((e-0 (vector-ref sc0 0))) (let ((e-1 (vector-ref sc0 1))) (let ((e-3 (vector-ref sc0 3))) (let ((e-4 (vector-ref sc0 4))) (let ((e-5 (vector-ref sc0 5))) (let ((e-6 (vector-ref sc0 6))) (let ((e-7 (vector-ref sc0 7))) (let ((e-8 (vector-ref sc0 8))) (let ((e-9 (vector-ref sc0 9))) (let ((e-10 (vector-ref sc0 10))) (let ((e-12 (vector-ref sc0 12))) (let ((e-13 (vector-ref sc0 13))) (let ((e-16 (vector-ref sc0 16))) (let ((e-17 (vector-ref sc0 17))) (let ((e-18 (vector-ref sc0 18))) (let ((e-19 (vector-ref sc0 19))) (let ((e-20 (vector-ref sc0 20))) (let ((e-21 (vector-ref sc0 21))) (let ((e-22 (vector-ref sc0 22))) (let ((e-23 (vector-ref sc0 23))) (vector e-0 e-1 (IdrisC-45PackageC-45Init-n--4099-2733-u--mstring act-25) e-3 e-4 e-5 e-6 e-7 e-8 e-9 e-10 act-28 e-12 e-13 (PreludeC-45Interfaces-C-60C-36C-62 (lambda (eta-0) (lambda (eta-1) (lambda (eta-2) (lambda (eta-3) (PreludeC-45Types-u--map_Functor_Maybe eta-2 eta-3))))) (lambda (__infixTupleSection-0) (cons (CoreC-45FC-emptyFC) __infixTupleSection-0)) (IdrisC-45PackageC-45Init-n--4099-2733-u--mstring act-26)) u--sourcedir e-16 e-17 e-18 e-19 e-20 e-21 e-22 e-23)))))))))))))))))))))))) u--pkg)))))))))
+(define IdrisC-45PackageC-45Init-findModules (lambda (arg-0 ext-0) (let ((act-24 ((PreludeC-45Types-maybe (lambda () (SystemC-45Directory-currentDir (cons (vector (vector (lambda (u--b) (lambda (u--a) (lambda (u--func) (lambda (arg-133) (lambda (eta-0) (PreludeC-45IO-u--map_Functor_IO u--func arg-133 eta-0)))))) (lambda (u--a) (lambda (arg-527) (lambda (eta-0) arg-527))) (lambda (u--b) (lambda (u--a) (lambda (arg-528) (lambda (arg-530) (lambda (eta-0) (let ((act-17 (arg-528 eta-0))) (let ((act-16 (arg-530 eta-0))) (act-17 act-16))))))))) (lambda (u--b) (lambda (u--a) (lambda (arg-811) (lambda (arg-812) (lambda (eta-0) (let ((act-24 (arg-811 eta-0))) ((arg-812 act-24) eta-0))))))) (lambda (u--a) (lambda (arg-814) (lambda (eta-0) (let ((act-51 (arg-814 eta-0))) (act-51 eta-0)))))) (lambda (u--a) (lambda (arg-6881) arg-6881))))) (lambda () (lambda (eta-0) (lambda (eta-1) (box eta-0)))) arg-0) ext-0))) (if (null? act-24) '() (let ((e-1 (unbox act-24))) (let ((u--root (LibrariesC-45UtilsC-45Path-parse e-1))) (let ((act-25 ((IdrisC-45PackageC-45Init-packageTree u--root) ext-0))) (let ((act-26 (IdrisC-45PackageC-45Init-n--3872-2517-u--go arg-0 '() (cons (cons '() (cons u--root (lambda (eta-0) act-25))) '()) ext-0))) (DataC-45List-sortBy (lambda (u--a) (lambda (u--b) (PreludeC-45EqOrd-u--compare_Ord_String (Builtin-snd u--a) (Builtin-snd u--b)))) act-26)))))))))
+(define IdrisC-45DocC-45HTML-with--tryCanonicalName-2490 (lambda (arg-0 arg-1 arg-2 arg-3 ext-0) (cond ((equal? arg-1 1) (let ((act-24 (let ((act-24 (unbox arg-3))) (vector 1 act-24)))) (case (vector-ref act-24 0) ((0) (let ((e-2 (vector-ref act-24 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref act-24 1))) (let ((act-25 ((CoreC-45Context-lookupCtxtName arg-0 (let ((e-0 (vector-ref e-5 0))) e-0)) ext-0))) (case (vector-ref act-25 0) ((0) (let ((e-2 (vector-ref act-25 1))) (vector 0 e-2))) (else (let ((e-6 (vector-ref act-25 1))) (if (null? e-6) (vector 1 '()) (let ((e-1 (car e-6))) (let ((e-2 (cdr e-6))) (if (null? e-1) (vector 1 '()) (let ((e-8 (car e-1))) (let ((e-7 (cdr e-1))) (if (null? e-7) (vector 1 '()) (if (null? e-2) (vector 1 (box e-8)) (vector 1 '())))))))))))))))))) (else (vector 1 '())))))
+(define IdrisC-45DocC-45HTML-n--7104-3017-u--moduleLink (lambda (arg-0 arg-1) (let ((e-2 (car arg-1))) (PreludeC-45TypesC-45String-C-43C-43 "" (PreludeC-45TypesC-45String-C-43C-43 (CoreC-45NameC-45Namespace-u--show_Show_ModuleIdent e-2) "")))))))
+(define IdrisC-45DocC-45HTML-n--7008-2928-u--go (lambda (arg-0 arg-1) (cond ((equal? arg-0 0) (case (vector-ref arg-1 0) ((3) arg-1)(else (case (vector-ref arg-1 0) ((5) (let ((e-1 (vector-ref arg-1 1))) (vector 5 (PreludeC-45Types-u--map_Functor_List (lambda (eta-0) (IdrisC-45DocC-45HTML-n--7008-2928-u--go arg-0 eta-0)) e-1)))) ((4) (let ((e-3 (vector-ref arg-1 1))) (let ((e-4 (vector-ref arg-1 2))) (case (vector-ref e-3 0) ((4) (vector 4 (vector 4 ) (IdrisC-45DocC-45HTML-n--7008-2928-u--go 1 e-4)))(else (vector 4 e-3 (IdrisC-45DocC-45HTML-n--7008-2928-u--go 0 e-4)))))))(else arg-1))))) ((equal? arg-0 1) (case (vector-ref arg-1 0) ((3) (vector 0 ))(else (case (vector-ref arg-1 0) ((5) (let ((e-1 (vector-ref arg-1 1))) (vector 5 (PreludeC-45Types-u--map_Functor_List (lambda (eta-0) (IdrisC-45DocC-45HTML-n--7008-2928-u--go arg-0 eta-0)) e-1)))) ((4) (let ((e-3 (vector-ref arg-1 1))) (let ((e-4 (vector-ref arg-1 2))) (case (vector-ref e-3 0) ((4) (vector 4 (vector 4 ) (IdrisC-45DocC-45HTML-n--7008-2928-u--go 1 e-4)))(else (vector 4 e-3 (IdrisC-45DocC-45HTML-n--7008-2928-u--go 0 e-4)))))))(else arg-1)))))(else (case (vector-ref arg-1 0) ((5) (let ((e-1 (vector-ref arg-1 1))) (vector 5 (PreludeC-45Types-u--map_Functor_List (lambda (eta-0) (IdrisC-45DocC-45HTML-n--7008-2928-u--go arg-0 eta-0)) e-1)))) ((4) (let ((e-3 (vector-ref arg-1 1))) (let ((e-4 (vector-ref arg-1 2))) (case (vector-ref e-3 0) ((4) (vector 4 (vector 4 ) (IdrisC-45DocC-45HTML-n--7008-2928-u--go 1 e-4)))(else (vector 4 e-3 (IdrisC-45DocC-45HTML-n--7008-2928-u--go 0 e-4)))))))(else arg-1))))))
+(define IdrisC-45DocC-45HTML-tryCanonicalName (lambda (arg-0 arg-1 arg-2 ext-0) (IdrisC-45DocC-45HTML-with--tryCanonicalName-2490 arg-2 (IdrisC-45DocC-45HTML-hasNS arg-2) arg-1 arg-0 ext-0)))
+(define IdrisC-45DocC-45HTML-renderModuleDoc (lambda (arg-0 arg-1 arg-2 ext-0) (let ((act-24 ((IdrisC-45DocC-45HTML-docDocToHtml arg-0 arg-2) ext-0))) (case (vector-ref act-24 0) ((0) (let ((e-2 (vector-ref act-24 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref act-24 1))) (vector 1 (PreludeC-45Types-fastConcat (cons (IdrisC-45DocC-45HTML-htmlPreamble (CoreC-45NameC-45Namespace-u--show_Show_ModuleIdent arg-1) "../" "namespace") (cons "" (cons (CoreC-45NameC-45Namespace-u--show_Show_ModuleIdent arg-1) (cons "
" (cons e-5 (cons (IdrisC-45DocC-45HTML-htmlFooter) '()))))))))))))))
+(define IdrisC-45DocC-45HTML-renderHtml (lambda (arg-0 arg-1) (case (vector-ref arg-1 0) ((0) (lambda (eta-0) (vector 1 (PreludeC-45Types-u--neutral_Monoid_String)))) ((1) (let ((e-2 (vector-ref arg-1 1))) (lambda (clam-0) (cond ((equal? e-2 #\ ) (vector 1 " "))(else (vector 1 (PreludeC-45Cast-u--cast_Cast_Char_String e-2))))))) ((2) (let ((e-5 (vector-ref arg-1 2))) (lambda (eta-0) (vector 1 (LibrariesC-45TextC-45PrettyPrintC-45PrettyprinterC-45RenderC-45HTML-htmlEscape e-5))))) ((3) (lambda (eta-0) (vector 1 "
"))) ((4) (let ((e-9 (vector-ref arg-1 1))) (let ((e-10 (vector-ref arg-1 2))) (lambda (clam-0) (case (vector-ref e-9 0) ((4) (let ((act-24 ((IdrisC-45DocC-45HTML-renderHtml arg-0 e-10) clam-0))) (case (vector-ref act-24 0) ((0) (let ((e-2 (vector-ref act-24 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref act-24 1))) (vector 1 (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String "" e-5) "
"))))))) ((5) (let ((e-13 (vector-ref e-9 1))) (let ((act-24 ((IdrisC-45DocC-45HTML-renderHtml arg-0 e-10) clam-0))) (case (vector-ref act-24 0) ((0) (let ((e-2 (vector-ref act-24 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref act-24 1))) (vector 1 (PreludeC-45TypesC-45String-C-43C-43 "" e-5) "")))))))))) ((6) (let ((act-24 ((IdrisC-45DocC-45HTML-renderHtml arg-0 e-10) clam-0))) (case (vector-ref act-24 0) ((0) (let ((e-2 (vector-ref act-24 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref act-24 1))) (vector 1 (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String "" e-5) ""))))))) ((1) (let ((act-24 ((IdrisC-45DocC-45HTML-renderHtml arg-0 e-10) clam-0))) (case (vector-ref act-24 0) ((0) (let ((e-2 (vector-ref act-24 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref act-24 1))) (vector 1 (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String "" e-5) ""))))))) ((0) (let ((e-14 (vector-ref e-9 1))) (vector 1 (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String "" (IdrisC-45DocC-45HTML-prettyNameRoot e-14)) "")))) ((2) (let ((e-15 (vector-ref e-9 1))) (vector 1 (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String "" (IdrisC-45DocC-45HTML-prettyNameRoot e-15)) "")))) ((3) (let ((act-24 ((IdrisC-45DocC-45HTML-renderHtml arg-0 e-10) clam-0))) (case (vector-ref act-24 0) ((0) (let ((e-2 (vector-ref act-24 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref act-24 1))) (vector 1 (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String "" e-5) ""))))))) ((7) (let ((e-16 (vector-ref e-9 1))) (case (vector-ref e-16 0) ((3) (let ((e-17 (vector-ref e-16 1))) (let ((act-24 ((IdrisC-45DocC-45HTML-renderHtml arg-0 e-10) clam-0))) (case (vector-ref act-24 0) ((0) (let ((e-2 (vector-ref act-24 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref act-24 1))) (let ((act-25 (IdrisC-45DocC-45HTML-tryCanonicalName arg-0 (CoreC-45FC-emptyFC) e-17 clam-0))) (case (vector-ref act-25 0) ((0) (let ((e-2 (vector-ref act-25 1))) (vector 0 e-2))) (else (let ((e-6 (vector-ref act-25 1))) (if (null? e-6) (vector 1 (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String "" e-5) "")) (let ((e-1 (unbox e-6))) (let ((act-26 ((IdrisC-45DocC-45HTML-packageInternal arg-0 e-1) clam-0))) (case (vector-ref act-26 0) ((0) (let ((e-2 (vector-ref act-26 1))) (vector 0 e-2))) (else (let ((e-7 (vector-ref act-26 1))) (cond ((equal? e-7 1) (vector 1 (PreludeC-45TypesC-45String-C-43C-43 "" (LibrariesC-45TextC-45PrettyPrintC-45PrettyprinterC-45RenderC-45HTML-htmlEscape (CoreC-45Name-nameRoot e-1))) ""))))))) (else (vector 1 (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String (PreludeC-45Types-u--C-60C-43C-62_Semigroup_String "") (LibrariesC-45TextC-45PrettyPrintC-45PrettyprinterC-45RenderC-45HTML-htmlEscape (CoreC-45Name-nameRoot e-1))) ""))))))))))))))))))))(else (let ((act-24 ((IdrisC-45DocC-45HTML-renderHtml arg-0 e-10) clam-0))) (case (vector-ref act-24 0) ((0) (let ((e-2 (vector-ref act-24 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref act-24 1))) (vector 1 (PreludeC-45TypesC-45String-C-43C-43 "" (PreludeC-45TypesC-45String-C-43C-43 e-5 "")))))))))))(else (let ((act-24 ((IdrisC-45DocC-45HTML-renderHtml arg-0 e-10) clam-0))) (case (vector-ref act-24 0) ((0) (let ((e-2 (vector-ref act-24 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref act-24 1))) (vector 1 (PreludeC-45TypesC-45String-C-43C-43 "" (PreludeC-45TypesC-45String-C-43C-43 e-5 ""))))))))))))) (else (let ((e-12 (vector-ref arg-1 1))) (lambda (eta-0) (let ((act-24 (CoreC-45Core-traverseC-39 (lambda (eta-1) (IdrisC-45DocC-45HTML-renderHtml arg-0 eta-1)) e-12 '() eta-0))) (case (vector-ref act-24 0) ((0) (let ((e-2 (vector-ref act-24 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref act-24 1))) (vector 1 (PreludeC-45Types-fastConcat e-5))))))))))))
+(define IdrisC-45DocC-45HTML-renderDocIndex (lambda (arg-0) (PreludeC-45Types-fastConcat (PreludeC-45TypesC-45List-C-43C-43 (cons (IdrisC-45DocC-45HTML-htmlPreamble (let ((e-0 (vector-ref arg-0 0))) e-0) "" "index") (cons "Package " (cons (let ((e-0 (vector-ref arg-0 0))) e-0) (cons " - Namespaces
" (cons "" '()))))) (PreludeC-45TypesC-45List-C-43C-43 (PreludeC-45Types-u--map_Functor_List (lambda (eta-0) (IdrisC-45DocC-45HTML-n--7104-3017-u--moduleLink arg-0 eta-0)) (let ((e-11 (vector-ref arg-0 11))) e-11)) (cons "
" (cons (IdrisC-45DocC-45HTML-htmlFooter) '())))))))
+(define IdrisC-45DocC-45HTML-removeNewlinesFromDeclarations (lambda (ext-0) (IdrisC-45DocC-45HTML-n--7008-2928-u--go 0 ext-0)))
+(define IdrisC-45DocC-45HTML-prettyNameRoot (lambda (arg-0) (let ((u--root (LibrariesC-45TextC-45PrettyPrintC-45PrettyprinterC-45RenderC-45HTML-htmlEscape (CoreC-45Name-nameRoot arg-0)))) (let ((sc0 (ParserC-45LexerC-45Source-isOpName arg-0))) (cond ((equal? sc0 1) (PreludeC-45TypesC-45String-C-43C-43 "(" (PreludeC-45TypesC-45String-C-43C-43 u--root ")"))) (else u--root))))))
+(define IdrisC-45DocC-45HTML-packageInternal (lambda (arg-0 arg-1) (case (vector-ref arg-1 0) ((0) (let ((e-0 (vector-ref arg-1 1))) (let ((u--mi (CoreC-45NameC-45Namespace-nsAsModuleIdent e-0))) (lambda (eta-0) (CoreC-45Core-u--catch_Catchable_Core_Error (lambda (eta-1) (PreludeC-45IO-u--map_Functor_IO (lambda (eta-2) (case (vector-ref eta-2 0) ((0) (let ((e-2 (vector-ref eta-2 1))) (vector 0 e-2))) (else (vector 1 1)))) (lambda (eta-2) (CoreC-45Directory-nsToSource arg-0 (CoreC-45FC-emptyFC) u--mi eta-2)) eta-1)) (lambda (_-2566) (lambda (eta-1) (vector 1 0))) eta-0)))))(else (lambda (eta-0) (vector 1 0))))))
(define IdrisC-45DocC-45HTML-htmlPreamble (lambda (arg-0 arg-1 arg-2) (PreludeC-45TypesC-45String-C-43C-43 "" (PreludeC-45TypesC-45String-C-43C-43 "" (PreludeC-45TypesC-45String-C-43C-43 (LibrariesC-45TextC-45PrettyPrintC-45PrettyprinterC-45RenderC-45HTML-htmlEscape arg-0) (PreludeC-45TypesC-45String-C-43C-43 "" (PreludeC-45TypesC-45String-C-43C-43 "" (PreludeC-45TypesC-45String-C-43C-43 "" (PreludeC-45TypesC-45String-C-43C-43 "Idris2Doc : " (PreludeC-45TypesC-45String-C-43C-43 (LibrariesC-45TextC-45PrettyPrintC-45PrettyprinterC-45RenderC-45HTML-htmlEscape arg-0) (PreludeC-45TypesC-45String-C-43C-43 "" "")))))))))))))))))
-(define IdrisC-45DocC-45HTML-htmlFooter (lambda () (PreludeC-45TypesC-45String-C-43C-43 "
"))))
-(define IdrisC-45DocC-45HTML-hasNS (lambda (arg-0) (let ((sc0 arg-0)) (case (vector-ref sc0 0) ((0) 0)(else 1)))))
-(define IdrisC-45DocC-45HTML-getNS (lambda (arg-0) (let ((sc0 arg-0)) (case (vector-ref sc0 0) ((0) (let ((e-0 (vector-ref sc0 1))) (CoreC-45NameC-45Namespace-u--show_Show_Namespace e-0)))(else "")))))
+(define IdrisC-45DocC-45HTML-htmlFooter (lambda () (PreludeC-45TypesC-45String-C-43C-43 "