git.iko.soy/Idris-dev
on 42a384b help sign in
Idris-dev/src/Idris
2 folders, 47 files
../ Core/Eta in conversion, consistent with unification Elab/Eta in conversion, consistent with unification ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsMake --quiet imply non-verbosity AbsSyntaxTree.hsFix build errors with GHC 7.10.1. Fixes #2080 Apropos.hsAdd scoped implicit argument to Pi CaseSplit.hsCreate a proper name supply for identity type Chaser.hsAllow documentation for modules 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.hsTrickiness with implicits in dependent classes DSL.hsAllow DSLs to be applied with $ DataOpts.hsAdded TODO for DataOpts.hs DeepSeq.hsAnnotate functions as %hint for auto search Delaborate.hsFix build errors with GHC 7.10.1. Fixes #2080 Docs.hsFix build errors with GHC 7.10.1. Fixes #2080 Docstrings.hsFix build errors with GHC 7.10.1. Fixes #2080 ElabDecls.hsSupport externally defined primitives ElabQuasiquote.hsPlumb source locations through Tactical's elab ElabTerm.hsBetter error message for impossible lambdas that don't pattern-match Erasure.hsSupport externally defined primitives ErrReverse.hs Error.hsAdd missing cases to warnDisamb Help.hsVarious cleanup of the REPL, mainly with parsing and completion IBC.hsAnnotate functions as %hint for auto search IdeMode.hsRemove Buffer/BitVectors from compiler/C rts IdrisDoc.hsInstance docs: instance parameter documentation Imports.hsEnforce case sensitivity of imports for OSX. Inliner.hs Interactive.hsRename ideslave to ide-mode Output.hsFix build errors with GHC 7.10.1. Fixes #2080 ParseData.hsSupport type errors in docstrings ParseExpr.hsImprove readability of code in parser ParseHelpers.hsAdd 'determining parameters' for classes ParseOps.hsWIP: Better error messages for parsing operators Parser.hsMerge branch 'lambda-impossible' of https://github.com/Melvar/Idris-dev into Melvar-lambda-impossible PartialEval.hsAdd scoped implicit argument to Pi Primitives.hsOverdid the external primitives ProofSearch.hsFix trivial top level proof search failure Prover.hsGuard !! in forgetEnv Providers.hsLibrary rearrangement done. REPL.hsFix build errors with GHC 7.10.1. Fixes #2080 REPLParser.hsAdd :core to the REPL Reflection.hsAllow new-style tactics to declare function signatures Transforms.hsFix for name clashes when applying transformations TypeSearch.hsTrickiness with implicits in dependent classes Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsMark 'case' on unique types as updatable