git.iko.soy/Idris-dev
on cad3b02 help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Do more forcing in IBC Elab/Allow class constraints to be named ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsEat less memory by sharing names AbsSyntaxTree.hsEat less memory by sharing names Apropos.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up CaseSplit.hsDisallow explicit types on LHS Chaser.hsFix interactive annoyance in vim CmdOptions.hsExtended parseFlags 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.hsCoverage checker should ignore hidden arguments DSL.hsMake pattern matching consistent in lambda/let DataOpts.hsAdded TODO for DataOpts.hs DeepSeq.hsDo more forcing in IBC Delaborate.hsCheck for duplicate names in Can't Convert Docs.hsSupport type errors in docstrings Docstrings.hsSupport type errors in docstrings ElabDecls.hsA new primitive tactic for getting source locations ElabQuasiquote.hsMake pattern matching consistent in lambda/let ElabTerm.hsSearch in current elaboration stack for instances Erasure.hsRemove dep sets from bound variables. ErrReverse.hsFix for matchProblems Error.hsFix universe checking error Help.hsVarious cleanup of the REPL, mainly with parsing and completion IBC.hsEat less memory by sharing names IdeSlave.hsSupport type errors in docstrings IdrisDoc.hsMake pattern matching consistent in lambda/let Imports.hsAdd function to list installed packages Inliner.hs Interactive.hsMake pattern matching consistent in lambda/let Output.hsUse ExceptT instead of ErrorT ParseData.hsSupport type errors in docstrings ParseExpr.hsMerge pull request #1817 from bmsherman/repl ParseHelpers.hsImprove REPL completion and DRY in parsing/completion ParseOps.hsMerge branch 'master' of github.com:markuspf/Idris-dev into markuspf-master Parser.hsMerge pull request #1817 from bmsherman/repl PartialEval.hsRestrict PE for class dictionaries Primitives.hsLifted the TODOs from Primitives.hs ProofSearch.hsImprovement for 'auto' Prover.hsSave index file when installing a package Providers.hsAnnotate several top-level functions REPL.hsMerge pull request #1817 from bmsherman/repl REPLParser.hsVarious cleanup of the REPL, mainly with parsing and completion Transforms.hsFix for name clashes when applying transformations TypeSearch.hsSmall changes and documentation update to :search Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsMark 'case' on unique types as updatable