git.iko.soy/Idris-dev
on fee6a00 help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
fee6a00Merge pull request #806 from ziman/import-asEdwin Brady 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 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 9a89a8dEliminators working for some type - still experimental. Will create a way to make them work with the elim type classAhmad Salim Al-Sibahi a10e866Added data optionsAhmad Salim Al-Sibahi ddac624Add --nobasepkgs flagEdwin Brady 90eb6a2Library changes: Please read details below!Edwin Brady 543cd7eStrictness improvementsEdwin Brady 9c9b38bsend log over the wire if in ideslave mode doesn't capture the Debug.Trace usage in Core (with log level >= 5) yet, unfortunatelyHannes Mehnert 01078f2Merge pull request #641 from ahmadsalim/feature/metavarprooffixEdwin Brady 1e6c727Disallow proving of top-level declarations and other meta-variables, fixes idris-lang/Idris-dev#46Ahmad Salim Al-Sibahi