├── .github └── workflows │ └── ci-yaffle.yml ├── .gitignore ├── CONTRIBUTING.md ├── CONVENTIONS.md ├── Makefile ├── README.md ├── config.mk ├── libs ├── base │ ├── Control │ │ ├── App.idr │ │ ├── App │ │ │ ├── Console.idr │ │ │ └── FileIO.idr │ │ ├── Applicative │ │ │ └── Const.idr │ │ ├── Function.idr │ │ ├── Function │ │ │ └── FunExt.idr │ │ ├── Monad │ │ │ ├── Either.idr │ │ │ ├── Error │ │ │ │ ├── Either.idr │ │ │ │ └── Interface.idr │ │ │ ├── Identity.idr │ │ │ ├── Maybe.idr │ │ │ ├── RWS.idr │ │ │ ├── RWS │ │ │ │ ├── CPS.idr │ │ │ │ └── Interface.idr │ │ │ ├── Reader.idr │ │ │ ├── Reader │ │ │ │ ├── Interface.idr │ │ │ │ └── Reader.idr │ │ │ ├── ST.idr │ │ │ ├── State.idr │ │ │ ├── State │ │ │ │ ├── Interface.idr │ │ │ │ └── State.idr │ │ │ ├── Trans.idr │ │ │ ├── Writer.idr │ │ │ └── Writer │ │ │ │ ├── CPS.idr │ │ │ │ └── Interface.idr │ │ ├── Ord.idr │ │ ├── Order.idr │ │ ├── Relation.idr │ │ └── WellFounded.idr │ ├── Data │ │ ├── Bifoldable.idr │ │ ├── Bits.idr │ │ ├── Bool.idr │ │ ├── Bool │ │ │ └── Xor.idr │ │ ├── Buffer.idr │ │ ├── Colist.idr │ │ ├── Colist1.idr │ │ ├── Contravariant.idr │ │ ├── DPair.idr │ │ ├── Either.idr │ │ ├── Fin.idr │ │ ├── Fin │ │ │ └── Order.idr │ │ ├── Fuel.idr │ │ ├── Fun.idr │ │ ├── IOArray.idr │ │ ├── IOArray │ │ │ └── Prims.idr │ │ ├── IORef.idr │ │ ├── List.idr │ │ ├── List │ │ │ ├── Elem.idr │ │ │ ├── HasLength.idr │ │ │ ├── Quantifiers.idr │ │ │ └── Views.idr │ │ ├── List1.idr │ │ ├── List1 │ │ │ ├── Elem.idr │ │ │ ├── Properties.idr │ │ │ └── Quantifiers.idr │ │ ├── Maybe.idr │ │ ├── Morphisms.idr │ │ ├── Nat.idr │ │ ├── Nat │ │ │ ├── Order.idr │ │ │ └── Views.idr │ │ ├── Primitives │ │ │ └── Views.idr │ │ ├── Ref.idr │ │ ├── Rel.idr │ │ ├── Singleton.idr │ │ ├── SnocList.idr │ │ ├── SnocList │ │ │ ├── Elem.idr │ │ │ ├── Operations.idr │ │ │ └── Quantifiers.idr │ │ ├── So.idr │ │ ├── Stream.idr │ │ ├── String.idr │ │ ├── These.idr │ │ ├── Vect.idr │ │ ├── Vect │ │ │ ├── AtIndex.idr │ │ │ ├── Elem.idr │ │ │ └── Quantifiers.idr │ │ └── Zippable.idr │ ├── Debug │ │ └── Trace.idr │ ├── Decidable │ │ ├── Decidable.idr │ │ ├── Equality.idr │ │ └── Equality │ │ │ └── Core.idr │ ├── Deriving │ │ ├── Common.idr │ │ ├── Foldable.idr │ │ ├── Functor.idr │ │ ├── Show.idr │ │ └── Traversable.idr │ ├── Language │ │ ├── Reflection.idr │ │ └── Reflection │ │ │ ├── TT.idr │ │ │ └── TTImp.idr │ ├── Makefile │ ├── Syntax │ │ ├── PreorderReasoning.idr │ │ └── PreorderReasoning │ │ │ └── Generic.idr │ ├── System.idr │ ├── System │ │ ├── Clock.idr │ │ ├── Concurrency.idr │ │ ├── Directory.idr │ │ ├── Errno.idr │ │ ├── Escape.idr │ │ ├── FFI.idr │ │ ├── File.idr │ │ ├── File │ │ │ ├── Buffer.idr │ │ │ ├── Error.idr │ │ │ ├── Handle.idr │ │ │ ├── Meta.idr │ │ │ ├── Mode.idr │ │ │ ├── Permissions.idr │ │ │ ├── Process.idr │ │ │ ├── ReadWrite.idr │ │ │ ├── Support.idr │ │ │ ├── Types.idr │ │ │ └── Virtual.idr │ │ ├── Info.idr │ │ ├── REPL.idr │ │ └── Signal.idr │ └── base.ipkg ├── contrib │ ├── Control │ │ ├── ANSI.idr │ │ ├── ANSI │ │ │ ├── CSI.idr │ │ │ └── SGR.idr │ │ ├── Algebra.idr │ │ ├── Algebra │ │ │ ├── Implementations.idr │ │ │ └── Laws.idr │ │ ├── Arrow.idr │ │ ├── Category.idr │ │ ├── Delayed.idr │ │ ├── Monad │ │ │ └── Algebra.idr │ │ └── Validation.idr │ ├── Data │ │ ├── Binary.idr │ │ ├── Binary │ │ │ └── Digit.idr │ │ ├── Bool │ │ │ ├── Algebra.idr │ │ │ └── Decidable.idr │ │ ├── Fin │ │ │ └── Extra.idr │ │ ├── Fun │ │ │ ├── Extra.idr │ │ │ └── Graph.idr │ │ ├── HVect.idr │ │ ├── IMaybe.idr │ │ ├── Int │ │ │ └── Order.idr │ │ ├── Late.idr │ │ ├── Linear │ │ │ └── Array.idr │ │ ├── List │ │ │ ├── Algebra.idr │ │ │ ├── Alternating.idr │ │ │ ├── AtIndex.idr │ │ │ ├── Elem │ │ │ │ └── Extra.idr │ │ │ ├── Equalities.idr │ │ │ ├── Extra.idr │ │ │ ├── Lazy.idr │ │ │ ├── Lazy │ │ │ │ └── Quantifiers.idr │ │ │ ├── Palindrome.idr │ │ │ ├── Reverse.idr │ │ │ ├── TailRec.idr │ │ │ └── Views │ │ │ │ └── Extra.idr │ │ ├── Logic │ │ │ └── Propositional.idr │ │ ├── Monoid │ │ │ └── Exponentiation.idr │ │ ├── Morphisms │ │ │ └── Algebra.idr │ │ ├── Nat │ │ │ ├── Ack.idr │ │ │ ├── Algebra.idr │ │ │ ├── Division.idr │ │ │ ├── Equational.idr │ │ │ ├── Exponentiation.idr │ │ │ ├── Fact.idr │ │ │ ├── Factor.idr │ │ │ ├── Fib.idr │ │ │ ├── Order │ │ │ │ ├── Properties.idr │ │ │ │ ├── Relation.idr │ │ │ │ └── Strict.idr │ │ │ └── Properties.idr │ │ ├── Order.idr │ │ ├── Path.idr │ │ ├── Rel │ │ │ └── Complement.idr │ │ ├── Seq │ │ │ ├── Internal.idr │ │ │ ├── Sized.idr │ │ │ └── Unsized.idr │ │ ├── SortedMap.idr │ │ ├── SortedMap │ │ │ └── Dependent.idr │ │ ├── SortedSet.idr │ │ ├── Stream │ │ │ └── Extra.idr │ │ ├── String │ │ │ ├── Extra.idr │ │ │ ├── Interpolation.idr │ │ │ ├── Iterator.idr │ │ │ ├── Parser.idr │ │ │ ├── Parser │ │ │ │ └── Expression.idr │ │ │ └── Position.idr │ │ ├── Telescope.idr │ │ ├── Telescope │ │ │ ├── Congruence.idr │ │ │ ├── Fun.idr │ │ │ ├── Segment.idr │ │ │ ├── SimpleFun.idr │ │ │ └── Telescope.idr │ │ ├── Validated.idr │ │ ├── Vect │ │ │ ├── Extra.idr │ │ │ ├── Properties.idr │ │ │ ├── Properties │ │ │ │ ├── Fin.idr │ │ │ │ ├── Foldr.idr │ │ │ │ ├── Index.idr │ │ │ │ ├── Map.idr │ │ │ │ └── Tabulate.idr │ │ │ ├── Sort.idr │ │ │ └── Views │ │ │ │ └── Extra.idr │ │ └── Void.idr │ ├── Debug │ │ └── Buffer.idr │ ├── Decidable │ │ ├── Decidable │ │ │ └── Extra.idr │ │ ├── Finite │ │ │ └── Fin.idr │ │ └── Order │ │ │ └── Strict.idr │ ├── Language │ │ ├── JSON.idr │ │ └── JSON │ │ │ ├── Data.idr │ │ │ ├── Lexer.idr │ │ │ ├── Parser.idr │ │ │ ├── String.idr │ │ │ ├── String │ │ │ ├── Lexer.idr │ │ │ ├── Parser.idr │ │ │ └── Tokens.idr │ │ │ └── Tokens.idr │ ├── Makefile │ ├── Syntax │ │ └── WithProof.idr │ ├── System │ │ ├── Console │ │ │ └── GetOpt.idr │ │ ├── Directory │ │ │ └── Tree.idr │ │ ├── Future.idr │ │ ├── Path.idr │ │ └── Random.idr │ ├── Test │ │ └── REDIRECT.md │ ├── Text │ │ ├── Bounded.idr │ │ ├── Distance │ │ │ └── Levenshtein.idr │ │ ├── Lexer.idr │ │ ├── Lexer │ │ │ ├── Core.idr │ │ │ └── Tokenizer.idr │ │ ├── Literate.idr │ │ ├── Parser.idr │ │ ├── Parser │ │ │ ├── Core.idr │ │ │ └── Expression.idr │ │ ├── PrettyPrint │ │ │ ├── Prettyprinter.idr │ │ │ └── Prettyprinter │ │ │ │ ├── Doc.idr │ │ │ │ ├── Render │ │ │ │ ├── HTML.idr │ │ │ │ ├── String.idr │ │ │ │ └── Terminal.idr │ │ │ │ ├── SimpleDocTree.idr │ │ │ │ ├── Symbols.idr │ │ │ │ └── Util.idr │ │ ├── Quantity.idr │ │ └── Token.idr │ └── contrib.ipkg ├── linear │ ├── Control │ │ └── Linear │ │ │ └── LIO.idr │ ├── Data │ │ ├── Linear.idr │ │ └── Linear │ │ │ ├── Bifunctor.idr │ │ │ ├── Copies.idr │ │ │ ├── Interface.idr │ │ │ ├── LEither.idr │ │ │ ├── LList.idr │ │ │ ├── LMaybe.idr │ │ │ ├── LNat.idr │ │ │ ├── LVect.idr │ │ │ ├── List │ │ │ └── LQuantifiers.idr │ │ │ └── Notation.idr │ ├── Makefile │ └── linear.ipkg ├── network │ ├── Control │ │ └── Linear │ │ │ └── Network.idr │ ├── Makefile │ ├── Network │ │ ├── FFI.idr │ │ ├── Socket.idr │ │ └── Socket │ │ │ ├── Data.idr │ │ │ └── Raw.idr │ └── network.ipkg ├── prelude │ ├── Builtin.idr │ ├── Makefile │ ├── Prelude.idr │ ├── Prelude │ │ ├── Basics.idr │ │ ├── Cast.idr │ │ ├── EqOrd.idr │ │ ├── IO.idr │ │ ├── Interfaces.idr │ │ ├── Interpolation.idr │ │ ├── Num.idr │ │ ├── Ops.idr │ │ ├── Show.idr │ │ ├── Types.idr │ │ └── Uninhabited.idr │ ├── PrimIO.idr │ └── prelude.ipkg └── test │ ├── Makefile │ ├── README.md │ ├── Test │ └── Golden.idr │ └── test.ipkg ├── src ├── Compiler │ ├── ANF.idr │ ├── CaseOpts.idr │ ├── Common.idr │ ├── CompileExpr.idr │ ├── ES │ │ ├── Ast.idr │ │ ├── Codegen.idr │ │ ├── Doc.idr │ │ ├── Javascript.idr │ │ ├── Node.idr │ │ ├── State.idr │ │ ├── TailRec.idr │ │ └── ToAst.idr │ ├── Generated.idr │ ├── Inline.idr │ ├── Interpreter │ │ └── VMCode.idr │ ├── LambdaLift.idr │ ├── NoMangle.idr │ ├── Opts │ │ ├── CSE.idr │ │ ├── ConstantFold.idr │ │ ├── Identity.idr │ │ ├── InlineHeuristics.idr │ │ └── ToplevelConstants.idr │ ├── RefC.idr │ ├── RefC │ │ ├── CC.idr │ │ └── RefC.idr │ ├── Scheme │ │ ├── Chez.idr │ │ ├── ChezSep.idr │ │ ├── Common.idr │ │ └── Racket.idr │ ├── Separate.idr │ └── VMCode.idr ├── Core │ ├── AutoSearch.idr │ ├── Binary.idr │ ├── Binary │ │ └── Prims.idr │ ├── Case │ │ ├── Builder.idr │ │ ├── Patterns.idr │ │ ├── Tree.idr │ │ └── Util.idr │ ├── Check │ │ ├── Erase.idr │ │ ├── Linear.idr │ │ ├── Support.idr │ │ └── Typecheck.idr │ ├── CompileExpr.idr │ ├── Context.idr │ ├── Context │ │ ├── Ctxt.idr │ │ ├── CtxtData.idr │ │ ├── Data.idr │ │ ├── Def.idr │ │ └── Log.idr │ ├── Core.idr │ ├── Coverage.idr │ ├── Directory.idr │ ├── Env.idr │ ├── Error.idr │ ├── Evaluate.idr │ ├── Evaluate │ │ ├── Builtins.idr │ │ ├── Compile.idr │ │ ├── Convert.idr │ │ ├── Normalise.idr │ │ ├── Quote.idr │ │ ├── ToScheme.idr │ │ └── Value.idr │ ├── FC.idr │ ├── Hash.idr │ ├── InitPrimitives.idr │ ├── Metadata.idr │ ├── Options.idr │ ├── Options │ │ └── Log.idr │ ├── Ord.idr │ ├── Primitives.idr │ ├── Reflect.idr │ ├── Search.idr │ ├── Syntax │ │ ├── Decls.idr │ │ ├── Lexer.idr │ │ ├── Parser.idr │ │ ├── Raw.idr │ │ └── Support.idr │ ├── TT.idr │ ├── TT │ │ ├── Name.idr │ │ ├── Namespace.idr │ │ ├── RigCount.idr │ │ ├── TT.idr │ │ ├── Traversals.idr │ │ ├── Universes.idr │ │ └── Views.idr │ ├── TTC.idr │ ├── TTCFile.idr │ ├── Termination.idr │ ├── Termination │ │ ├── CallGraph.idr │ │ ├── Positivity.idr │ │ ├── References.idr │ │ └── SizeChange.idr │ ├── Transform.idr │ ├── Unify.idr │ ├── Unify │ │ ├── SolveMeta.idr │ │ ├── State.idr │ │ └── Unify.idr │ └── Warning.idr ├── Idris │ ├── CommandLine.idr │ ├── Desugar.idr │ ├── Desugar │ │ └── Mutual.idr │ ├── Doc │ │ ├── Annotations.idr │ │ ├── Brackets.idr │ │ ├── Display.idr │ │ ├── HTML.idr │ │ ├── Keywords.idr │ │ └── String.idr │ ├── Driver.idr │ ├── Elab │ │ ├── Implementation.idr │ │ └── Interface.idr │ ├── Env.idr │ ├── Error.idr │ ├── IDEMode │ │ ├── CaseSplit.idr │ │ ├── Commands.idr │ │ ├── Holes.idr │ │ ├── MakeClause.idr │ │ ├── Parser.idr │ │ ├── Pretty.idr │ │ ├── REPL.idr │ │ ├── SyntaxHighlight.idr │ │ └── TokenLine.idr │ ├── Interactive │ │ └── Completion.idr │ ├── Main.idr │ ├── ModTree.idr │ ├── Package.idr │ ├── Package │ │ ├── Init.idr │ │ └── Types.idr │ ├── Parser.idr │ ├── Parser │ │ └── Let.idr │ ├── Pretty.idr │ ├── Pretty │ │ ├── Annotations.idr │ │ ├── CompileExpr.idr │ │ ├── Context.idr │ │ ├── Render.idr │ │ └── TT.idr │ ├── ProcessIdr.idr │ ├── REPL.idr │ ├── REPL │ │ ├── Common.idr │ │ ├── FuzzySearch.idr │ │ └── Opts.idr │ ├── Resugar.idr │ ├── SetOptions.idr │ ├── Syntax.idr │ ├── Syntax │ │ ├── Builtin.idr │ │ ├── Pragmas.idr │ │ ├── TTC.idr │ │ ├── Traversals.idr │ │ └── Views.idr │ └── Version.idr ├── Libraries │ ├── Control │ │ ├── ANSI.idr │ │ ├── ANSI │ │ │ ├── CSI.idr │ │ │ └── SGR.idr │ │ └── Delayed.idr │ ├── Data │ │ ├── ANameMap.idr │ │ ├── DList.idr │ │ ├── Fin.idr │ │ ├── Graph.idr │ │ ├── IMaybe.idr │ │ ├── IOArray.idr │ │ ├── IOMatrix.idr │ │ ├── IntMap.idr │ │ ├── LengthMatch.idr │ │ ├── List │ │ │ ├── Extra.idr │ │ │ ├── Lazy.idr │ │ │ └── Quantifiers │ │ │ │ └── Extra.idr │ │ ├── List1.idr │ │ ├── NameMap.idr │ │ ├── NameMap │ │ │ └── Traversable.idr │ │ ├── PosMap.idr │ │ ├── Primitives.idr │ │ ├── SortedMap.idr │ │ ├── SortedSet.idr │ │ ├── Span.idr │ │ ├── String │ │ │ ├── Extra.idr │ │ │ └── Iterator.idr │ │ ├── StringMap.idr │ │ ├── StringTrie.idr │ │ ├── Tap.idr │ │ ├── UserNameMap.idr │ │ └── Version.idr │ ├── System │ │ ├── Directory │ │ │ └── Tree.idr │ │ ├── File.idr │ │ └── File │ │ │ └── Buffer.idr │ ├── Text │ │ ├── Bounded.idr │ │ ├── Distance │ │ │ └── Levenshtein.idr │ │ ├── Lexer.idr │ │ ├── Lexer │ │ │ ├── Core.idr │ │ │ └── Tokenizer.idr │ │ ├── Literate.idr │ │ ├── Parser.idr │ │ ├── Parser │ │ │ └── Core.idr │ │ ├── PrettyPrint │ │ │ ├── Prettyprinter.idr │ │ │ └── Prettyprinter │ │ │ │ ├── Doc.idr │ │ │ │ ├── Render │ │ │ │ ├── HTML.idr │ │ │ │ ├── String.idr │ │ │ │ └── Terminal.idr │ │ │ │ ├── SimpleDocTree.idr │ │ │ │ ├── Symbols.idr │ │ │ │ └── Util.idr │ │ ├── Quantity.idr │ │ └── Token.idr │ └── Utils │ │ ├── Octal.idr │ │ ├── Path.idr │ │ ├── Scheme.idr │ │ ├── Shunting.idr │ │ ├── String.idr │ │ └── Term.idr ├── Parser │ ├── Lexer │ │ ├── Common.idr │ │ ├── Package.idr │ │ └── Source.idr │ ├── Package.idr │ ├── Rule │ │ ├── Package.idr │ │ └── Source.idr │ ├── Source.idr │ ├── Support.idr │ └── Unlit.idr ├── Protocol │ ├── Hex.idr │ ├── IDE.idr │ ├── IDE │ │ ├── Command.idr │ │ ├── Decoration.idr │ │ ├── FileContext.idr │ │ ├── Formatting.idr │ │ ├── Highlight.idr │ │ ├── Holes.idr │ │ └── Result.idr │ ├── SExp.idr │ └── SExp │ │ └── Parser.idr ├── TTImp │ ├── BindImplicits.idr │ ├── Elab.idr │ ├── Elab │ │ ├── Ambiguity.idr │ │ ├── App.idr │ │ ├── As.idr │ │ ├── Binders.idr │ │ ├── Case.idr │ │ ├── Check.idr │ │ ├── Delayed.idr │ │ ├── Dot.idr │ │ ├── Hole.idr │ │ ├── ImplicitBind.idr │ │ ├── Lazy.idr │ │ ├── Local.idr │ │ ├── Prim.idr │ │ ├── Quote.idr │ │ ├── Record.idr │ │ ├── Rewrite.idr │ │ ├── RunElab.idr │ │ ├── Term.idr │ │ └── Utils.idr │ ├── Impossible.idr │ ├── Interactive │ │ ├── CaseSplit.idr │ │ ├── ExprSearch.idr │ │ ├── GenerateDef.idr │ │ ├── Intro.idr │ │ └── MakeLemma.idr │ ├── Parser.idr │ ├── ProcessBuiltin.idr │ ├── ProcessData.idr │ ├── ProcessDecls │ │ └── Totality.idr │ ├── ProcessDef.idr │ ├── ProcessDirective.idr │ ├── ProcessFailing.idr │ ├── ProcessFile.idr │ ├── ProcessParams.idr │ ├── ProcessRecord.idr │ ├── ProcessRunElab.idr │ ├── ProcessTransform.idr │ ├── ProcessType.idr │ ├── Reflect.idr │ ├── TTImp.idr │ ├── TTImp │ │ ├── Functor.idr │ │ ├── TTC.idr │ │ └── Traversals.idr │ ├── Unelab.idr │ ├── Utils.idr │ └── WithClause.idr ├── TTMain │ ├── Main.idr │ ├── ProcessTT.idr │ └── REPL.idr ├── Test │ └── TryEval.idr └── Yaffle │ └── REPL.idr ├── support ├── c │ ├── .gitignore │ ├── Makefile │ ├── getline.c │ ├── getline.h │ ├── idris_directory.c │ ├── idris_directory.h │ ├── idris_file.c │ ├── idris_file.h │ ├── idris_memory.c │ ├── idris_memory.h │ ├── idris_net.c │ ├── idris_net.h │ ├── idris_signal.c │ ├── idris_signal.h │ ├── idris_support.c │ ├── idris_support.h │ ├── idris_system.c │ ├── idris_system.h │ ├── idris_term.c │ ├── idris_term.h │ ├── idris_util.c │ ├── idris_util.h │ └── windows │ │ ├── win_hack.c │ │ ├── win_utils.c │ │ └── win_utils.h ├── chez │ ├── .gitignore │ ├── Makefile │ ├── ct-support.ss │ └── support.ss ├── docs │ ├── alternative.css │ ├── blackandwhite.css │ ├── default.css │ └── index.html ├── js │ ├── support.js │ ├── support_system.js │ ├── support_system_directory.js │ ├── support_system_file.js │ └── support_system_signal.js ├── racket │ ├── ct-support.rkt │ └── support.rkt └── refc │ ├── Makefile │ ├── _datatypes.h │ ├── buffer.c │ ├── buffer.h │ ├── cBackend.h │ ├── casts.c │ ├── casts.h │ ├── clock.c │ ├── clock.h │ ├── conCaseHelper.c │ ├── conCaseHelper.h │ ├── mathFunctions.c │ ├── mathFunctions.h │ ├── memoryManagement.c │ ├── memoryManagement.h │ ├── prim.c │ ├── prim.h │ ├── refc_util.c │ ├── refc_util.h │ ├── runtime.c │ ├── runtime.h │ ├── stringOps.c │ ├── stringOps.h │ ├── threads.c │ └── threads.h ├── tests ├── Main.idr ├── Makefile ├── chez │ ├── barrier001 │ │ ├── Main.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── bitops │ │ ├── BitOps.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── buffer001 │ │ ├── Main.idr │ │ ├── expected │ │ └── run │ ├── casts │ │ ├── Casts.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez001 │ │ ├── Total.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez002 │ │ ├── Pythag.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez003 │ │ ├── IORef.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez004 │ │ ├── Buffer.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez005 │ │ ├── Filter.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez006 │ │ ├── TypeCase.idr │ │ ├── TypeCase2.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez007 │ │ ├── TypeCase.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez008 │ │ ├── Nat.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez009 │ │ ├── expected │ │ ├── input │ │ ├── run │ │ └── uni.idr │ ├── chez010 │ │ ├── .gitignore │ │ ├── CB.idr │ │ ├── Makefile │ │ ├── cblib.c │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez011 │ │ ├── bangs.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez012 │ │ ├── array.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez013 │ │ ├── .gitignore │ │ ├── Makefile │ │ ├── Struct.idr │ │ ├── expected │ │ ├── input │ │ ├── run │ │ ├── struct.c │ │ └── struct.h │ ├── chez014 │ │ ├── Echo.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez015 │ │ ├── Numbers.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez016 │ │ ├── expected │ │ ├── folder with spaces │ │ │ └── Main.idr │ │ ├── input │ │ └── run │ ├── chez017 │ │ ├── .gitignore │ │ ├── dir.idr │ │ ├── expected.in │ │ ├── gen_expected.sh │ │ ├── input │ │ └── run │ ├── chez018 │ │ ├── File.idr │ │ ├── expected │ │ ├── input │ │ ├── run │ │ └── test.txt │ ├── chez019 │ │ ├── expected │ │ ├── input │ │ ├── partial.idr │ │ └── run │ ├── chez020 │ │ ├── Popen.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez021 │ │ ├── Bits.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez022 │ │ ├── Makefile │ │ ├── expected │ │ ├── input │ │ ├── mkalloc.c │ │ ├── run │ │ └── usealloc.idr │ ├── chez023 │ │ ├── File.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez024 │ │ ├── Envy.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez025 │ │ ├── expected │ │ ├── input │ │ ├── run │ │ └── runst.idr │ ├── chez026 │ │ ├── Dummy.idr │ │ ├── dummy.ipkg │ │ ├── expected │ │ └── run │ ├── chez027 │ │ ├── StringParser.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez028 │ │ ├── ExpressionParser.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez029 │ │ ├── BitCasts.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez030 │ │ ├── ExtraRuntime.idr │ │ ├── expected │ │ ├── extensions.scm │ │ └── run │ ├── chez031 │ │ ├── Specifiers.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez032 │ │ ├── BitOps.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez033 │ │ ├── Main.idr │ │ ├── Mod.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez034 │ │ ├── ThreadData.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── chez035 │ │ ├── Mod1.idr │ │ ├── Mod2.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── constfold │ │ ├── Check.idr │ │ ├── Fold.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── constfold2 │ │ ├── Check.idr │ │ ├── Fold.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── constfold3 │ │ ├── Check.idr │ │ ├── Fold.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── forkjoin001 │ │ ├── Main.idr │ │ ├── expected │ │ └── run │ ├── futures001 │ │ ├── Futures.idr │ │ ├── expected │ │ └── run │ ├── inlineiobind │ │ ├── Check.idr │ │ ├── Main.idr │ │ ├── expected │ │ └── run │ ├── integers │ │ ├── TestIntegers.idr │ │ ├── expected │ │ └── run │ ├── memo │ │ ├── Memo.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── nat2fin │ │ ├── Check.idr │ │ ├── Test.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── newints │ │ ├── IntOps.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── perf001 │ │ ├── Fact.idr │ │ ├── expected │ │ └── run │ ├── reg001 │ │ ├── expected │ │ ├── numbers.idr │ │ └── run │ ├── semaphores001 │ │ ├── Main.idr │ │ ├── expected │ │ └── run │ └── semaphores002 │ │ ├── Main.idr │ │ ├── expected │ │ └── run ├── idris2 │ ├── basic001 │ │ ├── Vect.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic002 │ │ ├── Do.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic003 │ │ ├── Ambig1.idr │ │ ├── Ambig2.idr │ │ ├── expected │ │ └── run │ ├── basic004 │ │ ├── Stuff.idr │ │ ├── Wheres.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic005 │ │ ├── NoInfer.idr │ │ ├── expected │ │ └── run │ ├── basic006 │ │ ├── PMLet.idr │ │ ├── Stuff.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic007 │ │ ├── DoLocal.idr │ │ ├── Stuff.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic008 │ │ ├── If.idr │ │ ├── Stuff.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic009 │ │ ├── LetCase.idr │ │ ├── Stuff.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic010 │ │ ├── Comp.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic011 │ │ ├── Dots1.idr │ │ ├── Dots2.idr │ │ ├── Dots3.idr │ │ ├── expected │ │ └── run │ ├── basic012 │ │ ├── VIndex.idr │ │ ├── expected │ │ └── run │ ├── basic013 │ │ ├── Implicits.idr │ │ ├── expected │ │ └── run │ ├── basic014 │ │ ├── Rewrite.idr │ │ ├── expected │ │ └── run │ ├── basic015 │ │ ├── George.idr │ │ ├── expected │ │ └── run │ ├── basic016 │ │ ├── Eta.idr │ │ ├── Eta2.idr │ │ ├── expected │ │ └── run │ ├── basic017 │ │ ├── CaseInf.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic018 │ │ ├── Fin.idr │ │ ├── expected │ │ └── run │ ├── basic019 │ │ ├── CaseBlock.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic020 │ │ ├── Mut.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic021 │ │ ├── CaseDep.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic022 │ │ ├── Erase.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic023 │ │ ├── Params.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic024 │ │ ├── PatLam.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic025 │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic026 │ │ ├── Erl.idr │ │ ├── expected │ │ └── run │ ├── basic027 │ │ ├── Temp.idr │ │ ├── expected │ │ └── run │ ├── basic028 │ │ ├── Do.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic029 │ │ ├── Params.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic030 │ │ ├── arity.idr │ │ ├── expected │ │ └── run │ ├── basic031 │ │ ├── erased.idr │ │ ├── expected │ │ └── run │ ├── basic032 │ │ ├── Idiom.idr │ │ ├── Idiom2.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic033 │ │ ├── expected │ │ ├── run │ │ └── unboundimps.idr │ ├── basic034 │ │ ├── expected │ │ ├── lets.idr │ │ └── run │ ├── basic035 │ │ ├── expected │ │ ├── input │ │ ├── run │ │ └── using.idr │ ├── basic036 │ │ ├── defimp.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic037 │ │ ├── Comments.idr │ │ ├── Issue279.idr │ │ ├── expected │ │ └── run │ ├── basic038 │ │ ├── Resugar.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic039 │ │ ├── Main.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic040 │ │ ├── Default.idr │ │ ├── expected │ │ └── run │ ├── basic041 │ │ ├── QDo.idr │ │ ├── expected │ │ └── run │ ├── basic042 │ │ ├── LiteralsInteger.idr │ │ ├── LiteralsString.idr │ │ ├── expected │ │ ├── input │ │ ├── input2 │ │ └── run │ ├── basic043 │ │ ├── BitCasts.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic044 │ │ ├── Term.idr │ │ ├── Vec.idr │ │ ├── expected │ │ └── run │ ├── basic045 │ │ ├── Main.idr │ │ ├── expected │ │ └── run │ ├── basic046 │ │ ├── TupleSections.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic047 │ │ ├── InterleavingLets.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic049 │ │ ├── Fld.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic050 │ │ ├── Ilc.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic051 │ │ ├── Issue833.idr │ │ ├── expected │ │ └── run │ ├── basic052 │ │ ├── DoubleClBrace.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic053 │ │ ├── UnderscoredIntegerLiterals.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic054 │ │ ├── Issue1023.idr │ │ ├── expected │ │ └── run │ ├── basic055 │ │ ├── BitOps.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic056 │ │ ├── DoubleLit.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic057 │ │ ├── LetIn.idr │ │ ├── expected │ │ └── run │ ├── basic058 │ │ ├── DataTypeOp.idr │ │ ├── DataTypeProj.idr │ │ ├── expected │ │ └── run │ ├── basic059 │ │ ├── MultiClaim.idr │ │ ├── expected │ │ └── run │ ├── basic060 │ │ ├── Snoc.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic061 │ │ ├── IgnoreDo.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic062 │ │ ├── Issue1943.idr │ │ ├── expected │ │ └── run │ ├── basic063 │ │ ├── NoDeclaration.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic064 │ │ ├── Issue2072.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── basic065 │ │ ├── Issue215.idr │ │ ├── expected │ │ └── run │ ├── basic066 │ │ ├── comment.idr │ │ ├── expected │ │ └── run │ ├── basic067 │ │ ├── expected │ │ ├── input │ │ ├── run │ │ ├── unclosed1.idr │ │ ├── unclosed2.idr │ │ └── unclosed3.idr │ ├── basic068 │ │ ├── Issue2138.idr │ │ ├── expected │ │ └── run │ ├── basic069 │ │ ├── DebugInfo.idr │ │ ├── expected │ │ └── run │ ├── dotted001 │ │ ├── Issue2726.idr │ │ ├── expected │ │ └── run │ ├── idiom001 │ │ ├── Main.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── interface001 │ │ ├── IFace.idr │ │ ├── IFace1.idr │ │ ├── Stuff.idr │ │ ├── expected │ │ ├── input │ │ ├── input1 │ │ └── run │ ├── interface002 │ │ ├── Functor.idr │ │ ├── Stuff.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── interface003 │ │ ├── Do.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── interface004 │ │ ├── Do.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── interface005 │ │ ├── Deps.idr │ │ ├── expected │ │ └── run │ ├── interface006 │ │ ├── Apply.idr │ │ ├── Biapplicative.idr │ │ ├── Bimonad.idr │ │ ├── expected │ │ └── run │ ├── interface007 │ │ ├── A.idr │ │ ├── expected │ │ └── run │ ├── interface008 │ │ ├── Deps.idr │ │ ├── expected │ │ └── run │ ├── interface009 │ │ ├── Odd.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── interface010 │ │ ├── Dep.idr │ │ ├── expected │ │ └── run │ ├── interface011 │ │ ├── FuncImpl.idr │ │ ├── expected │ │ └── run │ ├── interface012 │ │ ├── Defmeth.idr │ │ ├── expected │ │ └── run │ ├── interface013 │ │ ├── TypeInt.idr │ │ ├── expected │ │ └── run │ ├── interface014 │ │ ├── DepInt.idr │ │ ├── expected │ │ └── run │ ├── interface015 │ │ ├── expected │ │ ├── gnu.idr │ │ └── run │ ├── interface016 │ │ ├── TwoNum.idr │ │ ├── expected │ │ └── run │ ├── interface017 │ │ ├── Tricho.idr │ │ ├── expected │ │ └── run │ ├── interface018 │ │ ├── Sized.idr │ │ ├── Sized2.idr │ │ ├── Sized3.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── interface019 │ │ ├── LocalHints.idr │ │ ├── expected │ │ └── run │ ├── interface020 │ │ ├── LocalInterface.idr │ │ ├── expected │ │ └── run │ ├── interface021 │ │ ├── LocalHint.idr │ │ ├── expected │ │ └── run │ ├── interface022 │ │ ├── DotMethod.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── interface023 │ │ ├── AppComp.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── interface024 │ │ ├── EH.idr │ │ ├── expected │ │ └── run │ ├── interface025 │ │ ├── AutoSearchHide1.idr │ │ ├── AutoSearchHide2.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── interface026 │ │ ├── UninhabitedRec.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── interface027 │ │ ├── expected │ │ ├── input │ │ ├── params.idr │ │ └── run │ ├── interface028 │ │ ├── InterfaceArgs.idr │ │ ├── expected │ │ └── run │ ├── interface029 │ │ ├── ForwardImpl1.idr │ │ ├── ForwardImpl2.idr │ │ ├── ForwardImpl3.idr │ │ ├── expected │ │ └── run │ ├── interpolation001 │ │ ├── IfThenElse.idr │ │ ├── expected │ │ └── run │ ├── interpolation002 │ │ ├── StringLiteral.idr │ │ ├── expected │ │ └── run │ ├── interpolation003 │ │ ├── Test.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── interpolation004 │ │ ├── StringLiteral.idr │ │ ├── expected │ │ └── run │ ├── reg001 │ │ ├── D.idr │ │ ├── expected │ │ └── run │ ├── reg002 │ │ ├── expected │ │ ├── linm.idr │ │ └── run │ ├── reg003 │ │ ├── Holes.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── reg004 │ │ ├── ambig.idr │ │ ├── expected │ │ └── run │ ├── reg005 │ │ ├── expected │ │ ├── iftype.idr │ │ └── run │ ├── reg006 │ │ ├── Cmd.idr │ │ ├── expected │ │ └── run │ ├── reg007 │ │ ├── Main.idr │ │ ├── expected │ │ └── run │ ├── reg008 │ │ ├── Vending.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── reg009 │ │ ├── Case.idr │ │ ├── expected │ │ └── run │ ├── reg010 │ │ ├── Recordname.idr │ │ ├── expected │ │ └── run │ ├── reg011 │ │ ├── expected │ │ ├── mut.idr │ │ └── run │ ├── reg012 │ │ ├── Foo.idr │ │ ├── expected │ │ └── run │ ├── reg013 │ │ ├── UnboundImplicits.idr │ │ ├── expected │ │ └── run │ ├── reg014 │ │ ├── casecase.idr │ │ ├── expected │ │ └── run │ ├── reg015 │ │ ├── anyfail.idr │ │ ├── expected │ │ └── run │ ├── reg016 │ │ ├── Using.idr │ │ ├── expected │ │ └── run │ ├── reg017 │ │ ├── expected │ │ ├── lammult.idr │ │ └── run │ ├── reg018 │ │ ├── cycle.idr │ │ ├── expected │ │ └── run │ ├── reg019 │ │ ├── expected │ │ ├── lazybug.idr │ │ └── run │ ├── reg020 │ │ ├── expected │ │ ├── input │ │ ├── matchlits.idr │ │ └── run │ ├── reg021 │ │ ├── case.idr │ │ ├── expected │ │ └── run │ ├── reg022 │ │ ├── case.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── reg023 │ │ ├── boom.idr │ │ ├── expected │ │ └── run │ ├── reg024 │ │ ├── expected │ │ ├── input │ │ ├── run │ │ └── split.idr │ ├── reg025 │ │ ├── expected │ │ ├── input │ │ ├── lift.idr │ │ └── run │ ├── reg026 │ │ ├── Meh.idr │ │ ├── expected │ │ └── run │ ├── reg027 │ │ ├── expected │ │ ├── pwhere.idr │ │ └── run │ ├── reg028 │ │ ├── Test.idr │ │ ├── expected │ │ └── run │ ├── reg029 │ │ ├── expected │ │ ├── lqueue.idr │ │ └── run │ ├── reg030 │ │ ├── A.idr │ │ ├── B.idr │ │ ├── C.idr │ │ ├── expected │ │ └── run │ ├── reg031 │ │ ├── dpair.idr │ │ ├── expected │ │ └── run │ ├── reg032 │ │ ├── expected │ │ ├── recupdate.idr │ │ └── run │ ├── reg033 │ │ ├── DerivingEq.idr │ │ ├── expected │ │ ├── run │ │ └── test.idr │ ├── reg034 │ │ ├── expected │ │ ├── run │ │ └── void.idr │ ├── reg035 │ │ ├── Implicit.idr │ │ ├── expected │ │ └── run │ ├── reg036 │ │ ├── Test.idr │ │ ├── expected │ │ └── run │ ├── reg037 │ │ ├── Test.idr │ │ ├── expected │ │ └── run │ ├── reg038 │ │ ├── Test1.idr │ │ ├── Test2.idr │ │ ├── expected │ │ └── run │ ├── reg039 │ │ ├── dupdup.idr │ │ ├── expected │ │ └── run │ ├── reg040 │ │ ├── CoverBug.idr │ │ ├── expected │ │ └── run │ ├── reg041 │ │ ├── expected │ │ ├── run │ │ └── tuple.idr │ ├── reg042 │ │ ├── NatOpts.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── reg043 │ │ ├── NotFake.idr │ │ ├── TestFake.idr │ │ ├── expected │ │ └── run │ ├── reg044 │ │ ├── Methods.idr │ │ ├── expected │ │ └── run │ ├── reg045 │ │ ├── expected │ │ ├── run │ │ └── withparams.idr │ ├── reg046 │ │ ├── Postpone.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── reg047 │ │ ├── QualifiedDoBang.idr │ │ ├── expected │ │ ├── input │ │ └── run │ ├── reg048 │ │ ├── expected │ │ ├── inferror.idr │ │ └── run │ ├── reg049 │ │ ├── expected │ │ ├── lettype.idr │ │ └── run │ ├── reg050 │ │ ├── expected │ │ ├── loopy.idr │ │ └── run │ ├── reg051 │ │ ├── BigFins.idr │ │ ├── expected │ │ ├── racketprof │ │ └── run │ └── rewrite001 │ │ ├── Issue2573.idr │ │ ├── expected │ │ └── run ├── tests.ipkg ├── testutils.sh ├── tt │ ├── basic001 │ │ ├── expected │ │ ├── input │ │ ├── run │ │ └── testraw.tt │ ├── basic002 │ │ ├── expected │ │ ├── input │ │ ├── run │ │ └── testpair.tt │ ├── basic003 │ │ ├── expected │ │ ├── input │ │ ├── run │ │ └── testmeta.tt │ ├── basic004 │ │ ├── expected │ │ ├── input │ │ ├── run │ │ └── testraw.tt │ ├── basic005 │ │ ├── expected │ │ ├── id_rename.tt │ │ ├── input │ │ └── run │ ├── linear001 │ │ ├── expected │ │ ├── id_linear.tt │ │ ├── input │ │ └── run │ ├── linear002 │ │ ├── expected │ │ ├── id.tt │ │ ├── input │ │ └── run │ ├── linear003 │ │ ├── expected │ │ ├── input │ │ ├── pair_linear.tt │ │ └── run │ ├── linear004 │ │ ├── expected │ │ ├── input │ │ ├── lam_linear.tt │ │ └── run │ ├── linear005 │ │ ├── expected │ │ ├── input │ │ ├── let_linear.tt │ │ └── run │ ├── linear006 │ │ ├── env_linear.tt │ │ ├── expected │ │ ├── input │ │ └── run │ ├── patterns001 │ │ ├── expected │ │ ├── input │ │ ├── patt.tt │ │ └── run │ ├── patterns002 │ │ ├── expected │ │ ├── input │ │ ├── run │ │ └── vect.tt │ ├── presence001 │ │ ├── expected │ │ ├── id_erased.tt │ │ ├── input │ │ └── run │ ├── presence002 │ │ ├── case.tt │ │ ├── expected │ │ ├── input │ │ └── run │ ├── search001 │ │ ├── expected │ │ ├── input │ │ ├── run │ │ └── search.tt │ ├── search002 │ │ ├── expected │ │ ├── input │ │ ├── run │ │ └── search.tt │ ├── sizechange001 │ │ ├── expected │ │ ├── input │ │ ├── patt.tt │ │ └── run │ ├── unify001 │ │ ├── expected │ │ ├── input │ │ ├── run │ │ └── unify.tt │ ├── unify002 │ │ ├── expected │ │ ├── input │ │ ├── run │ │ └── unify.tt │ ├── unify003 │ │ ├── expected │ │ ├── input │ │ ├── run │ │ └── unify.tt │ └── unify004 │ │ ├── all.tt │ │ ├── expected │ │ ├── input │ │ └── run └── yaffle │ ├── basic001 │ ├── Vect.yaff │ ├── expected │ ├── input │ └── run │ ├── basic002 │ ├── Interp.yaff │ ├── expected │ ├── input │ └── run │ ├── basic003 │ ├── expected │ ├── input │ ├── ohno.yaff │ └── run │ ├── case001 │ ├── cinline.yaff │ ├── expected │ ├── input │ └── run │ ├── compile001 │ ├── Vect.yaff │ ├── expected │ ├── input │ └── run │ ├── compile002 │ ├── IO.yaff │ ├── expected │ ├── input │ └── run │ ├── coverage001 │ ├── Vect.yaff │ ├── expected │ ├── input │ └── run │ ├── example001 │ ├── expected │ ├── input │ ├── run │ └── stlc.yaff │ ├── papers001 │ ├── Krivine.yaff │ ├── expected │ ├── input │ └── run │ ├── qtt001 │ ├── dup.yaff │ ├── dupbad.yaff │ ├── expected │ ├── input │ └── run │ ├── qtt002 │ ├── caselin.yaff │ ├── expected │ ├── input │ └── run │ ├── qtt003 │ ├── clinear.yaff │ ├── expected │ ├── input │ └── run │ ├── qtt004 │ ├── clinear.yaff │ ├── expected │ ├── input │ └── run │ ├── record001 │ ├── Record.yaff │ ├── expected │ ├── input │ └── run │ ├── record002 │ ├── Record.yaff │ ├── expected │ ├── input │ └── run │ ├── rewrite001 │ ├── expected │ ├── input │ ├── rewrite.yaff │ └── run │ ├── termination001 │ ├── IdrisIssue2448.yaff │ ├── expected │ ├── input │ └── run │ ├── termination002 │ ├── Paper.yaff │ ├── expected │ ├── input │ └── run │ └── with001 │ ├── With.yaff │ ├── expected │ ├── input │ └── run └── yaffle.ipkg /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/.gitignore -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /CONVENTIONS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/CONVENTIONS.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/README.md -------------------------------------------------------------------------------- /config.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/config.mk -------------------------------------------------------------------------------- /libs/base/Control/App.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Control/App.idr -------------------------------------------------------------------------------- /libs/base/Control/Ord.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Control/Ord.idr -------------------------------------------------------------------------------- /libs/base/Control/Order.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Control/Order.idr -------------------------------------------------------------------------------- /libs/base/Data/Bifoldable.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Bifoldable.idr -------------------------------------------------------------------------------- /libs/base/Data/Bits.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Bits.idr -------------------------------------------------------------------------------- /libs/base/Data/Bool.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Bool.idr -------------------------------------------------------------------------------- /libs/base/Data/Bool/Xor.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Bool/Xor.idr -------------------------------------------------------------------------------- /libs/base/Data/Buffer.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Buffer.idr -------------------------------------------------------------------------------- /libs/base/Data/Colist.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Colist.idr -------------------------------------------------------------------------------- /libs/base/Data/Colist1.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Colist1.idr -------------------------------------------------------------------------------- /libs/base/Data/DPair.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/DPair.idr -------------------------------------------------------------------------------- /libs/base/Data/Either.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Either.idr -------------------------------------------------------------------------------- /libs/base/Data/Fin.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Fin.idr -------------------------------------------------------------------------------- /libs/base/Data/Fin/Order.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Fin/Order.idr -------------------------------------------------------------------------------- /libs/base/Data/Fuel.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Fuel.idr -------------------------------------------------------------------------------- /libs/base/Data/Fun.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Fun.idr -------------------------------------------------------------------------------- /libs/base/Data/IOArray.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/IOArray.idr -------------------------------------------------------------------------------- /libs/base/Data/IORef.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/IORef.idr -------------------------------------------------------------------------------- /libs/base/Data/List.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/List.idr -------------------------------------------------------------------------------- /libs/base/Data/List/Elem.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/List/Elem.idr -------------------------------------------------------------------------------- /libs/base/Data/List/Views.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/List/Views.idr -------------------------------------------------------------------------------- /libs/base/Data/List1.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/List1.idr -------------------------------------------------------------------------------- /libs/base/Data/List1/Elem.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/List1/Elem.idr -------------------------------------------------------------------------------- /libs/base/Data/Maybe.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Maybe.idr -------------------------------------------------------------------------------- /libs/base/Data/Morphisms.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Morphisms.idr -------------------------------------------------------------------------------- /libs/base/Data/Nat.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Nat.idr -------------------------------------------------------------------------------- /libs/base/Data/Nat/Order.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Nat/Order.idr -------------------------------------------------------------------------------- /libs/base/Data/Nat/Views.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Nat/Views.idr -------------------------------------------------------------------------------- /libs/base/Data/Ref.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Ref.idr -------------------------------------------------------------------------------- /libs/base/Data/Rel.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Rel.idr -------------------------------------------------------------------------------- /libs/base/Data/Singleton.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Singleton.idr -------------------------------------------------------------------------------- /libs/base/Data/SnocList.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/SnocList.idr -------------------------------------------------------------------------------- /libs/base/Data/So.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/So.idr -------------------------------------------------------------------------------- /libs/base/Data/Stream.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Stream.idr -------------------------------------------------------------------------------- /libs/base/Data/String.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/String.idr -------------------------------------------------------------------------------- /libs/base/Data/These.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/These.idr -------------------------------------------------------------------------------- /libs/base/Data/Vect.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Vect.idr -------------------------------------------------------------------------------- /libs/base/Data/Vect/Elem.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Vect/Elem.idr -------------------------------------------------------------------------------- /libs/base/Data/Zippable.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Data/Zippable.idr -------------------------------------------------------------------------------- /libs/base/Debug/Trace.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Debug/Trace.idr -------------------------------------------------------------------------------- /libs/base/Deriving/Common.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Deriving/Common.idr -------------------------------------------------------------------------------- /libs/base/Deriving/Show.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Deriving/Show.idr -------------------------------------------------------------------------------- /libs/base/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/Makefile -------------------------------------------------------------------------------- /libs/base/System.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/System.idr -------------------------------------------------------------------------------- /libs/base/System/Clock.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/System/Clock.idr -------------------------------------------------------------------------------- /libs/base/System/Errno.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/System/Errno.idr -------------------------------------------------------------------------------- /libs/base/System/Escape.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/System/Escape.idr -------------------------------------------------------------------------------- /libs/base/System/FFI.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/System/FFI.idr -------------------------------------------------------------------------------- /libs/base/System/File.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/System/File.idr -------------------------------------------------------------------------------- /libs/base/System/Info.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/System/Info.idr -------------------------------------------------------------------------------- /libs/base/System/REPL.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/System/REPL.idr -------------------------------------------------------------------------------- /libs/base/System/Signal.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/System/Signal.idr -------------------------------------------------------------------------------- /libs/base/base.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/base/base.ipkg -------------------------------------------------------------------------------- /libs/contrib/Control/ANSI.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/contrib/Control/ANSI.idr -------------------------------------------------------------------------------- /libs/contrib/Data/Binary.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/contrib/Data/Binary.idr -------------------------------------------------------------------------------- /libs/contrib/Data/HVect.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/contrib/Data/HVect.idr -------------------------------------------------------------------------------- /libs/contrib/Data/IMaybe.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/contrib/Data/IMaybe.idr -------------------------------------------------------------------------------- /libs/contrib/Data/Late.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/contrib/Data/Late.idr -------------------------------------------------------------------------------- /libs/contrib/Data/Nat/Ack.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/contrib/Data/Nat/Ack.idr -------------------------------------------------------------------------------- /libs/contrib/Data/Nat/Fib.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/contrib/Data/Nat/Fib.idr -------------------------------------------------------------------------------- /libs/contrib/Data/Order.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/contrib/Data/Order.idr -------------------------------------------------------------------------------- /libs/contrib/Data/Path.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/contrib/Data/Path.idr -------------------------------------------------------------------------------- /libs/contrib/Data/Void.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/contrib/Data/Void.idr -------------------------------------------------------------------------------- /libs/contrib/Debug/Buffer.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/contrib/Debug/Buffer.idr -------------------------------------------------------------------------------- /libs/contrib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/contrib/Makefile -------------------------------------------------------------------------------- /libs/contrib/System/Path.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/contrib/System/Path.idr -------------------------------------------------------------------------------- /libs/contrib/Test/REDIRECT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/contrib/Test/REDIRECT.md -------------------------------------------------------------------------------- /libs/contrib/Text/Bounded.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/contrib/Text/Bounded.idr -------------------------------------------------------------------------------- /libs/contrib/Text/Lexer.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/contrib/Text/Lexer.idr -------------------------------------------------------------------------------- /libs/contrib/Text/Parser.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/contrib/Text/Parser.idr -------------------------------------------------------------------------------- /libs/contrib/Text/Token.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/contrib/Text/Token.idr -------------------------------------------------------------------------------- /libs/contrib/contrib.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/contrib/contrib.ipkg -------------------------------------------------------------------------------- /libs/linear/Data/Linear.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/linear/Data/Linear.idr -------------------------------------------------------------------------------- /libs/linear/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/linear/Makefile -------------------------------------------------------------------------------- /libs/linear/linear.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/linear/linear.ipkg -------------------------------------------------------------------------------- /libs/network/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/network/Makefile -------------------------------------------------------------------------------- /libs/network/Network/FFI.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/network/Network/FFI.idr -------------------------------------------------------------------------------- /libs/network/network.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/network/network.ipkg -------------------------------------------------------------------------------- /libs/prelude/Builtin.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/prelude/Builtin.idr -------------------------------------------------------------------------------- /libs/prelude/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/prelude/Makefile -------------------------------------------------------------------------------- /libs/prelude/Prelude.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/prelude/Prelude.idr -------------------------------------------------------------------------------- /libs/prelude/Prelude/Cast.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/prelude/Prelude/Cast.idr -------------------------------------------------------------------------------- /libs/prelude/Prelude/IO.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/prelude/Prelude/IO.idr -------------------------------------------------------------------------------- /libs/prelude/Prelude/Num.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/prelude/Prelude/Num.idr -------------------------------------------------------------------------------- /libs/prelude/Prelude/Ops.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/prelude/Prelude/Ops.idr -------------------------------------------------------------------------------- /libs/prelude/Prelude/Show.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/prelude/Prelude/Show.idr -------------------------------------------------------------------------------- /libs/prelude/PrimIO.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/prelude/PrimIO.idr -------------------------------------------------------------------------------- /libs/prelude/prelude.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/prelude/prelude.ipkg -------------------------------------------------------------------------------- /libs/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/test/Makefile -------------------------------------------------------------------------------- /libs/test/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/test/README.md -------------------------------------------------------------------------------- /libs/test/Test/Golden.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/test/Test/Golden.idr -------------------------------------------------------------------------------- /libs/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/libs/test/test.ipkg -------------------------------------------------------------------------------- /src/Compiler/ANF.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/ANF.idr -------------------------------------------------------------------------------- /src/Compiler/CaseOpts.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/CaseOpts.idr -------------------------------------------------------------------------------- /src/Compiler/Common.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/Common.idr -------------------------------------------------------------------------------- /src/Compiler/CompileExpr.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/CompileExpr.idr -------------------------------------------------------------------------------- /src/Compiler/ES/Ast.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/ES/Ast.idr -------------------------------------------------------------------------------- /src/Compiler/ES/Codegen.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/ES/Codegen.idr -------------------------------------------------------------------------------- /src/Compiler/ES/Doc.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/ES/Doc.idr -------------------------------------------------------------------------------- /src/Compiler/ES/Node.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/ES/Node.idr -------------------------------------------------------------------------------- /src/Compiler/ES/State.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/ES/State.idr -------------------------------------------------------------------------------- /src/Compiler/ES/TailRec.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/ES/TailRec.idr -------------------------------------------------------------------------------- /src/Compiler/ES/ToAst.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/ES/ToAst.idr -------------------------------------------------------------------------------- /src/Compiler/Generated.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/Generated.idr -------------------------------------------------------------------------------- /src/Compiler/Inline.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/Inline.idr -------------------------------------------------------------------------------- /src/Compiler/LambdaLift.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/LambdaLift.idr -------------------------------------------------------------------------------- /src/Compiler/NoMangle.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/NoMangle.idr -------------------------------------------------------------------------------- /src/Compiler/Opts/CSE.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/Opts/CSE.idr -------------------------------------------------------------------------------- /src/Compiler/RefC.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/RefC.idr -------------------------------------------------------------------------------- /src/Compiler/RefC/CC.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/RefC/CC.idr -------------------------------------------------------------------------------- /src/Compiler/RefC/RefC.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/RefC/RefC.idr -------------------------------------------------------------------------------- /src/Compiler/Scheme/Chez.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/Scheme/Chez.idr -------------------------------------------------------------------------------- /src/Compiler/Separate.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/Separate.idr -------------------------------------------------------------------------------- /src/Compiler/VMCode.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Compiler/VMCode.idr -------------------------------------------------------------------------------- /src/Core/AutoSearch.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/AutoSearch.idr -------------------------------------------------------------------------------- /src/Core/Binary.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Binary.idr -------------------------------------------------------------------------------- /src/Core/Binary/Prims.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Binary/Prims.idr -------------------------------------------------------------------------------- /src/Core/Case/Builder.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Case/Builder.idr -------------------------------------------------------------------------------- /src/Core/Case/Patterns.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Case/Patterns.idr -------------------------------------------------------------------------------- /src/Core/Case/Tree.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Case/Tree.idr -------------------------------------------------------------------------------- /src/Core/Case/Util.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Case/Util.idr -------------------------------------------------------------------------------- /src/Core/Check/Erase.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Check/Erase.idr -------------------------------------------------------------------------------- /src/Core/Check/Linear.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Check/Linear.idr -------------------------------------------------------------------------------- /src/Core/Check/Support.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Check/Support.idr -------------------------------------------------------------------------------- /src/Core/Check/Typecheck.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Check/Typecheck.idr -------------------------------------------------------------------------------- /src/Core/CompileExpr.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/CompileExpr.idr -------------------------------------------------------------------------------- /src/Core/Context.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Context.idr -------------------------------------------------------------------------------- /src/Core/Context/Ctxt.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Context/Ctxt.idr -------------------------------------------------------------------------------- /src/Core/Context/CtxtData.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Context/CtxtData.idr -------------------------------------------------------------------------------- /src/Core/Context/Data.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Context/Data.idr -------------------------------------------------------------------------------- /src/Core/Context/Def.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Context/Def.idr -------------------------------------------------------------------------------- /src/Core/Context/Log.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Context/Log.idr -------------------------------------------------------------------------------- /src/Core/Core.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Core.idr -------------------------------------------------------------------------------- /src/Core/Coverage.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Coverage.idr -------------------------------------------------------------------------------- /src/Core/Directory.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Directory.idr -------------------------------------------------------------------------------- /src/Core/Env.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Env.idr -------------------------------------------------------------------------------- /src/Core/Error.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Error.idr -------------------------------------------------------------------------------- /src/Core/Evaluate.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Evaluate.idr -------------------------------------------------------------------------------- /src/Core/Evaluate/Compile.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Evaluate/Compile.idr -------------------------------------------------------------------------------- /src/Core/Evaluate/Convert.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Evaluate/Convert.idr -------------------------------------------------------------------------------- /src/Core/Evaluate/Quote.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Evaluate/Quote.idr -------------------------------------------------------------------------------- /src/Core/Evaluate/Value.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Evaluate/Value.idr -------------------------------------------------------------------------------- /src/Core/FC.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/FC.idr -------------------------------------------------------------------------------- /src/Core/Hash.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Hash.idr -------------------------------------------------------------------------------- /src/Core/InitPrimitives.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/InitPrimitives.idr -------------------------------------------------------------------------------- /src/Core/Metadata.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Metadata.idr -------------------------------------------------------------------------------- /src/Core/Options.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Options.idr -------------------------------------------------------------------------------- /src/Core/Options/Log.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Options/Log.idr -------------------------------------------------------------------------------- /src/Core/Ord.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Ord.idr -------------------------------------------------------------------------------- /src/Core/Primitives.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Primitives.idr -------------------------------------------------------------------------------- /src/Core/Reflect.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Reflect.idr -------------------------------------------------------------------------------- /src/Core/Search.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Search.idr -------------------------------------------------------------------------------- /src/Core/Syntax/Decls.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Syntax/Decls.idr -------------------------------------------------------------------------------- /src/Core/Syntax/Lexer.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Syntax/Lexer.idr -------------------------------------------------------------------------------- /src/Core/Syntax/Parser.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Syntax/Parser.idr -------------------------------------------------------------------------------- /src/Core/Syntax/Raw.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Syntax/Raw.idr -------------------------------------------------------------------------------- /src/Core/Syntax/Support.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Syntax/Support.idr -------------------------------------------------------------------------------- /src/Core/TT.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/TT.idr -------------------------------------------------------------------------------- /src/Core/TT/Name.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/TT/Name.idr -------------------------------------------------------------------------------- /src/Core/TT/Namespace.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/TT/Namespace.idr -------------------------------------------------------------------------------- /src/Core/TT/RigCount.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/TT/RigCount.idr -------------------------------------------------------------------------------- /src/Core/TT/TT.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/TT/TT.idr -------------------------------------------------------------------------------- /src/Core/TT/Traversals.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/TT/Traversals.idr -------------------------------------------------------------------------------- /src/Core/TT/Universes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/TT/Universes.idr -------------------------------------------------------------------------------- /src/Core/TT/Views.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/TT/Views.idr -------------------------------------------------------------------------------- /src/Core/TTC.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/TTC.idr -------------------------------------------------------------------------------- /src/Core/TTCFile.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/TTCFile.idr -------------------------------------------------------------------------------- /src/Core/Termination.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Termination.idr -------------------------------------------------------------------------------- /src/Core/Transform.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Transform.idr -------------------------------------------------------------------------------- /src/Core/Unify.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Unify.idr -------------------------------------------------------------------------------- /src/Core/Unify/SolveMeta.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Unify/SolveMeta.idr -------------------------------------------------------------------------------- /src/Core/Unify/State.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Unify/State.idr -------------------------------------------------------------------------------- /src/Core/Unify/Unify.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Unify/Unify.idr -------------------------------------------------------------------------------- /src/Core/Warning.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Core/Warning.idr -------------------------------------------------------------------------------- /src/Idris/CommandLine.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/CommandLine.idr -------------------------------------------------------------------------------- /src/Idris/Desugar.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Desugar.idr -------------------------------------------------------------------------------- /src/Idris/Desugar/Mutual.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Desugar/Mutual.idr -------------------------------------------------------------------------------- /src/Idris/Doc/Annotations.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Doc/Annotations.idr -------------------------------------------------------------------------------- /src/Idris/Doc/Brackets.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Doc/Brackets.idr -------------------------------------------------------------------------------- /src/Idris/Doc/Display.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Doc/Display.idr -------------------------------------------------------------------------------- /src/Idris/Doc/HTML.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Doc/HTML.idr -------------------------------------------------------------------------------- /src/Idris/Doc/Keywords.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Doc/Keywords.idr -------------------------------------------------------------------------------- /src/Idris/Doc/String.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Doc/String.idr -------------------------------------------------------------------------------- /src/Idris/Driver.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Driver.idr -------------------------------------------------------------------------------- /src/Idris/Elab/Interface.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Elab/Interface.idr -------------------------------------------------------------------------------- /src/Idris/Env.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Env.idr -------------------------------------------------------------------------------- /src/Idris/Error.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Error.idr -------------------------------------------------------------------------------- /src/Idris/IDEMode/Holes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/IDEMode/Holes.idr -------------------------------------------------------------------------------- /src/Idris/IDEMode/Parser.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/IDEMode/Parser.idr -------------------------------------------------------------------------------- /src/Idris/IDEMode/Pretty.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/IDEMode/Pretty.idr -------------------------------------------------------------------------------- /src/Idris/IDEMode/REPL.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/IDEMode/REPL.idr -------------------------------------------------------------------------------- /src/Idris/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Main.idr -------------------------------------------------------------------------------- /src/Idris/ModTree.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/ModTree.idr -------------------------------------------------------------------------------- /src/Idris/Package.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Package.idr -------------------------------------------------------------------------------- /src/Idris/Package/Init.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Package/Init.idr -------------------------------------------------------------------------------- /src/Idris/Package/Types.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Package/Types.idr -------------------------------------------------------------------------------- /src/Idris/Parser.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Parser.idr -------------------------------------------------------------------------------- /src/Idris/Parser/Let.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Parser/Let.idr -------------------------------------------------------------------------------- /src/Idris/Pretty.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Pretty.idr -------------------------------------------------------------------------------- /src/Idris/Pretty/Context.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Pretty/Context.idr -------------------------------------------------------------------------------- /src/Idris/Pretty/Render.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Pretty/Render.idr -------------------------------------------------------------------------------- /src/Idris/Pretty/TT.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Pretty/TT.idr -------------------------------------------------------------------------------- /src/Idris/ProcessIdr.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/ProcessIdr.idr -------------------------------------------------------------------------------- /src/Idris/REPL.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/REPL.idr -------------------------------------------------------------------------------- /src/Idris/REPL/Common.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/REPL/Common.idr -------------------------------------------------------------------------------- /src/Idris/REPL/Opts.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/REPL/Opts.idr -------------------------------------------------------------------------------- /src/Idris/Resugar.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Resugar.idr -------------------------------------------------------------------------------- /src/Idris/SetOptions.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/SetOptions.idr -------------------------------------------------------------------------------- /src/Idris/Syntax.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Syntax.idr -------------------------------------------------------------------------------- /src/Idris/Syntax/Builtin.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Syntax/Builtin.idr -------------------------------------------------------------------------------- /src/Idris/Syntax/Pragmas.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Syntax/Pragmas.idr -------------------------------------------------------------------------------- /src/Idris/Syntax/TTC.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Syntax/TTC.idr -------------------------------------------------------------------------------- /src/Idris/Syntax/Views.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Syntax/Views.idr -------------------------------------------------------------------------------- /src/Idris/Version.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Idris/Version.idr -------------------------------------------------------------------------------- /src/Libraries/Data/DList.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Libraries/Data/DList.idr -------------------------------------------------------------------------------- /src/Libraries/Data/Fin.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Libraries/Data/Fin.idr -------------------------------------------------------------------------------- /src/Libraries/Data/Graph.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Libraries/Data/Graph.idr -------------------------------------------------------------------------------- /src/Libraries/Data/IMaybe.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Libraries/Data/IMaybe.idr -------------------------------------------------------------------------------- /src/Libraries/Data/IntMap.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Libraries/Data/IntMap.idr -------------------------------------------------------------------------------- /src/Libraries/Data/List1.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Libraries/Data/List1.idr -------------------------------------------------------------------------------- /src/Libraries/Data/PosMap.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Libraries/Data/PosMap.idr -------------------------------------------------------------------------------- /src/Libraries/Data/Span.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Libraries/Data/Span.idr -------------------------------------------------------------------------------- /src/Libraries/Data/Tap.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Libraries/Data/Tap.idr -------------------------------------------------------------------------------- /src/Libraries/System/File.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Libraries/System/File.idr -------------------------------------------------------------------------------- /src/Libraries/Text/Lexer.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Libraries/Text/Lexer.idr -------------------------------------------------------------------------------- /src/Libraries/Text/Parser.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Libraries/Text/Parser.idr -------------------------------------------------------------------------------- /src/Libraries/Text/Token.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Libraries/Text/Token.idr -------------------------------------------------------------------------------- /src/Libraries/Utils/Octal.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Libraries/Utils/Octal.idr -------------------------------------------------------------------------------- /src/Libraries/Utils/Path.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Libraries/Utils/Path.idr -------------------------------------------------------------------------------- /src/Libraries/Utils/Term.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Libraries/Utils/Term.idr -------------------------------------------------------------------------------- /src/Parser/Lexer/Common.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Parser/Lexer/Common.idr -------------------------------------------------------------------------------- /src/Parser/Lexer/Package.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Parser/Lexer/Package.idr -------------------------------------------------------------------------------- /src/Parser/Lexer/Source.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Parser/Lexer/Source.idr -------------------------------------------------------------------------------- /src/Parser/Package.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Parser/Package.idr -------------------------------------------------------------------------------- /src/Parser/Rule/Package.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Parser/Rule/Package.idr -------------------------------------------------------------------------------- /src/Parser/Rule/Source.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Parser/Rule/Source.idr -------------------------------------------------------------------------------- /src/Parser/Source.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Parser/Source.idr -------------------------------------------------------------------------------- /src/Parser/Support.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Parser/Support.idr -------------------------------------------------------------------------------- /src/Parser/Unlit.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Parser/Unlit.idr -------------------------------------------------------------------------------- /src/Protocol/Hex.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Protocol/Hex.idr -------------------------------------------------------------------------------- /src/Protocol/IDE.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Protocol/IDE.idr -------------------------------------------------------------------------------- /src/Protocol/IDE/Command.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Protocol/IDE/Command.idr -------------------------------------------------------------------------------- /src/Protocol/IDE/Holes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Protocol/IDE/Holes.idr -------------------------------------------------------------------------------- /src/Protocol/IDE/Result.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Protocol/IDE/Result.idr -------------------------------------------------------------------------------- /src/Protocol/SExp.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Protocol/SExp.idr -------------------------------------------------------------------------------- /src/Protocol/SExp/Parser.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Protocol/SExp/Parser.idr -------------------------------------------------------------------------------- /src/TTImp/BindImplicits.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/BindImplicits.idr -------------------------------------------------------------------------------- /src/TTImp/Elab.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Elab.idr -------------------------------------------------------------------------------- /src/TTImp/Elab/Ambiguity.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Elab/Ambiguity.idr -------------------------------------------------------------------------------- /src/TTImp/Elab/App.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Elab/App.idr -------------------------------------------------------------------------------- /src/TTImp/Elab/As.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Elab/As.idr -------------------------------------------------------------------------------- /src/TTImp/Elab/Binders.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Elab/Binders.idr -------------------------------------------------------------------------------- /src/TTImp/Elab/Case.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Elab/Case.idr -------------------------------------------------------------------------------- /src/TTImp/Elab/Check.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Elab/Check.idr -------------------------------------------------------------------------------- /src/TTImp/Elab/Delayed.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Elab/Delayed.idr -------------------------------------------------------------------------------- /src/TTImp/Elab/Dot.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Elab/Dot.idr -------------------------------------------------------------------------------- /src/TTImp/Elab/Hole.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Elab/Hole.idr -------------------------------------------------------------------------------- /src/TTImp/Elab/Lazy.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Elab/Lazy.idr -------------------------------------------------------------------------------- /src/TTImp/Elab/Local.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Elab/Local.idr -------------------------------------------------------------------------------- /src/TTImp/Elab/Prim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Elab/Prim.idr -------------------------------------------------------------------------------- /src/TTImp/Elab/Quote.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Elab/Quote.idr -------------------------------------------------------------------------------- /src/TTImp/Elab/Record.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Elab/Record.idr -------------------------------------------------------------------------------- /src/TTImp/Elab/Rewrite.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Elab/Rewrite.idr -------------------------------------------------------------------------------- /src/TTImp/Elab/RunElab.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Elab/RunElab.idr -------------------------------------------------------------------------------- /src/TTImp/Elab/Term.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Elab/Term.idr -------------------------------------------------------------------------------- /src/TTImp/Elab/Utils.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Elab/Utils.idr -------------------------------------------------------------------------------- /src/TTImp/Impossible.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Impossible.idr -------------------------------------------------------------------------------- /src/TTImp/Parser.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Parser.idr -------------------------------------------------------------------------------- /src/TTImp/ProcessBuiltin.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/ProcessBuiltin.idr -------------------------------------------------------------------------------- /src/TTImp/ProcessData.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/ProcessData.idr -------------------------------------------------------------------------------- /src/TTImp/ProcessDef.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/ProcessDef.idr -------------------------------------------------------------------------------- /src/TTImp/ProcessFailing.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/ProcessFailing.idr -------------------------------------------------------------------------------- /src/TTImp/ProcessFile.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/ProcessFile.idr -------------------------------------------------------------------------------- /src/TTImp/ProcessParams.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/ProcessParams.idr -------------------------------------------------------------------------------- /src/TTImp/ProcessRecord.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/ProcessRecord.idr -------------------------------------------------------------------------------- /src/TTImp/ProcessRunElab.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/ProcessRunElab.idr -------------------------------------------------------------------------------- /src/TTImp/ProcessType.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/ProcessType.idr -------------------------------------------------------------------------------- /src/TTImp/Reflect.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Reflect.idr -------------------------------------------------------------------------------- /src/TTImp/TTImp.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/TTImp.idr -------------------------------------------------------------------------------- /src/TTImp/TTImp/Functor.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/TTImp/Functor.idr -------------------------------------------------------------------------------- /src/TTImp/TTImp/TTC.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/TTImp/TTC.idr -------------------------------------------------------------------------------- /src/TTImp/Unelab.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Unelab.idr -------------------------------------------------------------------------------- /src/TTImp/Utils.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/Utils.idr -------------------------------------------------------------------------------- /src/TTImp/WithClause.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTImp/WithClause.idr -------------------------------------------------------------------------------- /src/TTMain/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTMain/Main.idr -------------------------------------------------------------------------------- /src/TTMain/ProcessTT.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTMain/ProcessTT.idr -------------------------------------------------------------------------------- /src/TTMain/REPL.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/TTMain/REPL.idr -------------------------------------------------------------------------------- /src/Test/TryEval.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Test/TryEval.idr -------------------------------------------------------------------------------- /src/Yaffle/REPL.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/src/Yaffle/REPL.idr -------------------------------------------------------------------------------- /support/c/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/.gitignore -------------------------------------------------------------------------------- /support/c/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/Makefile -------------------------------------------------------------------------------- /support/c/getline.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/getline.c -------------------------------------------------------------------------------- /support/c/getline.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/getline.h -------------------------------------------------------------------------------- /support/c/idris_directory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/idris_directory.c -------------------------------------------------------------------------------- /support/c/idris_directory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/idris_directory.h -------------------------------------------------------------------------------- /support/c/idris_file.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/idris_file.c -------------------------------------------------------------------------------- /support/c/idris_file.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/idris_file.h -------------------------------------------------------------------------------- /support/c/idris_memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/idris_memory.c -------------------------------------------------------------------------------- /support/c/idris_memory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/idris_memory.h -------------------------------------------------------------------------------- /support/c/idris_net.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/idris_net.c -------------------------------------------------------------------------------- /support/c/idris_net.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/idris_net.h -------------------------------------------------------------------------------- /support/c/idris_signal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/idris_signal.c -------------------------------------------------------------------------------- /support/c/idris_signal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/idris_signal.h -------------------------------------------------------------------------------- /support/c/idris_support.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/idris_support.c -------------------------------------------------------------------------------- /support/c/idris_support.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/idris_support.h -------------------------------------------------------------------------------- /support/c/idris_system.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/idris_system.c -------------------------------------------------------------------------------- /support/c/idris_system.h: -------------------------------------------------------------------------------- 1 | #pragma once 2 | 3 | int idris2_system(const char *command); 4 | -------------------------------------------------------------------------------- /support/c/idris_term.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/idris_term.c -------------------------------------------------------------------------------- /support/c/idris_term.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/idris_term.h -------------------------------------------------------------------------------- /support/c/idris_util.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/idris_util.c -------------------------------------------------------------------------------- /support/c/idris_util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/idris_util.h -------------------------------------------------------------------------------- /support/c/windows/win_hack.c: -------------------------------------------------------------------------------- 1 | int chmod(char **str, int perm) { return 0; } 2 | -------------------------------------------------------------------------------- /support/c/windows/win_utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/windows/win_utils.c -------------------------------------------------------------------------------- /support/c/windows/win_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/c/windows/win_utils.h -------------------------------------------------------------------------------- /support/chez/.gitignore: -------------------------------------------------------------------------------- 1 | support-sep.ss 2 | -------------------------------------------------------------------------------- /support/chez/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/chez/Makefile -------------------------------------------------------------------------------- /support/chez/ct-support.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/chez/ct-support.ss -------------------------------------------------------------------------------- /support/chez/support.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/chez/support.ss -------------------------------------------------------------------------------- /support/docs/alternative.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/docs/alternative.css -------------------------------------------------------------------------------- /support/docs/default.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/docs/default.css -------------------------------------------------------------------------------- /support/docs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/docs/index.html -------------------------------------------------------------------------------- /support/js/support.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/js/support.js -------------------------------------------------------------------------------- /support/js/support_system.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/js/support_system.js -------------------------------------------------------------------------------- /support/racket/ct-support.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/racket/ct-support.rkt -------------------------------------------------------------------------------- /support/racket/support.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/racket/support.rkt -------------------------------------------------------------------------------- /support/refc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/Makefile -------------------------------------------------------------------------------- /support/refc/_datatypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/_datatypes.h -------------------------------------------------------------------------------- /support/refc/buffer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/buffer.c -------------------------------------------------------------------------------- /support/refc/buffer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/buffer.h -------------------------------------------------------------------------------- /support/refc/cBackend.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/cBackend.h -------------------------------------------------------------------------------- /support/refc/casts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/casts.c -------------------------------------------------------------------------------- /support/refc/casts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/casts.h -------------------------------------------------------------------------------- /support/refc/clock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/clock.c -------------------------------------------------------------------------------- /support/refc/clock.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/clock.h -------------------------------------------------------------------------------- /support/refc/conCaseHelper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/conCaseHelper.c -------------------------------------------------------------------------------- /support/refc/conCaseHelper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/conCaseHelper.h -------------------------------------------------------------------------------- /support/refc/mathFunctions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/mathFunctions.c -------------------------------------------------------------------------------- /support/refc/mathFunctions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/mathFunctions.h -------------------------------------------------------------------------------- /support/refc/prim.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/prim.c -------------------------------------------------------------------------------- /support/refc/prim.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/prim.h -------------------------------------------------------------------------------- /support/refc/refc_util.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/refc_util.c -------------------------------------------------------------------------------- /support/refc/refc_util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/refc_util.h -------------------------------------------------------------------------------- /support/refc/runtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/runtime.c -------------------------------------------------------------------------------- /support/refc/runtime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/runtime.h -------------------------------------------------------------------------------- /support/refc/stringOps.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/stringOps.c -------------------------------------------------------------------------------- /support/refc/stringOps.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/stringOps.h -------------------------------------------------------------------------------- /support/refc/threads.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/threads.c -------------------------------------------------------------------------------- /support/refc/threads.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/support/refc/threads.h -------------------------------------------------------------------------------- /tests/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/Main.idr -------------------------------------------------------------------------------- /tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/Makefile -------------------------------------------------------------------------------- /tests/chez/barrier001/input: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/chez/barrier001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/barrier001/run -------------------------------------------------------------------------------- /tests/chez/bitops/BitOps.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/bitops/BitOps.idr -------------------------------------------------------------------------------- /tests/chez/bitops/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/bitops/expected -------------------------------------------------------------------------------- /tests/chez/bitops/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/bitops/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/bitops/run -------------------------------------------------------------------------------- /tests/chez/buffer001/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/buffer001/Main.idr -------------------------------------------------------------------------------- /tests/chez/buffer001/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/buffer001/expected -------------------------------------------------------------------------------- /tests/chez/buffer001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/buffer001/run -------------------------------------------------------------------------------- /tests/chez/casts/Casts.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/casts/Casts.idr -------------------------------------------------------------------------------- /tests/chez/casts/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/casts/expected -------------------------------------------------------------------------------- /tests/chez/casts/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/casts/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/casts/run -------------------------------------------------------------------------------- /tests/chez/chez001/Total.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez001/Total.idr -------------------------------------------------------------------------------- /tests/chez/chez001/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez001/expected -------------------------------------------------------------------------------- /tests/chez/chez001/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez001/run -------------------------------------------------------------------------------- /tests/chez/chez002/Pythag.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez002/Pythag.idr -------------------------------------------------------------------------------- /tests/chez/chez002/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez002/expected -------------------------------------------------------------------------------- /tests/chez/chez002/input: -------------------------------------------------------------------------------- 1 | :exec printLn (pythag 200) 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez002/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez002/run -------------------------------------------------------------------------------- /tests/chez/chez003/IORef.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez003/IORef.idr -------------------------------------------------------------------------------- /tests/chez/chez003/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez003/expected -------------------------------------------------------------------------------- /tests/chez/chez003/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez003/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez003/run -------------------------------------------------------------------------------- /tests/chez/chez004/Buffer.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez004/Buffer.idr -------------------------------------------------------------------------------- /tests/chez/chez004/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez004/expected -------------------------------------------------------------------------------- /tests/chez/chez004/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez004/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez004/run -------------------------------------------------------------------------------- /tests/chez/chez005/Filter.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez005/Filter.idr -------------------------------------------------------------------------------- /tests/chez/chez005/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez005/expected -------------------------------------------------------------------------------- /tests/chez/chez005/input: -------------------------------------------------------------------------------- 1 | :exec printLn (Main.filter even [S Z,2,3,4,5,6]) 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez005/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez005/run -------------------------------------------------------------------------------- /tests/chez/chez006/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez006/expected -------------------------------------------------------------------------------- /tests/chez/chez006/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez006/input -------------------------------------------------------------------------------- /tests/chez/chez006/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez006/run -------------------------------------------------------------------------------- /tests/chez/chez007/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez007/expected -------------------------------------------------------------------------------- /tests/chez/chez007/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez007/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez007/run -------------------------------------------------------------------------------- /tests/chez/chez008/Nat.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez008/Nat.idr -------------------------------------------------------------------------------- /tests/chez/chez008/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez008/expected -------------------------------------------------------------------------------- /tests/chez/chez008/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez008/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez008/run -------------------------------------------------------------------------------- /tests/chez/chez009/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez009/expected -------------------------------------------------------------------------------- /tests/chez/chez009/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez009/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez009/run -------------------------------------------------------------------------------- /tests/chez/chez009/uni.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez009/uni.idr -------------------------------------------------------------------------------- /tests/chez/chez010/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez010/.gitignore -------------------------------------------------------------------------------- /tests/chez/chez010/CB.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez010/CB.idr -------------------------------------------------------------------------------- /tests/chez/chez010/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez010/Makefile -------------------------------------------------------------------------------- /tests/chez/chez010/cblib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez010/cblib.c -------------------------------------------------------------------------------- /tests/chez/chez010/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez010/expected -------------------------------------------------------------------------------- /tests/chez/chez010/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez010/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez010/run -------------------------------------------------------------------------------- /tests/chez/chez011/bangs.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez011/bangs.idr -------------------------------------------------------------------------------- /tests/chez/chez011/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez011/expected -------------------------------------------------------------------------------- /tests/chez/chez011/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez011/input -------------------------------------------------------------------------------- /tests/chez/chez011/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez011/run -------------------------------------------------------------------------------- /tests/chez/chez012/array.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez012/array.idr -------------------------------------------------------------------------------- /tests/chez/chez012/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez012/expected -------------------------------------------------------------------------------- /tests/chez/chez012/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez012/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez012/run -------------------------------------------------------------------------------- /tests/chez/chez013/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez013/.gitignore -------------------------------------------------------------------------------- /tests/chez/chez013/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez013/Makefile -------------------------------------------------------------------------------- /tests/chez/chez013/Struct.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez013/Struct.idr -------------------------------------------------------------------------------- /tests/chez/chez013/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez013/expected -------------------------------------------------------------------------------- /tests/chez/chez013/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez013/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez013/run -------------------------------------------------------------------------------- /tests/chez/chez013/struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez013/struct.c -------------------------------------------------------------------------------- /tests/chez/chez013/struct.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez013/struct.h -------------------------------------------------------------------------------- /tests/chez/chez014/Echo.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez014/Echo.idr -------------------------------------------------------------------------------- /tests/chez/chez014/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez014/expected -------------------------------------------------------------------------------- /tests/chez/chez014/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez014/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez014/run -------------------------------------------------------------------------------- /tests/chez/chez015/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez015/expected -------------------------------------------------------------------------------- /tests/chez/chez015/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez015/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez015/run -------------------------------------------------------------------------------- /tests/chez/chez016/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez016/expected -------------------------------------------------------------------------------- /tests/chez/chez016/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez016/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez016/run -------------------------------------------------------------------------------- /tests/chez/chez017/.gitignore: -------------------------------------------------------------------------------- 1 | /expected 2 | 3 | -------------------------------------------------------------------------------- /tests/chez/chez017/dir.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez017/dir.idr -------------------------------------------------------------------------------- /tests/chez/chez017/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez017/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez017/run -------------------------------------------------------------------------------- /tests/chez/chez018/File.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez018/File.idr -------------------------------------------------------------------------------- /tests/chez/chez018/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez018/expected -------------------------------------------------------------------------------- /tests/chez/chez018/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez018/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez018/run -------------------------------------------------------------------------------- /tests/chez/chez018/test.txt: -------------------------------------------------------------------------------- 1 | test test 2 | unfinished line -------------------------------------------------------------------------------- /tests/chez/chez019/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez019/expected -------------------------------------------------------------------------------- /tests/chez/chez019/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez019/input -------------------------------------------------------------------------------- /tests/chez/chez019/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez019/run -------------------------------------------------------------------------------- /tests/chez/chez020/Popen.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez020/Popen.idr -------------------------------------------------------------------------------- /tests/chez/chez020/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez020/expected -------------------------------------------------------------------------------- /tests/chez/chez020/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez020/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez020/run -------------------------------------------------------------------------------- /tests/chez/chez021/Bits.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez021/Bits.idr -------------------------------------------------------------------------------- /tests/chez/chez021/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez021/expected -------------------------------------------------------------------------------- /tests/chez/chez021/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez021/input -------------------------------------------------------------------------------- /tests/chez/chez021/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez021/run -------------------------------------------------------------------------------- /tests/chez/chez022/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez022/Makefile -------------------------------------------------------------------------------- /tests/chez/chez022/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez022/expected -------------------------------------------------------------------------------- /tests/chez/chez022/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez022/mkalloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez022/mkalloc.c -------------------------------------------------------------------------------- /tests/chez/chez022/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez022/run -------------------------------------------------------------------------------- /tests/chez/chez023/File.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez023/File.idr -------------------------------------------------------------------------------- /tests/chez/chez023/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez023/expected -------------------------------------------------------------------------------- /tests/chez/chez023/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez023/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez023/run -------------------------------------------------------------------------------- /tests/chez/chez024/Envy.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez024/Envy.idr -------------------------------------------------------------------------------- /tests/chez/chez024/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez024/expected -------------------------------------------------------------------------------- /tests/chez/chez024/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez024/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez024/run -------------------------------------------------------------------------------- /tests/chez/chez025/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez025/expected -------------------------------------------------------------------------------- /tests/chez/chez025/input: -------------------------------------------------------------------------------- 1 | :exec printLn (stsum [1..1000]) 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez025/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez025/run -------------------------------------------------------------------------------- /tests/chez/chez025/runst.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez025/runst.idr -------------------------------------------------------------------------------- /tests/chez/chez026/Dummy.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez026/Dummy.idr -------------------------------------------------------------------------------- /tests/chez/chez026/dummy.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez026/dummy.ipkg -------------------------------------------------------------------------------- /tests/chez/chez026/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez026/expected -------------------------------------------------------------------------------- /tests/chez/chez026/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez026/run -------------------------------------------------------------------------------- /tests/chez/chez027/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez027/expected -------------------------------------------------------------------------------- /tests/chez/chez027/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez027/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez027/run -------------------------------------------------------------------------------- /tests/chez/chez028/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez028/expected -------------------------------------------------------------------------------- /tests/chez/chez028/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez028/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez028/run -------------------------------------------------------------------------------- /tests/chez/chez029/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez029/expected -------------------------------------------------------------------------------- /tests/chez/chez029/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez029/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez029/run -------------------------------------------------------------------------------- /tests/chez/chez030/expected: -------------------------------------------------------------------------------- 1 | 6 * 7 = 42 2 | -------------------------------------------------------------------------------- /tests/chez/chez030/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez030/run -------------------------------------------------------------------------------- /tests/chez/chez031/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez031/expected -------------------------------------------------------------------------------- /tests/chez/chez031/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez031/input -------------------------------------------------------------------------------- /tests/chez/chez031/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez031/run -------------------------------------------------------------------------------- /tests/chez/chez032/BitOps.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez032/BitOps.idr -------------------------------------------------------------------------------- /tests/chez/chez032/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez032/expected -------------------------------------------------------------------------------- /tests/chez/chez032/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez032/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez032/run -------------------------------------------------------------------------------- /tests/chez/chez033/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez033/Main.idr -------------------------------------------------------------------------------- /tests/chez/chez033/Mod.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez033/Mod.idr -------------------------------------------------------------------------------- /tests/chez/chez033/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez033/expected -------------------------------------------------------------------------------- /tests/chez/chez033/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez033/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez033/run -------------------------------------------------------------------------------- /tests/chez/chez034/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez034/expected -------------------------------------------------------------------------------- /tests/chez/chez034/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/chez034/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez034/run -------------------------------------------------------------------------------- /tests/chez/chez035/Mod1.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez035/Mod1.idr -------------------------------------------------------------------------------- /tests/chez/chez035/Mod2.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez035/Mod2.idr -------------------------------------------------------------------------------- /tests/chez/chez035/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez035/expected -------------------------------------------------------------------------------- /tests/chez/chez035/input: -------------------------------------------------------------------------------- 1 | :q 2 | -------------------------------------------------------------------------------- /tests/chez/chez035/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/chez035/run -------------------------------------------------------------------------------- /tests/chez/constfold/Fold.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/constfold/Fold.idr -------------------------------------------------------------------------------- /tests/chez/constfold/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/constfold/expected -------------------------------------------------------------------------------- /tests/chez/constfold/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/constfold/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/constfold/run -------------------------------------------------------------------------------- /tests/chez/constfold2/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/constfold2/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/constfold2/run -------------------------------------------------------------------------------- /tests/chez/constfold3/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/constfold3/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/constfold3/run -------------------------------------------------------------------------------- /tests/chez/forkjoin001/expected: -------------------------------------------------------------------------------- 1 | Hello 2 | Goodbye 3 | -------------------------------------------------------------------------------- /tests/chez/forkjoin001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/forkjoin001/run -------------------------------------------------------------------------------- /tests/chez/futures001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/futures001/run -------------------------------------------------------------------------------- /tests/chez/inlineiobind/expected: -------------------------------------------------------------------------------- 1 | io_bind correctly inlined 2 | -------------------------------------------------------------------------------- /tests/chez/inlineiobind/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/inlineiobind/run -------------------------------------------------------------------------------- /tests/chez/integers/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/integers/expected -------------------------------------------------------------------------------- /tests/chez/integers/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/integers/run -------------------------------------------------------------------------------- /tests/chez/memo/Memo.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/memo/Memo.idr -------------------------------------------------------------------------------- /tests/chez/memo/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/memo/expected -------------------------------------------------------------------------------- /tests/chez/memo/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/memo/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/memo/run -------------------------------------------------------------------------------- /tests/chez/nat2fin/Check.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/nat2fin/Check.idr -------------------------------------------------------------------------------- /tests/chez/nat2fin/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/nat2fin/Test.idr -------------------------------------------------------------------------------- /tests/chez/nat2fin/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/nat2fin/expected -------------------------------------------------------------------------------- /tests/chez/nat2fin/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/nat2fin/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/nat2fin/run -------------------------------------------------------------------------------- /tests/chez/newints/IntOps.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/newints/IntOps.idr -------------------------------------------------------------------------------- /tests/chez/newints/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/newints/expected -------------------------------------------------------------------------------- /tests/chez/newints/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/chez/newints/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/newints/run -------------------------------------------------------------------------------- /tests/chez/perf001/Fact.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/perf001/Fact.idr -------------------------------------------------------------------------------- /tests/chez/perf001/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/perf001/expected -------------------------------------------------------------------------------- /tests/chez/perf001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/perf001/run -------------------------------------------------------------------------------- /tests/chez/reg001/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/reg001/expected -------------------------------------------------------------------------------- /tests/chez/reg001/numbers.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/reg001/numbers.idr -------------------------------------------------------------------------------- /tests/chez/reg001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/reg001/run -------------------------------------------------------------------------------- /tests/chez/semaphores001/expected: -------------------------------------------------------------------------------- 1 | Hello 2 | Goodbye 3 | -------------------------------------------------------------------------------- /tests/chez/semaphores001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/semaphores001/run -------------------------------------------------------------------------------- /tests/chez/semaphores002/expected: -------------------------------------------------------------------------------- 1 | Hello 2 | Goodbye 3 | -------------------------------------------------------------------------------- /tests/chez/semaphores002/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/chez/semaphores002/run -------------------------------------------------------------------------------- /tests/idris2/basic001/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic001/input -------------------------------------------------------------------------------- /tests/idris2/basic001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic001/run -------------------------------------------------------------------------------- /tests/idris2/basic002/Do.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic002/Do.idr -------------------------------------------------------------------------------- /tests/idris2/basic002/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic002/input -------------------------------------------------------------------------------- /tests/idris2/basic002/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic002/run -------------------------------------------------------------------------------- /tests/idris2/basic003/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic003/run -------------------------------------------------------------------------------- /tests/idris2/basic004/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic004/input -------------------------------------------------------------------------------- /tests/idris2/basic004/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic004/run -------------------------------------------------------------------------------- /tests/idris2/basic005/NoInfer.idr: -------------------------------------------------------------------------------- 1 | foo : ? -> Int 2 | foo x = 42 3 | -------------------------------------------------------------------------------- /tests/idris2/basic005/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic005/run -------------------------------------------------------------------------------- /tests/idris2/basic006/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic006/input -------------------------------------------------------------------------------- /tests/idris2/basic006/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic006/run -------------------------------------------------------------------------------- /tests/idris2/basic007/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic007/input -------------------------------------------------------------------------------- /tests/idris2/basic007/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic007/run -------------------------------------------------------------------------------- /tests/idris2/basic008/If.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic008/If.idr -------------------------------------------------------------------------------- /tests/idris2/basic008/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic008/input -------------------------------------------------------------------------------- /tests/idris2/basic008/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic008/run -------------------------------------------------------------------------------- /tests/idris2/basic009/input: -------------------------------------------------------------------------------- 1 | :t foo 2 | :q 3 | -------------------------------------------------------------------------------- /tests/idris2/basic009/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic009/run -------------------------------------------------------------------------------- /tests/idris2/basic010/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic010/input -------------------------------------------------------------------------------- /tests/idris2/basic010/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic010/run -------------------------------------------------------------------------------- /tests/idris2/basic011/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic011/run -------------------------------------------------------------------------------- /tests/idris2/basic012/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic012/run -------------------------------------------------------------------------------- /tests/idris2/basic013/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic013/run -------------------------------------------------------------------------------- /tests/idris2/basic014/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic014/run -------------------------------------------------------------------------------- /tests/idris2/basic015/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic015/run -------------------------------------------------------------------------------- /tests/idris2/basic016/Eta.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic016/Eta.idr -------------------------------------------------------------------------------- /tests/idris2/basic016/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic016/run -------------------------------------------------------------------------------- /tests/idris2/basic017/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic017/input -------------------------------------------------------------------------------- /tests/idris2/basic017/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic017/run -------------------------------------------------------------------------------- /tests/idris2/basic018/Fin.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic018/Fin.idr -------------------------------------------------------------------------------- /tests/idris2/basic018/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic018/run -------------------------------------------------------------------------------- /tests/idris2/basic019/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic019/input -------------------------------------------------------------------------------- /tests/idris2/basic019/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic019/run -------------------------------------------------------------------------------- /tests/idris2/basic020/Mut.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic020/Mut.idr -------------------------------------------------------------------------------- /tests/idris2/basic020/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic020/input -------------------------------------------------------------------------------- /tests/idris2/basic020/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic020/run -------------------------------------------------------------------------------- /tests/idris2/basic021/input: -------------------------------------------------------------------------------- 1 | :printdef foo 2 | :q 3 | -------------------------------------------------------------------------------- /tests/idris2/basic021/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic021/run -------------------------------------------------------------------------------- /tests/idris2/basic022/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic022/input -------------------------------------------------------------------------------- /tests/idris2/basic022/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic022/run -------------------------------------------------------------------------------- /tests/idris2/basic023/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic023/input -------------------------------------------------------------------------------- /tests/idris2/basic023/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic023/run -------------------------------------------------------------------------------- /tests/idris2/basic024/input: -------------------------------------------------------------------------------- 1 | addToNums nums 2 | lengths vects 3 | :q 4 | -------------------------------------------------------------------------------- /tests/idris2/basic024/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic024/run -------------------------------------------------------------------------------- /tests/idris2/basic025/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic025/input -------------------------------------------------------------------------------- /tests/idris2/basic025/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic025/run -------------------------------------------------------------------------------- /tests/idris2/basic026/Erl.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic026/Erl.idr -------------------------------------------------------------------------------- /tests/idris2/basic026/expected: -------------------------------------------------------------------------------- 1 | 1/1: Building Erl (Erl.idr) 2 | -------------------------------------------------------------------------------- /tests/idris2/basic026/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic026/run -------------------------------------------------------------------------------- /tests/idris2/basic027/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic027/run -------------------------------------------------------------------------------- /tests/idris2/basic028/Do.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic028/Do.idr -------------------------------------------------------------------------------- /tests/idris2/basic028/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic028/input -------------------------------------------------------------------------------- /tests/idris2/basic028/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic028/run -------------------------------------------------------------------------------- /tests/idris2/basic029/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic029/input -------------------------------------------------------------------------------- /tests/idris2/basic029/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic029/run -------------------------------------------------------------------------------- /tests/idris2/basic030/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic030/run -------------------------------------------------------------------------------- /tests/idris2/basic031/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic031/run -------------------------------------------------------------------------------- /tests/idris2/basic032/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic032/input -------------------------------------------------------------------------------- /tests/idris2/basic032/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic032/run -------------------------------------------------------------------------------- /tests/idris2/basic033/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic033/run -------------------------------------------------------------------------------- /tests/idris2/basic034/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic034/run -------------------------------------------------------------------------------- /tests/idris2/basic035/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic035/input -------------------------------------------------------------------------------- /tests/idris2/basic035/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic035/run -------------------------------------------------------------------------------- /tests/idris2/basic036/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic036/input -------------------------------------------------------------------------------- /tests/idris2/basic036/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic036/run -------------------------------------------------------------------------------- /tests/idris2/basic037/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic037/run -------------------------------------------------------------------------------- /tests/idris2/basic038/input: -------------------------------------------------------------------------------- 1 | niceList 2 | :q -------------------------------------------------------------------------------- /tests/idris2/basic038/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic038/run -------------------------------------------------------------------------------- /tests/idris2/basic039/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic039/input -------------------------------------------------------------------------------- /tests/idris2/basic039/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic039/run -------------------------------------------------------------------------------- /tests/idris2/basic040/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic040/run -------------------------------------------------------------------------------- /tests/idris2/basic041/QDo.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic041/QDo.idr -------------------------------------------------------------------------------- /tests/idris2/basic041/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic041/run -------------------------------------------------------------------------------- /tests/idris2/basic042/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic042/input -------------------------------------------------------------------------------- /tests/idris2/basic042/input2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic042/input2 -------------------------------------------------------------------------------- /tests/idris2/basic042/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic042/run -------------------------------------------------------------------------------- /tests/idris2/basic043/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic043/input -------------------------------------------------------------------------------- /tests/idris2/basic043/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic043/run -------------------------------------------------------------------------------- /tests/idris2/basic044/Vec.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic044/Vec.idr -------------------------------------------------------------------------------- /tests/idris2/basic044/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic044/run -------------------------------------------------------------------------------- /tests/idris2/basic045/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic045/run -------------------------------------------------------------------------------- /tests/idris2/basic046/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic046/input -------------------------------------------------------------------------------- /tests/idris2/basic046/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic046/run -------------------------------------------------------------------------------- /tests/idris2/basic047/input: -------------------------------------------------------------------------------- 1 | test 2 | :q 3 | -------------------------------------------------------------------------------- /tests/idris2/basic047/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic047/run -------------------------------------------------------------------------------- /tests/idris2/basic049/Fld.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic049/Fld.idr -------------------------------------------------------------------------------- /tests/idris2/basic049/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic049/input -------------------------------------------------------------------------------- /tests/idris2/basic049/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic049/run -------------------------------------------------------------------------------- /tests/idris2/basic050/Ilc.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic050/Ilc.idr -------------------------------------------------------------------------------- /tests/idris2/basic050/input: -------------------------------------------------------------------------------- 1 | il 2 | lc 3 | ilc 4 | -------------------------------------------------------------------------------- /tests/idris2/basic050/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic050/run -------------------------------------------------------------------------------- /tests/idris2/basic051/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic051/run -------------------------------------------------------------------------------- /tests/idris2/basic052/input: -------------------------------------------------------------------------------- 1 | h 9 2 | -------------------------------------------------------------------------------- /tests/idris2/basic052/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic052/run -------------------------------------------------------------------------------- /tests/idris2/basic053/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic053/input -------------------------------------------------------------------------------- /tests/idris2/basic053/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic053/run -------------------------------------------------------------------------------- /tests/idris2/basic054/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic054/run -------------------------------------------------------------------------------- /tests/idris2/basic055/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/idris2/basic055/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic055/run -------------------------------------------------------------------------------- /tests/idris2/basic056/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/idris2/basic056/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic056/run -------------------------------------------------------------------------------- /tests/idris2/basic057/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic057/run -------------------------------------------------------------------------------- /tests/idris2/basic058/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic058/run -------------------------------------------------------------------------------- /tests/idris2/basic059/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic059/run -------------------------------------------------------------------------------- /tests/idris2/basic060/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic060/input -------------------------------------------------------------------------------- /tests/idris2/basic060/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic060/run -------------------------------------------------------------------------------- /tests/idris2/basic061/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic061/input -------------------------------------------------------------------------------- /tests/idris2/basic061/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic061/run -------------------------------------------------------------------------------- /tests/idris2/basic062/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic062/run -------------------------------------------------------------------------------- /tests/idris2/basic063/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic063/input -------------------------------------------------------------------------------- /tests/idris2/basic063/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic063/run -------------------------------------------------------------------------------- /tests/idris2/basic064/input: -------------------------------------------------------------------------------- 1 | :m 2 | -------------------------------------------------------------------------------- /tests/idris2/basic064/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic064/run -------------------------------------------------------------------------------- /tests/idris2/basic065/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic065/run -------------------------------------------------------------------------------- /tests/idris2/basic066/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic066/run -------------------------------------------------------------------------------- /tests/idris2/basic067/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic067/input -------------------------------------------------------------------------------- /tests/idris2/basic067/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic067/run -------------------------------------------------------------------------------- /tests/idris2/basic068/expected: -------------------------------------------------------------------------------- 1 | [B [A 5]] 2 | {B {A 6}} 3 | -------------------------------------------------------------------------------- /tests/idris2/basic068/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic068/run -------------------------------------------------------------------------------- /tests/idris2/basic069/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/basic069/run -------------------------------------------------------------------------------- /tests/idris2/dotted001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/dotted001/run -------------------------------------------------------------------------------- /tests/idris2/idiom001/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /tests/idris2/idiom001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/idiom001/run -------------------------------------------------------------------------------- /tests/idris2/interface001/input1: -------------------------------------------------------------------------------- 1 | :t foo 2 | :q 3 | -------------------------------------------------------------------------------- /tests/idris2/interface001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/interface001/run -------------------------------------------------------------------------------- /tests/idris2/interface002/input: -------------------------------------------------------------------------------- 1 | :t foo 2 | :t bar 3 | :q 4 | -------------------------------------------------------------------------------- /tests/idris2/interface002/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/interface002/run -------------------------------------------------------------------------------- /tests/idris2/interface003/input: -------------------------------------------------------------------------------- 1 | :t foo 2 | :q 3 | -------------------------------------------------------------------------------- /tests/idris2/interface003/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/interface003/run -------------------------------------------------------------------------------- /tests/idris2/interface004/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/interface004/run -------------------------------------------------------------------------------- /tests/idris2/interface005/run: -------------------------------------------------------------------------------- 1 | . ../../testutils.sh 2 | 3 | check Deps.idr 4 | -------------------------------------------------------------------------------- /tests/idris2/interface006/run: -------------------------------------------------------------------------------- 1 | . ../../testutils.sh 2 | 3 | check Bimonad.idr 4 | -------------------------------------------------------------------------------- /tests/idris2/interface007/expected: -------------------------------------------------------------------------------- 1 | 1/1: Building A (A.idr) 2 | -------------------------------------------------------------------------------- /tests/idris2/interface007/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/interface007/run -------------------------------------------------------------------------------- /tests/idris2/interface008/run: -------------------------------------------------------------------------------- 1 | . ../../testutils.sh 2 | 3 | check Deps.idr 4 | -------------------------------------------------------------------------------- /tests/idris2/interface009/input: -------------------------------------------------------------------------------- 1 | :t bang 2 | :q 3 | 4 | -------------------------------------------------------------------------------- /tests/idris2/interface009/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/interface009/run -------------------------------------------------------------------------------- /tests/idris2/interface010/expected: -------------------------------------------------------------------------------- 1 | 1/1: Building Dep (Dep.idr) 2 | -------------------------------------------------------------------------------- /tests/idris2/interface010/run: -------------------------------------------------------------------------------- 1 | . ../../testutils.sh 2 | 3 | check Dep.idr 4 | -------------------------------------------------------------------------------- /tests/idris2/interface011/run: -------------------------------------------------------------------------------- 1 | . ../../testutils.sh 2 | 3 | check FuncImpl.idr 4 | -------------------------------------------------------------------------------- /tests/idris2/interface012/run: -------------------------------------------------------------------------------- 1 | . ../../testutils.sh 2 | 3 | check Defmeth.idr 4 | -------------------------------------------------------------------------------- /tests/idris2/interface013/run: -------------------------------------------------------------------------------- 1 | . ../../testutils.sh 2 | 3 | check TypeInt.idr 4 | -------------------------------------------------------------------------------- /tests/idris2/interface014/run: -------------------------------------------------------------------------------- 1 | . ../../testutils.sh 2 | 3 | check DepInt.idr 4 | -------------------------------------------------------------------------------- /tests/idris2/interface015/run: -------------------------------------------------------------------------------- 1 | . ../../testutils.sh 2 | 3 | check gnu.idr 4 | -------------------------------------------------------------------------------- /tests/idris2/interface016/run: -------------------------------------------------------------------------------- 1 | . ../../testutils.sh 2 | 3 | check TwoNum.idr 4 | -------------------------------------------------------------------------------- /tests/idris2/interface017/run: -------------------------------------------------------------------------------- 1 | . ../../testutils.sh 2 | 3 | check Tricho.idr 4 | -------------------------------------------------------------------------------- /tests/idris2/interface018/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/interface018/run -------------------------------------------------------------------------------- /tests/idris2/interface019/run: -------------------------------------------------------------------------------- 1 | . ../../testutils.sh 2 | 3 | check LocalHints.idr 4 | -------------------------------------------------------------------------------- /tests/idris2/interface020/run: -------------------------------------------------------------------------------- 1 | . ../../testutils.sh 2 | 3 | check LocalInterface.idr 4 | -------------------------------------------------------------------------------- /tests/idris2/interface021/run: -------------------------------------------------------------------------------- 1 | . ../../testutils.sh 2 | 3 | check LocalHint.idr 4 | -------------------------------------------------------------------------------- /tests/idris2/interface022/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/interface022/run -------------------------------------------------------------------------------- /tests/idris2/interface023/input: -------------------------------------------------------------------------------- 1 | r1 2 | r2 3 | r3 4 | :q 5 | -------------------------------------------------------------------------------- /tests/idris2/interface023/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/interface023/run -------------------------------------------------------------------------------- /tests/idris2/interface024/expected: -------------------------------------------------------------------------------- 1 | 1/1: Building EH (EH.idr) 2 | -------------------------------------------------------------------------------- /tests/idris2/interface024/run: -------------------------------------------------------------------------------- 1 | . ../../testutils.sh 2 | 3 | check EH.idr -p contrib 4 | -------------------------------------------------------------------------------- /tests/idris2/interface025/input: -------------------------------------------------------------------------------- 1 | :q 2 | -------------------------------------------------------------------------------- /tests/idris2/interface025/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/interface025/run -------------------------------------------------------------------------------- /tests/idris2/interface026/input: -------------------------------------------------------------------------------- 1 | :q 2 | -------------------------------------------------------------------------------- /tests/idris2/interface026/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/interface026/run -------------------------------------------------------------------------------- /tests/idris2/interface027/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/interface027/run -------------------------------------------------------------------------------- /tests/idris2/interface028/run: -------------------------------------------------------------------------------- 1 | . ../../testutils.sh 2 | 3 | check InterfaceArgs.idr 4 | -------------------------------------------------------------------------------- /tests/idris2/interface029/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/interface029/run -------------------------------------------------------------------------------- /tests/idris2/reg001/D.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg001/D.idr -------------------------------------------------------------------------------- /tests/idris2/reg001/expected: -------------------------------------------------------------------------------- 1 | 1/1: Building D (D.idr) 2 | -------------------------------------------------------------------------------- /tests/idris2/reg001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg001/run -------------------------------------------------------------------------------- /tests/idris2/reg002/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg002/expected -------------------------------------------------------------------------------- /tests/idris2/reg002/linm.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg002/linm.idr -------------------------------------------------------------------------------- /tests/idris2/reg002/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg002/run -------------------------------------------------------------------------------- /tests/idris2/reg003/Holes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg003/Holes.idr -------------------------------------------------------------------------------- /tests/idris2/reg003/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg003/expected -------------------------------------------------------------------------------- /tests/idris2/reg003/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg003/input -------------------------------------------------------------------------------- /tests/idris2/reg003/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg003/run -------------------------------------------------------------------------------- /tests/idris2/reg004/ambig.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg004/ambig.idr -------------------------------------------------------------------------------- /tests/idris2/reg004/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg004/expected -------------------------------------------------------------------------------- /tests/idris2/reg004/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg004/run -------------------------------------------------------------------------------- /tests/idris2/reg005/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg005/expected -------------------------------------------------------------------------------- /tests/idris2/reg005/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg005/run -------------------------------------------------------------------------------- /tests/idris2/reg006/Cmd.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg006/Cmd.idr -------------------------------------------------------------------------------- /tests/idris2/reg006/expected: -------------------------------------------------------------------------------- 1 | 1/1: Building Cmd (Cmd.idr) 2 | -------------------------------------------------------------------------------- /tests/idris2/reg006/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg006/run -------------------------------------------------------------------------------- /tests/idris2/reg007/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg007/Main.idr -------------------------------------------------------------------------------- /tests/idris2/reg007/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg007/expected -------------------------------------------------------------------------------- /tests/idris2/reg007/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg007/run -------------------------------------------------------------------------------- /tests/idris2/reg008/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg008/expected -------------------------------------------------------------------------------- /tests/idris2/reg008/input: -------------------------------------------------------------------------------- 1 | :missing runMachine 2 | :q 3 | -------------------------------------------------------------------------------- /tests/idris2/reg008/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg008/run -------------------------------------------------------------------------------- /tests/idris2/reg009/Case.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg009/Case.idr -------------------------------------------------------------------------------- /tests/idris2/reg009/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg009/expected -------------------------------------------------------------------------------- /tests/idris2/reg009/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg009/run -------------------------------------------------------------------------------- /tests/idris2/reg010/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg010/expected -------------------------------------------------------------------------------- /tests/idris2/reg010/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg010/run -------------------------------------------------------------------------------- /tests/idris2/reg011/expected: -------------------------------------------------------------------------------- 1 | 1/1: Building mut (mut.idr) 2 | -------------------------------------------------------------------------------- /tests/idris2/reg011/mut.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg011/mut.idr -------------------------------------------------------------------------------- /tests/idris2/reg011/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg011/run -------------------------------------------------------------------------------- /tests/idris2/reg012/Foo.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg012/Foo.idr -------------------------------------------------------------------------------- /tests/idris2/reg012/expected: -------------------------------------------------------------------------------- 1 | 1/1: Building Foo (Foo.idr) 2 | -------------------------------------------------------------------------------- /tests/idris2/reg012/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg012/run -------------------------------------------------------------------------------- /tests/idris2/reg013/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg013/expected -------------------------------------------------------------------------------- /tests/idris2/reg013/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg013/run -------------------------------------------------------------------------------- /tests/idris2/reg014/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg014/expected -------------------------------------------------------------------------------- /tests/idris2/reg014/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg014/run -------------------------------------------------------------------------------- /tests/idris2/reg015/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg015/expected -------------------------------------------------------------------------------- /tests/idris2/reg015/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg015/run -------------------------------------------------------------------------------- /tests/idris2/reg016/Using.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg016/Using.idr -------------------------------------------------------------------------------- /tests/idris2/reg016/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg016/expected -------------------------------------------------------------------------------- /tests/idris2/reg016/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg016/run -------------------------------------------------------------------------------- /tests/idris2/reg017/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg017/expected -------------------------------------------------------------------------------- /tests/idris2/reg017/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg017/run -------------------------------------------------------------------------------- /tests/idris2/reg018/cycle.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg018/cycle.idr -------------------------------------------------------------------------------- /tests/idris2/reg018/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg018/expected -------------------------------------------------------------------------------- /tests/idris2/reg018/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg018/run -------------------------------------------------------------------------------- /tests/idris2/reg019/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg019/expected -------------------------------------------------------------------------------- /tests/idris2/reg019/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg019/run -------------------------------------------------------------------------------- /tests/idris2/reg020/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg020/expected -------------------------------------------------------------------------------- /tests/idris2/reg020/input: -------------------------------------------------------------------------------- 1 | :printdef test1 2 | :q 3 | -------------------------------------------------------------------------------- /tests/idris2/reg020/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg020/run -------------------------------------------------------------------------------- /tests/idris2/reg021/case.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg021/case.idr -------------------------------------------------------------------------------- /tests/idris2/reg021/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg021/expected -------------------------------------------------------------------------------- /tests/idris2/reg021/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg021/run -------------------------------------------------------------------------------- /tests/idris2/reg022/case.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg022/case.idr -------------------------------------------------------------------------------- /tests/idris2/reg022/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg022/expected -------------------------------------------------------------------------------- /tests/idris2/reg022/input: -------------------------------------------------------------------------------- 1 | :t foo 2 | :q 3 | -------------------------------------------------------------------------------- /tests/idris2/reg022/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg022/run -------------------------------------------------------------------------------- /tests/idris2/reg023/boom.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg023/boom.idr -------------------------------------------------------------------------------- /tests/idris2/reg023/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg023/expected -------------------------------------------------------------------------------- /tests/idris2/reg023/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg023/run -------------------------------------------------------------------------------- /tests/idris2/reg024/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg024/expected -------------------------------------------------------------------------------- /tests/idris2/reg024/input: -------------------------------------------------------------------------------- 1 | :cs 13 8 x 2 | :q 3 | -------------------------------------------------------------------------------- /tests/idris2/reg024/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg024/run -------------------------------------------------------------------------------- /tests/idris2/reg024/split.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg024/split.idr -------------------------------------------------------------------------------- /tests/idris2/reg025/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg025/expected -------------------------------------------------------------------------------- /tests/idris2/reg025/input: -------------------------------------------------------------------------------- 1 | :ml 11 pbz_hole 2 | :q 3 | -------------------------------------------------------------------------------- /tests/idris2/reg025/lift.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg025/lift.idr -------------------------------------------------------------------------------- /tests/idris2/reg025/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg025/run -------------------------------------------------------------------------------- /tests/idris2/reg026/Meh.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg026/Meh.idr -------------------------------------------------------------------------------- /tests/idris2/reg026/expected: -------------------------------------------------------------------------------- 1 | 1/1: Building Meh (Meh.idr) 2 | -------------------------------------------------------------------------------- /tests/idris2/reg026/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg026/run -------------------------------------------------------------------------------- /tests/idris2/reg027/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg027/expected -------------------------------------------------------------------------------- /tests/idris2/reg027/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg027/run -------------------------------------------------------------------------------- /tests/idris2/reg028/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg028/Test.idr -------------------------------------------------------------------------------- /tests/idris2/reg028/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg028/expected -------------------------------------------------------------------------------- /tests/idris2/reg028/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg028/run -------------------------------------------------------------------------------- /tests/idris2/reg029/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg029/expected -------------------------------------------------------------------------------- /tests/idris2/reg029/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg029/run -------------------------------------------------------------------------------- /tests/idris2/reg030/A.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg030/A.idr -------------------------------------------------------------------------------- /tests/idris2/reg030/B.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg030/B.idr -------------------------------------------------------------------------------- /tests/idris2/reg030/C.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg030/C.idr -------------------------------------------------------------------------------- /tests/idris2/reg030/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg030/expected -------------------------------------------------------------------------------- /tests/idris2/reg030/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg030/run -------------------------------------------------------------------------------- /tests/idris2/reg031/dpair.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg031/dpair.idr -------------------------------------------------------------------------------- /tests/idris2/reg031/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg031/expected -------------------------------------------------------------------------------- /tests/idris2/reg031/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg031/run -------------------------------------------------------------------------------- /tests/idris2/reg032/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg032/expected -------------------------------------------------------------------------------- /tests/idris2/reg032/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg032/run -------------------------------------------------------------------------------- /tests/idris2/reg033/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg033/expected -------------------------------------------------------------------------------- /tests/idris2/reg033/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg033/run -------------------------------------------------------------------------------- /tests/idris2/reg033/test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg033/test.idr -------------------------------------------------------------------------------- /tests/idris2/reg034/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg034/expected -------------------------------------------------------------------------------- /tests/idris2/reg034/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg034/run -------------------------------------------------------------------------------- /tests/idris2/reg034/void.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg034/void.idr -------------------------------------------------------------------------------- /tests/idris2/reg035/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg035/expected -------------------------------------------------------------------------------- /tests/idris2/reg035/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg035/run -------------------------------------------------------------------------------- /tests/idris2/reg036/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg036/Test.idr -------------------------------------------------------------------------------- /tests/idris2/reg036/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg036/expected -------------------------------------------------------------------------------- /tests/idris2/reg036/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg036/run -------------------------------------------------------------------------------- /tests/idris2/reg037/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg037/Test.idr -------------------------------------------------------------------------------- /tests/idris2/reg037/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg037/expected -------------------------------------------------------------------------------- /tests/idris2/reg037/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg037/run -------------------------------------------------------------------------------- /tests/idris2/reg038/Test1.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg038/Test1.idr -------------------------------------------------------------------------------- /tests/idris2/reg038/Test2.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg038/Test2.idr -------------------------------------------------------------------------------- /tests/idris2/reg038/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg038/expected -------------------------------------------------------------------------------- /tests/idris2/reg038/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg038/run -------------------------------------------------------------------------------- /tests/idris2/reg039/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg039/expected -------------------------------------------------------------------------------- /tests/idris2/reg039/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg039/run -------------------------------------------------------------------------------- /tests/idris2/reg040/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg040/run -------------------------------------------------------------------------------- /tests/idris2/reg041/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg041/run -------------------------------------------------------------------------------- /tests/idris2/reg042/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg042/input -------------------------------------------------------------------------------- /tests/idris2/reg042/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg042/run -------------------------------------------------------------------------------- /tests/idris2/reg043/NotFake.idr: -------------------------------------------------------------------------------- 1 | module NotFake 2 | -------------------------------------------------------------------------------- /tests/idris2/reg043/TestFake.idr: -------------------------------------------------------------------------------- 1 | import Fake 2 | -------------------------------------------------------------------------------- /tests/idris2/reg043/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg043/run -------------------------------------------------------------------------------- /tests/idris2/reg044/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg044/run -------------------------------------------------------------------------------- /tests/idris2/reg045/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg045/run -------------------------------------------------------------------------------- /tests/idris2/reg046/input: -------------------------------------------------------------------------------- 1 | :q 2 | -------------------------------------------------------------------------------- /tests/idris2/reg046/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg046/run -------------------------------------------------------------------------------- /tests/idris2/reg047/input: -------------------------------------------------------------------------------- 1 | propagateNSToBangs 2 | :q 3 | -------------------------------------------------------------------------------- /tests/idris2/reg047/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg047/run -------------------------------------------------------------------------------- /tests/idris2/reg048/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg048/run -------------------------------------------------------------------------------- /tests/idris2/reg049/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg049/run -------------------------------------------------------------------------------- /tests/idris2/reg050/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg050/run -------------------------------------------------------------------------------- /tests/idris2/reg051/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/reg051/run -------------------------------------------------------------------------------- /tests/idris2/rewrite001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/idris2/rewrite001/run -------------------------------------------------------------------------------- /tests/tests.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tests.ipkg -------------------------------------------------------------------------------- /tests/testutils.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/testutils.sh -------------------------------------------------------------------------------- /tests/tt/basic001/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/basic001/expected -------------------------------------------------------------------------------- /tests/tt/basic001/input: -------------------------------------------------------------------------------- 1 | :q 2 | 3 | -------------------------------------------------------------------------------- /tests/tt/basic001/run: -------------------------------------------------------------------------------- 1 | $1 --tt testraw.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/basic002/expected: -------------------------------------------------------------------------------- 1 | 1 2 | 2 3 | 3 4 | False 5 | Yaffle> Bye for now! 6 | -------------------------------------------------------------------------------- /tests/tt/basic002/input: -------------------------------------------------------------------------------- 1 | :q 2 | 3 | -------------------------------------------------------------------------------- /tests/tt/basic002/run: -------------------------------------------------------------------------------- 1 | $1 --tt testpair.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/basic003/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/basic003/expected -------------------------------------------------------------------------------- /tests/tt/basic003/input: -------------------------------------------------------------------------------- 1 | :t help 2 | :q 3 | 4 | -------------------------------------------------------------------------------- /tests/tt/basic003/run: -------------------------------------------------------------------------------- 1 | $1 --tt testmeta.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/basic004/input: -------------------------------------------------------------------------------- 1 | :q 2 | 3 | -------------------------------------------------------------------------------- /tests/tt/basic004/run: -------------------------------------------------------------------------------- 1 | $1 --tt testraw.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/basic005/expected: -------------------------------------------------------------------------------- 1 | Yaffle> Bye for now! 2 | -------------------------------------------------------------------------------- /tests/tt/basic005/input: -------------------------------------------------------------------------------- 1 | :q 2 | 3 | -------------------------------------------------------------------------------- /tests/tt/basic005/run: -------------------------------------------------------------------------------- 1 | $1 --tt id_rename.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/linear001/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/linear001/expected -------------------------------------------------------------------------------- /tests/tt/linear001/input: -------------------------------------------------------------------------------- 1 | :q 2 | 3 | -------------------------------------------------------------------------------- /tests/tt/linear001/run: -------------------------------------------------------------------------------- 1 | $1 --tt id_linear.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/linear002/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/linear002/expected -------------------------------------------------------------------------------- /tests/tt/linear002/id.tt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/linear002/id.tt -------------------------------------------------------------------------------- /tests/tt/linear002/input: -------------------------------------------------------------------------------- 1 | :q 2 | 3 | -------------------------------------------------------------------------------- /tests/tt/linear002/run: -------------------------------------------------------------------------------- 1 | $1 --tt id.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/linear003/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/linear003/expected -------------------------------------------------------------------------------- /tests/tt/linear003/input: -------------------------------------------------------------------------------- 1 | :q 2 | 3 | -------------------------------------------------------------------------------- /tests/tt/linear003/run: -------------------------------------------------------------------------------- 1 | $1 --tt pair_linear.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/linear004/expected: -------------------------------------------------------------------------------- 1 | Yaffle> Bye for now! 2 | -------------------------------------------------------------------------------- /tests/tt/linear004/input: -------------------------------------------------------------------------------- 1 | :q 2 | 3 | -------------------------------------------------------------------------------- /tests/tt/linear004/run: -------------------------------------------------------------------------------- 1 | $1 --tt lam_linear.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/linear005/expected: -------------------------------------------------------------------------------- 1 | Yaffle> Bye for now! 2 | -------------------------------------------------------------------------------- /tests/tt/linear005/input: -------------------------------------------------------------------------------- 1 | :q 2 | 3 | -------------------------------------------------------------------------------- /tests/tt/linear005/run: -------------------------------------------------------------------------------- 1 | $1 --tt let_linear.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/linear006/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/linear006/expected -------------------------------------------------------------------------------- /tests/tt/linear006/input: -------------------------------------------------------------------------------- 1 | :t f 2 | :q 3 | 4 | -------------------------------------------------------------------------------- /tests/tt/linear006/run: -------------------------------------------------------------------------------- 1 | $1 --tt env_linear.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/patterns001/input: -------------------------------------------------------------------------------- 1 | :q 2 | 3 | -------------------------------------------------------------------------------- /tests/tt/patterns001/run: -------------------------------------------------------------------------------- 1 | $1 --tt patt.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/patterns002/input: -------------------------------------------------------------------------------- 1 | :q 2 | 3 | -------------------------------------------------------------------------------- /tests/tt/patterns002/run: -------------------------------------------------------------------------------- 1 | $1 --tt vect.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/presence001/expected: -------------------------------------------------------------------------------- 1 | Yaffle> Bye for now! 2 | -------------------------------------------------------------------------------- /tests/tt/presence001/input: -------------------------------------------------------------------------------- 1 | :q 2 | 3 | -------------------------------------------------------------------------------- /tests/tt/presence001/run: -------------------------------------------------------------------------------- 1 | $1 --tt id_erased.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/presence002/expected: -------------------------------------------------------------------------------- 1 | Yaffle> Bye for now! 2 | -------------------------------------------------------------------------------- /tests/tt/presence002/input: -------------------------------------------------------------------------------- 1 | :q 2 | 3 | -------------------------------------------------------------------------------- /tests/tt/presence002/run: -------------------------------------------------------------------------------- 1 | $1 --tt case.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/search001/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/search001/expected -------------------------------------------------------------------------------- /tests/tt/search001/input: -------------------------------------------------------------------------------- 1 | :q 2 | -------------------------------------------------------------------------------- /tests/tt/search001/run: -------------------------------------------------------------------------------- 1 | $1 --tt search.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/search002/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/search002/expected -------------------------------------------------------------------------------- /tests/tt/search002/input: -------------------------------------------------------------------------------- 1 | :q 2 | -------------------------------------------------------------------------------- /tests/tt/search002/run: -------------------------------------------------------------------------------- 1 | $1 --tt search.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/sizechange001/input: -------------------------------------------------------------------------------- 1 | :q 2 | 3 | -------------------------------------------------------------------------------- /tests/tt/sizechange001/run: -------------------------------------------------------------------------------- 1 | $1 --tt patt.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/unify001/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/unify001/expected -------------------------------------------------------------------------------- /tests/tt/unify001/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/unify001/input -------------------------------------------------------------------------------- /tests/tt/unify001/run: -------------------------------------------------------------------------------- 1 | $1 --tt unify.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/unify001/unify.tt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/unify001/unify.tt -------------------------------------------------------------------------------- /tests/tt/unify002/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/unify002/expected -------------------------------------------------------------------------------- /tests/tt/unify002/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/unify002/input -------------------------------------------------------------------------------- /tests/tt/unify002/run: -------------------------------------------------------------------------------- 1 | $1 --tt unify.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/unify002/unify.tt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/unify002/unify.tt -------------------------------------------------------------------------------- /tests/tt/unify003/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/unify003/expected -------------------------------------------------------------------------------- /tests/tt/unify003/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/unify003/input -------------------------------------------------------------------------------- /tests/tt/unify003/run: -------------------------------------------------------------------------------- 1 | $1 --tt unify.tt < input 2 | -------------------------------------------------------------------------------- /tests/tt/unify003/unify.tt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/unify003/unify.tt -------------------------------------------------------------------------------- /tests/tt/unify004/all.tt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/unify004/all.tt -------------------------------------------------------------------------------- /tests/tt/unify004/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/unify004/expected -------------------------------------------------------------------------------- /tests/tt/unify004/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/tt/unify004/input -------------------------------------------------------------------------------- /tests/tt/unify004/run: -------------------------------------------------------------------------------- 1 | $1 --tt all.tt < input 2 | -------------------------------------------------------------------------------- /tests/yaffle/basic001/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/basic001/input -------------------------------------------------------------------------------- /tests/yaffle/basic001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/basic001/run -------------------------------------------------------------------------------- /tests/yaffle/basic002/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/basic002/input -------------------------------------------------------------------------------- /tests/yaffle/basic002/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/basic002/run -------------------------------------------------------------------------------- /tests/yaffle/basic003/input: -------------------------------------------------------------------------------- 1 | :q 2 | -------------------------------------------------------------------------------- /tests/yaffle/basic003/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/basic003/run -------------------------------------------------------------------------------- /tests/yaffle/case001/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/case001/input -------------------------------------------------------------------------------- /tests/yaffle/case001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/case001/run -------------------------------------------------------------------------------- /tests/yaffle/compile001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/compile001/run -------------------------------------------------------------------------------- /tests/yaffle/compile002/input: -------------------------------------------------------------------------------- 1 | :compile Main.io_bind 2 | :q 3 | 4 | -------------------------------------------------------------------------------- /tests/yaffle/compile002/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/compile002/run -------------------------------------------------------------------------------- /tests/yaffle/example001/expected: -------------------------------------------------------------------------------- 1 | Processing as TTImp 2 | Written TTC 3 | Yaffle> Bye for now! 4 | -------------------------------------------------------------------------------- /tests/yaffle/example001/input: -------------------------------------------------------------------------------- 1 | :q 2 | 3 | -------------------------------------------------------------------------------- /tests/yaffle/example001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/example001/run -------------------------------------------------------------------------------- /tests/yaffle/papers001/expected: -------------------------------------------------------------------------------- 1 | Processing as TTImp 2 | Written TTC 3 | Yaffle> Bye for now! 4 | -------------------------------------------------------------------------------- /tests/yaffle/papers001/input: -------------------------------------------------------------------------------- 1 | :q 2 | -------------------------------------------------------------------------------- /tests/yaffle/papers001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/papers001/run -------------------------------------------------------------------------------- /tests/yaffle/qtt001/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/qtt001/input -------------------------------------------------------------------------------- /tests/yaffle/qtt001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/qtt001/run -------------------------------------------------------------------------------- /tests/yaffle/qtt002/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/qtt002/input -------------------------------------------------------------------------------- /tests/yaffle/qtt002/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/qtt002/run -------------------------------------------------------------------------------- /tests/yaffle/qtt003/input: -------------------------------------------------------------------------------- 1 | :q 2 | -------------------------------------------------------------------------------- /tests/yaffle/qtt003/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/qtt003/run -------------------------------------------------------------------------------- /tests/yaffle/qtt004/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/qtt004/input -------------------------------------------------------------------------------- /tests/yaffle/qtt004/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/qtt004/run -------------------------------------------------------------------------------- /tests/yaffle/record001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/record001/run -------------------------------------------------------------------------------- /tests/yaffle/record002/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/record002/run -------------------------------------------------------------------------------- /tests/yaffle/rewrite001/input: -------------------------------------------------------------------------------- 1 | :t oops 2 | :q 3 | -------------------------------------------------------------------------------- /tests/yaffle/rewrite001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/rewrite001/run -------------------------------------------------------------------------------- /tests/yaffle/termination001/input: -------------------------------------------------------------------------------- 1 | :total boom 2 | :q 3 | 4 | -------------------------------------------------------------------------------- /tests/yaffle/termination001/run: -------------------------------------------------------------------------------- 1 | rm -rf build 2 | $1 --yaffle IdrisIssue2448.yaff < input 3 | -------------------------------------------------------------------------------- /tests/yaffle/with001/expected: -------------------------------------------------------------------------------- 1 | Processing as TTImp 2 | Written TTC 3 | Yaffle> Bye for now! 4 | -------------------------------------------------------------------------------- /tests/yaffle/with001/input: -------------------------------------------------------------------------------- 1 | :q 2 | 3 | -------------------------------------------------------------------------------- /tests/yaffle/with001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/tests/yaffle/with001/run -------------------------------------------------------------------------------- /yaffle.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/Yaffle/HEAD/yaffle.ipkg --------------------------------------------------------------------------------