git.iko.soy/Idris-dev
on 60abf37 help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
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 a0b21e3AbsSyntaxTree `showName` should use `showCG`, not `show`Brian McKenna 0f97368Merge branch 'master' into cabal-libraryBrian McKenna 5000aebAdd a Cabal libraryBrian McKenna 027bd15Merge pull request #675 from cgswords/masterEdwin Brady 725587fFixed testing failures I accidentally introduced when showing a better naming for machine generated names (so that I could better debug)Ahmad Salim Al-Sibahi ec3daa4Make sure deferred definitions get totality checkedEdwin Brady 386753dAdded a --nobanner flag to supress the banner.cswords