git.iko.soy/Idris-dev
on master help sign in
history of22fd2ad..master
compare
5d8f805Shrink IBCs dramaticallyEdwin Brady 8b7f8adPerformance improvement: name supplyEdwin Brady f47329cShortcut unification updatesEdwin Brady 4e6adebSeparate Core NFData instancesEdwin Brady 0cc9d4cDon't use a record for SourceLocationDavid Raymond Christiansen cf58eebAdded some clarification of the purpose of `PVar`Alyssa Carter 2feffa9Added haddock comments for most of the rest of the functions in `Core.TT`Alyssa Carter 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 2ab9798Fixed typo: "unform" --> "uniform"Alyssa Carter 81e2e4aChanged my haddock comments to use proper markupAlyssa Carter ae37f9bAdding prefix to new record field namesAlyssa Carter 90eaa8dAdded haddock comments to a number of TT name manipulation functionsAlyssa Carter ab06192Adding haddock comments to `instantiate` and `substV`. Also clarified the third paramater of the `P` constructor for `TT`.Alyssa Carter 2162623Explained motivation for some cases in `termsize`Alyssa Carter 662289fChanged the name of a pattern variable in one case of `termsize` to be more congruent with the other casesAlyssa Carter 4dbd816Clarify an initially-confusing point about `Binder`Alyssa Carter c3659afMoved information from comments to record field names.Alyssa Carter 3f2755bAdded haddock comment for `Core.TT.tcname`Alyssa Carter 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