git.iko.soy/Idris-dev
on 7afa310 help sign in
history ofsrc/Idris/REPL.hs
all commits
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 840c2ccMerge pull request #1556 from Helkafen/masterDavid Christiansen 8fc9ffdRefactor REPL command parser, improving error messages at the REPLMichael Maloney aee8f60Parsing a REPL command may now result in a custom error message.Michael Maloney 4fd6bc6Allow REPL to run on another port (flag --port)Sebastian de Bellefon 5194bf1Let IDESlave run :pprintDavid Raymond Christiansen b7010b2New command :pprint for outputting paper/slide bitsDavid Raymond Christiansen 394aac1Nicer-looking disambiguation in :printdefDavid Raymond Christiansen fe8927cIDE support for :printdefDavid Raymond Christiansen 6de02daSupport constructors in :printdefDavid Raymond Christiansen b18d56eAdd :printdef support for datatype definitionsDavid Raymond Christiansen 1305e3aVastly improve pretty-printing of definitions in :printdefDavid Raymond Christiansen e8aca59Make compiler filename warning use output commandsDavid Raymond Christiansen f97784dMerge branch 'master' of github.com:Helkafen/Idris-dev into Helkafen-masterDavid Raymond Christiansen 66f2d5aMerge branch 'master' of github.com:markuspf/Idris-dev into markuspf-masterDavid Raymond Christiansen 497caf0Make output from :t name annotate with termsDavid Raymond Christiansen 674b58fFactor out LLVM backendMarkus Pfeiffer 52f8587Prevent REPL from compiling to source fileSebastian de Bellefon 893b980Add :printdef command to show the definition of a pattern-matching operationDavid Raymond Christiansen 0167b98Merge pull request #1498 from david-christiansen/issue/1497David Christiansen ce7dff9Error when using empty namespace for disambiguation at REPLDavid Raymond Christiansen d726674Enable :unlet for ideslaveMelvar Chen 7e7368dStore kind in Pi bindersEdwin Brady ddced5cStore parameters in function typesEdwin Brady 783ddc3Invoke external code generatorEdwin Brady c6574b4Added idris-c executableEdwin Brady 93f407dUse strings for code generatorsEdwin Brady 3d1a728Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 788f800Record import paths in ibcEdwin Brady c79fb21Only undefine things once, even if they're referenced multiple timesAlyssa Carter 10a5bd6Tidy up the IState when classes are undefinedAlyssa Carter a37fc8aAdding a prettyprinted message for undefining namesAlyssa Carter ecea9adMerge branch 'master' into repl-definitionsAlyssa Carter 1267d64Strip ANSI codes from parser errors in IDEDavid Raymond Christiansen f7bd9f5Make --client use the correct handlesDavid Raymond Christiansen a0ccc57move getNChar and getLen to IdeSlaveHannes Mehnert 2558c13load input properly, as requested by @MelvarHannes Mehnert 480024cRemove all the handle argumentsDavid Raymond Christiansen 1add7b7provide a Handle for IdeSlave, used to read from and write to (instead of hardcoded stdin/stdout) also send protocol-version message when the client connects also accept a single client connection when --ideslave-socket is provided (I don't see any reason to have multiple clients at all!)Hannes Mehnert be0a480provide a new option, --ideslave-socket, for an ideslave listening on a socketHannes Mehnert faf1d39No need to check whether something referencing a repl name is repl-definedAlyssa Carter ad184a9Changed :undefine to undefine the transitive closure of reachable namesAlyssa Carter ef36111Merge branch 'master' into repl-definitionsAlyssa Carter c72d0f4Split elaborator into multiple source filesEdwin Brady f0eb9a9Removing an obsolete caseAlyssa Carter a114693Instance declarations are working now.Alyssa Carter 4d33a16Fixity declarations work in the repl now.Alyssa Carter