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 |