summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* Catch type-checker exceptions when splicingwip/T20179Simon Peyton Jones2021-07-301-4/+10
* Reject pattern synonyms with linear types (#18806)Krzysztof Gogolewski2021-07-293-3/+23
* Fix type check error message grammar (fixes #20122)CarrieMY2021-07-281-2/+2
* Inline less logging codeSimon Peyton Jones2021-07-281-23/+35
* Eta expand through CallStacksSimon Peyton Jones2021-07-271-22/+1
* Make CallStacks work better with RebindableSyntaxSimon Peyton Jones2021-07-276-40/+106
* Fix a few retainer leaks of TcGblEnvMatthew Pickering2021-07-232-3/+14
* Introduce FinderLocations for decoupling Finder from DynFlagsFendor2021-07-233-4/+12
* Refactor SuggestExtension constructor in GhcHintAlfredo Di Napoli2021-07-211-3/+3
* Make TmpFs independent of DynFlagsSylvain Henry2021-07-191-1/+1
* Rename RecordPuns to NamedFieldPuns in LangExt.ExtensionAlfredo Di Napoli2021-07-191-1/+1
* Add Word64#/Int64# primopsSylvain Henry2021-07-151-1/+21
* Don't panic on 'no skolem info' and add failing testswip/no-skolem-panicZubin Duggal2021-07-131-3/+13
* Add TcRnIllegalWildcardsInConstructor to TcRnMessageAlfredo Di Napoli2021-07-092-0/+17
* Add TcRnCharLiteralOutOfRange to TcRnMessageAlfredo Di Napoli2021-07-092-0/+17
* Add TcRnIllegalViewPattern to TcRnMessageAlfredo Di Napoli2021-07-092-0/+20
* Add TcRnDuplicateFieldName to TcRnMessageAlfredo Di Napoli2021-07-092-6/+30
* Add TcRnIllegalWildCardsInRecord to TcRnMessageAlfredo Di Napoli2021-07-092-0/+31
* Add TcRnIllegalFieldPunning to TcRnMessageAlfredo Di Napoli2021-07-092-0/+21
* Add TcRnEmptyRecordUpdate to TcRnMessageAlfredo Di Napoli2021-07-092-0/+17
* Add TcRnIllegalPatSynDecl to TcRnMessageAlfredo Di Napoli2021-07-092-0/+22
* Add TcRnSimplifierTooManyIterations to TcRnMessageAlfredo Di Napoli2021-07-093-6/+26
* Add the TcRnDuplicateWarningDecls to TcRnMessageAlfredo Di Napoli2021-07-092-0/+19
* Add the TcRnShadowedName constructor to TcRnMessageAlfredo Di Napoli2021-07-092-1/+43
* Dynflags: introduce DiagOptsSylvain Henry2021-07-014-38/+47
* Remove useless .hs-bootSylvain Henry2021-07-011-1/+0
* Make withException use SDocContext instead of DynFlagsSylvain Henry2021-07-012-6/+8
* Use HsExpansion for overloaded list patternssheaf2021-06-293-47/+59
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-2835-556/+878
* Tc: Allow Typeable in quantified constraintsJakob Brünker2021-06-271-0/+1
* Suggest similar names when reporting types in terms (#19978)Vladislav Zavialov2021-06-251-25/+33
* Fixes around incomplete guards (#20023, #20024)Krzysztof Gogolewski2021-06-242-13/+6
* Fix typo in Note [Quick Look for particular Ids]Viktor Dukhovni2021-06-231-1/+1
* Converts diagnostics for two errors in Ghc.Tc.Module (#19926)Aaron Allen2021-06-233-7/+25
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-221-1/+1
* Put tracing functions into their own moduleSylvain Henry2021-06-223-28/+37
* Fix error message for record updates, #19972Krzysztof Gogolewski2021-06-161-1/+1
* HsUniToken and HsToken for HsArrow (#19623)Vladislav Zavialov2021-06-162-5/+5
* Reword: representation instead of levitysheaf2021-06-1011-27/+29
* Introduce `hsExprType :: HsExpr GhcTc -> Type` in the new modulewip/hsExprTypeRyan Scott2021-06-087-86/+20
* Make Logger independent of DynFlagsSylvain Henry2021-06-076-46/+38
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-0510-569/+824
* Port HsToCore messages to new infrastructureAlfredo Di Napoli2021-06-036-30/+104
* Driver Rework PatchMatthew Pickering2021-06-032-2/+9
* Specify the reason for import for the backpack's extra importsDivam2021-06-021-4/+8
* Fail before checking instances in checkHsigIface if exports don't match (#19244)Zubin Duggal2021-06-021-0/+9
* Use GHC's State monad consistentlyBen Gamari2021-05-291-1/+1
* Split GHC.Utils.Monad.State into .Strict and .LazyBen Gamari2021-05-291-1/+1
* Rip GHC.Tc.Solver.Monad asunder (only)Richard Eisenberg2021-05-2912-1925/+2028
* Change representation of HsGetField and HsProjectionShayne Fletcher2021-05-271-1/+1
View Lorry Controller Status