git.iko.soy/Idris-dev
on 7932797 help sign in
7932797Fixes layout parsing of operatorsAhmad Salim Al-Sibahi 3eb8fc8Fix earlier %assert_total propagationEdwin Brady 327487cUpdate reg006Edwin Brady 3985f42Propagate assert_total to case blocksEdwin Brady 4d42a2aMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 53f7525Merge pull request #762 from david-christiansen/show-git-in-version-2Edwin Brady b6a14bcFix source locations for generated version numberDavid Raymond Christiansen e985815Properly handle generation of sdist Git hashesDavid Raymond Christiansen 395322bFix typo in Concurrency.RawEdwin Brady 67ebb54Case branches can depend on scrutineeEdwin Brady 3e47b49List metavariables at REPLEdwin Brady ae56b06Merge pull request #753 from Melvar/obstructive-fact-clauseEdwin Brady 0a6fb1fDon't install packages if there are metavariablesEdwin Brady a811211Fix failing testEdwin Brady 693e3e4Catch import errors in the right placeEdwin Brady d17224dRemove superfluous clause in factMelvar Chen 0700c58Fix another INTERNAL ERROREdwin Brady 5c8acd2Allow newer versions of parser and trifectaEdwin Brady 2f5c756Better error message for 'Not a guess'Edwin Brady 8ac3356Don't unify explicit lambda typesEdwin Brady 73e81f7Temporarily disable gitHash in version stringEdwin Brady ef32bc6Change idris.cabal so library only builds onceEdwin Brady 53b84ecMerge branch 'cabal-library' of https://github.com/puffnfresh/Idris-dev into puffnfresh-cabal-libraryEdwin Brady 97e39caMerge pull request #751 from Melvar/setup-hs-catchEdwin Brady 0e03531Merge pull request #750 from hannesm/fix-reg029Edwin Brady 078f567fixes reg029 to not use set -u (which does not exist on macosx)Hannes Mehnert edbb52fFix import clash in Setup.hsMelvar Chen 4218126Merge pull request #749 from puffnfresh/default-superclass-instancesEdwin Brady 6b70ce0Merge pull request #748 from david-christiansen/feature/isomorphismsEdwin Brady d599c0aMerge pull request #746 from david-christiansen/absurdityEdwin Brady abe366eMerge pull request #744 from Melvar/executor-null-stringEdwin Brady c68b376Merge pull request #743 from david-christiansen/show-git-in-version-2Edwin Brady 5eaf1f5Cut off fruitless proof search earlierEdwin Brady c7d96f5Make dumping of default superclass instances consistentBrian McKenna c303030Forgot to add Effect.Monad...Edwin Brady ae76a83Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady a2bf00fExplain strange case in reflectListEffElem!Edwin Brady 5e7fc5dAdd 'byReflection' tacticEdwin Brady 7e4ad1fMake :info show default superclass instancesBrian McKenna 68daa48Make spacing consistentDavid Christiansen 88dbc74Add isomorphisms for FinDavid Christiansen b144e35Weakening and shifting of FinsDavid Christiansen a3e2524Add more isomorphismsDavid Christiansen dc64734Monad/Applicative/Functor instances for EffEdwin Brady 04a5b4aAdd a function for dealing with absurdityDavid Raymond Christiansen d4dfcc3Add missing regression tests to idris.cabalMelvar Chen 2fe2ecaAdd regression test for possibly-null foreign strings in the executorMelvar Chen 3e19367Allow the executor to call foreign functions that return possibly-null strings.Melvar Chen 1f5beb6Fix LLVM compilation error because of moved `getCC`Brian McKenna e626474Show Git revision IDs in pre-release versionsDavid Christiansen