summaryrefslogtreecommitdiff
path: root/compiler/coreSyn/TrieMap.lhs
Commit message (Expand)AuthorAgeFilesLines
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-23/+59
* Fix Trac #8020.Richard Eisenberg2013-08-021-1/+10
* Fix Trac #7681.Richard Eisenberg2013-02-111-37/+1
* Implement overlapping type family instances.Richard Eisenberg2012-12-211-30/+30
* Implement 'left' and 'right' coercionsSimon Peyton Jones2012-09-171-5/+17
* Add mapTM to TrieMapSimon Peyton Jones2012-08-221-13/+100
* When comparing Case expressions, take account of empty alternativesSimon Peyton Jones2012-05-161-20/+40
* Implemeting a lookup modulo non-idempotent substitution.Dimitrios.Vytiniotis2012-04-051-17/+21
* Add handling of LitTy. Still a TODO to deal properly with the forall case in ...Dimitrios Vytiniotis2012-03-291-7/+2
* Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavorDimitrios Vytiniotis2012-03-281-2/+36
|\
| * Add support for type-level "strings".Iavor S. Diatchki2012-01-241-6/+11
| * Mainly, rename LiteralTy to LitTySimon Peyton Jones2012-01-131-3/+2
| * Fix the implementation of the type literal trie.Iavor S. Diatchki2011-12-181-4/+2
| * Extend GHC's type with a representation for type level literals.Iavor S. Diatchki2011-12-181-2/+34
* | Midstream check-in onDimitrios.Vytiniotis2012-03-281-1/+39
|/
* Make TypeMap an instance of OutputableSimon Peyton Jones2011-12-051-1/+7
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-0/+7
* Overhaul of infrastructure for profiling, coverage (HPC) and breakpointsSimon Marlow2011-11-021-14/+11
* Implement -XConstraintKindMax Bolingbroke2011-09-061-2/+0
* Comments onlySimon Peyton Jones2011-08-151-0/+3
* Comments, plus export TrieMap(..)Simon Peyton Jones2011-07-291-4/+25
* Add new TrieMap moduleSimon Peyton Jones2011-07-291-0/+581