summaryrefslogtreecommitdiff
path: root/compiler/iface/IfaceSyn.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Random typo fixesHerbert Valerio Riedel2015-12-171-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-79/+124
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-12/+17
* Refactor default methods (Trac #11105)Simon Peyton Jones2015-11-251-12/+24
* Fix inconsistent pretty-printing of type familiesMichał Sośnicki2015-11-181-2/+2
* Generate Typeable info at definition sitesBen Gamari2015-10-301-52/+49
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-49/+52
* Generate Typeable info at definition sitesBen Gamari2015-10-291-52/+49
* Record pattern synonymsMatthew Pickering2015-10-291-6/+11
* Pattern synonyms: swap provided/requiredSimon Peyton Jones2015-10-281-1/+1
* Implement DuplicateRecordFieldsAdam Gundry2015-10-161-25/+49
* Show minimal complete definitions in ghci (#10847)Moritz Kiefer2015-09-171-3/+27
* Injective type familiesJan Stolarek2015-09-031-8/+27
* Replace HsBang type with HsSrcBang and HsImplBangAdam Sandberg Eriksson2015-08-101-13/+36
* Improve warnings for rules that might not fireSimon Peyton Jones2015-07-271-1/+1
* Refactor tuple constraintsSimon Peyton Jones2015-05-181-5/+4
* Revert multiple commitsAustin Seipp2015-05-141-4/+5
* Refactor tuple constraintsSimon Peyton Jones2015-05-131-5/+4
* Permit empty closed type familiesAdam Gundry2015-05-041-15/+18
* More comments on HsBangSimon Peyton Jones2015-01-111-1/+2
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-061-1/+1
* Eliminate so-called "silent superclass parameters"Simon Peyton Jones2014-12-231-4/+4
* Add a provenance field to universal coercions.Iavor S. Diatchki2014-12-171-1/+1
* Source notes (Core support)Peter Wortmann2014-12-161-0/+21
View Lorry Controller Status