Fix #14618 by applying a subst in deeplyInstantiate
authorRichard Eisenberg <rae@cs.brynmawr.edu>
Tue, 26 Dec 2017 19:23:40 +0000 (14:23 -0500)
committerBen Gamari <ben@smart-cactus.org>
Thu, 28 Dec 2017 18:58:52 +0000 (13:58 -0500)
commit1779e3bf4876d8ac46657275e5f0f2ee6877a5c9
tree84b199919ccb50cc22015b927869adb8ccbaba1f
parentc6cf13ca63f3a11a8da7c7e3bd69e673a8df5440
Fix #14618 by applying a subst in deeplyInstantiate

Previously, we were inexplicably not applying an instantiating
substitution to arguments in non-prenex types. It's amazing this
has been around for so long! I guess there aren't a lot of non-prenex
types around.

test case: typecheck/should_fail/T14618

(cherry picked from commit 722a6584bb338bc77ad978d14113b3b8e6a45cab)
compiler/typecheck/Inst.hs
testsuite/tests/typecheck/should_fail/T14618.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/T14618.stderr [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/all.T