summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Make Coverage.TM a newtypeRyan Scott2019-10-161-1/+1
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-1664-2890/+3067
* Infer rho-types instead of sigma-types in guard BindStmts and TransStmtsSebastian Graf2019-10-162-5/+5
* Add loop level analysis to the NCG backend.klebinger.andreas@gmx.at2019-10-169-374/+1775
* iface: export a few more functions from BinIfaceAlp Mestanogullari2019-10-151-1/+11
* Don't skip validity checks for built-in classes (#17355)Ryan Scott2019-10-151-5/+6
* Refactor some cruft in TcDerivInfer.inferConstraintsRyan Scott2019-10-155-254/+250
* Fix #17334 where NCG did not properly update the CFG.wip/andreask/17334Andreas Klebinger2019-10-135-242/+353
* Template Haskell: make unary tuples legal (#16881)nineonine2019-10-131-8/+1
* Do not add a 'solved dict' for quantified constraintsSimon Peyton Jones2019-10-125-42/+96
* Fix validity checking for inferred typesSimon Peyton Jones2019-10-121-2/+4
* Use newDFunName for both manual and derived instances (#17339)Ryan Scott2019-10-122-18/+3
* Much simpler language for PmCheckSebastian Graf2019-10-119-443/+362
* Use addUsedDataCons more judiciously in TcDeriv (#17324)Ryan Scott2019-10-091-26/+38
* TestBen Gamari2019-10-091-0/+3
* Define GHC_STAGE in headers instead of command-lineBen Gamari2019-10-091-6/+1
* Rename STAGE macro to GHC_STAGEBen Gamari2019-10-093-10/+10
* PmCheck: Look up parent data family TyCon when populating `PossibleMatches`Sebastian Graf2019-10-081-23/+70
* Solve constraints from top-level groups soonerRichard Eisenberg2019-10-0816-384/+100
* Mark newtype constructors as used in the Coercible solver (#10347)Ryan Scott2019-10-086-75/+87
* users-guide: Document -XHaskell98 and -XHaskell2010Ben Gamari2019-10-081-0/+3
* PmCheck: Identify some semantically equivalent expressionsSebastian Graf2019-10-082-27/+85
* Refactor some cruft in TcGenGenericsRyan Scott2019-10-071-28/+18
* Get rid of wildcard patterns in prim Cmm emitting codeJohn Ericson2019-10-072-877/+1206
* Refactor, document, and optimize LLVM configuration loadingBen Gamari2019-10-075-24/+53
* Only flatten up to type family arity in coreFlattenTyFamApp (#16995)Ryan Scott2019-10-071-126/+193
* Clean up `#include`s in the compilerJohn Ericson2019-10-0516-26/+11
* New fix for #11647. Avoid side effects like #17171Roland Senn2019-10-041-6/+7
* Always enable the external interpreterJohn Ericson2019-10-047-74/+15
* Add tryFindTopDir to look for the top dir without blowing up if it isJohn Ericson2019-10-041-11/+17
* Pull out the settings file parsing code into it's own module.John Ericson2019-10-043-214/+262
* Factor out a smaller part of Platform for host fallbackJohn Ericson2019-10-042-5/+5
* Deprecate -fwarn-hi-shadowing, because it was never implemented and isDaroc Alden2019-10-041-1/+2
* Remove {Build,Host}Platform_NAME from headerJohn Ericson2019-10-041-33/+51
* Per stage headers, ghc_boot_platform.h -> stage 0 ghcplatform.hJohn Ericson2019-10-043-115/+45
* DynFlags: Only warn when split-sections is ignoredBen Gamari2019-10-031-2/+2
* Improve documentation around empty tuples/listsRichard Eisenberg2019-10-036-48/+127
* Add `module {-# SOURCE #-} Foo` syntax for hs-boot in bkpJohn Ericson2019-10-033-22/+32
* Note [Don't flatten tuples from HsSyn] in MkCoreRichard Eisenberg2019-10-037-21/+58
* Merge TcTypeableValidity into TcTypeable, document treatment of castsRyan Scott2019-10-038-71/+86
* Make small INLINE functions behave properlyÖmer Sinan Ağacan2019-10-011-3/+3
* Refactor some cruft in TcDerivRyan Scott2019-10-011-79/+52
* Move pattern match checker modules to GHC.HsToCore.PmCheckSebastian Graf2019-09-3012-29/+29
* Fix arguments for unbound binders in RULE applicationSimon Peyton Jones2019-09-301-64/+38
* Refactor iface file generation:Ömer Sinan Ağacan2019-09-3017-386/+812
* `exprOkForSpeculation` for Note [IO hack in the demand analyser]Sebastian Graf2019-09-281-11/+11
* PmCheck: No ConLike instantiation in pmcheckSebastian Graf2019-09-282-302/+211
* PmCheck: Look at precendence to give type signatures to some wildcardsSebastian Graf2019-09-271-16/+35
* Just get RTS libs from its package confJohn Ericson2019-09-271-19/+0
* Allow users to disable Unicode with an env varRon Mordechai2019-09-271-1/+5