../ Core/Rewrite error printing to use the pretty-printer13 years ago AbsSyntax.hsMore IDESlave semantic highlighting13 years ago AbsSyntaxTree.hsRewrite error printing to use the pretty-printer13 years ago CaseSplit.hsReplace the string-slinging show with pretty-print13 years ago Chaser.hsCatch import errors in the right place13 years ago Colours.hsAllow the use of the default foreground colour. Make it the colour of the prompt.13 years ago Completion.hsUse Data.Text for variable names13 years ago Coverage.hsMerge remote-tracking branch 'upstream/master' into semantic-pprint13 years ago DSL.hsA simpler approach to handling name shadowing13 years ago DataOpts.hsPerformance/compiler temporary hack: %erase13 years ago DeepSeq.hsAdded %error_reverse annotation13 years ago Delaborate.hsReplace error printing for CantSolveGoal13 years ago Docs.hsUse Data.Text for variable names13 years ago ElabDecls.hsMerge remote-tracking branch 'upstream/master' into semantic-pprint13 years ago ElabTerm.hsArgument options (instead of just a Bool for lazy)13 years ago ErrReverse.hsAdded %error_reverse annotation13 years ago Error.hsStrictness annotations13 years ago Help.hsSupport for the new interactive commands via the IdeSlave REPL Also, add ":addmissing" and ":addmissing!" to completions of the REPL13 years ago IBC.hsAdded %error_reverse annotation13 years ago IdeSlave.hsSupport semantic highlighting in IDEslave mode13 years ago Imports.hsStrictness annotations13 years ago Inliner.hsAdd a Cabal library13 years ago ParseData.hsAdded %error_reverse annotation13 years ago ParseExpr.hsArgument options (instead of just a Bool for lazy)13 years ago ParseHelpers.hsUse Data.Text for variable names13 years ago ParseOps.hsMake $ built in operation, rename ($) to apply13 years ago Parser.hsMerge remote-tracking branch 'upstream/master' into semantic-pprint13 years ago PartialEval.hsUse Data.Text for variable names13 years ago Primitives.hsUse Data.Text for variable names13 years ago ProofSearch.hsAdd a Cabal library13 years ago Prover.hsColouring support in the prover13 years ago Providers.hsArgument options (instead of just a Bool for lazy)13 years ago REPL.hsMore IDESlave semantic highlighting13 years ago REPLParser.hsAllow querying the registered error handlers13 years ago Transforms.hsUse Data.Text for variable names13 years ago Unlit.hsAdd a Cabal library13 years ago UnusedArgs.hsRemove incorrect case from unused argument trace13 years ago