#5032: putting left equation sides in parantheses causes GHC.Prim.Any
specialization
---------------------------+------------------------------------------------
Reporter: jeltsch | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 6.12.1
Resolution: wontfix | Keywords:
Testcase: | Blockedby:
Difficulty: | Os: Linux
Blocking: | Architecture: x86_64 (amd64)
Failure: None/Unknown |
---------------------------+------------------------------------------------
Comment(by batterseapower):
Replying to [comment:2 tsuyoshi]:
> I doubt that it is intentional that GHCi decides an unspecified
monomorphic type variable to be GHC.Prim.Any.
I think this is the only reasonable thing that can happen. If you have a
type (a -> a) that you need to be monomorphic, by definition you can't use
(forall a. a -> a). So you have to instantiate the a with some type - in
this case GHC.Prim.Any, which at least makes it clear what is going on.
What were you expecting to happen?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5032#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
