summaryrefslogtreecommitdiff
path: root/compiler/prelude/TysPrim.lhs
Commit message (Expand)AuthorAgeFilesLines
* compiler: de-lhs prelude/Austin Seipp2014-12-031-793/+0
* Split SynTyCon to SynonymTyCon and FamilyTyConJan Stolarek2014-11-201-4/+3
* prelude: detabify/dewhitespace TysPrimAustin Seipp2014-08-201-188/+181
* Fix #9062.Richard Eisenberg2014-06-111-2/+10
* Fix #9097.Richard Eisenberg2014-06-111-12/+4
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-1/+2
* Add SmallArray# and SmallMutableArray# typesJohan Tibell2014-03-291-2/+15
* Replace (State# RealWorld) with Void# where we just want a 0-bit valueSimon Peyton Jones2013-11-221-1/+10
* Globally replace "hackage.haskell.org" with "ghc.haskell.org"Simon Marlow2013-10-011-1/+1
* Implement an unlifted Proxy type, Proxy#Austin Seipp2013-09-271-1/+14
* SIMD primops are now generated using schemas that are polymorphic inGeoffrey Mainland2013-09-221-34/+6
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-22/+40
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-0/+1
* Use new TcHsType.zonkSigType to establish Type invariantsSimon Peyton Jones2013-05-301-13/+13
* Add the Int64X2# primitive type and associated primops.Geoffrey Mainland2013-02-011-2/+10
* Add the DoubleX2# primitive type and associated primops.Geoffrey Mainland2013-02-011-1/+9
* Add the Int32X4# primitive type and associated primops.Paul Monday2013-02-011-2/+10
* Add the Float32X4# primitive type and associated primops.Geoffrey Mainland2013-02-011-2/+21
* typosGabor Greif2013-01-301-2/+2
* Move the kind Nat and Symbol out of TysPrim and into TysWiredInSimon Peyton Jones2012-12-191-7/+0
* Added GHC formalism to the GHC source tree.Richard Eisenberg2012-12-011-0/+2
* Undo making Any into a type family, for nowSimon Peyton Jones2012-09-181-0/+6
* Make a start towards eta-rules and injective familiesSimon Peyton Jones2012-09-181-3/+14
* 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
View Lorry Controller Status