git.iko.soy/Idris-dev
on dd09721 help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
63d2989Add --repl [package] command line optionEdwin Brady 28ffcf8Correctly pretty-print no-argument NilDavid Raymond Christiansen 4257d64Automatically detect console widthDavid Raymond Christiansen b1f049bMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 889d848Change 'run' in neweffects to add defaultsEdwin Brady 41d3dafUse the pprint library to insert line breaksDavid Raymond Christiansen da24632Render using console widthDavid Raymond Christiansen 380e1caMerge branch 'master' into error-reflectionDavid Raymond Christiansen fee6a00Merge pull request #806 from ziman/import-asEdwin Brady e46603aMerge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen a2226adMerge remote-tracking branch 'origin/error-reflection' into error-reflectionDavid Raymond Christiansen 8c620dcMerge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen 9eb64f4Rewrite error printing to use the pretty-printerDavid Raymond Christiansen f3d1adaFix pretty-printing of infix operatorsDavid Raymond Christiansen f24a675Add the possibility to "import Module as Alias".Matus Tejiscak 13c6effProperly annotate the Type of TypesDavid Raymond Christiansen c0cc1ddMerge remote-tracking branch 'upstream/master' into semantic-pprintDavid Raymond Christiansen dc4ce0cReplace the string-slinging show with pretty-printDavid Raymond Christiansen fe3f03fAdded %error_reverse annotationEdwin Brady 5f0c449Colouring support in the proverDavid Raymond Christiansen 13f3c29Basic functioning with new pretty-printerDavid Raymond Christiansen 803194fArgument options (instead of just a Bool for lazy)Edwin Brady b8d7935Hide original errors upon reflective rewriteDavid Raymond Christiansen bab6c7bAdd error handlers to IBC filesDavid Raymond Christiansen 0ab30e7Restrict error reflection scope to one argumentDavid Raymond Christiansen 1f67398Specific-function error reflection: basic infrastructureDavid Raymond Christiansen d337b5dPerformance/compiler temporary hack: %eraseEdwin Brady 567b1beMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady d7b2913A simpler approach to handling name shadowingEdwin Brady 970c833Merge pull request #782 from jfdm/feature/pkg-check-onlyEdwin Brady 1c51b01EXPERIMENTAL: Disambiguate names in a blockEdwin Brady 46e894dUse Data.Text for variable namesEdwin Brady a611debFix memory leakEdwin Brady fdbee50Command line option improvements.Jan de Muijnck-Hughes fac49fcSome IBC compressionEdwin Brady 8b7f8adPerformance improvement: name supplyEdwin Brady 3b06788Allow querying the registered error handlersDavid Christiansen 8f95300Allow functions to be declared as error handlersDavid Christiansen d7f4e11Induction now works on types with parametersAhmad Salim Al-Sibahi 53b84ecMerge branch 'cabal-library' of https://github.com/puffnfresh/Idris-dev into puffnfresh-cabal-libraryEdwin Brady 5e7fc5dAdd 'byReflection' tacticEdwin Brady 67da31aMerge branch 'master' into cabal-libraryBrian McKenna dccddd2Merge branch 'forceability-cleanup-squashed' of https://github.com/ziman/idris into ziman-forceability-cleanup-squashedEdwin Brady 2e570a3Merge branch 'default-superclass-instances' of https://github.com/puffnfresh/Idris-dev into puffnfresh-default-superclass-instancesEdwin Brady 99beed8Default superclass intancesBrian McKenna 65c301cRecursive constructor disjointness + cleanupMatus Tejiscak 2dc07faInduction on nat workingAhmad Salim Al-Sibahi 4a0eba1Add %name directive for naming hints in editing.Edwin Brady 7b8f3b4Merge branch 'feature/eliminators' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/eliminatorsEdwin Brady 232a592Replace partial `showDeclImp` function with total `dumpDecl`Brian McKenna