Add test for updating a record with existentially quantified fields.
authorMatthew Pickering <matthewtpickering@gmail.com>
Wed, 2 Sep 2015 11:28:34 +0000 (13:28 +0200)
committerBen Gamari <ben@smart-cactus.org>
Wed, 2 Sep 2015 11:30:00 +0000 (13:30 +0200)
commitff9432f600ca294fb747b0288dc10659d035d45e
treefe02c0d2a379a41da8c72cb7c0554bc41d9579e2
parent010e1878c9c851a638211a03fd58bfa6bdd93081
Add test for updating a record with existentially quantified fields.

Test Plan: ./validate

Reviewers: austin, bgamari

Reviewed By: bgamari

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D1193
testsuite/tests/typecheck/should_compile/all.T
testsuite/tests/typecheck/should_compile/update-existential.hs [new file with mode: 0644]