git.iko.soy/Idris-dev
on 2b0224a help sign in
Idris-dev/src/Idris
3 folders, 47 files
../ Core/Add UnknownImplicit error Elab/Fix dictionary arguments in dependent type class methods REPL/Only show accessible names in :browse ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsFix Haddock parse error AbsSyntaxTree.hsAdd UnknownImplicit error Apropos.hsFixes some string comparison that made sigma show incorrectly. Showing types of first component of sigma type. CaseSplit.hsMerge branch 'master' into name-highlights Chaser.hsAnnotate module imports in source code 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.hsMerge remote-tracking branch 'refs/remotes/upstream/master' into name-highlights DSL.hsMerge branch 'master' into name-highlights DataOpts.hsfix divNat segfaulting DeepSeq.hsImproved type-directed disambiguation Delaborate.hsAdd UnknownImplicit error Directives.hsMake PDirective IO monad free Docs.hsAllow Elab scripts to register type class instances Docstrings.hsFix build errors with GHC 7.10.1. Fixes #2080 ElabDecls.hsAnnotate module imports in source code ElabQuasiquote.hsMerge branch 'master' into name-highlights Erasure.hsFix erasure from mkForeignPrim. ErrReverse.hsAdd info field to App Error.hsTracking and highlighting of metavariables Help.hsVarious cleanup of the REPL, mainly with parsing and completion IBC.hsAdd UnknownImplicit error IdeMode.hsFix a few user-visible leftover uses of “Float” IdrisDoc.hsTracking and highlighting of metavariables Imports.hsEnforce case sensitivity of imports for OSX. Inliner.hsAdd info field to App Interactive.hsDon't crash on :addmissing for defns with no clauses Output.hsAnnotate module imports in source code ParseData.hsAccurate highlighting for records ParseExpr.hsImproved type-directed disambiguation ParseHelpers.hsAnnotate module imports in source code ParseOps.hsMerge branch 'master' into name-highlights Parser.hsSend absolute file names in annotations PartialEval.hsHighlight pi and lambda binders Primitives.hsFix totality of chr ProofSearch.hsMore precision for trivial Prover.hsInitial implementation of semantic editor hightlighting Providers.hsLibrary rearrangement done. REPL.hsDon't show a trailing dash if a relase version REPLParser.hsHighlight names of simple variable references Reflection.hsAdd UnknownImplicit error Transforms.hsAdd info field to App TypeSearch.hsAllow Elab scripts to register type class instances Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsAdd info field to App