git.iko.soy/Idris-dev
on d66da21 help sign in
history ofsrc/Idris/REPLParser.hs
all commits
27a6ec7Merge pull request #640 from david-christiansen/color-theme-default-optionEdwin Brady aadfef8Allow the use of the default foreground colour. Make it the colour of the prompt.David Christiansen 8e974c7Parser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependenciesAhmad Salim Al-Sibahi 3c32b65Whitespace cleanup.George Leontiev 6adee80Add :apc for adding "proof style" declarationsEdwin Brady b7b55b7Allow hints to be given to proof searchEdwin Brady f869396Add :addmissing REPL commandEdwin Brady abf99a5Add proofsearch tactic, with :ps at the REPLEdwin Brady 7c86659Remove 'catch' round serverEdwin Brady 6456d6fAdd :makewith command at the REPLEdwin Brady 46256abAdd ':addclause' command at the REPLEdwin Brady d20f35cAdd --client optionEdwin Brady 66f4f9eExtend split/splitOnLine to cope with 'where/with'Edwin Brady 3729d95Add CaseSplit.hs and Command (not yet implemented)Edwin Brady 67fb9ccSplit Parser.hs into several filesEdwin Brady 4447a4dChanged structure of parser such that it correctly overloads TokenParsing using some newtype hackery.Ahmad Salim Al-Sibahi 583cc43Add ability to set ANSI italicsDavid Christiansen 73bdc53Refactoring of parser to Trifecta, documenting and updating some items/fixing some issues.Ahmad Salim Al-Sibahi 8125e03Add support for init scriptsDavid Christiansen d759b26Parser fix for colour setting commandsDavid Christiansen fe20bf1Allow colour options from REPLDavid Christiansen efa3f8fIgnore initial whitespace and comments in REPLMelvar Chen 3aa61b3Delete unused codeBenjamin Saunders 8af32d4squash potential space leaks by using strict foldlraichoo 75e0141add command to change current directoryHannes Mehnert 3262127Dynamically load C libraries in REPLDavid Christiansen c020e50javascript: split javascript and node targetraichoo 12dcee5Merge commit '06fffa315afc0d883f36a6ce971df1123aa6d8e3' into javascriptIrene Knapp 06fffa3JavaScript stuff.Irene Knapp fab5d73Adding support for Windows MingW32chetant 1ccd94aSyntax for documentation comments and :doc REPL commandEdwin Brady 671d39aFix name clashes between holes and bound variablesEdwin Brady 665676bAdded :l and :m commands to REPLEdwin Brady f2af303:addproof now adds most recent proof if no argument given Consistent with old behaviour, and with tutorialEdwin Brady 5a6299bUnification fix Specifically to stop it filling in things which are given by the programmer (caused by a bug replacing nullary constructors with terms!)Edwin Brady 8063cfdAdded --dumpcases <file> option for dumping case trees on compilingEdwin Brady 0679225Tweak match compilation (right to left, rather than l to r) Now matches on values before indices, to give a chance of erasing indices.Edwin Brady 16a6c95Set up for adding new compiler back ends more easilyEdwin Brady 7f2d76cenhanced proof handelingraichoo b8815e2added proof listraichoo 0887715Output C file (not finished...)Edwin Brady e1c7b0fAdd "--errorcontext" flag, and :set and :unset in the REPL. :set errorcontext will cause unification errors to also dump the current context.Edwin Brady b01a78eQuick hack at :info for exploring type classesEdwin Brady 9864c25Add :total commandEdwin Brady baaba44Run-time forcing optimisationEdwin Brady b20f2f8Tinker with compiler interfaceEdwin Brady acb1f19Add :a comment, to add most recent proof script to source fileEdwin Brady b26716aCollect cumulativity constraints on universesEdwin Brady ffc64e3Add mechanism for simplification and function optionsEdwin Brady d676ca6Added -o option, and :exec and :t at the REPLEdwin Brady