summaryrefslogtreecommitdiff
path: root/compiler/iface/IfaceSyn.hs
Commit message (Expand)AuthorAgeFilesLines
* Coercion Quantificationningning2018-09-151-20/+23
* Comments only (on IfDataInstance)Simon Peyton Jones2018-09-131-4/+6
* Add comments about pretty-printing via IfaceSynSimon Peyton Jones2018-08-241-0/+1
* Use IfaceAppArgs to store an IfaceAppTy's argumentsRyan Scott2018-07-111-13/+13
* Refactor coercion ruleningning2018-07-091-3/+7
* Fix #14875 by introducing PprPrec, and using itRyan Scott2018-05-131-1/+1
* Improve pretty-printing for pattern synonymsSimon Peyton Jones2018-01-051-5/+7
* Refactor coercion holesSimon Peyton Jones2017-12-211-3/+2
* Levity polymorphic Backpack.Edward Z. Yang2017-10-161-3/+6
* Track the order of user-written tyvars in DataConRyan Scott2017-10-031-25/+34
* A bunch of typofixesGabor Greif2017-09-261-1/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Fix #14167 by using isGadtSyntaxTyCon in more placesRyan Scott2017-09-021-26/+23
* Add debugPprTypeSimon Peyton Jones2017-08-311-1/+1
* Preserve CoVar uniques during pretty printingRichard Eisenberg2017-07-271-0/+1
* Pretty-print strict record fields from ifaces correctlyRyan Scott2017-05-201-1/+9
* Account for IfUnpackCo in freeNamesIfDeclSimon Peyton Jones2017-05-191-2/+8
* Refactor freeNamesIfDeclSimon Peyton Jones2017-05-191-44/+68
* Kill off unused IfaceType.eqIfaceTypeSimon Peyton Jones2017-05-161-4/+3
* Only pretty-print binders in closed type families with -fprint-explicit-forallsRyan Scott2017-04-251-1/+5
* Comments only [ci skip]Reid Barton2017-03-081-0/+27
* Deserialize IfaceId more lazilyReid Barton2017-03-031-6/+2
* Properly represent abstract classes in Class and IfaceDeclEdward Z. Yang2017-03-021-27/+102
* Improve pretty-printing of typesSimon Peyton Jones2017-02-281-1/+1
* Treat all TyCon with hole names as skolem abstract.Edward Z. Yang2017-02-261-11/+8
* Record full FieldLabel in ifConFields.Edward Z. Yang2017-02-241-45/+30
* Say 'data' explicitly in IfAbstractTyCon output.Edward Z. Yang2017-02-171-2/+2
* Mark orphan instances and rules in --show-iface outputReid Barton2017-02-111-8/+14
* Ditch static flagsSylvain Henry2017-02-021-2/+1
* Join pointsLuke Maurer2017-02-011-8/+28
* Print COMPLETE pragmas in --show-ifaceMatthew Pickering2017-01-301-0/+4
* COMPLETE pragmas for enhanced pattern exhaustiveness checkingMatthew Pickering2017-01-261-0/+10
* Typos in comments [ci skip]Gabor Greif2017-01-251-1/+1
* Show explicit quantifiers in conflicting definitions errorPhil de Joux2017-01-201-54/+92
* Update levity polymorphismRichard Eisenberg2017-01-191-1/+5
* Improve pretty-printing of typesSimon Peyton Jones2016-11-251-1/+1
* Kill Type pretty-printerBen Gamari2016-11-131-3/+6
* New story for abstract data types in hsig files.Edward Z. Yang2016-10-201-3/+6
* Clean up handling of known-key Names in interface filesBen Gamari2016-10-131-72/+109
* The Backpack patch.Edward Z. Yang2016-10-081-2/+1
* Axe RecFlag on TyCons.Edward Z. Yang2016-06-301-21/+9
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-26/+19
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-2/+2
* Add Outputable ShowHowMuchSimon Peyton Jones2016-05-101-0/+5
* Track specified/invisible more carefully.Richard Eisenberg2016-03-211-10/+10
* Fix printing of an `IfacePatSyn`Rik Steenkamp2016-03-051-10/+14
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-72/+76
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-57/+57
* Visible type applicationRichard Eisenberg2015-12-241-1/+1
* Refactoring onlySimon Peyton Jones2015-12-241-1/+1
View Lorry Controller Status