summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-05-122-0/+2
* Fix handling ze_meta_tv_env in GHC.Tc.Utils.ZonkSimon Peyton Jones2021-04-231-31/+42
* Test #19665 as expect_broken, with commentarywip/backport-MR4826-to-9.2Richard Eisenberg2021-04-132-8/+14
* Clarify commentary around the constraint solverRichard Eisenberg2021-04-133-32/+104
* Kick out fewer equalities by thinking harderRichard Eisenberg2021-04-132-27/+44
* Tweak kick-out condition K2b to deal with LHSsRichard Eisenberg2021-04-133-52/+180
* Implement -Wmissing-kind-signatureswip/ghc-9.2-mergeOleg Grenrus2021-03-293-9/+18
* EPA : Rename ApiAnn to EPAnnAlan Zimmerman2021-03-291-1/+1
* 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
* Fix a long standing bug in constraint solvingSimon Peyton Jones2021-02-092-19/+77
* Fix typosBrian Wignall2021-02-0613-22/+22
* Make pattern synonyms play with CallStackSimon Peyton Jones2021-02-061-2/+27
View Lorry Controller Status