From 29eed98be1139eb26d5095b1e7f6de865fa0cfeb Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Thu, 4 Oct 2012 17:49:47 +0100 Subject: Test Trac #7050 --- testsuite/tests/typecheck/should_compile/T7050.hs | 3 +++ testsuite/tests/typecheck/should_compile/T7050.stderr | 5 +++++ testsuite/tests/typecheck/should_compile/all.T | 1 + 3 files changed, 9 insertions(+) create mode 100644 testsuite/tests/typecheck/should_compile/T7050.hs create mode 100644 testsuite/tests/typecheck/should_compile/T7050.stderr (limited to 'testsuite/tests') diff --git a/testsuite/tests/typecheck/should_compile/T7050.hs b/testsuite/tests/typecheck/should_compile/T7050.hs new file mode 100644 index 0000000000..2e8c1eb694 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T7050.hs @@ -0,0 +1,3 @@ +module T7050 where + +data Foo a = Foo {-# UNPACK #-} !(Foo a) diff --git a/testsuite/tests/typecheck/should_compile/T7050.stderr b/testsuite/tests/typecheck/should_compile/T7050.stderr new file mode 100644 index 0000000000..e7330ce4f5 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T7050.stderr @@ -0,0 +1,5 @@ + +T7050.hs:3:14: Warning: + Ignoring unusable UNPACK pragma on the first argument of `Foo' + In the definition of data constructor `Foo' + In the data declaration for `Foo' diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index d5bedae7a8..8907143abf 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -386,3 +386,4 @@ test('T7171',normal,run_command, ['$MAKE -s --no-print-directory T7171']) test('T7173', normal, compile, ['']) test('T7196', normal, compile, ['']) +test('T7050', normal, compile, ['']) -- cgit v1.2.1