git.iko.soy/Idris-dev
on dcdebfc help sign in
history ofsrc/Idris/CaseSplit.hs
all commits
f0a5442Provide IDESlave output with docs and typeDavid Raymond Christiansen 5232002Make names accessible before building case splitEdwin Brady c1ef938New syntax for documentation commentsDavid Raymond Christiansen 130f437Remove | annotation, make Force/Delay implicitEdwin Brady f9684d6Add 'Lazy' type for capturing delayed computationsEdwin Brady dc4ce0cReplace the string-slinging show with pretty-printDavid Raymond Christiansen 46e894dUse Data.Text for variable namesEdwin Brady 67da31aMerge branch 'master' into cabal-libraryBrian McKenna 8c93763Careful when unifying explicit argumentsEdwin Brady 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 0f97368Merge branch 'master' into cabal-libraryBrian McKenna 5000aebAdd a Cabal libraryBrian McKenna 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