any idea why this is True data Foo = FooC Int | BarC Int deriving (Data, Typeable, Show)
> fromJust $ funResultTy (typeOf FooC) (typeOf (1::Int)) Loading package syb ... linking ... done. ParseG.Foo > typeRepTyCon $ fromJust $ funResultTy (typeOf FooC) (typeOf (1::Int)) ParseG.Foo > let a = typeRepTyCon $ fromJust $ funResultTy (typeOf FooC) (typeOf (1::Int)) > :t a a :: TyCon > typeRepTyCon $ typeOf $ BarC 2 ParseG.Foo > let b = typeRepTyCon $ typeOf $ BarC 2 > a == b True I thought that TyCon can distinguish constructors. it seems no different then a typerep _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
