summaryrefslogtreecommitdiff
path: root/compiler/iface/TcIface.lhs
Commit message (Expand)AuthorAgeFilesLines
* compiler: de-lhs iface/Austin Seipp2014-12-031-1535/+0
* Filter instance visibility based on set of visible orphans, fixes #2182.ghc-instvisEdward Z. Yang2014-11-291-2/+3
* Rejig builders for pattern synonyms, especially unlifted onesSimon Peyton Jones2014-11-211-56/+9
* Split SynTyCon to SynonymTyCon and FamilyTyConJan Stolarek2014-11-201-14/+27
* Docs onlyEdward Z. Yang2014-11-171-2/+2
* If pattern synonym is bidirectional and its type is some unboxed type T#,Dr. ERDI Gergo2014-11-131-8/+54
* Group PatSyn req/prov arguments together so that they're not all over the placeDr. ERDI Gergo2014-11-081-1/+2
* Put one-Shot info in the interfaceJoachim Breitner2014-11-021-2/+5
* remove old .NET related codeYuras Shumovich2014-10-311-5/+0
* Implementation of hsig (module signatures), per #9252Edward Z. Yang2014-10-241-1/+1
* `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
* Refactor unfoldingsSimon Peyton Jones2014-08-281-3/+3
* Entirely re-jig the handling of default type-family instances (fixes Trac #9063)Simon Peyton Jones2014-07-151-3/+8
* 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-121-6/+7
* Pretty-print built in synonym families in interfacesJoachim Breitner2014-06-071-0/+2
* Use IfLclName instead of OccName in IfaceEqSpecSimon Peyton Jones2014-06-031-2/+2
* Do pretty-printing of TyThings via IfaceDecl (Trac #7730)Simon Peyton Jones2014-06-031-102/+58
* Store IfExtNames for PatSyn matchers and wrappers in interface file.Dr. ERDI Gergo2014-05-271-22/+13
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-0/+2
* Refactor buildClass and mkDictSelId a bit, to avoid the no_unf argumentSimon Peyton Jones2014-05-081-1/+1
* Remove external coreAustin Seipp2014-05-031-34/+1
* Remove redundant compatibility check.Richard Eisenberg2014-03-221-2/+1
* Implement pattern synonymsDr. ERDI Gergo2014-01-201-4/+44
* Fix marshalling of IfaceAt to and from interface filesSimon Peyton Jones2013-11-051-1/+2
* Trailing whitespace onlySimon Peyton Jones2013-10-181-108/+108
* When de-serialising interfaces, need to distinguish types from kindsSimon Peyton Jones2013-10-181-10/+37
* Refactor AMP warnings a bitSimon Peyton Jones2013-09-201-9/+15
* Implement checkable "minimal complete definitions" (#7633)Twan van Laarhoven2013-09-181-2/+4
* Add support for evaluation of type-level natural numbers.Iavor S. Diatchki2013-09-121-0/+12
* Put the interface-file typechecking of IfUnpackCo inside forkMSimon Peyton Jones2013-09-041-7/+10
* Remove the final vestiges of InlineWrappersSimon Peyton Jones2013-09-021-29/+0
* simplified the .hi format and added the -flate-dmd-anal flag (fixes #7782)Nicolas Frisby2013-08-291-35/+39
* Added support for writing and checking closed type families is hs-boot files.Richard Eisenberg2013-08-051-0/+1
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-35/+40
* Break loop in interface typechecking (fixes Trac #8002)Simon Peyton Jones2013-06-241-2/+7
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-17/+27
* Fix a trailing case in making FamInstTyCon,Simon Peyton Jones2013-05-301-5/+12
* Make 'SPECIALISE instance' work againSimon Peyton Jones2013-05-301-5/+5
* Updated documentation; changed "group" to "branched" in type familiesRichard Eisenberg2013-04-241-2/+2
* Squash some typosGabor Greif2013-02-151-1/+1
* Export tcIfaceExpr as requested by Trac #7683Simon Peyton Jones2013-02-131-1/+4
* Merge branch 'refs/heads/vect-avoid' into vect-avoid-mergeManuel M T Chakravarty2013-02-061-15/+15
|\
| * Rewrote vectorisation avoidance (based on the HS paper)Manuel M T Chakravarty2012-12-051-15/+15
* | More refactoring of FamInst/FamInstEnv; finally fixes Trac #7524Simon Peyton Jones2013-01-281-17/+12
* | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2013-01-251-13/+9
|\ \
| * | Major patch to implement the new Demand AnalyserSimon Peyton Jones2013-01-171-13/+9
* | | Refactor and improve the promotion inferenceSimon Peyton Jones2013-01-251-4/+6
|/ /
* | Refactor invariants for FamInsts.Richard Eisenberg2013-01-051-1/+2
View Lorry Controller Status