summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Module.hs
Commit message (Expand)AuthorAgeFilesLines
* Migrate errors to diagnostics in GHC.Tc.Modulesheaf2023-05-151-674/+472
* Split up tyThingToIfaceDecl from GHC.Iface.Makesheaf2023-05-151-3/+3
* Improve "ambiguous occurrence" error messagessheaf2023-05-151-1/+2
* Add structured error messages for GHC.Rename.UtilsTorsten Schmits2023-05-051-1/+1
* Fixes around unsafeCoerce#Krzysztof Gogolewski2023-04-031-10/+16
* Handle records in the renamersheaf2023-03-291-67/+178
* GHC proposal 496 - Nullary record wildcardsGeorgi Lyubenov2023-02-211-3/+4
* Detect family instance orphans correctlySimon Peyton Jones2023-01-271-2/+1
* Add special case for :Main module in `GHC.IfaceToCore.mk_top_id`Matthew Pickering2022-12-021-0/+8
* Buglet in GHC.Tc.Module.checkBootTyConSimon Peyton Jones2022-11-201-2/+6
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-3/+5
* Scrub various partiality involving lists (again).M Farkas-Dyck2022-10-191-3/+3
* Scrub various partiality involving empty lists.M Farkas-Dyck2022-09-301-16/+17
* Clean up some. In particular:M Farkas-Dyck2022-09-171-8/+9
* Fix typosEric Lindblad2022-09-141-2/+2
* Add diagnostic codessheaf2022-09-131-14/+14
* 19217 Implicitly quantify type variables in :kind commandSasha Bogicevic2022-08-191-6/+13
* TTG: Move ImpExp client-independent bits to L.H.S.ImpExpromes2022-07-031-9/+6
* TTG: Move HsModule to L.H.Sromes2022-07-031-3/+5
* Don't mark lambda binders as OtherConAndreas Klebinger2022-06-271-1/+1
* TcPlugin: access to irreducible givens + fix passed ev_binds_varPavol Vargovcik2022-05-161-4/+3
* Fix several note referencesKrzysztof Gogolewski2022-05-021-2/+2
* Keep track of promotion ticks in HsOpTywip/no-c-stubswip/matt-merge-batchsheaf2022-04-011-2/+2
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-291-4/+4
* Make -ddump-rn-ast and -ddump-tc-ast work in GHCiMatthew Pickering2022-03-251-0/+6
* hi haddock: Lex and store haddock docs in interface filesZubin Duggal2022-03-231-16/+24
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-1/+1
* Improve out-of-order inferred type variablessheaf2022-03-021-2/+2
* Error on anon wildcards in tcAnonWildCardOccsheaf2022-02-261-1/+0
* GHCi: don't normalise partially instantiated typessheaf2022-02-251-7/+30
* Kill derived constraintsRichard Eisenberg2022-02-231-1/+6
* Tag inference work.Andreas Klebinger2022-02-121-0/+1
* Refine tcSemigroupWarnings to work in ghc-primMatthew Pickering2022-02-101-4/+7
* Fix some notesMatthew Pickering2022-02-081-1/+1
* compiler: Introduce and use RoughMap for instance environmentsBen Gamari2022-02-041-11/+10
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-10/+6
* Define and use restoreLclEnvSimon Peyton Jones2022-01-271-40/+41
* Multiple Home UnitsMatthew Pickering2021-12-281-9/+9
* Give plugins a better interface (#17957)Sylvain Henry2021-12-211-5/+5
* Ghci environment: Do not remove shadowed idsJoachim Breitner2021-12-141-19/+0
* package imports: Take into account package visibility when renamingMatthew Pickering2021-12-091-2/+2
* Misc cleanupKrzysztof Gogolewski2021-11-251-1/+1
* Export `withTcPlugins` and `withHoleFitPlugins`Ziyang Liu2021-11-061-0/+2
* EPA: Use LocatedA for ModuleNameAlan Zimmerman2021-10-241-2/+2
* Refactor package importsSylvain Henry2021-10-221-9/+8
* InteractiveContext: Smarter caching when rebuilding the ic_rn_gbl_envJoachim Breitner2021-10-191-4/+4
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-1/+1
* Add defaulting plugins.Andrei Barbu2021-10-081-15/+28
* compiler: occEnvElts -> nonDetOccEnvEltsBen Gamari2021-09-291-2/+2
* compiler: Rewrite all eltsUFM occurrences to nonDetEltsUFMBen Gamari2021-09-291-1/+1
View Lorry Controller Status