git.iko.soy/Idris-dev
on e63fcef help sign in
history ofsrc/Idris/Core/TT.hs
all commits
fe3f03fAdded %error_reverse annotationEdwin Brady 2c80895Bring my changes in line with the latest upstreamAlyssa Carter 06fd947Add "Can't solve goal" error messageEdwin Brady d711327Fix bug in 'forget' for well-typed termsEdwin Brady d82f5feMerge branch 'text-names'Edwin Brady 70ee9efMake more fields strictEdwin Brady 0c8c90dStrictness annotationsEdwin Brady 46e894dUse Data.Text for variable namesEdwin Brady 66ec833Minor memory usage improvementsEdwin Brady fac49fcSome IBC compressionEdwin Brady bbee45cExplained the motivation of the name `P` for named referencesAlyssa Carter 770a3a7Display errors properly on IBC load failureEdwin Brady 8b7f8adPerformance improvement: name supplyEdwin Brady 4e6adebSeparate Core NFData instancesEdwin Brady 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 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 9d8c0c4Allow a hierarchical structure in reflected 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 b0e43f0Initial partial version of REPL error reflectionDavid Raymond Christiansen d7f4e11Induction now works on types with parametersAhmad Salim Al-Sibahi 693e3e4Catch import errors in the right placeEdwin Brady 0700c58Fix another INTERNAL ERROREdwin Brady 67da31aMerge branch 'master' into cabal-libraryBrian McKenna 5000aebAdd a Cabal libraryBrian McKenna