git.iko.soy/Idris-dev
on bab6c7b help sign in
Idris-dev/src/Idris
1 folder, 35 files
../ Core/Merge remote-tracking branch 'upstream/master' into error-reflection AbsSyntax.hsRestrict error reflection scope to one argument AbsSyntaxTree.hsAdd error handlers to IBC files 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.hsAdd error handlers to IBC files ElabTerm.hsMerge remote-tracking branch 'upstream/master' into error-reflection 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.hsAdd error handlers to IBC files IdeSlave.hsMerge branch 'master' into cabal-library Imports.hsStrictness annotations Inliner.hsAdd a Cabal library ParseData.hsPerformance/compiler temporary hack: %erase ParseExpr.hsFix Haddock parse error ParseHelpers.hsUse Data.Text for variable names ParseOps.hsMake $ built in operation, rename ($) to apply Parser.hsAdd error handlers to IBC files PartialEval.hsUse Data.Text for variable names Primitives.hsUse Data.Text for variable names ProofSearch.hsRestrict error reflection scope to one argument 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