#1454: Confusing or bug: :t and :i don't return same type
----------------------------------+-----------------------------------------
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: GHCi | Version: 6.6.1
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Os: Unknown | Testcase:
Architecture: Unknown |
----------------------------------+-----------------------------------------
Comment (by [EMAIL PROTECTED]):
In the particular case I am referring to the two types were of the form:
(Context cxt) => <more types> -> <sometype containing a type variable> ->
<more types> this was for :t
, but :i derived a type that was of the form:
(Context cxt) => <more types> -> Concretetype -> <more types>
So, your case is not an example of this. I hadn't seen the bug earlier, so
it might only come up in really hairy code.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1454>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs