on 0690def help sign in
Idris-dev/src/Idris
1 folder, 35 files
../ Core/Fix typo that led to unification bug AbsSyntax.hsPerformance/compiler temporary hack: %erase AbsSyntaxTree.hsPerformance/compiler temporary hack: %erase CaseSplit.hsUse Data.Text for variable names Chaser.hsCatch import errors in the right place Colours.hsAllow the use of the default foreground colour. Make it the colour of the prompt. Completion.hsUse Data.Text for variable names Coverage.hsMerge branch 'text-names' DSL.hsA simpler approach to handling name shadowing DataOpts.hsPerformance/compiler temporary hack: %erase DeepSeq.hsMinor memory usage improvements Delaborate.hsUse Data.Text for variable names Docs.hsUse Data.Text for variable names ElabDecls.hsPerformance/compiler temporary hack: %erase ElabTerm.hsFix typo that led to unification bug Error.hsStrictness annotations Help.hsSupport for the new interactive commands via the IdeSlave REPL Also, add ":addmissing" and ":addmissing!" to completions of the REPL IBC.hsMerge branch 'text-names' IdeSlave.hsMerge branch 'master' into cabal-library Imports.hsStrictness annotations Inliner.hsAdd a Cabal library ParseData.hsPerformance/compiler temporary hack: %erase ParseExpr.hsPerformance/compiler temporary hack: %erase ParseHelpers.hsUse Data.Text for variable names ParseOps.hsMake $ built in operation, rename ($) to apply Parser.hsImplicit "module Main" added PartialEval.hsUse Data.Text for variable names Primitives.hsUse Data.Text for variable names ProofSearch.hsAdd a Cabal library Prover.hsMerge branch 'text-names' Providers.hsUse Data.Text for variable names REPL.hsMerge pull request #782 from jfdm/feature/pkg-check-only REPLParser.hsAllow querying the registered error handlers Transforms.hsUse Data.Text for variable names Unlit.hsAdd a Cabal library UnusedArgs.hsRemove incorrect case from unused argument trace