summaryrefslogtreecommitdiff
path: root/compiler/GHC/Rename/Bind.hs
Commit message (Expand)AuthorAgeFilesLines
* Extension shuffling (#23291)wip/sand-witch/modern-STV-extension-shufflingBen Gamari2023-05-171-4/+5
* Migrate errors to diagnostics in GHC.Tc.Modulesheaf2023-05-151-5/+16
* Add structured error messages for GHC.Rename.UtilsTorsten Schmits2023-05-051-6/+5
* Fix tyvar scoping within class SPECIALISE pragmassheaf2023-02-081-10/+47
* Convert diagnostics in GHC.Rename.Bind to proper TcRnMessage (#20115)Andrei Borzenkov2023-01-281-94/+22
* Misc cleanupKrzysztof Gogolewski2023-01-051-1/+1
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-231-1/+0
* -Wunused-pattern-binds: Recurse into patterns to check whether there's a spliceMatthew Pickering2022-09-161-14/+43
* Fix typosEric Lindblad2022-09-141-1/+1
* Add diagnostic codessheaf2022-09-131-11/+11
* EPA: DotFieldOcc does not have exact print annotationsAlan Zimmerman2022-08-111-1/+3
* Prune L.H.S modules of GHC dependenciesromes2022-07-061-16/+14
* TTG: Move MatchGroup Origin field and MatchGroupTc to GHC.Hswip/romes/ttg-matchgroup-originromes2022-05-261-1/+1
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-011-10/+49
* Error on anon wildcards in tcAnonWildCardOccsheaf2022-02-261-1/+1
* Kill derived constraintsRichard Eisenberg2022-02-231-2/+2
* Implement -Wforall-identifier (#20609)Vladislav Zavialov2021-11-121-1/+4
* EPA: Get rid of bare SrcSpan's in the ParsedSourceAlan Zimmerman2021-11-021-3/+3
* Reject GADT pattern matches in arrow notationsheaf2021-10-091-5/+8
* EPA: correctly capture comments between 'where' and bindsAlan Zimmerman2021-09-171-1/+1
* Add TcRnIllegalPatSynDecl to TcRnMessageAlfredo Di Napoli2021-07-091-4/+1
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-22/+30
* Change representation of field selector occurencesShayne Fletcher2021-05-231-2/+2
* Only suggest names that make sense (#19843)Jakob Brünker2021-05-211-1/+2
* Add some TcRn diagnostic messagesAlfredo Di Napoli2021-05-191-7/+2
* Improve hs-boot binds error (#19781)sheaf2021-05-031-8/+19
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-2/+2
* Remove unnecessary extendTyVarEnvFVRn functionRyan Scott2021-03-211-2/+2
* GHC Exactprint main commitAlan Zimmerman2021-03-201-86/+104
* Factorize and document binder collect functionsSylvain Henry2021-01-221-4/+4
* Refactor renamer datastructuresAdam Gundry2020-12-241-5/+8
* Implement type applications in patternsCale Gibbard2020-12-141-2/+2
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-9/+9
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Clean up the inferred type variable restrictionRyan Scott2020-07-301-9/+15
* Explicit SpecificityGert-Jan Bottu2020-05-211-5/+10
* Factor out HsPatSigType for pat sigs/RULE term sigs (#16762)Ryan Scott2020-05-131-1/+1
* Refactoring: Use bindSigTyVarsFV in rnMethodBindsRyan Scott2020-05-061-8/+1
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-9/+9
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-16/+1
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+1337