git.iko.soy/Idris-dev
on a10e866 help sign in
Idris-dev/src/Idris
35 files
../ AbsSyntax.hsAdded data options AbsSyntaxTree.hsAdded data options CaseSplit.hsRemove "CaseSplit" constructor and implementation which could never be called (the REPLParser uses CaseSplitAt). Furhermore, we no longer need to export "split" from CaseSplit.hs Chaser.hsWhitespace cleanup. Colours.hsAllow the use of the default foreground colour. Make it the colour of the prompt. Completion.hsMerge pull request #641 from ahmadsalim/feature/metavarprooffix Coverage.hsWhitespace cleanup. DSL.hsParser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies DataOpts.hsLibrary changes: Please read details below! DeepSeq.hsAdded data options Delaborate.hsDisallow proving of top-level declarations and other meta-variables, fixes idris-lang/Idris-dev#46 Docs.hsWhitespace cleanup. ElabDecls.hsAdded data options ElabTerm.hsTweak reduction rules for private/abstract names Error.hsReport errors directly, instead of parsing the string given to ihputStrLn Help.hs:help and tab completion for :doc IBC.hsAdded data options IdeSlave.hsParser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies Imports.hsWhitespace cleanup. Inliner.hsWhitespace cleanup. ParseData.hsAdded data options ParseExpr.hsTurn off optimisations when compiling parser ParseHelpers.hsParser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies ParseOps.hsChange '!' syntax and semantics to be uniform Parser.hsTurn off optimisations when compiling parser PartialEval.hsSet up more partial evaluation machinery Primitives.hsNull pointer primitive ProofSearch.hsWhitespace cleanup. Prover.hsRemove calls to "error". Fixes #607. Providers.hsUse the ErrorT failure functions and attempt to preserve error structure REPL.hsFix error reporting: use the right id to report back by installing a catch block just after the id is set in the IState record REPLParser.hsMerge pull request #640 from david-christiansen/color-theme-default-option Transforms.hsWhitespace cleanup. Unlit.hsWhitespace cleanup. UnusedArgs.hsWhitespace cleanup.