summaryrefslogtreecommitdiff
path: root/compiler/basicTypes/MkId.lhs
Commit message (Expand)AuthorAgeFilesLines
* Small refactoringsghc-axiomsSimon Peyton Jones2012-01-031-1/+1
* Represent type family instances by CoAxioms, not TyCons.Jose Pedro Magalhaes2011-12-221-0/+11
* GHC gets a new constraint solver. More efficient and smaller in size.Dimitrios Vytiniotis2011-11-161-5/+5
* New kind-polymorphic coreJose Pedro Magalhaes2011-11-111-1/+1
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-0/+7
* Overhaul of infrastructure for profiling, coverage (HPC) and breakpointsSimon Marlow2011-11-021-27/+1
* Improve the handling of Integer literalsIan Lynagh2011-09-171-44/+0
* Hack: add noCafIdInfo to shiftIntegerL and friendsSimon Peyton Jones2011-09-151-8/+11
* Fix integer stuff (fixes Trac #5485)Simon Peyton Jones2011-09-141-7/+1
* change how Integer's are handled in CoreIan Lynagh2011-09-131-1/+48
* Implement -XConstraintKindMax Bolingbroke2011-09-061-5/+10
* Use varToCoreExpr rather than Var (fixes #5315)Simon Peyton Jones2011-07-151-1/+1
* Add equality superclassesSimon Peyton Jones2011-06-221-1/+3
* Remove "silent superclass parameters"Simon Peyton Jones2011-06-221-13/+4
* Comment onlySimon Peyton Jones2011-06-131-1/+2
* Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-genericsJose Pedro Magalhaes2011-05-121-62/+59
|\
| * The final batch of changes for the new coercion representationSimon Peyton Jones2011-05-121-8/+11
| * This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-191-57/+51
* | More small fixes to generics branch (doesn't compile yet)Simon Peyton Jones2011-04-191-6/+1
|/
* Single-method classes are implemented with a newtypesimonpj@microsoft.com2010-12-211-7/+10
* For single-method classes use newtypessimonpj@microsoft.com2010-11-011-7/+9
* Fix recursive superclasses (again). Fixes Trac #4809.simonpj@microsoft.com2010-12-131-12/+24
* Refactoring of the way that inlinings and rules are activatedsimonpj@microsoft.com2010-11-161-0/+1
* Implement INLINABLE pragma simonpj@microsoft.com2010-09-151-1/+1
* Move error-ids to MkCore (from PrelRules)simonpj@microsoft.com2010-09-141-22/+4
* Super-monster patch implementing the new typechecker -- at lastsimonpj@microsoft.com2010-09-131-158/+47
* Give seqId the right typesimonpj@microsoft.com2010-09-031-4/+4
* Commentssimonpj@microsoft.com2010-08-231-3/+4
* Give the correct kind to unsafeCoerce#simonpj@microsoft.com2010-07-271-5/+5
* Fix Trac #4127 (and hence #4173)simonpj@microsoft.com2010-07-071-8/+16
* Fix Trac #3966: warn about useless UNPACK pragmassimonpj@microsoft.com2010-05-061-14/+12
* Improve the handling of default methodssimonpj@microsoft.com2010-01-061-1/+1
* Undo the fix for Trac #3772 and do it a new waysimonpj@microsoft.com2010-01-051-8/+4
* More work on the simplifier's inlining strategiessimonpj@microsoft.com2009-12-021-7/+7
* Remove the (very) old strictness analysersimonpj@microsoft.com2009-11-191-7/+7
* Make the new ClassOp/DFun selection mechanism work for single-method classessimonpj@microsoft.com2009-11-131-17/+26
* Comments only, relating to Roman's new built-in rule for seqsimonpj@microsoft.com2009-11-051-6/+16
* Add builtin rule to eliminate unnecessary casts in seqRoman Leshchinskiy2009-11-041-0/+19
* The Big INLINE Patch: totally reorganise way that INLINE pragmas worksimonpj@microsoft.com2009-10-291-7/+36
* Comments onlysimonpj@microsoft.com2009-10-231-1/+1
* Remove unused importsIan Lynagh2009-07-071-3/+0
* Allow RULES for seq, and exploit themsimonpj@microsoft.com2009-06-031-5/+39
* Fix Trac #3259: expose 'lazy' only after generating interface filessimonpj@microsoft.com2009-05-291-18/+23
* Comments about wiredInIdssimonpj@microsoft.com2009-05-271-8/+33
* Fix Trac #3118: missing alternativesimonpj@microsoft.com2009-04-021-2/+6
* Make record selectors into ordinary functionssimonpj@microsoft.com2009-01-021-403/+87
* Rollback INLINE patchesSimon Marlow2008-12-161-2/+2
* Completely new treatment of INLINE pragmas (big patch)simonpj@microsoft.com2008-12-051-2/+2
* White space onlysimonpj@microsoft.com2008-10-191-7/+8
* Comments only: replace ":=:" by "~" (notation for equality predicates)simonpj@microsoft.com2008-09-201-1/+1