GHCi :i ommits constraints
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@cse.ogi.edu
Trac metadata
Trac field |
Value |
Version |
5.04.3 |
Type |
Bug |
TypeOfFailure |
OtherFailure |
Priority |
normal |
Resolution |
ResolvedFixed |
Component |
Driver |
Test case |
|
Differential revisions |
|
BlockedBy |
|
Related |
|
Blocking |
|
CC |
|
Operating system |
|
Architecture |
|