summaryrefslogtreecommitdiff
path: root/compiler/iface/IfaceSyn.hs
Commit message (Expand)AuthorAgeFilesLines
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-2593/+0
* Convert warnings into assertionsKrzysztof Gogolewski2019-12-021-2/+2
* Parenthesize GADT return types in pprIfaceConDecl (#17384)Ryan Scott2019-10-241-1/+1
* Refactor iface file generation:Ömer Sinan Ağacan2019-09-301-0/+177
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-28/+82
* Remove unused imports of the form 'import foo ()' (Fixes #17065)James Foster2019-08-151-1/+0
* Explicitly number equations when printing axiom incompatibilitiesmniip2019-08-071-18/+24
* Add a -fprint-axiom-incomps option (#15546)mniip2019-08-071-4/+31
* Use funPrec, not topPrec, to parenthesize GADT argument typesRyan Scott2019-04-041-8/+13
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-3/+2
* Fix #16299 by deleting incorrect code from IfaceSynRyan Scott2019-02-121-1/+1
* Fix #16030 by refactoring IfaceSyn's treatment of GADT constructorsRyan Scott2018-12-191-30/+71
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-18/+29
* Print explicit foralls in type family eqns when appropriateRyan Scott2018-11-261-22/+24
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-221-5/+2
* Fix embarrassing, egregious bug in roles of (->)Richard Eisenberg2018-11-011-1/+1
* Coercion Quantificationningning2018-09-151-20/+23
* Comments only (on IfDataInstance)Simon Peyton Jones2018-09-131-4/+6
* Add comments about pretty-printing via IfaceSynSimon Peyton Jones2018-08-241-0/+1
* Use IfaceAppArgs to store an IfaceAppTy's argumentsRyan Scott2018-07-111-13/+13
* Refactor coercion ruleningning2018-07-091-3/+7
* Fix #14875 by introducing PprPrec, and using itRyan Scott2018-05-131-1/+1
* Improve pretty-printing for pattern synonymsSimon Peyton Jones2018-01-051-5/+7
* Refactor coercion holesSimon Peyton Jones2017-12-211-3/+2
* Levity polymorphic Backpack.Edward Z. Yang2017-10-161-3/+6
* Track the order of user-written tyvars in DataConRyan Scott2017-10-031-25/+34
* A bunch of typofixesGabor Greif2017-09-261-1/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Fix #14167 by using isGadtSyntaxTyCon in more placesRyan Scott2017-09-021-26/+23
* Add debugPprTypeSimon Peyton Jones2017-08-311-1/+1
* Preserve CoVar uniques during pretty printingRichard Eisenberg2017-07-271-0/+1
* Pretty-print strict record fields from ifaces correctlyRyan Scott2017-05-201-1/+9
* Account for IfUnpackCo in freeNamesIfDeclSimon Peyton Jones2017-05-191-2/+8
* Refactor freeNamesIfDeclSimon Peyton Jones2017-05-191-44/+68
* Kill off unused IfaceType.eqIfaceTypeSimon Peyton Jones2017-05-161-4/+3
* Only pretty-print binders in closed type families with -fprint-explicit-forallsRyan Scott2017-04-251-1/+5
* Comments only [ci skip]Reid Barton2017-03-081-0/+27
* Deserialize IfaceId more lazilyReid Barton2017-03-031-6/+2
* Properly represent abstract classes in Class and IfaceDeclEdward Z. Yang2017-03-021-27/+102
* Improve pretty-printing of typesSimon Peyton Jones2017-02-281-1/+1
* Treat all TyCon with hole names as skolem abstract.Edward Z. Yang2017-02-261-11/+8
* Record full FieldLabel in ifConFields.Edward Z. Yang2017-02-241-45/+30
* Say 'data' explicitly in IfAbstractTyCon output.Edward Z. Yang2017-02-171-2/+2
* Mark orphan instances and rules in --show-iface outputReid Barton2017-02-111-8/+14
* Ditch static flagsSylvain Henry2017-02-021-2/+1
* Join pointsLuke Maurer2017-02-011-8/+28
* Print COMPLETE pragmas in --show-ifaceMatthew Pickering2017-01-301-0/+4
* COMPLETE pragmas for enhanced pattern exhaustiveness checkingMatthew Pickering2017-01-261-0/+10
View Lorry Controller Status