Test Trac #5570
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 21 Oct 2011 22:08:58 +0000 (23:08 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 21 Oct 2011 22:08:58 +0000 (23:08 +0100)
testsuite/tests/typecheck/should_fail/T5570.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/T5570.stderr [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/all.T

diff --git a/testsuite/tests/typecheck/should_fail/T5570.hs b/testsuite/tests/typecheck/should_fail/T5570.hs
new file mode 100644 (file)
index 0000000..3dcc4d8
--- /dev/null
@@ -0,0 +1,7 @@
+{-# LANGUAGE MagicHash #-}
+module T5570 where
+
+import GHC.Exts
+
+main :: IO ()
+main = print $ D# $ 3.0##
diff --git a/testsuite/tests/typecheck/should_fail/T5570.stderr b/testsuite/tests/typecheck/should_fail/T5570.stderr
new file mode 100644 (file)
index 0000000..9daf268
--- /dev/null
@@ -0,0 +1,6 @@
+\r
+T5570.hs:7:16:\r
+    Couldn't match kind `#' against `*'\r
+    In the second argument of `($)', namely `D# $ 3.0##'\r
+    In the expression: print $ D# $ 3.0##\r
+    In an equation for `main': main = print $ D# $ 3.0##\r
index 8af136d..1a6c8d5 100644 (file)
@@ -262,5 +262,5 @@ test('AssocTyDef06', normal, compile_fail, [''])
 test('AssocTyDef07', normal, compile_fail, [''])
 test('AssocTyDef08', normal, compile_fail, [''])
 test('AssocTyDef09', normal, compile_fail, [''])
-
 test('T3592', normal, compile_fail, [''])
+test('T5570', normal, compile_fail, [''])