git.iko.soy/Idris-dev
on 19cb950 help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Unification fix for chains of solutions Elab/More partial evaluation improvements ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsUse Set for unique name checking for efficiency AbsSyntaxTree.hsMerge pull request #1658 from david-christiansen/todo-removal 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.hsAdd semantic highlighting for postulates Completion.hsAdd completion support for newer command arg types Coverage.hsAdd transformation rules for partial evaluation DSL.hsKeep type arguments of = when unelaborating DataOpts.hsAdded TODO for DataOpts.hs DeepSeq.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up Delaborate.hsNo longer show __infer in pretty-printed errors Docs.hsSupport type errors in docstrings Docstrings.hsSupport type errors in docstrings ElabDecls.hsSupport type errors in docstrings ElabQuasiquote.hsSupport nested quasiquotation ElabTerm.hsUse Set for unique name checking for efficiency 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.hsSupport type errors in docstrings 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.hsMake do blocks require an expression ParseHelpers.hsAdded TODOs for ParseHelpers.hs ParseOps.hsMerge branch 'master' of github.com:markuspf/Idris-dev into markuspf-master Parser.hsSupport type errors in docstrings PartialEval.hsFix missing case in PartialEval.hs Primitives.hsLifted the TODOs from Primitives.hs ProofSearch.hsEXPERIMENTAL uniqueness types Prover.hsMake output from :t name annotate with terms Providers.hsAnnotate several top-level functions REPL.hsAdd missing case in runIdeSlaveCommand (fixed #1668) REPLParser.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up Transforms.hsMore partial evaluation improvements TypeSearch.hsSave terms in docstrings Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsMark 'case' on unique types as updatable