summaryrefslogtreecommitdiff
path: root/compiler/iface/IfaceSyn.lhs
Commit message (Expand)AuthorAgeFilesLines
* compiler: de-lhs iface/Austin Seipp2014-12-031-1842/+0
* Minor refactoring of Edward's recent orphans patch (Trac #2182)Simon Peyton Jones2014-12-021-73/+2
* Filter instance visibility based on set of visible orphans, fixes #2182.ghc-instvisEdward Z. Yang2014-11-291-3/+4
* Rename some of the functions in NameSet, to make the uniform with VarSet etcSimon Peyton Jones2014-11-281-1/+1
* Rejig builders for pattern synonyms, especially unlifted onesSimon Peyton Jones2014-11-211-6/+6
* Split SynTyCon to SynonymTyCon and FamilyTyConJan Stolarek2014-11-201-33/+53
* Add support for pattern synonym type signatures.Dr. ERDI Gergo2014-11-201-15/+10
* If pattern synonym is bidirectional and its type is some unboxed type T#,Dr. ERDI Gergo2014-11-131-5/+5
* Put one-Shot info in the interfaceJoachim Breitner2014-11-021-14/+16
* remove old .NET related codeYuras Shumovich2014-10-311-12/+0
* [ci skip] iface: detabify/dewhitespace IfaceSynAustin Seipp2014-09-251-46/+40
* Make Applicative a superclass of MonadAustin Seipp2014-09-091-16/+20
* Entirely re-jig the handling of default type-family instances (fixes Trac #9063)Simon Peyton Jones2014-07-151-10/+13
* Improve IfaceSyn a bit furtherSimon Peyton Jones2014-06-121-724/+788
* Pretty-print built in synonym families in interfacesJoachim Breitner2014-06-071-0/+5
* Comments only (related to Trac #7730)Simon Peyton Jones2014-06-031-0/+2
* Use IfLclName instead of OccName in IfaceEqSpecSimon Peyton Jones2014-06-031-3/+3
* Do pretty-printing of TyThings via IfaceDecl (Trac #7730)Simon Peyton Jones2014-06-031-155/+375
* Store IfExtNames for PatSyn matchers and wrappers in interface file.Dr. ERDI Gergo2014-05-271-12/+16
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-1/+2
* Use prefix notation in pprIfaceDecl for IfaceIdsDr. ERDI Gergo2014-03-141-1/+1
* Pretty-print the following TyThings via their IfaceDecl counterpart:Dr. ERDI Gergo2014-03-131-1/+1
* pprIfaceDecl for IfacePatSyn: use pprPatSynSigDr. ERDI Gergo2014-03-131-15/+11
* pprIfaceContextArr: print a context including the "=>" arrowDr. ERDI Gergo2014-03-131-1/+1
* Implement pattern synonymsDr. ERDI Gergo2014-01-201-1/+71
* Improve pretty printing of IfaceAT in interface filesSimon Peyton Jones2013-11-051-4/+7
* Improve pretty-printing of IfaceSyn type familiesSimon Peyton Jones2013-10-041-15/+14
* Tidy up the commit for Trac #3725Simon Peyton Jones2013-10-031-3/+2
* Persist annotations to interface files (#3725)Austin Seipp2013-10-011-0/+3
* Globally replace "hackage.haskell.org" with "ghc.haskell.org"Simon Marlow2013-10-011-2/+2
* Implement checkable "minimal complete definitions" (#7633)Twan van Laarhoven2013-09-181-2/+6
* Change role annotation syntax.Richard Eisenberg2013-09-171-13/+18
* Add support for evaluation of type-level natural numbers.Iavor S. Diatchki2013-09-121-0/+4
* Remove the final vestiges of InlineWrappersSimon Peyton Jones2013-09-021-12/+3
* simplified the .hi format and added the -flate-dmd-anal flag (fixes #7782)Nicolas Frisby2013-08-291-25/+10
* Added support for writing and checking closed type families is hs-boot files.Richard Eisenberg2013-08-051-8/+13
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-45/+83
* Beautify a few Binary instancesIan Lynagh2013-07-271-9/+10
* De-orphan a load of Binary instancesIan Lynagh2013-07-271-0/+487
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-23/+51
* Make 'SPECIALISE instance' work againSimon Peyton Jones2013-05-301-5/+4
* Fixed moer tyopsGabor Greif2013-04-251-1/+1
* Updated documentation; changed "group" to "branched" in type familiesRichard Eisenberg2013-04-241-5/+5
* Typo in debug print messageSimon Peyton Jones2013-04-231-1/+1
* typosGabor Greif2013-01-301-1/+1
* More refactoring of FamInst/FamInstEnv; finally fixes Trac #7524Simon Peyton Jones2013-01-281-21/+10
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2013-01-251-11/+11
|\
| * Major patch to implement the new Demand AnalyserSimon Peyton Jones2013-01-171-11/+11
* | Refactor and improve the promotion inferenceSimon Peyton Jones2013-01-251-3/+9
|/
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-12-231-19/+39
|\
View Lorry Controller Status