Test Trac #14488
authorVladislav Zavialov <vlad.z.4096@gmail.com>
Tue, 21 Nov 2017 23:28:21 +0000 (18:28 -0500)
committerBen Gamari <ben@smart-cactus.org>
Wed, 22 Nov 2017 02:11:16 +0000 (21:11 -0500)
Summary:
The refactoring in 3f5673f34a2f761423027bf46f64f7499708725f also fixed a
previously unreported issue in the typechecker that prevented defining a
lens to a record field with a constraint. This patch adds a regression
test.

Test Plan: make test TEST=14488

Reviewers: bgamari

Reviewed By: bgamari

Subscribers: int-e, rwbarton, thomie

GHC Trac Issues: #14488

Differential Revision: https://phabricator.haskell.org/D4213

testsuite/tests/typecheck/should_compile/T14488.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_compile/all.T

diff --git a/testsuite/tests/typecheck/should_compile/T14488.hs b/testsuite/tests/typecheck/should_compile/T14488.hs
new file mode 100644 (file)
index 0000000..a4a1284
--- /dev/null
@@ -0,0 +1,10 @@
+{-# LANGUAGE RankNTypes #-}
+
+module T14488 where
+
+type Lens' s a = forall f. Functor f => (a -> f a) -> s -> f s
+
+data T a = MkT { _tfield :: Eq a => a }
+
+tfield :: Eq a => Lens' (T a) a
+tfield f t = MkT <$> f (_tfield t)
index 417e43e..19a99db 100644 (file)
@@ -584,3 +584,4 @@ test('T7169', normal, compile, [''])
 test('T14434', [], run_command, ['$MAKE -s --no-print-directory T14434'])
 test('MissingExportList01', normal, compile, [''])
 test('MissingExportList02', normal, compile, [''])
+test('T14488', normal, compile, [''])