testsuite/tests/partial-sigs/should_fail/T13324_fail1.hs


1
2
3
4
5
6
7
8

{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE StandaloneDeriving #-}
module T13324_fail1 where

data Option a = None | Some a

deriving instance (Eq a, _) => Eq (Option a)
deriving instance (Show _) => Show (Option a)