git.iko.soy/Idris-dev
on 239c8ca help sign in
history ofsrc/Idris/CaseSplit.hs
all commits
5bd5777Add :makecase (:mc) to REPL and ide-modeEdwin Brady ebf7a76Slightly less annoying name choiceEdwin Brady 3cd25e6Add extra HL information to PRefDavid Raymond Christiansen 976563bRemove travis deps unused since llvm & java backend removals.Leif Warner 202c913Logging levels must be explicitly mentioned.Jan de Muijnck-Hughes 7e8e25bMerge branch 'master' into name-highlightsDavid Raymond Christiansen 53e1281Remove PEqMelvar Chen 689e64bHighlight pi and lambda bindersDavid Raymond Christiansen b9318f6Don't bail out of IDE mode on bad case splitDavid Raymond Christiansen c380421Move ElabTerm into Elab.TermEdwin Brady cd30b8eCreate a proper name supply for identity typeDavid Raymond Christiansen 17fe233Add scoped implicit argument to PiEdwin Brady 6d54cb3Disallow explicit types on LHSEdwin Brady 971d88dAnnotate several top-level functionsMichael Maloney 7e7368dStore kind in Pi bindersEdwin Brady 3a561b2Don't update after '?' when case splittingEdwin Brady c72d0f4Split elaborator into multiple source filesEdwin Brady 72f7b58Add parens on generated S patternsDavid Raymond Christiansen 1269791Keep type arguments of = when unelaboratingEdwin Brady e363c09Better treatment of unbound implicitsEdwin Brady 10e0399One more case-splitting fixdefanor 328e4ffFixed case-splittingdefanor f8e6549:addclause now adds template bodies to instancesEdwin Brady 77ca4edFix interactive editing and testsDavid Raymond Christiansen 0cb6c65:makewith works with .lidr nowDavid Raymond Christiansen c3f26e9Normalise before case splitEdwin Brady 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