summaryrefslogtreecommitdiff
path: root/compiler/iface
Commit message (Expand)AuthorAgeFilesLines
* Refactor iface file generation:Ömer Sinan Ağacan2019-09-305-167/+413
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-252-46/+158
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* ErrUtils: split withTiming into withTiming and withTimingSilentAlp Mestanogullari2019-09-191-1/+1
* Remove unused imports of the form 'import foo ()' (Fixes #17065)James Foster2019-08-152-2/+0
* Add timing on loadInterfaceBen Gamari2019-08-101-1/+2
* Explicitly number equations when printing axiom incompatibilitiesmniip2019-08-071-18/+24
* Add a -fprint-axiom-incomps option (#15546)mniip2019-08-072-25/+50
* Work around redundant import issueBen Gamari2019-07-311-1/+1
* Break up TyCoRepBen Gamari2019-07-313-1/+3
* Fix #16511: changes in interface dependencies should trigger recompilationPhuong Trinh2019-07-091-9/+91
* 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