17 lines
354 B
Haskell
Raw Normal View History

2005-04-24 08:51:33 +00:00
{-# OPTIONS -cpp -fglasgow-exts #-}
module Poly where
import Data.Typeable
2005-04-24 08:51:33 +00:00
data Fn = Fn {fn :: forall t. Eq t => t -> t -> Bool}
--
-- ignore type inside the Fn... is this correct?
--
instance Typeable Fn where
#if __GLASGOW_HASKELL__ >= 603
typeOf _ = mkTyConApp (mkTyCon "Poly.Fn") []
#else
typeOf _ = mkAppTy (mkTyCon "Poly.Fn") []
#endif