Authored by goldfire on Jan 17 2019, 6:17 PM.

Description

Fix Trac #16188

There was an awful lot of zipping going on in
canDecomposableTyConAppOK, and one of the lists being zipped
was too short, causing the result to be too short. Easily
fixed.

Also fixes Trac #16204 and Trac #16225

test case: typecheck/should_compile/T16188

typecheck/should_compile/T16204[ab]
typecheck/should_fail/T16204c
typecheck/should_compile/T16225

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Feb 12 2019, 1:56 AM
Parents
rGHC012257c15f58: Fix #16293 by cleaning up Proxy# infelicities
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC4a4ae70f0900: Fix #16188 (authored by goldfire).Feb 12 2019, 1:56 AM