idris2.ipkg

package idris2

modules =
    Algebra,
    Algebra.Preorder,
    Algebra.Semiring,
    Algebra.ZeroOneOmega,

    Compiler.ANF,
    Compiler.Common,
    Compiler.CompileExpr,
    Compiler.Inline,
    Compiler.LambdaLift,

    Compiler.Jvm.Asm,
    Compiler.Jvm.Codegen,
    Compiler.Jvm.ExtPrim,
    Compiler.Jvm.FunctionTree,
    Compiler.Jvm.Optimizer,
    Compiler.Jvm.InferredType,
    Compiler.Jvm.Jname,
    Compiler.Jvm.Jvar,
    Compiler.Jvm.MockAsm,
    Compiler.Jvm.Variable,
    Compiler.Jvm.ShowUtil,
    Compiler.Jvm.Tree,
    Compiler.Jvm.Foreign,
    Compiler.Jvm.Tuples,

    Compiler.Scheme.Chez,
    Compiler.Scheme.Racket,
    Compiler.Scheme.Gambit,
    Compiler.Scheme.Common,
    Compiler.VMCode,

    Control.Delayed,

    Core.AutoSearch,
    Core.Binary,
    Core.CaseBuilder,
    Core.CaseTree,
    Core.Context,
    Core.CompileExpr,
    Core.Core,
    Core.Coverage,
    Core.Directory,
    Core.Env,
    Core.FC,
    Core.GetType,
    Core.Hash,
    Core.LinearCheck,
    Core.Metadata,
    Core.Name,
    Core.Normalise,
    Core.Options,
--     Core.Reflect,
    Core.Termination,
    Core.TT,
    Core.TTC,
    Core.Unify,
    Core.UnifyState,
    Core.Value,

    Data.ANameMap,
    Data.Bool.Extra,
    Data.IntMap,
    Data.IOArray,
    Data.NameMap,
    Data.StringMap,
    Data.These,
    Data.StringTrie,

    Idris.CommandLine,
    Idris.Desugar,
    Idris.Elab.Implementation,
    Idris.Elab.Interface,
    Idris.Error,
    Idris.IDEMode.CaseSplit,
    Idris.IDEMode.Commands,
    Idris.IDEMode.MakeClause,
    Idris.IDEMode.Parser,
    Idris.IDEMode.REPL,
    Idris.IDEMode.TokenLine,
    Idris.ModTree,
    Idris.Package,
    Idris.Parser,
    Idris.ProcessIdr,
    Idris.REPL,
    Idris.REPLCommon,
    Idris.REPLOpts,
    Idris.Resugar,
    Idris.SetOptions,
    Idris.Syntax,
    Idris.Version,

    Parser.Lexer,
    Parser.Support,
    Parser.Unlit,

    Text.Lexer,
    Text.Lexer.Core,
    Text.Literate,
    Text.Parser,
    Text.Parser.Core,
    Text.Quantity,
    Text.Token,

    TTImp.BindImplicits,
    TTImp.Elab,
    TTImp.Elab.Ambiguity,
    TTImp.Elab.App,
    TTImp.Elab.As,
    TTImp.Elab.Binders,
    TTImp.Elab.Case,
    TTImp.Elab.Check,
    TTImp.Elab.Dot,
    TTImp.Elab.Hole,
    TTImp.Elab.ImplicitBind,
    TTImp.Elab.Lazy,
    TTImp.Elab.Local,
    TTImp.Elab.Prim,
--     TTImp.Elab.Quote,
    TTImp.Elab.Record,
    TTImp.Elab.Rewrite,
    TTImp.Elab.Term,
    TTImp.Elab.Utils,
    TTImp.Impossible,
    TTImp.Interactive.CaseSplit,
    TTImp.Interactive.ExprSearch,
    TTImp.Interactive.GenerateDef,
    TTImp.Interactive.MakeLemma,
    TTImp.Parser,
    TTImp.PartialEval,
    TTImp.ProcessData,
    TTImp.ProcessDecls,
    TTImp.ProcessDef,
    TTImp.ProcessParams,
    TTImp.ProcessRecord,
    TTImp.ProcessTransform,
    TTImp.ProcessType,
--     TTImp.Reflect,
    TTImp.TTImp,
    TTImp.Unelab,
    TTImp.Utils,
    TTImp.WithClause,

    Utils.Binary,
    Utils.Hex,
    Utils.Octal,
    Utils.Shunting,
    Utils.String,

    Yaffle.Main,
    Yaffle.REPL

sourcedir = src
executable = idris2boot
opts = "--partial-eval --portable-codegen jvm"

pkgs = idrisjvmffi, contrib

main = Idris.Main