[ ghc-Bugs-732850 ] GHCi :i ommits constraints

[SourceForge.net]

Bugs item #732850, was opened at 2003-05-05 11:56
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=732850&group_id=8032

Category: Driver
Group: 5.04.3
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: GHCi :i ommits constraints

Initial Comment:
hello, 
 
GHCi ommits the constraints on a data constructor when using 
the ":i" command: 
 
> class C a 
> newtype C a => T a = T a 
 
*Main> :i T 
-- T is a data constructor, defined at bug2.lhs:4 
T :: forall a. a -> T a     (***  C a is missing ***) 
 
-- T is a type constructor, defined at bug2.lhs:4 
newtype (C a) => T a = T a 
*Main> :t T 
forall a. (C a) => a -> T a 
 
bye  
iavor 
email:   diatchki at cse.ogi.edu 

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

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