git.iko.soy/Idris-dev
on fac49fc help sign in
fac49fcSome IBC compressionEdwin Brady dfc3e44Shave a bit more off IBC sizeEdwin Brady ba15257Another small reduction in calls to TT.(==)Edwin Brady a7859f6Resolve name hints before adding to .ibcEdwin Brady 770a3a7Display errors properly on IBC load failureEdwin Brady 5d8f805Shrink IBCs dramaticallyEdwin Brady 8b7f8adPerformance improvement: name supplyEdwin Brady f47329cShortcut unification updatesEdwin Brady 4e6adebSeparate Core NFData instancesEdwin Brady f24ae1dMerge pull request #779 from ahmadsalim/feature/multilineliteralsEdwin Brady 05524a1Merge pull request #777 from andy-morris/makefile-phonyEdwin Brady ebc5318Merge pull request #775 from david-christiansen/error-reflectionEdwin Brady 22556aaFix for syntax extension parsingEdwin Brady 08e12c9Add Show instances for SourceLocation and ErrDavid Raymond Christiansen c486513Added label type 'nameEdwin Brady e33cfb9Add name suggestions to reflection libDavid Raymond Christiansen e6c3f56Merge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen 23787c2Linearity checking on LHS of with clausesEdwin Brady 7604451Cache argument types for building case treesEdwin Brady 7e885b3Disallow explicit types on LHSEdwin Brady ad995dcCheck that case does not overspecialiseEdwin Brady f9332e0Made verbatim string literals tokens (to allow whitespace after)Ahmad Salim Al-Sibahi c99854aAdded support for verbatim literalsAhmad Salim Al-Sibahi 23a28d5Fix .PHONY targets in MakefilesAndy Morris ef0b6ecRemove MVar from REPLEdwin Brady 037b4a4Add missing tests to Cabal fileDavid Raymond Christiansen fe48535Add test for error reflectionDavid Raymond Christiansen 9d8c0c4Allow a hierarchical structure in reflected errorsDavid Raymond Christiansen 5eda188Enable error reflection while loading a moduleDavid Raymond Christiansen 29a206dAdd reflection for the remaining errorsDavid Raymond Christiansen 579d242Cleaner failure for error reflectionDavid Raymond Christiansen 95960ceSeparate reflected errors from multiple handlersDavid Raymond Christiansen 40da42fSupport names and terms in error reflectionDavid Raymond Christiansen fa364caCheck for cyclic solutions in unificationEdwin Brady fef1207Make note of unapplied unifiation solutionsEdwin Brady b0e43f0Initial partial version of REPL error reflectionDavid Raymond Christiansen b67f180Merge pull request #774 from david-christiansen/induction-completionEdwin Brady ed969b3Merge pull request #773 from suhorng/fix/master/catch-windows-tryloadlib-exceptionEdwin Brady cf2eae8Merge pull request #772 from david-christiansen/either-eqEdwin Brady 5361547Merge remote-tracking branch 'origin/error-reflection' into error-reflectionDavid Raymond Christiansen acf4b24Check the type of elaborated error handlersDavid Christiansen 3b06788Allow querying the registered error handlersDavid Christiansen 0b6cab7Proper checking for language extensionDavid Christiansen a32d59cAdd ErrorHandler Binary instanceDavid Christiansen a0d6d18Fix comment syntax for highlightingDavid Christiansen 8f95300Allow functions to be declared as error handlersDavid Christiansen f793c7bAdd tab completion for "induction" in proverDavid Raymond Christiansen 9f1add7catch exception thrown by tryLoadLib on Windowssuhorng f5451ceAdd Eq instance for EitherDavid Raymond Christiansen 6808ce5Merge pull request #768 from trillioneyes/extension-checkingEdwin Brady