git.iko.soy/Idris-dev
on d773edd help sign in
history ofsrc/Idris/CaseSplit.hs
all commits
3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes 5d7388bMove extensions into source filesEdwin Brady fb33d8cIndentation configuration via command line args.Steven Shaw 488c5b7Add RigCount to PPi/PlicityEdwin Brady e1c210bAdd 'RigCount' to Pi and PVarEdwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan c3f0755replace code level class symbol with inferfacezjhmale abe2cd3Tidy case blocks in hole typesEdwin Brady e7a6ec1Get correct name under a Delay when case splittingEdwin Brady fdfa04cStore file with constraints + exportEdwin Brady 0896073Added documentation for modules.Jan de Muijnck-Hughes 1019ce5Source file stylings & Haddock.Jan de Muijnck-Hughes e34849fPrettier printing in case splittingEdwin Brady a3b40c2Fix generation of operator definitionsEdwin Brady 9297ae4Allow 'data' declarations in interfacesEdwin Brady 2dfba31Fix bracket bug in case generationEdwin Brady 6c51f87Fix name unification in interactive case splitEdwin Brady 310f046Fix case split/unification bugEdwin Brady 39a8c78Categorised the Logs.Jan de Muijnck-Hughes 6011227Fix regression with making class bodiesEdwin Brady 467490bBetter case split when all patterns are impossibleEdwin Brady db07875Merge "add definition" and "add missing" commandsEdwin Brady 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