git.iko.soy/Idris-dev
on 2d0cc49 help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Lifted FIXME from Core/Constraints. Elab/Add missing case in checkUniqueKind (fixed #1606) ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsLifted TODO/FIXME from Idris/AbsSyntax.hs AbsSyntaxTree.hsJust store sorted list of syntax rules 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.hsIndicate the end of each escape sequence in the prompt string, since there's no way for Haskeline to detect it automatically. Completion.hsAdd completion support for newer command arg types Coverage.hsLifted TODO/Fixme from Coverage checker. 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.hsJust store sorted list of syntax rules 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.hsOutput: Use throwError from Control.Monad.Except ParseData.hsSupport type errors in docstrings ParseExpr.hsJust store sorted list of syntax rules ParseHelpers.hsAdded TODOs for ParseHelpers.hs ParseOps.hsMerge branch 'master' of github.com:markuspf/Idris-dev into markuspf-master Parser.hsOptimize custom syntax rules PartialEval.hsRestrict PE for class dictionaries 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.hsMerge pull request #1733 from soimort/cleanup REPLParser.hsIgnore leading spaces in REPL Transforms.hsFix transforms under lambdas TypeSearch.hsSave terms in docstrings Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsMark 'case' on unique types as updatable