summaryrefslogtreecommitdiff
path: root/compiler/prelude/TysWiredIn.lhs
Commit message (Expand)AuthorAgeFilesLines
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-0/+2
* Simplify and tidy up the handling of tuple namesSimon Peyton Jones2014-04-041-4/+66
* Implement ordering comparisons for type-level naturals and symbols.Iavor S. Diatchki2014-03-181-0/+16
* Reference Note [Kind-changing of (~) and Coercible]Joachim Breitner2014-03-141-0/+2
* Implement pattern synonymsDr. ERDI Gergo2014-01-201-3/+4
* Make Coercible higher-kindedJoachim Breitner2013-11-201-7/+11
* Make Word# a wired-in TyCon (fix Trac #8280)Simon Peyton Jones2013-09-181-5/+8
* Implement checkable "minimal complete definitions" (#7633)Twan van Laarhoven2013-09-181-1/+2
* Introduce coerce :: Coercible a b -> a -> bcoercibleJoachim Breitner2013-09-131-0/+27
* Add support for evaluation of type-level natural numbers.Iavor S. Diatchki2013-09-121-0/+15
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-0/+4
* Whitespace only in TysWiredInIan Lynagh2013-04-061-154/+148
* Add OverloadedLists, allowing list syntax to be overloadedSimon Peyton Jones2013-02-141-1/+1
* Use kind 'Symbol' consistently, rather than kind 'String'Simon Peyton Jones2013-01-251-9/+9
* Refactor and improve the promotion inferenceSimon Peyton Jones2013-01-251-12/+18
* Make {-# UNPACK #-} work for type/data family invocationsSimon Peyton Jones2012-12-231-1/+1
* Move the kind Nat and Symbol out of TysPrim and into TysWiredInSimon Peyton Jones2012-12-191-0/+29
* Major refactoring of the way that UNPACK pragmas are handledSimon Peyton Jones2012-12-141-5/+3
* Only promote *non-existential* data constructorsSimon Peyton Jones2012-10-191-3/+3
* Simplify the implementation of Implicit ParametersSimon Peyton Jones2012-06-131-40/+1
* Merge remote-tracking branch 'origin/unboxed-tuple-arguments2'Paolo Capriotti2012-06-051-2/+2
|\
| * Support code generation for unboxed-tuple function argumentsunboxed-tuple-arguments2Max Bolingbroke2012-05-151-2/+2
* | Change how macros like ASSERT are definedIan Lynagh2012-06-051-0/+1
* | Applied lunaris's patch to allow promoted types and rich kinds in Template Ha...Richard Eisenberg2012-05-181-1/+1
|/
* Hurrah! This major commit adds support for scoped kind variables,Simon Peyton Jones2012-03-021-2/+6
* Allow a header to be specified in a CTYPE pragmaIan Lynagh2012-02-171-6/+6
* Add CType informatino to wired-in typesIan Lynagh2012-02-161-15/+18
* Implement the CTYPE pragma; part of the CApiFFI extensionIan Lynagh2012-02-161-0/+3
* Give promoted DataCons a tyConArity and promoted TyCons a tyConKindSimon Peyton Jones2012-02-061-5/+5
* When type-checking kinds, be sure to promote list and tuple syntaxSimon Peyton Jones2012-02-011-2/+12
* Fix the behaviour of the unit unboxed tuple (# #)Simon Peyton Jones2011-12-231-1/+7
* New kind-polymorphic coreJose Pedro Magalhaes2011-11-111-4/+13
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-0/+7
* Fix kind-checking for unboxed tuples (fixes Trac #5573)Simon Peyton Jones2011-10-221-3/+3
* Change the way IfExtName is serialized so (most) wired-in names get special r...Max Bolingbroke2011-09-271-3/+2
* Improve the handling of Integer literalsIan Lynagh2011-09-171-65/+10
* Fix integer stuff (fixes Trac #5485)Simon Peyton Jones2011-09-141-1/+3
* change how Integer's are handled in CoreIan Lynagh2011-09-131-0/+91
* Comments, and rename FactTuple to ConstraintTupleSimon Peyton Jones2011-09-091-7/+25
* Implement -XConstraintKindMax Bolingbroke2011-09-061-50/+131
* Add rules for Integer constant foldingIan Lynagh2011-07-231-0/+19
* Track changes in the DPH package and GHC.PArr.Manuel M T Chakravarty2011-06-171-17/+17
* Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-genericsJose Pedro Magalhaes2011-05-121-23/+6
|\
| * This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-191-23/+6
* | Remove the hasGenerics field of TyCon, improve the way the Generics flags is ...Jose Pedro Magalhaes2011-05-021-4/+1
|/
* Added a VECTORISE pragmaManuel M T Chakravarty2011-02-201-3/+5
* Follow GHC.Bool/GHC.Types mergeIan Lynagh2010-10-231-3/+3
* Remove dead codesimonpj@microsoft.com2010-09-031-10/+0
* Fix Trac #3966: warn about useless UNPACK pragmassimonpj@microsoft.com2010-05-061-3/+2
* Minor refactoringsimonpj@microsoft.com2009-10-301-1/+5
View Lorry Controller Status