Commit ac6a6e70 authored by simonpj's avatar simonpj
Browse files

Test for Trac 2018

parent c82ee5ac
{-# 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 ()
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment