summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* Compute Severity of diagnostics at birthAlfredo Di Napoli2021-04-013-195/+178
* Move the EPS into UnitEnvSylvain Henry2021-04-011-1/+4
* Encapsulate the EPS IORef in a newtypeSylvain Henry2021-04-011-3/+3
* Avoid fundep-caused loop in the typecheckerSimon Peyton Jones2021-03-314-47/+140
* EPA : Rename ApiAnn to EPAnnAlan Zimmerman2021-03-311-1/+1
* The result kind of a signature can't mention quantified varsSimon Peyton Jones2021-03-312-9/+86
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-2920-350/+373
* Refactor FinderCacheSylvain Henry2021-03-263-13/+43
* Refactor interface loadingSylvain Henry2021-03-262-21/+16
* Implement -Wmissing-kind-signaturesOleg Grenrus2021-03-253-9/+18
* Add compiler linting to CIHécate2021-03-252-4/+8
* Move loader state into InterpSylvain Henry2021-03-231-11/+10
* Short-circuit warning generation for partial type signaturesSimon Peyton Jones2021-03-221-2/+28
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-201-1/+1
* rename Tickish to CoreTickishLuite Stegeman2021-03-201-2/+2
* remove superfluous 'id' type parameter from GenTickishLuite Stegeman2021-03-201-1/+1
* Save the type of breakpoints in the Breakpoint tick in STGLuite Stegeman2021-03-201-1/+1
* GHC Exactprint main commitAlan Zimmerman2021-03-2035-530/+640
* Compute length only once in foldBalSylvain Henry2021-03-141-4/+11
* Pmc: Consider Required Constraints when guessing PatSyn arg types (#19475)Sebastian Graf2021-03-141-6/+20
* Implement the UnliftedDatatypes extensionSebastian Graf2021-03-144-53/+165
* template-haskell: Add putDoc, getDoc, withDecDoc and friendsLuke Lau2021-03-105-14/+193
* Fix some warnings when bootstrapping with GHC 9.0Ryan Scott2021-03-091-1/+1
* Fixes to dealing with the export of mainSimon Peyton Jones2021-03-094-355/+380
* DynFlags: move temp file management into HscEnv (#17957)Sylvain Henry2021-03-081-2/+3
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-073-9/+27
* Implement record dot syntaxwip/joachim/bump-haddockShayne Fletcher2021-03-063-13/+45
* Run linear Lint on the desugarer output (part of #19165)Krzysztof Gogolewski2021-03-051-1/+6
* Bring back COMPLETE sets filtered by result TyCon (#14422)Cale Gibbard2021-03-041-5/+10
* Add a Template Haskell warning flag -Wimplicit-liftKrzysztof Gogolewski2021-03-041-0/+6
* Fix leaks of the HscEnv with quick flavour (#19356)Sylvain Henry2021-03-031-3/+5
* Fix array and cleanup conversion primops (#19026)Sylvain Henry2021-03-031-21/+22
* Wrap LHsContext in Maybe in the GHC ASTAlan Zimmerman2021-03-016-26/+26
* Infer multiplicity in case expressionsKrzysztof Gogolewski2021-03-011-3/+1
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-018-141/+230
* Fix two places where TcGblEnv was retainedMatthew Pickering2021-02-282-4/+7
* Fix assertion error with linear types, #19400Krzysztof Gogolewski2021-02-271-13/+8
* Rewrite.split: Fix reboxingBen Gamari2021-02-271-2/+5
* GHC.Tc.Solver.Rewrite: oneShot-ifyBen Gamari2021-02-271-7/+14
* TcS: oneShot-ifyBen Gamari2021-02-271-8/+16
* Fix typechecking time bug for large rationals (#15646)Andreas Klebinger2021-02-271-3/+9
* Implement -Wambiguous-fieldsAdam Gundry2021-02-262-4/+46
* Move Hooks into HscEnvSylvain Henry2021-02-223-7/+19
* Ensure tcg_env is up-to-date when running typechecker pluginsalexbiehl2021-02-221-4/+8
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-1910-501/+563
* Improve specialisation for imported functionsSimon Peyton Jones2021-02-181-9/+27
* Make sure HasField use counts for -Wunused-top-bindsAdam Gundry2021-02-163-2/+23
* Implement NoFieldSelectors extension (ghc-proposals 160)Adam Gundry2021-02-166-28/+50
* Fix a serious bug in roughMatchTcsSimon Peyton Jones2021-02-132-4/+5
* Refactor LoggerSylvain Henry2021-02-138-35/+56
View Lorry Controller Status