summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Handle ListPat in isStrictPatternAlexander Biehl2017-08-171-0/+1
* Fix #11785 by making reifyKind = reifyTypeRyan Scott2017-08-171-27/+3
* Suggest how to fix illegally nested foralls in GADT constructor type signaturesRyan Scott2017-08-171-0/+43
* Fix #13972 by producing tidier errorsRyan Scott2017-08-171-3/+12
* Allow TcDerivInfer to compile with GHC 8.0.1Ben Gamari2017-08-161-21/+21
* Speed up compilation of profiling stubsBen Gamari2017-08-161-15/+31
* Recognize FreeBSD compiler as Clang.Gleb Popov2017-08-141-0/+3
* Use a ReaderT in TcDeriv to avoid some tedious plumbingRyan Scott2017-08-143-586/+693
* Don't drop GHCi-defined functions with -fobject-code enabledRyan Scott2017-08-141-4/+15
* Fix #14060 by more conservatively annotating TH-reified typesRyan Scott2017-08-148-34/+132
* Expand type synonyms during role inferenceRyan Scott2017-08-123-0/+8
* Change isClosedAlgType to be TYPE-aware, and rename it to pmIsClosedTypeRyan Scott2017-08-123-138/+150
* Use NonEmpty lists to represent lists of duplicate elementsRyan Scott2017-08-1213-55/+73
* Don't suppress unimplemented type family warnings with DeriveAnyClassRyan Scott2017-08-123-16/+35
* Split out inferConstraintsDataConArgs from inferConstraintsRyan Scott2017-08-121-21/+41
* Fix string escaping in JSONDmitry Malikov2017-08-061-1/+1
* Don't warn when empty casing on TypeRyan Scott2017-08-051-0/+14
* Add MonadIO Q - by requiring MonadIO => QuasiOleg Grenrus2017-08-051-1/+0
* Remove unneeded uses of ImplicitParamsRyan Scott2017-08-024-4/+1
* Get the roles right for newtype instancesSimon Peyton Jones2017-08-022-3/+7
* Drop GHC 7.10 compatibilityRyan Scott2017-08-0129-190/+11
* Simplify OccurAnal.tagRecBindersJoachim Breitner2017-08-011-6/+3
* Allow bundling pattern synonyms with exported data familiesRyan Scott2017-08-011-0/+6
* KnownUniques: Handle DataCon wrapper namesBen Gamari2017-08-011-3/+6
* Typofixes [ci skip]Gabor Greif2017-08-015-5/+5
* A bunch of typofixesGabor Greif2017-07-3112-12/+12
* Use field names for all uses of datacon MatchSimon Peyton Jones2017-07-3112-34/+42
* Remove redundant goopSimon Peyton Jones2017-07-311-7/+2
* Reject top-level banged bindingsSimon Peyton Jones2017-07-313-15/+15
* Do a bit more CSESimon Peyton Jones2017-07-311-1/+1
* Improve the desugaring of -XStrictSimon Peyton Jones2017-07-3111-321/+248
* Refactoring around FunRhsSimon Peyton Jones2017-07-317-32/+45
* Clarify comment about data family aritiesRichard Eisenberg2017-07-311-0/+5
* Add haddock markupGabor Greif2017-07-301-1/+1
* Typofixes [ci skip]Gabor Greif2017-07-302-5/+5
* Fix #14045 by omitting an unnecessary checkRichard Eisenberg2017-07-296-64/+80
* Add rtsopts ignore and ignoreAll.Andreas Klebinger2017-07-281-1/+7
* Fix hs-boot knot-tying with record wild cards.Edward Z. Yang2017-07-281-1/+8
* Remove unnecessary GHC option from SrcLocSven Tennie2017-07-281-4/+0
* Ensure that we always link against libmBen Gamari2017-07-282-0/+15
* ByteCodeGen: use byte indexing for BCenvMichal Terepeta2017-07-281-184/+283
* Merge types and kinds in DsMetaRyan Scott2017-07-282-190/+117
* Error eagerly after renaming failures in reifyInstancesRyan Scott2017-07-281-1/+5
* Add DebugCallStack to piResultTySimon Peyton Jones2017-07-282-2/+2
* Do not discard insolubles in implicationsSimon Peyton Jones2017-07-286-57/+109
* Fix ASSERT failure in tc269Simon Peyton Jones2017-07-281-6/+3
* Remove redundant constraint in contextSimon Peyton Jones2017-07-281-1/+1
* Fix instantiation of pattern synonymsSimon Peyton Jones2017-07-282-16/+55
* Refactor tcInferApps.Richard Eisenberg2017-07-273-63/+64
* Fix #12369 by being more flexible with data instsRichard Eisenberg2017-07-278-183/+355