summaryrefslogtreecommitdiff
path: root/compiler/backpack/RnModIface.hs
Commit message (Expand)AuthorAgeFilesLines
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-4/+2
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-221-2/+2
* Fix #15594 (--abi-hash with Backpack sometimes fails)Edward Z. Yang2018-11-111-3/+29
* Coercion Quantificationningning2018-09-151-5/+5
* Use IfaceAppArgs to store an IfaceAppTy's argumentsRyan Scott2018-07-111-9/+9
* Refactor coercion ruleningning2018-07-091-2/+7
* vectorise: Put it out of its miseryBen Gamari2018-06-021-1/+0
* Fix implementation of rnIfaceBndrMatthew Pickering2018-04-201-1/+1
* Refactor coercion holesSimon Peyton Jones2017-12-211-0/+1
* Levity polymorphic Backpack.Edward Z. Yang2017-10-161-0/+2
* Track the order of user-written tyvars in DataConRyan Scott2017-10-031-1/+3
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Preserve CoVar uniques during pretty printingRichard Eisenberg2017-07-271-0/+1
* Properly represent abstract classes in Class and IfaceDeclEdward Z. Yang2017-03-021-7/+11
* Improve pretty-printing of typesSimon Peyton Jones2017-02-281-2/+2
* Treat all TyCon with hole names as skolem abstract.Edward Z. Yang2017-02-261-1/+1
* Record full FieldLabel in ifConFields.Edward Z. Yang2017-02-241-9/+4
* Type-indexed TypeableBen Gamari2017-02-181-0/+3
* Fix #13214 by correctly setting up dep_orphs for signatures.Edward Z. Yang2017-02-111-1/+23
* Join pointsLuke Maurer2017-02-011-2/+2
* Rewrite Backpack comments on never-exported TyThings.Edward Z. Yang2017-01-221-71/+42
* Fix handling of closed type families in Backpack.Edward Z. Yang2017-01-111-2/+2
* Revamp Backpack/hs-boot handling of type class signatures.Edward Z. Yang2017-01-111-7/+10
* Support for using only partial pieces of included signatures.Edward Z. Yang2017-01-111-15/+78
* Improve pretty-printing of typesSimon Peyton Jones2016-11-251-1/+2
* Only delete instances when merging when there is an exact match.Edward Z. Yang2016-10-201-2/+3
* Clean up handling of known-key Names in interface filesBen Gamari2016-10-131-18/+48
* Fix buildCsongor Kiss2016-10-081-1/+1
* The Backpack patch.Edward Z. Yang2016-10-081-0/+614
View Lorry Controller Status