summaryrefslogtreecommitdiff
path: root/compiler/iface
Commit message (Expand)AuthorAgeFilesLines
* Move 'Platform' to ghc-bootJohn Ericson2019-06-191-1/+1
* Add PlainPanic for throwing exceptions without depending on pprintMichael Sloan2019-05-241-1/+1
* Make equality constraints in kinds invisibleRyan Scott2019-05-032-4/+11
* Fix interface version number printing in --show-ifaceÖmer Sinan Ağacan2019-05-031-7/+8
* Use funPrec, not topPrec, to parenthesize GADT argument typesRyan Scott2019-04-041-8/+13
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-253-4/+4
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-158-19/+19
* Visible dependent quantificationRyan Scott2019-03-011-1/+2
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-235-44/+35
* Fix #16299 by deleting incorrect code from IfaceSynRyan Scott2019-02-121-1/+1
* LoadIface: Fix another CPP/Clang issueBen Gamari2018-12-221-1/+1
* Fix treatment of hi-boot files and dfunsSimon Peyton Jones2018-12-211-30/+63
* Refine the suppression of RuntimeRep variablesSimon Peyton Jones2018-12-201-56/+77
* Fix #16030 by refactoring IfaceSyn's treatment of GADT constructorsRyan Scott2018-12-192-31/+72
* Fix recompilation checking of pure pluginsDaniel Gröber2018-12-121-11/+48
* Support generating HIE filesAlec Theriault2018-12-111-1/+19
* Support registering Plugins through the GHC APIDaniel Gröber2018-12-111-11/+7
* Fix recompilation bug with default class methods (#15970)Simon Marlow2018-12-111-13/+65
* Fix link name to a noteArnaud Spiwack2018-12-031-1/+1
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-293-40/+62
* Fix #15941 by only special-casing visible infix applicationsRyan Scott2018-11-261-5/+23
* Print explicit foralls in type family eqns when appropriateRyan Scott2018-11-262-22/+77
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-223-91/+147
* Fix #15852 by eta expanding data family instance RHSes, tooRyan Scott2018-11-221-0/+2
* Smarter HsType pretty-print for promoted dataconsSimon Peyton Jones2018-11-153-30/+28
* Fix embarrassing, egregious bug in roles of (->)Richard Eisenberg2018-11-011-1/+1
* Improve generated `GHC.Prim` docsAlec Theriault2018-10-041-1/+2
* Better pretty-printing of forall typesSimon Peyton Jones2018-10-041-6/+7
* Drop GHC 8.2 compatibilityRyan Scott2018-10-031-3/+0
* Coercion Quantificationningning2018-09-158-124/+152
* Comments only (on IfDataInstance)Simon Peyton Jones2018-09-131-4/+6
* Fix the __GLASGOW_HASKELL__ comparisonKrzysztof Gogolewski2018-08-301-3/+2
* Add comments about pretty-printing via IfaceSynSimon Peyton Jones2018-08-242-25/+4
* Turn infinite loop into a panicSimon Peyton Jones2018-08-221-3/+12
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-213-3/+2
* --show-iface: Qualify all non-local namesSimon Jakobi2018-08-121-1/+17
* Fix typosKrzysztof Gogolewski2018-08-051-1/+1
* Plugin dependency information is stored separatelyChristiaan Baaij2018-08-011-4/+7
* Remove the type-checking knot.Richard Eisenberg2018-08-011-6/+8
* Fix a nasty bug in piResultTysSimon Peyton Jones2018-07-241-4/+4
* Fix space leaksSimon Marlow2018-07-161-3/+4
* Add flag to show docs of valid hole fitsMatthías Páll Gissurarson2018-07-121-1/+10
* Use IfaceAppArgs to store an IfaceAppTy's argumentsRyan Scott2018-07-116-152/+237
* Refactor coercion ruleningning2018-07-094-48/+83
* Make ppr_tc_args aware of -fprint-explicit-kindsRyan Scott2018-07-051-2/+6
* Fix #15308 by suppressing invisble args more rigorouslyRyan Scott2018-07-051-1/+6
* More misc commentsSimon Peyton Jones2018-06-251-6/+9
* Typofixes in docs and comments [ci skip]Gabor Greif2018-06-181-1/+1
* Built-in Natural literals in CoreSylvain Henry2018-06-151-1/+7
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-5/+3