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

(cherry picked from commit 4a4ae70f09009c5d32696445a06eacb273f364b5)

Details

Committed
bgamariFeb 20 2019, 1:28 PM
Parents
rGHC2eeabfdb4822: Allow resizing the stack for the graph allocator.
Branches
Unknown
Tags
Unknown