summaryrefslogtreecommitdiff
path: root/compiler/iface/TcIface.lhs
Commit message (Expand)AuthorAgeFilesLines
* 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
* | Comments and white space onlySimon Peyton Jones2013-01-011-2/+2
* | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-12-231-23/+37
|\ \
| * | Implement overlapping type family instances.Richard Eisenberg2012-12-211-23/+37
* | | Make {-# UNPACK #-} work for type/data family invocationsSimon Peyton Jones2012-12-231-2/+11
|/ /
* | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-10-191-2/+2
|\ \
| * | Some alpha renamingIan Lynagh2012-10-161-2/+2
* | | Only promote *non-existential* data constructorsSimon Peyton Jones2012-10-191-2/+2
|/ /
* | Be lazier when typechecking data type contexts (Trac #7321)Simon Peyton Jones2012-10-121-14/+11
* | Make the opt_UF_* static flags dynamicIan Lynagh2012-10-091-2/+3
* | Make a start towards eta-rules and injective familiesSimon Peyton Jones2012-09-181-3/+3
* | Implement 'left' and 'right' coercionsSimon Peyton Jones2012-09-171-0/+1
|/
* Add silent superclass parameters (again)Simon Peyton Jones2012-06-271-3/+5
View Lorry Controller Status