summaryrefslogtreecommitdiff
path: root/compiler/iface
Commit message (Expand)AuthorAgeFilesLines
* Use "OrCoVar" functions lessKrzysztof Gogolewski2019-12-161-2/+5
* Pretty-printing of the * kindVladislav Zavialov2019-12-051-2/+10
* Convert warnings into assertionsKrzysztof Gogolewski2019-12-021-2/+2
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-282-2/+2
* Fix typosBrian Wignall2019-11-231-1/+1
* Ensure that coreView/tcView are able to inlineBen Gamari2019-11-131-2/+2
* FlagChecker: Add ticky flags to hashed flagsBen Gamari2019-11-071-1/+5
* Clean up TH's treatment of unary tuples (or, #16881 part two)Ryan Scott2019-11-071-24/+41
* MkIface: Remove redundant parameter and outdated comments from addFingerprintsÖmer Sinan Ağacan2019-10-291-8/+8
* Remove unused DynFlags arg of lookupIfaceByModuleÖmer Sinan Ağacan2019-10-292-8/+6
* Parenthesize nullary constraint tuples using sigPrec (#17403)Ryan Scott2019-10-271-1/+1
* Make isTcLevPoly more conservative with newtypes (#17360)Ryan Scott2019-10-241-3/+5
* Parenthesize GADT return types in pprIfaceConDecl (#17384)Ryan Scott2019-10-241-1/+1
* Make dynflag argument for withTiming pure.Andreas Klebinger2019-10-231-1/+1
* iface: export a few more functions from BinIfaceAlp Mestanogullari2019-10-151-1/+11
* 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