summaryrefslogtreecommitdiff
path: root/compiler/iface/IfaceType.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix pretty-printer for IfaceCoSimon Peyton Jones2016-06-301-11/+16
* s/Invisible/Inferred/g s/Visible/Required/gRichard Eisenberg2016-06-251-9/+9
* Comments around invisibilitySimon Peyton Jones2016-06-241-1/+1
* Improve typechecking of instance defaultsSimon Peyton Jones2016-06-241-3/+0
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-78/+20
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-38/+38
* Track specified/invisible more carefully.Richard Eisenberg2016-03-211-0/+6
* Fix printing of an `IfacePatSyn`Rik Steenkamp2016-03-051-9/+6
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-26/+93
* (Another) minor refactoring of substitutionsSimon Peyton Jones2016-02-181-1/+1
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-8/+8
* un-wire-in error, undefined, CallStack, and IPEric Seidel2016-01-181-2/+2
* Visible type applicationRichard Eisenberg2015-12-241-5/+10
* Improve pretty-printing in pprIfaceIdBndrSimon Peyton Jones2015-12-171-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-208/+425
* Refactor default methods (Trac #11105)Simon Peyton Jones2015-11-251-1/+12
* Use IP based CallStack in error and undefinedEric Seidel2015-09-021-2/+2
* Some utility functions for testing IfaceType equality.Edward Z. Yang2015-07-221-1/+139
* Fix binary instance for IfaceLitTySimon Peyton Jones2015-05-201-3/+1
* Refactor tuple constraintsSimon Peyton Jones2015-05-181-67/+87
* Revert multiple commitsAustin Seipp2015-05-141-87/+67
* Refactor tuple constraintsSimon Peyton Jones2015-05-131-67/+87
* Refactor TyCon to eliminate TupleTyConSimon Peyton Jones2015-05-011-2/+2
* Tidy up and improve comments about one-shot infoSimon Peyton Jones2015-03-041-2/+2
* Replace .lhs with .hs in compiler commentsYuri de Wit2015-02-091-1/+1
* Add a provenance field to universal coercions.Iavor S. Diatchki2014-12-171-6/+8
* compiler: de-lhs iface/Austin Seipp2014-12-031-0/+971
View Lorry Controller Status