git.iko.soy/Idris-dev
on f4449c7 help sign in
Idris-dev/src/Idris
1 folder, 35 files
../ Core/Bring my changes in line with the latest upstream 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.hsAdd "Can't solve goal" error message Docs.hsUse Data.Text for variable names ElabDecls.hsFix naming problem in unification ElabTerm.hsAdd "Can't solve goal" error message 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.hsMore descriptive error message on failure to unzip .ibc 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.hsTweak proof search metavariable update 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