summaryrefslogtreecommitdiff
path: root/compiler/coreSyn/TrieMap.hs
Commit message (Expand)AuthorAgeFilesLines
* Split TrieMap into a general (TrieMap) and core specific (CoreTrieMap) module.klebinger.andreas@gmx.at2018-05-051-1135/+0
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Add an Outputable instance for ListMapSimon Peyton Jones2017-07-261-0/+3
* Use lengthIs and friends in more placesRyan Scott2017-06-021-1/+2
* Typos in comments and manual [ci skip]Gabor Greif2017-05-231-1/+1
* Clean up coreView/tcView.Ben Gamari2017-03-311-7/+16
* TcTypeable: Try to reuse KindRepsBen Gamari2017-03-031-2/+26
* Generalize kind of the (->) tyconBen Gamari2017-02-181-3/+3
* Fix deprecation warnings from containersErik de Castro Lopo2017-01-301-4/+4
* Add a CSE pass to Stg (#9291)Joachim Breitner2017-01-051-1/+5
* 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