git.iko.soy/Idris-dev
on 2cc6526 help sign in
Idris-dev/src/Idris
1 folder, 46 files
../ Core/Adjust code around argsToAlt. ASTUtils.hsAdd support for :set warnreach. AbsSyntax.hsAdd goal types to quasiquotes. AbsSyntaxTree.hsBring erasure info to the case tree builder. Apropos.hs:apropos syntax for binders CaseSplit.hsOne more case-splitting fix Chaser.hsBring module loading into Idris monad CmdOptions.hsMerge pull request #1280 from david-christiansen/testrunner Colours.hsAdd semantic highlighting for postulates Completion.hsFinal cleanup/check of case tactic implementation Coverage.hsBring erasure info to the case tree builder. DSL.hsSupport builds that doesn't use cabal for libs and rts DataOpts.hsRemove collapsibility and forceability altogether. DeepSeq.hsParsing for quasiquotes Delaborate.hsMaintain pretty-printer bound vars Docs.hsMerge branch 'master' into parenthasizeInfix Docstrings.hsEnable word-wrapping in docstrings ElabDecls.hsBring erasure info to the case tree builder. ElabQuasiquote.hsAdd goal types to quasiquotes. ElabTerm.hsAdd goal types to quasiquotes. Erasure.hsMerge remote-tracking branch 'upstream/master' into cantResolveAlts ErrReverse.hsFix for matchProblems Error.hsFix missing function call from 723d972b2 Help.hsAdded warranty information to the Idris Repl. IBC.hsParsing for quasiquotes IdeSlave.hsMaintain pretty-printer bound vars IdrisDoc.hsSupport builds that doesn't use cabal for libs and rts Imports.hsSupport builds that doesn't use cabal for libs and rts Inliner.hsAdd a Cabal library Interactive.hsAdd new Err constructor to disambiguate the CantResolveAlts constructor. Output.hsMerge branch 'master' into parenthasizeInfix ParseData.hsMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic ParseExpr.hsAdd goal types to quasiquotes. ParseHelpers.hsFix zero argument with clauses ParseOps.hsRestored "__pi_arg" to use UN instead of MN again (due to a test failure). Removed commented out code. Parser.hsBring erasure info to the case tree builder. PartialEval.hsFirst attempt now at substitution to default args Primitives.hsAdd a prim__systemInfo primitive. ProofSearch.hsAdd an optional depth to 'search' tactic Prover.hsBring erasure info to the case tree builder. Providers.hsDistinguish postulate providers and type providers at use site REPL.hsMerge pull request #1334 from Melvar/fix-ipc-enc REPLParser.hsAdd semantic highlighting for postulates Transforms.hsUse Data.Text for variable names TypeSearch.hsCorrectly count applications of variables in :search Unlit.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris WhoCalls.hsAdd :who-calls and :calls-who to IDESlave