git.iko.soy/Idris-dev
on 7a23995 help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Partial evaluator fixes Elab/Extend PE to look under pattern matching defs ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsParameters should be made 'static' AbsSyntaxTree.hsMerge pull request #1619 from ahmadsalim/feature/renamevoid 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.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up Docs.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up Docstrings.hsAdd syntax for example code to docs ElabDecls.hsMerge pull request #1619 from ahmadsalim/feature/renamevoid 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.hsIncrement IBC IdeSlave.hsAdded TODOs from IdeSlave.hs IdrisDoc.hsSave terms in docstrings Imports.hsSupport builds that doesn't use cabal for libs and rts Inliner.hs Interactive.hsPartial evaluator fixes Output.hsAdd syntax for example code to docs ParseData.hsAdded TODOs from ParseData.hs and remove redundant comments. ParseExpr.hsMerge pull request #1619 from ahmadsalim/feature/renamevoid ParseHelpers.hsAdded TODOs for ParseHelpers.hs ParseOps.hsMerge branch 'master' of github.com:markuspf/Idris-dev into markuspf-master Parser.hsFix for pattern vars in transforms PartialEval.hsExtend PE to look under pattern matching defs 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.hs:let at the REPL now supports syntax extensions! 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