summaryrefslogtreecommitdiff
path: root/compiler/iface
Commit message (Expand)AuthorAgeFilesLines
* 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
* Update levity polymorphismRichard Eisenberg2017-01-194-17/+18
* Spelling fixes in comments [ci skip]Gabor Greif2017-01-181-1/+1
* Typos in manual, comments and testsGabor Greif2017-01-121-1/+1
* Improve coment in typecheckIfacesForMerging.Edward Z. Yang2017-01-111-21/+36
* Fix handling of closed type families in Backpack.Edward Z. Yang2017-01-111-29/+57
* Revamp Backpack/hs-boot handling of type class signatures.Edward Z. Yang2017-01-111-0/+14
* Support for using only partial pieces of included signatures.Edward Z. Yang2017-01-111-2/+7
* Verify that known-key uniques fit in interface fileBen Gamari2016-12-151-1/+3
* print * in unicode correctly (fixes #12550)John Leo2016-12-131-10/+11
* Fix recompilation detection when set of signatures to merge changes.Edward Z. Yang2016-12-121-1/+18
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-073-3/+4
* Typos in commentsGabor Greif2016-11-292-2/+2
* Comments only (related to #12789)Simon Peyton Jones2016-11-282-72/+71
* Improve pretty-printing of typesSimon Peyton Jones2016-11-254-15/+42
* Kill off ifaceTyVarsOfTypeSimon Peyton Jones2016-11-251-69/+21
* Another major constraint-solver refactoringSimon Peyton Jones2016-11-251-0/+2
* A few typos in commentsGabor Greif2016-11-211-1/+1
* Kill Type pretty-printerBen Gamari2016-11-137-497/+1032
* Typos in commentsGabor Greif2016-10-311-1/+1
* Refine ASSERT in buildPatSyn for the nullary case.Matthew Pickering2016-10-261-2/+11
* Refactor occurrence-check logicSimon Peyton Jones2016-10-211-1/+1
* Support constraint synonym implementations of abstract classes.Edward Z. Yang2016-10-201-0/+1
* New story for abstract data types in hsig files.Edward Z. Yang2016-10-202-8/+6
* Compute export hash based on ALL transitive orphan modules.Edward Z. Yang2016-10-181-10/+30
* Track dep_finsts in exports hash, as it affects downstream deps.Edward Z. Yang2016-10-171-0/+61
* Improve find_lbl panic messageBen Gamari2016-10-131-1/+4
* MkIface: Turn a foldr into a foldl'Ben Gamari2016-10-131-2/+2
* Clean up handling of known-key Names in interface filesBen Gamari2016-10-138-412/+304
* Rework renaming of children in export lists.Matthew Pickering2016-10-082-2/+2
* Make InstalledUnitId be ONLY a FastString.Edward Z. Yang2016-10-081-3/+4
* Distinguish between UnitId and InstalledUnitId.Edward Z. Yang2016-10-083-23/+27
* The Backpack patch.Edward Z. Yang2016-10-087-49/+404
* Fix comment about resultGabor Greif2016-09-031-1/+1
* Fix #10923 by fingerprinting optimization level.Edward Z. Yang2016-09-021-2/+8
* LoadIFace: Show known names on inconsistent interface fileBen Gamari2016-08-311-1/+6
* Extra comments, as per SPJ in #12035.Edward Z. Yang2016-08-221-0/+4
View Lorry Controller Status