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

[SourceForge.net]

Bugs item #732850, was opened at 2003-05-05 18:56
Message generated for change (Comment added) made by simonpj
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: Closed
>Resolution: Fixed
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 

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

>Comment By: Simon Peyton Jones (simonpj)
Date: 2003-05-07 08:26

Message:
Logged In: YES 
user_id=50165

Good point -- fixed in the HEAD, thank you.

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

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