Lower precedence for {-# UNPACK #-}
[ghc.git] / testsuite / tests / typecheck / should_fail / T14761a.hs
index f195320..b79b883 100644 (file)
@@ -1,3 +1,20 @@
+{-# LANGUAGE TypeOperators, GADTs #-}
+
+-- Enable -Werror to fail in case we get this warning:
+--
+--   UNPACK pragma lacks '!' on the first argument of ‘A’
+--
+-- In this test case we expect to get this warning and fail,
+-- see T14761c for the opposite.
+{-# OPTIONS -Werror #-}
+
 module T14761a where
 
-data A = A { a :: {-# UNPACK #-} Maybe Int}
+data A = A { a :: {-# UNPACK #-} Maybe Int }
+
+data x && y = Pair x y
+
+data B = B { b :: {-# UNPACK #-} Maybe Int && [] Char && Int }
+
+data G where
+  MkG2 :: {-# UNPACK #-} Maybe Int && [] Char && Int -> G