testsuite/tests/deriving/should_fail/drvfail008.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

{-# LANGUAGE Haskell2010 #-}
-- Should fail without GeneralizedNewtypeDeriving
-- Succeeds with GeneralizedNewtypeDeriving

module ShouldFail where

import Control.Monad.State

data S = S Int

newtype M a = M (StateT S IO a) deriving( Monad )