idris2rkt.ipkg

package idris2

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

    Compiler.ANF,
    Compiler.Common,
    Compiler.CompileExpr,
    Compiler.Inline,
    Compiler.LambdaLift,
    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.InitPrimitives,
    Core.LinearCheck,
    Core.Metadata,
    Core.Name,
    Core.Normalise,
    Core.Options,
    Core.Primitives,
--     Core.Reflect,
    Core.Termination,
    Core.Transform,
    Core.TT,
    Core.TTC,
    Core.Unify,
    Core.UnifyState,
    Core.Value,

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

    IdrisPaths,

    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.Common,
    Parser.Lexer.Source,
    Parser.Rule.Common,
    Parser.Rule.Source,
    Parser.Source,
    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.Delayed,
    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

opts = "--codegen racket"
depends = contrib, network

sourcedir = "src"

main = Idris.Main
executable = idris2