summaryrefslogtreecommitdiff
path: root/compiler/prelude/TysPrim.lhs
Commit message (Expand)AuthorAgeFilesLines
* Support code generation for unboxed-tuple function argumentsunboxed-tuple-arguments2Max Bolingbroke2012-05-151-27/+4
* Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-131-36/+56
|\
| * Hurrah! This major commit adds support for scoped kind variables,Simon Peyton Jones2012-03-021-12/+12
| * Simplified serialization of IfaceTyCon, againMax Bolingbroke2012-02-221-1/+2
| * Refactoring around super-kindsSimon Peyton Jones2012-02-161-21/+40
* | Add support for type-level "strings".Iavor S. Diatchki2012-01-241-1/+3
* | Add the wired-in names for manipulating type-level nats.Iavor S. Diatchki2011-12-291-2/+1
* | Extend GHC's type with a representation for type level literals.Iavor S. Diatchki2011-12-181-0/+6
|/
* Add new primtypes 'ArrayArray#' and 'MutableArrayArray#'Manuel M T Chakravarty2011-12-071-11/+23
* Rename ? to OpenKind and ?? to ArgKindJose Pedro Magalhaes2011-11-211-2/+2
* Better documentation for AnyKJose Pedro Magalhaes2011-11-161-2/+2
* GHC gets a new constraint solver. More efficient and smaller in size.Dimitrios Vytiniotis2011-11-161-1/+11
* New kind-polymorphic coreJose Pedro Magalhaes2011-11-111-74/+60
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-0/+7
* Fix kind-checking for unboxed tuples (fixes Trac #5573)Simon Peyton Jones2011-10-221-2/+3
* Handle HValues slightly nicerIan Lynagh2011-10-031-1/+4
* Fix typoIan Lynagh2011-10-031-1/+1
* Change the way IfExtName is serialized so (most) wired-in names get special r...Max Bolingbroke2011-09-271-0/+7
* Implement -XConstraintKindMax Bolingbroke2011-09-061-21/+27
* Remove bogus isCoercionKind function and its sole useMax Bolingbroke2011-09-061-1/+1
* Treat the (~) type constructor a bit speciallySimon Peyton Jones2011-05-261-2/+18
* This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-191-99/+213
* Give seqId the right typesimonpj@microsoft.com2010-09-031-4/+5
* Give the correct kind to unsafeCoerce#simonpj@microsoft.com2010-07-271-1/+7
* Tidy up AnyTyCon stuffsimonpj@microsoft.com2010-03-011-14/+5
* Comments onlysimonpj@microsoft.com2010-02-251-2/+8
* Substantial improvements to coercion optimisationsimonpj@microsoft.com2010-01-041-0/+1
* Fix Trac #959: a long-standing bug in instantiating otherwise-unbound type va...simonpj@microsoft.com2009-10-151-56/+120
* Fix Trac #3421: a typo in TysPrimsimonpj@microsoft.com2009-08-101-1/+1
* Remove GHC's haskell98 dependencyIan Lynagh2009-07-241-1/+1
* Trim unused imports detected by new unused-import codesimonpj@microsoft.com2009-07-061-2/+1
* Follow OccName changes in TysPrimMax Bolingbroke2008-07-311-3/+3
* TysPrim is now warning-freeIan Lynagh2008-04-131-20/+62
* (F)SLIT -> (f)sLit in TysPrimIan Lynagh2008-04-121-27/+27
* Another round of External Core fixesTim Chevalier2008-04-101-1/+1
* Don't import FastString in HsVersions.hIan Lynagh2008-03-291-1/+1
* Improve the situation for Trac #959: civilised warning instead of a trace msgsimonpj@microsoft.com2007-11-191-1/+3
* Fix CodingStyle#Warnings URLsIan Lynagh2007-09-041-1/+1
* Use OPTIONS rather than OPTIONS_GHC for pragmasIan Lynagh2007-09-031-2/+2
* Add {-# OPTIONS_GHC -w #-} and some blurb to all compiler modulesIan Lynagh2007-09-011-0/+7
* Store a SrcSpan instead of a SrcLoc inside a NameSimon Marlow2007-05-111-2/+2
* Add the primitive type Any, and use it for Dynamicssimonpj@microsoft.com2006-10-181-3/+54
* Module header tidyup, phase 1Simon Marlow2006-10-111-2/+3
* Interface file optimisation and removal of nameParentSimon Marlow2006-10-111-1/+0
* newtype fixes, coercions for non-recursive newtypes now optionalManuel M T Chakravarty2006-09-201-7/+3
* Remove argument variance info of tyconsManuel M T Chakravarty2006-09-181-27/+17
* the unlifted kindSimon Marlow2006-06-231-3/+8
* Reorganisation of the source treeSimon Marlow2006-04-071-0/+392
View Lorry Controller Status