git.iko.soy/Idris-dev
on c3cdb9c help sign in
Idris-dev/src/Idris
2 folders, 47 files
../ Core/Minor change to disambiguation rules Elab/:exec can take an expression as an argument ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsMake --quiet imply non-verbosity AbsSyntaxTree.hsshow incomplete term holes for listy constructors Apropos.hsAdd scoped implicit argument to Pi CaseSplit.hsCreate a proper name supply for identity type Chaser.hsSet encoding for read files. 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.hs:exec can take an expression as an argument 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.hsHTML path slashes are always '/'. Imports.hsEnforce case sensitivity of imports for OSX. Inliner.hs Interactive.hsSet encoding for read files. 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.hsSet encoding for read files. PartialEval.hsAdd scoped implicit argument to Pi Primitives.hsOverdid the external primitives ProofSearch.hsPrune proof search Prover.hsGuard !! in forgetEnv Providers.hsLibrary rearrangement done. REPL.hsMerge pull request #2104 from japesinator/nothing-found REPLParser.hs:exec can take an expression as an argument Reflection.hsAllow new-style tactics to declare function signatures Transforms.hsFix for name clashes when applying transformations TypeSearch.hscleaned up redundant 'if' Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsMark 'case' on unique types as updatable