git.iko.soy/Idris-dev
on 465cc1c help sign in
history ofsrc/Idris/REPL.hs
all commits
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 e88e306Add IDE command to get Idris versionDavid Raymond Christiansen c5de844Catch some lingering renames that I missedDavid Raymond Christiansen 40d094dExpose equality proofs in with ruleEdwin Brady b85b2ebRename ideslave to ide-modeDavid Raymond Christiansen 09a4aaaMerge pull request #1870 from soimort/ideslave-module-supportDavid Christiansen f03d65cMerge pull request #1874 from puffnfresh/feature/library-path-environment-variableEdwin Brady d745c2eMerge pull request #1852 from 4e6/repl-module-reloadEdwin Brady 27e4266Add IDRIS_LIBRARY_PATH environment variableBrian McKenna 8ecdf60Support module import in IDESlaveMort Yao 736131fHandle connection error with --clientTrevor Elliott 39c07a7Proper REPL module reloadingDmitry Bushev 058b23dFix recognition of infix names in IDE modeDavid Raymond Christiansen 17fe233Add scoped implicit argument to PiEdwin Brady 79e77c6Make :apropos search for documented modules as wellDavid Raymond Christiansen 6b803b7Allow documentation for modulesDavid Raymond Christiansen f936366Merge pull request #1817 from bmsherman/replEdwin Brady 99be9f0Various cleanup of the REPL, mainly with parsing and completionBen Sherman cacf435Keep track of file to be edited in REPLEdwin Brady ab32c46Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 02a36adAllow :search and :apropos to search packagesEdwin Brady 26da5c7Save index file when installing a packageEdwin Brady 71bbd62REPL prompt should only show successfully loaded modulesBen Sherman 00f1cd5Use ExceptT instead of ErrorTbmsherman 7b5f4aaFix visibility of imported thingsEdwin Brady b2017d2Pattern variables should be lifted to top levelEdwin Brady 46fc92dMerge pull request #1733 from soimort/cleanupEdwin Brady bf40078Fix typo in REPL.hsMort Yao 528cc11Replace some uses of system with rawSystemMelvar Chen 6f5a244Add missing case in runIdeSlaveCommand (fixed #1668)Mort Yao cdff1dbMerge pull request #1659 from edwinb/partial-evalEdwin Brady 8e6b636Optimisation optionsEdwin Brady e90316aSupport type errors in docstringsDavid Raymond Christiansen c7e8834:let at the REPL now supports syntax extensions!Alyssa Carter 869e6caMerge branch 'master' of git://github.com/idris-lang/Idris-dev into partial-evalEdwin Brady 37748ceAdd transformation rules for partial evaluationEdwin Brady bc74c4fAdded REPL FIXMEs to the issue tracker.Jan de Muijnck-Hughes