git.iko.soy/Idris-dev
on 40e5b77 help sign in
Idris-dev/src/Idris
1 folder, 36 files
../ Core/Added %error_reverse annotation AbsSyntax.hsAdded %error_reverse annotation AbsSyntaxTree.hsAdd the possibility to "import Module as Alias". CaseSplit.hsUse Data.Text for variable names Chaser.hsAdd the possibility to "import Module as Alias". 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.hsAdd the possibility to "import Module as Alias". ParseOps.hsMake $ built in operation, rename ($) to apply Parser.hsFix namespace ordering. 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