git.iko.soy/Idris-dev
on 30580db help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Support type errors in docstrings Elab/Removal of minor TODOs ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsSupport type errors in docstrings AbsSyntaxTree.hsRemoval of minor TODOs 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.hsFix for optparse-applicative breaking change 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.hsSupport type errors in docstrings Docs.hsSupport type errors in docstrings Docstrings.hsSupport type errors in docstrings ElabDecls.hsSupport type errors in docstrings ElabQuasiquote.hsSupport nested quasiquotation ElabTerm.hsExtend PE to look under pattern matching defs Erasure.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up ErrReverse.hsFix for matchProblems Error.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up Help.hsAdd :printdef command to show the definition of a pattern-matching operation 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.hsSupport type errors in docstrings 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.hsImprove PE for class constraints and HOFs 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.hsSupport type errors in docstrings REPLParser.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up Transforms.hsPartial evaluator fixes TypeSearch.hsSave terms in docstrings Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsMark 'case' on unique types as updatable