[project @ 2005-07-12 13:36:07 by simonpj]

Add unboxed-tuple binding test (was simpl008)

testsuite/tests/ghc-regress/typecheck/should_fail/all.T

@@ -125,3 +125,4 @@ test('tcfail137', normal, compile_fail, [''])
 test('tcfail138', normal, compile_fail, [''])
 test('tcfail139', normal, compile_fail, [''])
 test('tcfail140', normal, compile_fail, [''])
+test('tcfail141', only_compiler_types(['ghc']), compile_fail, [''])

testsuite/tests/ghc-regress/typecheck/should_fail/tcfail141.hs

+{-# OPTIONS -fglasgow-exts #-}
+
+-- Should fail, because f :: (# Int#, ByteArray# #)
+
+module ShouldFail where
+
+import GHC.Prim
+
+main :: IO ()
+main = let f = int2Integer# 0# in putStrLn ""
+

testsuite/tests/ghc-regress/typecheck/should_fail/tcfail141.stderr

+
+tcfail141.hs:10:11:
+    Illegal binding of unboxed tuple f :: (# Int#, ByteArray# #)
+    In the definition of `main': main = let f = int2Integer# 0# in putStrLn ""