git.iko.soy/Idris-dev
on b4dbebd help sign in
Idris-dev/src/Idris
3 folders, 47 files
../ Core/Always finalise evaluator argument environments Elab/Recursive elaborators + binding tactics REPL/Add a :browse command to the REPL and IDE equivalent ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsSubstitute default args in elab scripts AbsSyntaxTree.hsMake PDirective IO monad free Apropos.hsAdd info field to App CaseSplit.hsMove ElabTerm into Elab.Term Chaser.hsPermit use of spaces in paths when entered from REPL and as args CmdOptions.hsissue #2004 resolved by --consolewith cmd line param Colours.hsIndicate the end of each escape sequence in the prompt string, since there's no way for Haskeline to detect it automatically. Completion.hsAdd function to list installed packages Coverage.hsWrap data declarations in mutual blocks DSL.hsRename Tactical to Elab DataOpts.hsfix divNat segfaulting DeepSeq.hsAdd `{n} for quotations of the global name n Delaborate.hsBetter errors on stuck reflected elaborators Directives.hsMake PDirective IO monad free Docs.hsFix build errors with GHC 7.10.1. Fixes #2080 Docstrings.hsFix build errors with GHC 7.10.1. Fixes #2080 ElabDecls.hsMake PDirective IO monad free ElabQuasiquote.hsRename Tactical to Elab Erasure.hsAdd info field to App ErrReverse.hsAdd info field to App Error.hsRicher universe error objects Help.hsVarious cleanup of the REPL, mainly with parsing and completion IBC.hsRicher universe error objects IdeMode.hsAdd a :browse command to the REPL and IDE equivalent IdrisDoc.hsMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tactical Imports.hsEnforce case sensitivity of imports for OSX. Inliner.hsAdd info field to App Interactive.hsMove ElabTerm into Elab.Term Output.hsFix build errors with GHC 7.10.1. Fixes #2080 ParseData.hsSupport type errors in docstrings ParseExpr.hsFix bug with Type*/AnyType in data decls ParseHelpers.hsAdd 'determining parameters' for classes ParseOps.hsWIP: Better error messages for parsing operators Parser.hsMake PDirective IO monad free PartialEval.hsAdd info field to App Primitives.hsOverdid the external primitives ProofSearch.hsAdd info field to App Prover.hsPlumb datatype information through the proof state Providers.hsLibrary rearrangement done. REPL.hsSet colour off by default on Windows REPLParser.hsAdd a :browse command to the REPL and IDE equivalent Reflection.hsRicher universe error objects Transforms.hsAdd info field to App TypeSearch.hsAdd info field to App Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsAdd info field to App