40da42fSupport names and terms in error reflectionDavid Raymond Christiansen13 years ago b0e43f0Initial partial version of REPL error reflectionDavid Raymond Christiansen13 years ago 5361547Merge remote-tracking branch 'origin/error-reflection' into error-reflectionDavid Raymond Christiansen13 years ago acf4b24Check the type of elaborated error handlersDavid Christiansen13 years ago 3b06788Allow querying the registered error handlersDavid Christiansen13 years ago 0b6cab7Proper checking for language extensionDavid Christiansen13 years ago a32d59cAdd ErrorHandler Binary instanceDavid Christiansen13 years ago a0d6d18Fix comment syntax for highlightingDavid Christiansen13 years ago 8f95300Allow functions to be declared as error handlersDavid Christiansen13 years ago 6808ce5Merge pull request #768 from trillioneyes/extension-checkingEdwin Brady13 years ago 9a8b714Merge pull request #767 from ahmadsalim/feature/inductionimprovementsEdwin Brady13 years ago 7b7993aMerge pull request #766 from markuspf/dragonflyEdwin Brady13 years ago b02f954Merge pull request #764 from puffnfresh/simpleparser-type-errorEdwin Brady13 years ago d0ed56fMerge pull request #763 from ahmadsalim/feature/parserlayoutfixesEdwin Brady13 years ago 1b53cc5Improve mid-do-block casesEdwin Brady13 years ago d0e193cImproved the parsing of `-XExtension` flags.Alyssa Carter13 years ago 3191f16Induction works for all types with eliminators now (some eliminators still need fixing) including those with indicies.Ahmad Salim Al-Sibahi13 years ago ea08a2eAdd more ifdefs for DragonFlyMarkus Pfeiffer13 years ago 7da9a4eAdd DragonFly to config.mkMarkus Pfeiffer13 years ago d7f4e11Induction now works on types with parametersAhmad Salim Al-Sibahi13 years ago 7825368Fix SimpleParser ambiguous type errorBrian McKenna13 years ago 7e2c212Proj can be <0 for Nat/GMP optimisation!Edwin Brady13 years ago 7932797Fixes layout parsing of operatorsAhmad Salim Al-Sibahi13 years ago 3eb8fc8Fix earlier %assert_total propagationEdwin Brady13 years ago 327487cUpdate reg006Edwin Brady13 years ago 3985f42Propagate assert_total to case blocksEdwin Brady13 years ago 4d42a2aMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady13 years ago 53f7525Merge pull request #762 from david-christiansen/show-git-in-version-2Edwin Brady13 years ago b6a14bcFix source locations for generated version numberDavid Raymond Christiansen13 years ago e985815Properly handle generation of sdist Git hashesDavid Raymond Christiansen13 years ago 395322bFix typo in Concurrency.RawEdwin Brady13 years ago 67ebb54Case branches can depend on scrutineeEdwin Brady13 years ago 3e47b49List metavariables at REPLEdwin Brady13 years ago ae56b06Merge pull request #753 from Melvar/obstructive-fact-clauseEdwin Brady13 years ago 0a6fb1fDon't install packages if there are metavariablesEdwin Brady13 years ago a811211Fix failing testEdwin Brady13 years ago 693e3e4Catch import errors in the right placeEdwin Brady13 years ago d17224dRemove superfluous clause in factMelvar Chen13 years ago 0700c58Fix another INTERNAL ERROREdwin Brady13 years ago 5c8acd2Allow newer versions of parser and trifectaEdwin Brady13 years ago 2f5c756Better error message for 'Not a guess'Edwin Brady13 years ago 8ac3356Don't unify explicit lambda typesEdwin Brady13 years ago 73e81f7Temporarily disable gitHash in version stringEdwin Brady13 years ago ef32bc6Change idris.cabal so library only builds onceEdwin Brady13 years ago 53b84ecMerge branch 'cabal-library' of https://github.com/puffnfresh/Idris-dev into puffnfresh-cabal-libraryEdwin Brady13 years ago 97e39caMerge pull request #751 from Melvar/setup-hs-catchEdwin Brady13 years ago 0e03531Merge pull request #750 from hannesm/fix-reg029Edwin Brady13 years ago 078f567fixes reg029 to not use set -u (which does not exist on macosx)Hannes Mehnert13 years ago edbb52fFix import clash in Setup.hsMelvar Chen13 years ago 4218126Merge pull request #749 from puffnfresh/default-superclass-instancesEdwin Brady13 years ago