Actually fail in failIfEmitsConstraints

Authored by goldfire on Nov 1 2018, 2:37 PM.

Description

Actually fail in failIfEmitsConstraints

The function TcHsType.failIfEmitsConstraints says that it fails.
It even does so in its name. But it didn't! It *reported* constraints
but didn't fail. Now it does.

This is important in tcHsClsInstType; see the comments therein.

This was discovered while looking at Trac #15797, but that ticket
requires visible kind application to exhibit the bug; the test
case will come with the patch for Trac #12045.

Details

Committed
goldfireNov 1 2018, 4:34 PM
Parents
rGHC255d2e323a88: Fix embarrassing, egregious bug in roles of (->)
Branches
Unknown
Tags
Unknown