Don't panic on Core Lint warning about levity-polymorphic unsafe coercion
AbandonedPublic

Authored by goldfire on Mar 22 2017, 10:08 PM.

Details

Reviewers
austin
bgamari
Trac Issues
#13458
Summary

Core Lint shouldn't check representations of types that don't
have representations. Fixes Trac #13458.

test case: typecheck/should_compile/T13458

No review really necessary -- this is just for validation.

Test Plan

./validate

goldfire created this revision.Mar 22 2017, 10:08 PM
bgamari edited edge metadata.Mar 27 2017, 8:50 AM

It looks like this worked. Will you merge this yourself @goldfire?

rwbarton retitled this revision from Fix #13458 to Don't panic on Core Lint warning about levity-polymorphic unsafe coercion.Mar 27 2017, 11:34 AM
rwbarton edited the summary of this revision. (Show Details)
rwbarton updated the Trac tickets for this revision.
rwbarton added inline comments.
testsuite/tests/typecheck/should_compile/all.T
549

Should the test run with -dcore-lint?

goldfire abandoned this revision.Mar 28 2017, 8:22 PM

I have merged this.

(And all tests run with -dcore-lint. I confirmed that this test fails before my patch.)