testsuite: Add test for #17458

Authored by bgamari on Nov 9 2019, 8:31 AM.

Description

testsuite: Add test for Trac #17458

As noted in Trac #17458, QuantifiedConstraints and UndecideableInstances
could previously be used to write programs which can loop at runtime.
This was fixed in !1870.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Nov 13 2019, 6:08 AM
Parents
rGHCb795637fc74f: hadrian: fix Windows CI script
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC6885e22c83ac: testsuite: Add test for #17458 (authored by bgamari).Nov 13 2019, 6:08 AM