summaryrefslogtreecommitdiff
path: root/compiler/iface
Commit message (Expand)AuthorAgeFilesLines
* Make Core Lint check for locally-bound GlobalIdsSimon Peyton Jones2014-12-152-149/+156
* compiler: de-lhs iface/Austin Seipp2014-12-038-457/+381
* Minor refactoring of Edward's recent orphans patch (Trac #2182)Simon Peyton Jones2014-12-022-76/+5
* Filter instance visibility based on set of visible orphans, fixes #2182.ghc-instvisEdward Z. Yang2014-11-293-43/+24
* Rename some of the functions in NameSet, to make the uniform with VarSet etcSimon Peyton Jones2014-11-282-10/+10
* Change loadSrcInterface to return a list of ModIfaceEdward Z. Yang2014-11-261-6/+44
* Rejig builders for pattern synonyms, especially unlifted onesSimon Peyton Jones2014-11-214-72/+22
* Kill trailing whitespaceJan Stolarek2014-11-201-5/+5
* Split SynTyCon to SynonymTyCon and FamilyTyConJan Stolarek2014-11-204-74/+133
* Add support for pattern synonym type signatures.Dr. ERDI Gergo2014-11-202-20/+20
* Docs onlyEdward Z. Yang2014-11-172-4/+7
* If pattern synonym is bidirectional and its type is some unboxed type T#,Dr. ERDI Gergo2014-11-134-16/+62
* Group PatSyn req/prov arguments together so that they're not all over the placeDr. ERDI Gergo2014-11-082-14/+12
* Put one-Shot info in the interfaceJoachim Breitner2014-11-024-19/+56
* remove old .NET related codeYuras Shumovich2014-10-313-21/+0
* Implementation of hsig (module signatures), per #9252Edward Z. Yang2014-10-243-3/+10
* De-tabify and remove trailing whitespaceSimon Peyton Jones2014-09-262-231/+219
* [ci skip] iface: detabify/dewhitespace IfaceSynAustin Seipp2014-09-251-46/+40
* `M-x delete-trailing-whitespace` & `M-x untabify`Herbert Valerio Riedel2014-09-241-1/+1
* Export `Monoid(..)`/`Foldable(..)`/`Traversable(..)` from PreludeHerbert Valerio Riedel2014-09-211-0/+2
* Make Applicative a superclass of MonadAustin Seipp2014-09-093-31/+35
* Add -fspecialise-aggressivelySimon Peyton Jones2014-08-281-1/+22
* Refactor unfoldingsSimon Peyton Jones2014-08-282-7/+9
* Comments and white spaceSimon Peyton Jones2014-08-071-1/+1
* Package keys (for linking/type equality) separated from package IDs.Edward Z. Yang2014-08-051-0/+2
* Always qualify on hi interface mismatch.Edward Z. Yang2014-07-211-1/+1
* Rename PackageId to PackageKey, distinguishing it from Cabal's PackageId.Edward Z. Yang2014-07-213-12/+12
* Entirely re-jig the handling of default type-family instances (fixes Trac #9063)Simon Peyton Jones2014-07-153-55/+70
* Fix #9245 by always checking hi-boot for consistency if we find one.Edward Z. Yang2014-06-281-16/+24
* Improve IfaceSyn a bit furtherSimon Peyton Jones2014-06-123-732/+796
* Fix tyConToIfaceDecl (Trac #9190)Simon Peyton Jones2014-06-111-31/+36
* Typo in variable name, no functional changeGabor Greif2014-06-111-2/+2
* Better warning message for orphan instances (Ticket #9178)Dr. Heinrich Hördegen2014-06-091-0/+7
* Pretty-print built in synonym families in interfacesJoachim Breitner2014-06-073-1/+8
* Make the matcher and wrapper Ids in PatSyn into LocalIds, not GlobalIdsSimon Peyton Jones2014-06-061-3/+1
* Comments only (related to Trac #7730)Simon Peyton Jones2014-06-031-0/+2
* Use IfLclName instead of OccName in IfaceEqSpecSimon Peyton Jones2014-06-034-9/+8
* Do pretty-printing of TyThings via IfaceDecl (Trac #7730)Simon Peyton Jones2014-06-035-409/+907
* Just formattingSimon Marlow2014-05-301-9/+17
* s/implict/implicit/iEdward Z. Yang2014-05-291-5/+5
* Assert that matcher-derived PatSyn types match the (redundant) stored types i...Dr. ERDI Gergo2014-05-271-7/+12
* Store IfExtNames for PatSyn matchers and wrappers in interface file.Dr. ERDI Gergo2014-05-275-101/+59
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-157-3/+13
* Refactor buildClass and mkDictSelId a bit, to avoid the no_unf argumentSimon Peyton Jones2014-05-082-11/+6
* Remove external coreAustin Seipp2014-05-031-34/+1
* Simplify and tidy up the handling of tuple namesSimon Peyton Jones2014-04-041-16/+24
* Remove redundant compatibility check.Richard Eisenberg2014-03-221-2/+1
* Comments only -- clarifying Notes around compatibility.Richard Eisenberg2014-03-221-1/+1
* Use prefix notation in pprIfaceDecl for IfaceIdsDr. ERDI Gergo2014-03-141-1/+1
* Honor Op_PrintExplicitForalls setting in pprIfaceForAllPartDr. ERDI Gergo2014-03-141-2/+7