summaryrefslogtreecommitdiff
path: root/testsuite/tests/overloadedrecflds
Commit message (Expand)AuthorAgeFilesLines
* OverloadedRecordFields: mention parent name in 'ambiguous occurrence' error f...nineonine2022-05-1718-68/+105
* Allow HasField in quantified constraintssheaf2022-02-082-1/+39
* Improve errors for non-existent labelsSimon Peyton Jones2022-02-044-0/+22
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-173-14/+18
* Multiple Home UnitsMatthew Pickering2021-12-286-18/+18
* Allow keywords which can be used as variables to be used with OverloadedDotSy...Matthew Pickering2021-11-262-0/+10
* Change representation of field selector occurencesShayne Fletcher2021-05-2313-78/+128
* Add regression test for #19287nineonine2021-05-223-0/+17
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-292-8/+9
* Simplify shadowing of DuplicateRecordFields in GHCi (fixes #19314)Adam Gundry2021-03-104-22/+33
* Do not remove shadowed record selectors from interactive context (fixes #19322)Adam Gundry2021-03-103-0/+7
* Implement -Wambiguous-fieldsAdam Gundry2021-02-265-0/+31
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-194-2/+41
* Make sure HasField use counts for -Wunused-top-bindsAdam Gundry2021-02-163-0/+22
* Implement NoFieldSelectors extension (ghc-proposals 160)Adam Gundry2021-02-1631-1/+353
* Add regression test for #11228Adam Gundry2021-01-273-0/+15
* Fix tests relying on same-line diagnostic orderingAlfredo Di Napoli2021-01-222-12/+14
* Refactor renamer datastructuresAdam Gundry2020-12-2423-0/+152
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-1/+2
* Reject all duplicate declarations involving DuplicateRecordFields (fixes #17965)Adam Gundry2020-05-083-0/+10
* Do eager instantation in termsSimon Peyton Jones2020-04-221-2/+1
* Overloaded Quotation Brackets (#246)Matthew Pickering2020-01-121-1/+1
* Whitespace-sensitive bang patterns (#1087, #17162)wip/whitespace-and-lookaheadVladislav Zavialov2019-11-271-4/+4
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-1/+4
* Add a test for #16597Ömer Sinan Ağacan2019-05-233-0/+11
* Improve ambiguous-occurrence error messageSimon Peyton Jones2018-08-211-9/+9
* Handle DuplicateRecordFields correctly in filterImports (fixes #14487)Adam Gundry2018-06-173-0/+13
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-142-5/+6
* Fix panic on module re-exports of DuplicateRcordFieldsAdam Gundry2018-03-255-0/+42
* Fix #13391 by checking for kind-GADTsRichard Eisenberg2017-09-281-3/+4
* Mention which -Werror promoted a warning to an errorÖmer Sinan Ağacan2017-07-114-21/+9
* Improve error messages for skolemsSimon Peyton Jones2017-03-101-1/+1
* tests: remove extra_files.py (#12223)Reid Barton2017-02-262-7/+8
* tests: manually move some extra_files into *.T filesReid Barton2017-02-261-2/+1
* Implement HasField constraint solving and modify OverloadedLabelsAdam Gundry2017-02-1431-27/+315
* Refactor renaming of operators/sections to fix DuplicateRecordFields bugsAdam Gundry2017-02-143-0/+16
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-223-32/+18
* Replace -fshow-source-paths with -fhide-source-pathsSylvain Henry2016-11-296-15/+15
* Make default output less verbose (source/object paths)Sylvain HENRY2016-11-116-16/+16
* Rework renaming of children in export lists.Matthew Pickering2016-10-083-0/+13
* The Backpack patch.Edward Z. Yang2016-10-081-3/+3
* Do not warn about unused underscore-prefixed fields (fixes Trac #12609)Adam Gundry2016-10-012-0/+9
* Make the Ord Module independent of Unique order (2nd try)Bartosz Nitka2016-06-221-2/+2
* Revert "Make the Ord Module independent of Unique order"Simon Peyton Jones2016-06-151-2/+2
* Make the Ord Module independent of Unique orderBartosz Nitka2016-06-131-2/+2
* Kill varSetElems in tidyFreeTyCoVarsBartosz Nitka2016-05-181-23/+23
* Fix misattribution of `-Wunused-local-binds` warningsHerbert Valerio Riedel2016-04-052-4/+4
* Print which warning-flag controls an emitted warningMichael Walker2016-02-254-13/+13
* Testsuite: for tests that use TH, omit *all* prof_waysThomas Miedema2016-02-251-3/+5
* Visible type applicationRichard Eisenberg2015-12-241-5/+6