Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / typecheck / should_compile / tc241.hs
1 {-# OPTIONS_GHC -XGADTs -XRankNTypes -O1 #-}
2 -- #2018
3
4 module Bug1 where
5
6 data A a where
7 MkA :: A ()
8
9 class C w where
10 f :: forall a . w a -> Maybe a
11
12 instance C A where
13 f MkA = Just ()