[project @ 1998-02-12 14:19:12 by simonm]

test for newtype declaration with an unboxed field.

ghc/tests/typecheck/should_fail/tcfail079.hs

+{-# OPTIONS -fglasgow-exts #-}
+
+module ShouldFail where
+
+--!!! unboxed field in newtype declaration
+
+import GlaExts ( Int# )
+
+newtype Unboxed = Unboxed Int#
+
+f = [ Unboxed 1#, Unboxed 2# ] -- shouldn't be allowed!

ghc/tests/typecheck/should_fail/tcfail079.stderr

+ 
+tcfail079.hs:9:
+    Newtype constructor field has an unboxed type: `Int#'
+    In the newtype declaration for `Unboxed'
+
+
+Compilation had errors