git.iko.soy/Idris-dev
on 54e4e41 help sign in
history ofsrc/Idris/REPL.hs
all commits
740d82dDisplay normalised types on :t for expressionsEdwin Brady dda41afMerge pull request #2463 from melted/cgoptionsNiklas Larsson 64df5f6Added WHNF moduleEdwin Brady f5bff01Pass parameters to codegens with new cmdoption --cg-optNiklas Larsson 3cd25e6Add extra HL information to PRefDavid Raymond Christiansen 3fc393aAdd an export list to Idris.REPLNiklas Larsson 65b5c20Prefer 'List' at the REPLEdwin Brady d634c32Merge pull request #2395 from david-christiansen/highlight-fileDavid Christiansen a3407cbDisplay 'Hole' instead of 'Metavariable'Edwin Brady ac68541Dump highlighting infoDavid Raymond Christiansen 202c913Logging levels must be explicitly mentioned.Jan de Muijnck-Hughes 54cd5a6An interactive Elab shellDavid Raymond Christiansen d03295dPrint directory properlyDavid Raymond Christiansen 1d474a2Merge remote-tracking branch 'refs/remotes/upstream/master' into issue/2333David Raymond Christiansen 5542d1cAdd maximum pretty-printer depth option.David Raymond Christiansen 9a44883Fixed pattern matching on Text type in processing the DocStr in REPL.RossMeikleham 17ad946Process of determining the documentation in the REPL changed from comparing on the "show" instance on the given name to pattern matching. Also renamed pprintType1Doc to more appropriate pprintTypeDoc.RossMeikleham 3643346Fixed REPL for `:doc Type` to display documentation rather than an error messageRossMeikleham ae16e9dDon't show a trailing dash if a relase versionNiklas Larsson b643b7aIndentation improvementDavid Raymond Christiansen 0696537Fix display of output from :totalDavid Raymond Christiansen 56b6850Precise highlighting of instancesDavid Raymond Christiansen 73b666bMerge remote-tracking branch 'refs/remotes/upstream/master' into name-highlightsDavid Raymond Christiansen 268296fHighlight the names in type declarationsDavid Raymond Christiansen 689e64bHighlight pi and lambda bindersDavid Raymond Christiansen 4ebafb4Highlight names of simple variable referencesDavid Raymond Christiansen c46243bInitial implementation of semantic editor hightlightingDavid Raymond Christiansen 12bcfe4Allow type classes to have explicitly-named instance constructorsDavid Raymond Christiansen 15fdeffSet colour off by default on WindowsNiklas Larsson ab9a2bcAdd a :browse command to the REPL and IDE equivalentDavid Raymond Christiansen c380421Move ElabTerm into Elab.TermEdwin Brady 1e719ceMerge pull request #2104 from japesinator/nothing-foundDavid Christiansen 5d269e3:exec can take an expression as an argumentEdwin Brady 5f0dbd7clarify failing searchesJP Smith 4dd164cSet encoding for read files.Niklas Larsson 0f86748Fix build errors with GHC 7.10.1. Fixes #2080Jan Stolarek d57d60aUse a Set for universe constraintsEdwin Brady 62419f4set console width / adjust tests by using --consolewidth to make them work with the curses flagAndreas Reuleaux aa33865Merge remote-tracking branch 'upstream/master' into issue2004Andreas Reuleaux 1bf2731issue #2004 resolved by --consolewith cmd line paramAndreas Reuleaux 147149bAdd 'determining parameters' for classesEdwin Brady 6c26814Add IDE command for showing TTDavid Raymond Christiansen 75f6c2dAdd :core to the REPLDavid Raymond Christiansen 426d052Add provenance flag to unification errorsEdwin Brady 7ba4da0Instance docs: instance parameter documentationAdam Sandberg Eriksson 2d205a6Instance docs: basic plumbing of types and parsingAdam Sandberg Eriksson d4371e6Generate interface files for C->Idris callsEdwin Brady 83793a6Add the ability for IDEs to get documentation overviewsDavid Raymond Christiansen 8688f43Fix :unlet and the IDE protocolDavid Raymond Christiansen 5300c53Fix :exec on WindowsNiklas Larsson