testsuite/tests/quantified-constraints/T15918.hs · b444c16f4ff64938a8bec9587bd90209bda682b9 · Reinier Maas / GHC

Blame

Forked from Glasgow Haskell Compiler / GHC

Source project has a limited visibility.

6 years ago

db039a4a

Add regression test for #15918 · db039a4a

Ryan Scott authored 6 years ago and

Marge Bot committed 6 years ago

The test case in #15918 no longer triggers an `ASSERT` failure on
GHC HEAD, likely due to commit
68278382 (`Make a smart mkAppTyM`).
This patch adds a regression test for #15918 to finally put it to
rest.

db039a4a

History

Add regression test for #15918

Ryan Scott authored 6 years ago and

Marge Bot committed 6 years ago

The test case in #15918 no longer triggers an `ASSERT` failure on
GHC HEAD, likely due to commit
68278382 (`Make a smart mkAppTyM`).
This patch adds a regression test for #15918 to finally put it to
rest.

Code owners

Assign users and groups as approvers for specific file changes. Learn more.