[ ghc-Bugs-1115496 ] gfindtype has overly restrictive type

Bugs item #1115496, was opened at 2005-02-03 15:30
Message generated for change (Comment added) made by simonpj
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1115496&group_id=8032

Category: None
Group: None
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: gfindtype has overly restrictive type

Initial Comment:
gfindtype should have type

gfindtype :: (Data x, Typeable y) => x -> Maybe y

Data y is unnecessary.

----------------------------------------------------------------------

>Comment By: Simon Peyton Jones (simonpj)
Date: 2005-02-03 15:40

Message:
Logged In: YES 
user_id=50165

Done in GHC 6.4

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1115496&group_id=8032