summaryrefslogtreecommitdiff
path: root/compiler/main/PprTyThing.hs
Commit message (Expand)AuthorAgeFilesLines
* Print explicit foralls in type family eqns when appropriateRyan Scott2018-11-261-3/+7
* Add comments about pretty-printing via IfaceSynSimon Peyton Jones2018-08-241-29/+58
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Show explicit quantifiers in conflicting definitions errorPhil de Joux2017-01-201-31/+38
* Refine imports slightlySimon Peyton Jones2016-06-101-1/+1
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-3/+2
* Visible type applicationRichard Eisenberg2015-12-241-10/+2
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-2/+2
* catch some recent typosGabor Greif2014-12-081-1/+1
* White space onlySimon Peyton Jones2014-11-041-1/+1
* main: detabify/unwhitespace PprTyThingAustin Seipp2014-07-201-15/+8
* Some typos in commentsGabor Greif2014-06-111-1/+1
* Comments only (related to Trac #7730)Simon Peyton Jones2014-06-031-4/+40
* Do pretty-printing of TyThings via IfaceDecl (Trac #7730)Simon Peyton Jones2014-06-031-249/+52
* Refactoring around TyCon.isSynTyConSimon Peyton Jones2014-05-151-1/+1
* 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
View Lorry Controller Status