git.iko.soy/Idris-dev
on 6f032cc help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Improvement for 'auto' Elab/Improvement for 'auto' ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsLifted TODO/FIXME from Idris/AbsSyntax.hs AbsSyntaxTree.hsImprove delaboration and pretty-printing for case Apropos.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up CaseSplit.hsAnnotate several top-level functions Chaser.hsAdded FIXME from Chaser.hs. CmdOptions.hsOptimisation options Colours.hsIndicate the end of each escape sequence in the prompt string, since there's no way for Haskeline to detect it automatically. Completion.hsA new primitive tactic for getting source locations Coverage.hsLifted TODO/Fixme from Coverage checker. DSL.hsKeep type arguments of = when unelaborating DataOpts.hsAdded TODO for DataOpts.hs DeepSeq.hsA new primitive tactic for getting source locations Delaborate.hsImprove delaboration and pretty-printing for case Docs.hsSupport type errors in docstrings Docstrings.hsSupport type errors in docstrings ElabDecls.hsA new primitive tactic for getting source locations ElabQuasiquote.hsSupport nested quasiquotation ElabTerm.hsNeed to resolve autos in each 'try' branch Erasure.hsRemove dep sets from bound variables. ErrReverse.hsFix for matchProblems Error.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up Help.hsImproved documentation. IBC.hsA new primitive tactic for getting source locations IdeSlave.hsSupport type errors in docstrings IdrisDoc.hsSave terms in docstrings Imports.hsSupport builds that doesn't use cabal for libs and rts Inliner.hs Interactive.hsPartial evaluator fixes Output.hsRemoval of minor TODOs ParseData.hsSupport type errors in docstrings ParseExpr.hsA new primitive tactic for getting source locations ParseHelpers.hsAdded TODOs for ParseHelpers.hs ParseOps.hsMerge branch 'master' of github.com:markuspf/Idris-dev into markuspf-master Parser.hsOptimize custom syntax rules PartialEval.hsRestrict PE for class dictionaries Primitives.hsLifted the TODOs from Primitives.hs ProofSearch.hsImprovement for 'auto' Prover.hsImprovement for 'auto' Providers.hsAnnotate several top-level functions REPL.hsPattern variables should be lifted to top level REPLParser.hsPattern variables should be lifted to top level Transforms.hsFix transforms under lambdas TypeSearch.hsSave terms in docstrings Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsMark 'case' on unique types as updatable