summaryrefslogtreecommitdiff
path: root/compiler/main/PprTyThing.hs
Commit message (Expand)AuthorAgeFilesLines
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-1/+1
* Modularise pretty-printing for forallsSimon Peyton Jones2014-05-061-6/+2
* Print for-alls more often (Trac #9018)Simon Peyton Jones2014-04-281-7/+4
* Reinstate pretty-printing of AnIds via pprId (#8776)Dr. ERDI Gergo2014-03-141-0/+6
* Pretty-print the following TyThings via their IfaceDecl counterpart:Dr. ERDI Gergo2014-03-131-46/+13
* Implement pattern synonymsDr. ERDI Gergo2014-01-201-2/+27
* Don't print roles for data instancesSimon Peyton Jones2014-01-171-1/+3
* Be more selective about when to print out roles with :infoRichard Eisenberg2013-10-231-8/+12
* Print (non-representational) roles when display TyCon informationSimon Peyton Jones2013-10-081-14/+25
* Simplify PprTyThingSimon Peyton Jones2013-10-041-53/+53
* Improve pretty-printing of typesunknown2013-10-011-75/+81
* Globally replace "hackage.haskell.org" with "ghc.haskell.org"Simon Marlow2013-10-011-1/+1
* Add support for evaluation of type-level natural numbers.Iavor S. Diatchki2013-09-121-0/+3
* Added support for writing and checking closed type families is hs-boot files.Richard Eisenberg2013-08-051-2/+7
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-4/+9
* Print kinds of non-* tyvar binders in pprTyThingSimon Peyton Jones2013-05-281-5/+6
* Don't suppress foralls in the RHS of a type synonym definition!Simon Peyton Jones2013-05-031-2/+2
* Display operators using parentheses/backticks in error messages (#7848)Krzysztof Gogolewski2013-04-211-1/+1
* Pure refactoringSimon Peyton Jones2013-01-281-0/+1
* When printing types in the interactive UI, take account of free variablesSimon Peyton Jones2013-01-221-1/+6
* Be willing to parse {-# UNPACK #-} without '!'Simon Peyton Jones2013-01-141-2/+2
* Make {-# UNPACK #-} work for type/data family invocationsSimon Peyton Jones2012-12-231-2/+1
* Wibbles to faa8ff40 (UNPACK pragmas)Simon Peyton Jones2012-12-191-4/+20
* Make a start towards eta-rules and injective familiesSimon Peyton Jones2012-09-181-7/+7
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-0/+7
* Implement -XConstraintKindMax Bolingbroke2011-09-061-4/+5
* Some minor wibbling in printing source locationsSimon Peyton Jones2011-09-021-3/+2
* Minor wibbles to pretty-printing HsSynSimon Peyton Jones2011-08-231-11/+13
* Make pprTyThingInContenxt handle associated types rightSimon Peyton Jones2011-08-221-54/+59
* The final batch of changes for the new coercion representationSimon Peyton Jones2011-05-121-2/+3
* This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-191-19/+20
* Super-monster patch implementing the new typechecker -- at lastsimonpj@microsoft.com2010-09-131-4/+4
* Refactor pretty printing of TyThings to fix Trac #4015simonpj@microsoft.com2010-05-251-72/+73
* Improve printing of TyThings; fixes Trac #4087simonpj@microsoft.com2010-05-251-14/+8
* Fix Trac #3966: warn about useless UNPACK pragmassimonpj@microsoft.com2010-05-061-6/+2
* Remove unused importsIan Lynagh2009-07-071-1/+0
* Fix the bug part of Trac #1930simonpj@microsoft.com2008-08-041-2/+2
* (F)SLIT -> (f)sLit in PprTyThingIan Lynagh2008-04-121-14/+12
* Don't import FastString in HsVersions.hIan Lynagh2008-03-291-0/+1
* Make use of the SDoc type synonymIan Lynagh2008-03-261-16/+13
* Fix warnings in main/PprTyThingIan Lynagh2008-03-251-17/+27
* Fix Trac #2138: print the 'stupid theta' of a data typesimonpj@microsoft.com2008-03-061-2/+6
* Fix Trac #2082simonpj@microsoft.com2008-02-191-1/+1
* Move OPTIONS pragmas above commentsIan Lynagh2007-09-211-7/+7
* Define and use PprTyThing.pprTypeForUsersimonpj@microsoft.com2007-09-111-19/+44
* FIX #903: mkWWcpr: not a productSimon Marlow2007-09-101-4/+5
* 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
* Add -fprint-explicit-foralls flag; fixes trac #1474Ian Lynagh2007-07-091-55/+61