summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn
Commit message (Expand)AuthorAgeFilesLines
* Add structured error messages for GHC.Rename.UtilsTorsten Schmits2023-05-051-3/+3
* Add structured error messages for GHC.Rename.NamesTorsten Schmits2023-04-301-1/+1
* Add structured error messages for GHC.Tc.TyClTorsten Schmits2023-04-012-4/+6
* Fix testsBodigrim2023-03-303-2/+3
* Handle records in the renamersheaf2023-03-292-16/+6
* Add structured error messages for GHC.Tc.TyCl.PatSynTorsten Schmits2023-03-233-3/+3
* Add structured error messages for GHC.Tc.Utils.TcMTypeTorsten Schmits2023-03-222-2/+2
* Add regression test for #22328Simon Peyton Jones2023-03-052-0/+17
* Refine the test for naughty record selectorsSimon Peyton Jones2023-03-013-0/+26
* Convert diagnostics in GHC.Rename.Bind to proper TcRnMessage (#20115)Andrei Borzenkov2023-01-284-4/+4
* Use mkNakedFunTy in tcPatSynSigSimon Peyton Jones2022-11-302-0/+10
* Add Javascript backendSylvain Henry2022-11-291-1/+2
* Change printing of sized literals to match the proposalKrzysztof Gogolewski2022-11-291-4/+4
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-251-7/+7
* Testsuite: more precise test optionsSylvain Henry2022-10-261-10/+1
* Diagnostic codes: acccept test changessheaf2022-09-1340-101/+102
* Print constraints in quotes (#21167)Swann Moreau2022-08-194-7/+7
* Desugar RecordUpd in `tcExpr`wip/T18802CarrieMY2022-05-258-28/+24
* Add arity to the INLINE pragmas for pattern synonymsSimon Peyton Jones2022-05-163-0/+137
* Check for uninferrable variables in tcInferPatSynDeclSimon Peyton Jones2022-05-107-4/+23
* Convert More Diagnostics (#20116)Ben Gamari2022-04-301-7/+7
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-2/+1
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-174-7/+8
* Add a warning for GADT match + NoMonoLocalBinds (#20485)Krzysztof Gogolewski2021-11-231-0/+1
* Add proper GHCHints for most PsMessage constructorswip/adinapoli-issue-20055Alfredo Di Napoli2021-07-121-1/+2
* Use HsExpansion for overloaded list patternssheaf2021-06-294-10/+1
* Use GHC2021 as default languageJoachim Breitner2021-03-1011-13/+20
* Fixes to dealing with the export of mainSimon Peyton Jones2021-03-091-13/+10
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-011-4/+5
* Implement NoFieldSelectors extension (ghc-proposals 160)Adam Gundry2021-02-163-0/+18
* Fix tests relying on same-line diagnostic orderingAlfredo Di Napoli2021-01-221-2/+3
* Show missing field types (#18869)Sylvain Henry2021-01-171-1/+2
* Refactor renamer datastructuresAdam Gundry2020-12-243-1/+21
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-081-5/+5
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-063-3/+4
* Fix error message location in tcCheckPatSynDeclSimon Peyton Jones2020-10-234-2/+27
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-243-16/+13
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-058-18/+38
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-3/+15
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-124-19/+19
* Don't zap to Any; error insteadRichard Eisenberg2020-01-124-1/+9
* Fix #13571 by adding an extension flag checkRichard Eisenberg2019-09-171-1/+1
* Encode shape information in `PmOracle`Sebastian Graf2019-09-161-1/+1
* GHCi supports not-necessarily-lifted join pointsRichard Eisenberg2019-08-143-14/+0
* More sensible SrcSpans for recursive pattern synonym errors (#16900)Ryan Scott2019-07-053-0/+14
* testsuite: Add test for #16509Ben Gamari2019-06-093-0/+14
* Put COMPLETE sigs into ModDetails with -fno-code (#16682)Ryan Scott2019-05-313-0/+15
* Improve error recovery in the typecheckerSimon Peyton Jones2019-03-164-2/+6
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* Fix #16391 by using occCheckExpand in TcValidityRyan Scott2019-03-071-3/+3
View Lorry Controller Status