git.iko.soy/Idris-dev
on 8935fed help sign in
Idris-dev/src/Idris
3 folders, 46 files
../ Core/Fix bug with Type*/AnyType in data decls Elab/Tweak for types of case blocks REPL/Add a :browse command to the REPL and IDE equivalent ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsRename Tactical to Elab AbsSyntaxTree.hsTweak for types of case blocks 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.hsAdd info field to App Docs.hsFix build errors with GHC 7.10.1. Fixes #2080 Docstrings.hsFix build errors with GHC 7.10.1. Fixes #2080 ElabDecls.hsMove ElabTerm into Elab.Term ElabQuasiquote.hsRename Tactical to Elab Erasure.hsAdd info field to App ErrReverse.hsAdd info field to App Error.hsAdd `{n} for quotations of the global name n Help.hsVarious cleanup of the REPL, mainly with parsing and completion IBC.hs16 bits for the version seems prudent now. 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.hsWrap data declarations in mutual blocks 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.hsAdd a :browse command to the REPL and IDE equivalent REPLParser.hsAdd a :browse command to the REPL and IDE equivalent Reflection.hsReflection for SN, plus an SN for meta-stuff Transforms.hsAdd info field to App TypeSearch.hsAdd info field to App Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsAdd info field to App