summaryrefslogtreecommitdiff
path: root/compiler/iface
Commit message (Expand)AuthorAgeFilesLines
* Refactor temp files cleanupDouglas Wilson2017-06-081-2/+2
* Fix build after 'Shrink a couple of hs-boot files'Bartosz Nitka2017-05-272-3/+1
* Some tidying up of type pretty-printingSimon Peyton Jones2017-05-261-38/+49
* Shrink a couple of hs-boot filesSimon Peyton Jones2017-05-262-26/+8
* 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
* Comments and white space onlySimon Peyton Jones2017-05-191-3/+2
* Kill off unused IfaceType.eqIfaceTypeSimon Peyton Jones2017-05-162-120/+21
* Revert "Use a deterministic map for imp_dep_mods"Bartosz Nitka2017-05-151-3/+2
* Revert "Stress test for nested module hierarchies"Bartosz Nitka2017-05-151-2/+3
* Stress test for nested module hierarchiesBartosz Nitka2017-05-151-3/+2
* Parenthesize pretty-printed equalities when necessaryRyan Scott2017-05-111-1/+1
* Prefer #if defined to #ifdefBen Gamari2017-04-281-1/+1
* Only pretty-print binders in closed type families with -fprint-explicit-forallsRyan Scott2017-04-251-1/+5
* Replace Digraph's Node type synonym with a data typeMatthew Pickering2017-04-041-2/+2
* Fix recompilation avoidance bug for implementor of hsig.Edward Z. Yang2017-04-021-2/+8
* Typos in comments [ci skip]Gabor Greif2017-03-301-1/+1
* Recompile if -fhpc is added or removed (#11798)Reid Barton2017-03-261-2/+8
* Introduce putLogMsgBen Gamari2017-03-152-8/+7
* Introduce and use EnumSet in DynFlagsBen Gamari2017-03-151-2/+2
* Comments only [ci skip]Gabor Greif2017-03-091-1/+1
* Comments only [ci skip]Reid Barton2017-03-081-0/+27
* Read COMPLETE sets from external packagesBen Gamari2017-03-064-33/+31
* Deserialize IfaceId more lazilyReid Barton2017-03-031-6/+2
* Revert "Read COMPLETE sets from external packages"Ben Gamari2017-03-034-31/+33
* Read COMPLETE sets from external packagesRyan Scott2017-03-024-33/+31
* Fix roles merging to apply only to non-rep-injective types.Edward Z. Yang2017-03-021-2/+47
* Properly represent abstract classes in Class and IfaceDeclEdward Z. Yang2017-03-024-64/+174
* Upgrade UniqSet to a newtypeDavid Feuer2017-03-011-2/+2
* Improve pretty-printing of typesSimon Peyton Jones2017-02-285-84/+107
* Subtyping for roles in signatures.Edward Z. Yang2017-02-261-5/+21
* Treat all TyCon with hole names as skolem abstract.Edward Z. Yang2017-02-263-14/+11
* Delete redundant import.Edward Z. Yang2017-02-241-1/+0
* Fix validate.Edward Z. Yang2017-02-241-10/+6
* Record full FieldLabel in ifConFields.Edward Z. Yang2017-02-243-71/+43
* Generalize kind of the (->) tyconBen Gamari2017-02-181-2/+4
* Say 'data' explicitly in IfAbstractTyCon output.Edward Z. Yang2017-02-171-2/+2
* Fix a Backpack recompilation avoidance bug when signatures change.Edward Z. Yang2017-02-174-32/+55
* Make deSugarExpr use runTcInteractiveReid Barton2017-02-141-1/+1
* Mark orphan instances and rules in --show-iface outputReid Barton2017-02-111-8/+14
* Ditch static flagsSylvain Henry2017-02-024-16/+19
* Make interface loading for COMPLETE pragmas lazyMatthew Pickering2017-02-011-2/+3
* Join pointsLuke Maurer2017-02-013-12/+42
* Print COMPLETE pragmas in --show-ifaceMatthew Pickering2017-01-302-0/+5
* COMPLETE pragmas for enhanced pattern exhaustiveness checkingMatthew Pickering2017-01-263-2/+59
* Typos in comments [ci skip]Gabor Greif2017-01-251-1/+1
* Improve pretty-printing of IfaceCoercionsSimon Peyton Jones2017-01-231-6/+2
* Rewrite Backpack comments on never-exported TyThings.Edward Z. Yang2017-01-221-21/+29
* Show explicit quantifiers in conflicting definitions errorPhil de Joux2017-01-203-74/+117