summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/tc241.hs
blob: 8dca34314a6f19fa4b385864e733cc0895b1a3eb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
{-# OPTIONS_GHC -XGADTs -XRankNTypes -O1 #-}
-- Trac #2018

module Bug1 where

 data A a where
   MkA :: A ()

 class C w where
   f :: forall a . w a -> Maybe a

 instance C A where
   f MkA  = Just ()