summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Don't pass HscEnv to functions in the Hsc monadDouglas Wilson2017-10-031-45/+53
* Include libraries which fill holes as deps when linking.Edward Z. Yang2017-10-031-1/+3
* Implement Div, Mod, and Log for type-level nats.Iavor Diatchki2017-10-032-15/+167
* Track the order of user-written tyvars in DataConRyan Scott2017-10-0314-200/+426
* Optimize linker by minimizing calls to tryGCC to avoid fork/exec overhead.Tamar Christina2017-10-031-20/+105
* Suppress error cascade in record fieldsSimon Peyton Jones2017-10-031-11/+21
* Fix nasty bug in w/w for absence analysisSimon Peyton Jones2017-10-035-96/+197
* Fix bug in the short-cut solverSimon Peyton Jones2017-10-033-58/+89
* Comments onlySimon Peyton Jones2017-10-033-10/+11
* Pretty-printer missing parens for infix class declarationAlan Zimmerman2017-10-021-0/+4
* Fix #13391 by checking for kind-GADTsRichard Eisenberg2017-09-282-0/+37
* mkDataConRep: fix bug in strictness signature (#14290)Simon Marlow2017-09-281-1/+5
* TypofixesGabor Greif2017-09-278-14/+14
* desugar: Catch levity polymorphism in unboxed sum expressionsBen Gamari2017-09-261-5/+5
* Rules: Show the binder type in the unbound template binder errorBen Gamari2017-09-261-1/+1
* TcInteract: Remove redundant import of TypeableBen Gamari2017-09-261-1/+1
* PrelRules: Handle Int left shifts of more than word-size bitsBen Gamari2017-09-261-8/+14
* primops: Add some notes regarding the meaning of the "type" fieldBen Gamari2017-09-261-0/+8
* StgCmmMonad: Remove unnecessary use of unboxed tuplesBen Gamari2017-09-262-55/+24
* Omit Typeable from the "naturally coherent" listSimon Peyton Jones2017-09-262-31/+70
* A bunch of typofixesGabor Greif2017-09-2632-41/+41
* Add NOINLINE pragma to builtinRulesBen Gamari2017-09-251-0/+3
* Bump template-haskell to 2.13.0.0Ryan Scott2017-09-251-1/+1
* Document how GHC disambiguates between multiple COMPLETE setsRyan Scott2017-09-251-1/+6
* Fix solving of implicit parameter constraintsSimon Peyton Jones2017-09-256-103/+177
* Improve type-error reportingSimon Peyton Jones2017-09-253-35/+59
* Comments onlySimon Peyton Jones2017-09-251-1/+1
* Make pprQuotedList use fsep not hsepSimon Peyton Jones2017-09-251-1/+1
* Deal with large extra-contraints wildcardsSimon Peyton Jones2017-09-254-15/+69
* don't allow AsmTempLabel in UNREG mode (Trac #14264)Sergei Trofimovich2017-09-241-0/+2
* Fix AsmTempLabelMoritz Angermann2017-09-231-1/+0
* Fix build with GhcWithInterpreter=NOHerbert Valerio Riedel2017-09-221-0/+3
* Fix broken LLVM code genMoritz Angermann2017-09-211-2/+3
* Implement TH addCorePlugin.Facundo Domínguez2017-09-216-11/+46
* Reexport Semigroup's <> operator from Prelude (#14191)Herbert Valerio Riedel2017-09-221-0/+11
* cmm/CBE: Use foldLocalRegsDefdBen Gamari2017-09-212-75/+95
* Also show types that subsume a hole as valid substitutions for that hole.Matthías Páll Gissurarson2017-09-215-98/+166
* Identify fields by selector when type-checking (fixes #13644)Adam Gundry2017-09-212-8/+10
* Typofixes (visiblity -> visibility)Ryan Scott2017-09-214-6/+6
* cmm/CBE: Collapse blocks equivalent up to alpha renaming of local registersBen Gamari2017-09-192-58/+180
* Factor mkCoreApp and mkCoreAppsArnaud Spiwack2017-09-191-18/+27
* Fix Windows build regression due to GhcPrelude changeBen Gamari2017-09-191-1/+2
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-19484-43/+969
* OccurAnal: Ensure SourceNotes don't interfere with join-point analysisBen Gamari2017-09-191-0/+7
* nativeGen: Consistently use blockLbl to generate CLabels from BlockIdsBen Gamari2017-09-198-23/+21
* Fix unused-given-constraint bugSimon Peyton Jones2017-09-192-2/+15
* Remove redundant/obsolete CPP usageHerbert Valerio Riedel2017-09-191-2/+0
* Remove dead function TcUnify.wrapFunResCoercionArnaud Spiwack2017-09-151-17/+0
* Renamer now preserves location for IEThingWith list itemsAlan Zimmerman2017-09-151-18/+19
* Fix #14228 by marking SumPats as non-irrefutableRyan Scott2017-09-151-2/+25