prop_new_abort :: Int -> Bool
prop_new_abort _ = unsafePerformIO $ C.catch f check
   where
     f = new undefined{-layout-} [] [] `seq` return False
     check (C.SomeException e) =
       return $ "xmonad: StackSet: non-positive argument to StackSet.new" `isPrefixOf` show e

-- TODO: Fix this?
-- prop_view_should_fail = view {- with some bogus data -}
prop_new_abort :: Int -> Bool
prop_new_abort _ = unsafePerformIO $ C.catch f check
   where
     f = new undefined{-layout-} [] [] `seq` return False
     check (C.SomeException e) =
       return $ "xmonad: StackSet: non-positive argument to StackSet.new" `isPrefixOf` show e

-- TODO: Fix this?
-- prop_view_should_fail = view {- with some bogus data -}
prop_new_abort _ = unsafePerformIO $ C.catch f check
   where
     f = new undefined{-layout-} [] [] `seq` return False
     check (C.SomeException e) =
       return $ "xmonad: StackSet: non-positive argument to StackSet.new" `isPrefixOf` show e

-- TODO: Fix this?
-- prop_view_should_fail = view {- with some bogus data -}