git.iko.soy/Idris-dev
on d66da21 help sign in
history ofsrc/Idris/CaseSplit.hs
all commits
d66da21Cosmetic tweak in interactive editingEdwin Brady c587387Fix buglet in rendering of Nat patterns in :csEdwin Brady 775acd3Minor fix for variable update in case splitEdwin Brady 3e3b098Give names for clauses generated with :addmissingEdwin Brady 4a0eba1Add %name directive for naming hints in editing.Edwin Brady 96234a3Invent names when case splittingEdwin Brady cc35585Merge pull request #688 from david-christiansen/haddock-on-testEdwin Brady 40e6293Some interactive editing fixesEdwin Brady 5afcedbFixed malformed haddock commentsJan de Muijnck-Hughes 23772e9Remove "CaseSplit" constructor and implementation which could never be called (the REPLParser uses CaseSplitAt). Furhermore, we no longer need to export "split" from CaseSplit.hsHannes Mehnert 16eee46Fix case split bug on complex nested patternsEdwin Brady 057680aFix case splitting where patterns shadow global namesEdwin Brady 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 a2fa0facleanup whitespacesHannes Mehnert e1dc450Pick unique names for rhs when case splittingEdwin Brady 6456d6fAdd :makewith command at the REPLEdwin Brady 46256abAdd ':addclause' command at the REPLEdwin Brady d20f35cAdd --client optionEdwin Brady bba09bdAdd replaceSplits to generate new definitionEdwin Brady 66f4f9eExtend split/splitOnLine to cope with 'where/with'Edwin Brady 232fe96First implementation of :cs (case split) REPL commandEdwin Brady 3729d95Add CaseSplit.hs and Command (not yet implemented)Edwin Brady