git.iko.soy/Idris-dev
on d006e27 help sign in
Idris-dev/src/Idris
1 folder, 35 files
../ Core/Merge remote-tracking branch 'upstream/master' into error-reflection AbsSyntax.hsHide original errors upon reflective rewrite AbsSyntaxTree.hsHide original errors upon reflective rewrite 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.hsHide original errors upon reflective rewrite 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.hsHide original errors upon reflective rewrite Docs.hsUse Data.Text for variable names ElabDecls.hsAdd error handlers to IBC files ElabTerm.hsFix reification of NErased 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.hsHide original errors upon reflective rewrite REPLParser.hsHide original errors upon reflective rewrite Transforms.hsUse Data.Text for variable names Unlit.hsAdd a Cabal library UnusedArgs.hsRemove incorrect case from unused argument trace