When calling the success continuation of a matcher, pass existential tyvars as…

Authored by cactus.

Description

When calling the success continuation of a matcher, pass existential tyvars as type arguments, not value arguments

(cherry picked from commit 638991114f9358ee78f32d5d5c98bb3001b52ec9)

Details

Committed
cactusDec 20 2014, 1:43 AM
Parents
rGHC8ad7f1a049ff: nlHsTyApps: for applying a function both on type- and term-level arguments
Branches
Unknown
Tags
Unknown