summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fix missing fields warnings in empty record construction, fix #13870HE, Tao2017-09-151-7/+14
* Fix name of noteBen Gamari2017-09-151-1/+1
* Fix #13963.Richard Eisenberg2017-09-143-10/+59
* Fix #13929 by adding another levity polymorphism checkRichard Eisenberg2017-09-141-5/+4
* Fix #13909 by tweaking an error message.Richard Eisenberg2017-09-141-1/+6
* nativeGen: A few strictness fixesBen Gamari2017-09-142-5/+6
* Fix #13407 by suppressing invisibles better.Richard Eisenberg2017-09-141-3/+3
* Remove unused variable bindingSimon Peyton Jones2017-09-141-1/+1
* Interim fix for a nasty type-matching bugSimon Peyton Jones2017-09-141-10/+58
* Refactor tcInferAppsSimon Peyton Jones2017-09-141-28/+31