testsuite: Add test for #16509

Authored by bgamari on Mon, May 27, 10:00 PM.

Description

testsuite: Add test for Trac #16509

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Sun, Jun 9, 5:46 PM
Parents
rGHCed20412a8ce7: Do not report error if Name in pragma is unbound
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC8a48a8a4e2f1: testsuite: Add test for #16509 (authored by bgamari).Sun, Jun 9, 5:46 PM