summaryrefslogtreecommitdiff
path: root/compiler/typecheck
Commit message (Expand)AuthorAgeFilesLines
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-1950-0/+99
* Fix unused-given-constraint bugSimon Peyton Jones2017-09-192-2/+15
* Remove dead function TcUnify.wrapFunResCoercionArnaud Spiwack2017-09-151-17/+0
* Renamer now preserves location for IEThingWith list itemsAlan Zimmerman2017-09-151-18/+19
* 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-142-9/+56
* Fix #13909 by tweaking an error message.Richard Eisenberg2017-09-141-1/+6
* Remove unused variable bindingSimon Peyton Jones2017-09-141-1/+1
* Refactor tcInferAppsSimon Peyton Jones2017-09-141-28/+31
* Refactor to eliminate FamTyConShapeSimon Peyton Jones2017-09-143-95/+66
* Tidying could cause ill-kinded typesSimon Peyton Jones2017-09-147-81/+114
* Fix subtle bug in TcTyClsDecls.mkGADTVarsSimon Peyton Jones2017-09-141-30/+52
* No need to check ambiguity for visible type argsSimon Peyton Jones2017-09-141-0/+5
* Option "-ddump-rn-ast" dumps imports and exports tooAlan Zimmerman2017-09-132-5/+4
* Allow CSE'ing of work-wrapped bindings (#14186)Joachim Breitner2017-09-121-1/+1
* Canonicalise MonoidFail instances in GHCHerbert Valerio Riedel2017-09-092-2/+2
* Canonicalise Monoid instances in GHCHerbert Valerio Riedel2017-09-091-2/+1
* Fix typos in diagnostics, testsuite and commentsGabor Greif2017-09-073-4/+4
* Implicitly bind kind variables in type family instance RHSes when it's sensibleRyan Scott2017-09-052-7/+65
* Remember the AvailInfo for each IEalexbiehl2017-09-053-19/+25
* Fix #14167 by using isGadtSyntaxTyCon in more placesRyan Scott2017-09-021-31/+3
* Disallow bang/lazy patterns in the RHSes of implicitly bidirectional patsynsRyan Scott2017-09-021-6/+26
* Add missing Semigroup instances to compilerHerbert Valerio Riedel2017-08-311-4/+7
* Really fix Trac #14158Simon Peyton Jones2017-08-311-2/+42
* Small changes to ddump-tc tracingSimon Peyton Jones2017-08-313-7/+11
* Add debugPprTypeSimon Peyton Jones2017-08-314-13/+11
* Define and use HsArgSimon Peyton Jones2017-08-301-33/+38
* Refactor type family instance abstract syntax declarationsRyan Scott2017-08-293-45/+62
* Small refactor of getRuntimeRepSimon Peyton Jones2017-08-294-6/+5
* Use a well-kinded substitution to instantiateSimon Peyton Jones2017-08-292-3/+34
* Small refactoring of meta-tyvar cloningSimon Peyton Jones2017-08-291-28/+35
* Add TcRnMonad.unlessXOptMSimon Peyton Jones2017-08-291-1/+6
* A bit more -ddump-tc tracingSimon Peyton Jones2017-08-292-8/+19
* Comments onlySimon Peyton Jones2017-08-291-15/+39
* Make parsed AST dump output lazilyDavid Feuer2017-08-281-2/+2
* Comments, plus adjust debug print of TcTyThing(ATyVar)Simon Peyton Jones2017-08-251-0/+1
* Fix defer-out-of-scope-variablesSimon Peyton Jones2017-08-241-17/+34
* Better pretty-printing for CHoleCanSimon Peyton Jones2017-08-241-1/+5
* Revise function arity mismatch errors involving TypeApplicationsRyan Scott2017-08-222-6/+34
* Fix #13885 by freshening reified GADT constructors' universal tyvarsRyan Scott2017-08-221-19/+58
* 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
* Use a ReaderT in TcDeriv to avoid some tedious plumbingRyan Scott2017-08-143-586/+693
* Fix #14060 by more conservatively annotating TH-reified typesRyan Scott2017-08-145-26/+118
* Expand type synonyms during role inferenceRyan Scott2017-08-122-0/+6
* Use NonEmpty lists to represent lists of duplicate elementsRyan Scott2017-08-125-11/+17
* Don't suppress unimplemented type family warnings with DeriveAnyClassRyan Scott2017-08-123-16/+35
View Lorry Controller Status