Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
https://github.com/ghc/testsuite/commit/0d3fcf2fcc5cdef239ac678a17d18236e772d426 >--------------------------------------------------------------- commit 0d3fcf2fcc5cdef239ac678a17d18236e772d426 Author: Simon Peyton Jones <simo...@microsoft.com> Date: Thu May 30 14:16:59 2013 +0100 Test Trac #7809 >--------------------------------------------------------------- tests/typecheck/should_fail/T7809.hs | 9 +++++++++ tests/typecheck/should_fail/T7809.stderr | 5 +++++ tests/typecheck/should_fail/all.T | 1 + 3 files changed, 15 insertions(+), 0 deletions(-) diff --git a/tests/typecheck/should_fail/T7809.hs b/tests/typecheck/should_fail/T7809.hs new file mode 100644 index 0000000..53c8d16 --- /dev/null +++ b/tests/typecheck/should_fail/T7809.hs @@ -0,0 +1,9 @@ +{-# LANGUAGE RankNTypes, TypeFamilies, LiberalTypeSynonyms #-} +module T7809 where + +type PolyId = (forall a. a -> a) + +type family F a + +foo :: F PolyId +foo = undefined \ No newline at end of file diff --git a/tests/typecheck/should_fail/T7809.stderr b/tests/typecheck/should_fail/T7809.stderr new file mode 100644 index 0000000..b743926 --- /dev/null +++ b/tests/typecheck/should_fail/T7809.stderr @@ -0,0 +1,5 @@ + +T7809.hs:8:8: + Illegal polymorphic or qualified type: PolyId + Perhaps you intended to use -XImpredicativeTypes + In the type signature for âfooâ: foo :: F PolyId diff --git a/tests/typecheck/should_fail/all.T b/tests/typecheck/should_fail/all.T index 4ec8410..0f1f7b4 100644 --- a/tests/typecheck/should_fail/all.T +++ b/tests/typecheck/should_fail/all.T @@ -309,3 +309,4 @@ test('T7851', normal, compile_fail, ['']) test('T7856', normal, compile_fail, ['']) test('T7869', normal, compile_fail, ['']) test('T7892', normal, compile_fail, ['']) +test('T7809', normal, compile_fail, [''])
_______________________________________________ ghc-commits mailing list ghc-commits@haskell.org http://www.haskell.org/mailman/listinfo/ghc-commits
