summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs
Commit message (Expand)AuthorAgeFilesLines
* Be more careful in chooseInferredQuantifiersSimon Peyton Jones2022-08-185-0/+100
* testsuite: Add test for #21719Ben Gamari2022-06-223-0/+67
* Instantiate top level foralls in partial type signaturesSimon Peyton Jones2022-06-203-0/+102
* Improve error reporting in generated codeSimon Peyton Jones2022-05-042-4/+4
* decideMonoTyVars: account for CoVars in candidatessheaf2022-04-222-0/+29
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-152-6/+7
* Error on anon wildcards in tcAnonWildCardOccsheaf2022-02-261-1/+3
* Kill derived constraintsRichard Eisenberg2022-02-237-44/+46
* Make implication tidying agree with Note [Tidying multiple names at once]Matthew Pickering2022-02-056-50/+50
* Rework the handling of SkolemInfoMatthew Pickering2022-01-292-7/+7
* Improve partial signaturesSimon Peyton Jones2022-01-274-1/+75
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-173-3/+3
* Include "not more specific" info in overlap msgsheaf2021-11-201-4/+3
* Improve overlap error for polykinded constraintssheaf2021-10-061-2/+2
* Eradicate TcRnUnknownMessage from GHC.Tc.DerivAlfredo Di Napoli2021-10-054-1/+16
* Add more instances for SoloDavid Feuer2021-09-181-1/+1
* Remove transitive information about modules and packages from interface filesMatthew Pickering2021-05-1948-48/+48
* Correct warning for deprecated and unrecognised flagsAlfredo Di Napoli2021-04-052-2/+2
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-294-16/+20
* Use GHC2021 as default languageJoachim Breitner2021-03-1012-31/+38
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-013-10/+12
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-232-0/+14
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-026-1/+60
* Kill floatEqualities completelySimon Peyton Jones2020-12-203-34/+21
* Remove flattening variablesRichard Eisenberg2020-12-0124-41/+44
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-063-16/+41
* Add -Wnoncanonical-{monad,monoid}-instances to standardWarningsFumiaki Kinoshita2020-10-141-1/+0
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-243-13/+14
* Use a newtype `Code` for the return type of typed quotations (Proposal #195)Matthew Pickering2020-07-212-3/+3
* Bump ghc-prim version to 0.7.0Ryan Scott2020-07-0248-48/+48
* Update testsuiteSylvain Henry2020-06-1749-99/+50
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-0531-190/+228
* Revert "Specify kind variables for inferred kinds in base."Ben Gamari2020-05-252-2/+2
* Specify kind variables for inferred kinds in base.Baldur Blöndal2020-05-082-2/+2
* Refactor hole constraints.Richard Eisenberg2020-05-061-8/+8
* Add a missing zonk in tcHsPartialTypeSimon Peyton Jones2020-04-183-0/+13
* Fix #18052 by using pprPrefixOcc in more placesRyan Scott2020-04-151-25/+25
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-39/+7
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-1217-191/+199
* Improve skolemisationSimon Peyton Jones2020-02-0117-23/+23
* Don't zap to Any; error insteadRichard Eisenberg2020-01-121-33/+24
* Pretty-printing of the * kindVladislav Zavialov2019-12-052-10/+10
* Whitespace-sensitive bang patterns (#1087, #17162)wip/whitespace-and-lookaheadVladislav Zavialov2019-11-272-16/+16
* Fix typosBrian Wignall2019-11-231-1/+1
* Strip parentheses in expressions contexts in error messagesVladislav Zavialov2019-11-191-1/+1
* Add Monad instances to `(,,) a b` and `(,,,) a b c`Fumiaki Kinoshita2019-10-041-1/+1
* Use level numbers for generalisationRichard Eisenberg2019-09-191-5/+5
* Refactor kindGeneralize and friendsRichard Eisenberg2019-09-191-5/+8
* Fix typechecking of partial type signaturesSimon Peyton Jones2019-06-198-4/+75
* Bump ghc-prim's version where neededAlexandre2019-04-0148-48/+48
View Lorry Controller Status