git.iko.soy/Idris-dev
on 51febe0 help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Fix visibility of imported things Elab/Support for inductive-inductive types ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsFix visibility of imported things AbsSyntaxTree.hsFix visibility of imported things 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.hsFix visibility of imported things 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.hsLifted TODO/FIXME issues to the issue tracker. Coverage.hsLook in binders when building size change graph DSL.hsKeep type arguments of = when unelaborating DataOpts.hsAdded TODO for DataOpts.hs DeepSeq.hsA new primitive tactic for getting source locations Delaborate.hsAdd a default case for addShows 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.hsAvoid retrying unification problems constantly 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.hsadded ":refine", ":ref", "refine!" and "ref!" to the autocompletions in the REPL IBC.hsFix visibility of imported things 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.hsRemove -Werror in Output.hs due to ErrorT ParseData.hsSupport type errors in docstrings ParseExpr.hsImprove parser errors in dependent type signatures ParseHelpers.hsAdded TODOs for ParseHelpers.hs ParseOps.hsMerge branch 'master' of github.com:markuspf/Idris-dev into markuspf-master Parser.hsFix visibility of imported things PartialEval.hsRestrict PE for class dictionaries Primitives.hsLifted the TODOs from Primitives.hs ProofSearch.hsImprovement for 'auto' Prover.hsAvoid retrying unification problems constantly Providers.hsAnnotate several top-level functions REPL.hsFix visibility of imported things REPLParser.hsPattern variables should be lifted to top level Transforms.hsFix for name clashes when applying transformations TypeSearch.hsSave terms in docstrings Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsMark 'case' on unique types as updatable