testsuite/tests/stranal/should_compile/T8743.hs


1
2
3
4
5
6
7
8
9
10
11

module T8743 where

-- Without the following import, it does not fail
import T8743a ()

-- [()] required, () does not work.
class ToRow a where toRow :: a -> [()]

instance ToRow (Maybe a) where
    toRow Nothing  = [()]
    toRow (Just _) = [()]