summaryrefslogtreecommitdiff
path: root/compiler/coreSyn/TrieMap.hs
Commit message (Expand)AuthorAgeFilesLines
* Improve typechecking of instance defaultsSimon Peyton Jones2016-06-241-1/+2
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-8/+8
* Kill non-deterministic foldUFM in TrieMap and TcAppMapBartosz Nitka2016-05-041-32/+100
* TrieMap: Minor documentation fixÖmer Sinan Ağacan2016-01-091-2/+9
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-292/+140
* Typos in commentsGabor Greif2015-07-311-1/+1
* Cite the TrieMap idea [skip-ci]Edward Z. Yang2015-03-021-0/+6
* Newtype CoreMap and TypeMap so their keys are user-friendly.Edward Z. Yang2015-01-091-84/+117
* Inline all of the .*[TCE] methods, and then rename .*[TCE]X to vacated name.Edward Z. Yang2015-01-091-180/+183
* Miscellaneous improvements to TrieMap, from D608 code review.Edward Z. Yang2015-01-091-48/+74
* Apply GenMap to CoreMap and CoercionMap.Edward Z. Yang2015-01-081-79/+183
* Add 'DeBruijn' constructor, which generalizes "key modulo alpha-renaming."Edward Z. Yang2015-01-081-109/+104
* Generalize TrieMap compression to GenMap.Edward Z. Yang2015-01-071-49/+154
* Compress TypeMap TrieMap leaves with singleton constructor.Edward Z. Yang2015-01-071-1/+58
* Remove redundant constraints in the compiler itself, found by -fwarn-redundan...Simon Peyton Jones2015-01-061-2/+2
* Add a provenance field to universal coercions.Iavor S. Diatchki2014-12-171-2/+5
* Comments on TrieMap and unifier.Edward Z. Yang2014-12-041-0/+7
* compiler: de-lhs coreSyn/Austin Seipp2014-12-031-0/+829
View Lorry Controller Status