git.iko.soy/Idris-dev
on ba51147 help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Removing matching on PS Elab/Fix parameter propagation error ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsCompletely replace ErrorT with ExceptT AbsSyntaxTree.hsUse ExceptT instead of ErrorT 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 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.hsCoverage checker fix for nested constants 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.hsLift typecase restrictions on %reflection fns. Erasure.hsRemove dep sets from bound variables. ErrReverse.hsFix for matchProblems Error.hsCompletely replace ErrorT with ExceptT Help.hsadded ":refine", ":ref", "refine!" and "ref!" to the autocompletions in the REPL IBC.hsFix doc build IdeSlave.hsSupport type errors in docstrings IdrisDoc.hsUse ExceptT instead of ErrorT Imports.hsSupport builds that doesn't use cabal for libs and rts Inliner.hs Interactive.hsPartial evaluator fixes Output.hsUse ExceptT instead of ErrorT ParseData.hsSupport type errors in docstrings ParseExpr.hsImplemented @-patterns ParseHelpers.hsAdded TODOs for ParseHelpers.hs ParseOps.hsMerge branch 'master' of github.com:markuspf/Idris-dev into markuspf-master Parser.hsCompletely replace ErrorT with ExceptT PartialEval.hsRestrict PE for class dictionaries Primitives.hsLifted the TODOs from Primitives.hs ProofSearch.hsImprovement for 'auto' Prover.hsRemoving matching on PS Providers.hsAnnotate several top-level functions REPL.hsUse ExceptT instead of ErrorT REPLParser.hsPattern variables should be lifted to top level Transforms.hsFix for name clashes when applying transformations TypeSearch.hsUse ExceptT instead of ErrorT Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsMark 'case' on unique types as updatable