git.iko.soy/Idris-dev
on 69965ef help sign in
Idris-dev/src/Idris
1 folder, 36 files
../ Core/Added %error_reverse annotation AbsSyntax.hsAdded %error_reverse annotation AbsSyntaxTree.hsAdded %error_reverse annotation 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.hsAdded %error_reverse annotation DSL.hsA simpler approach to handling name shadowing DataOpts.hsPerformance/compiler temporary hack: %erase DeepSeq.hsAdded %error_reverse annotation Delaborate.hsAdded %error_reverse annotation Docs.hsUse Data.Text for variable names ElabDecls.hsAdded %error_reverse annotation ElabTerm.hsArgument options (instead of just a Bool for lazy) ErrReverse.hsAdded %error_reverse annotation 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.hsAdded %error_reverse annotation IdeSlave.hsMerge branch 'master' into cabal-library Imports.hsStrictness annotations Inliner.hsAdd a Cabal library ParseData.hsAdded %error_reverse annotation ParseExpr.hsArgument options (instead of just a Bool for lazy) ParseHelpers.hsUse Data.Text for variable names ParseOps.hsMake $ built in operation, rename ($) to apply Parser.hsAdded %error_reverse annotation 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.hsArgument options (instead of just a Bool for lazy) 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