[project @ 2000-10-02 16:06:48 by simonpj]

Add check for unboxed function arguments

ghc/tests/typecheck/should_fail/tcfail087.hs

+{-# OPTIONS -fglasgow-exts #-}
+
+-- !!! Check that unboxed tuples can't be function arguments
+module ShouldFail where
+
+data Ex = Ex (# Int,Int #)
+
+f :: (# Int,Int #) -> Int
+f x = error "urk"
+
+g (# x,y #) = x
+
+

ghc/tests/typecheck/should_fail/tcfail087.stderr

+