[GHC] #5570: ($) of an unboxed double appears to be treated as 0.0

[GHC]

#5570: ($) of an unboxed double appears to be treated as 0.0
------------------------------------------+---------------------------------
  Reporter:  manzyuk                      |          Owner:                
      Type:  bug                          |         Status:  closed        
  Priority:  normal                       |      Milestone:                
 Component:  Compiler                     |        Version:  7.0.3         
Resolution:  fixed                        |       Keywords:                
  Testcase:  typecheck/should_fail/T5570  |      Blockedby:                
Difficulty:                               |             Os:  Linux         
  Blocking:                               |   Architecture:  x86_64 (amd64)
   Failure:  Incorrect result at runtime  |  
------------------------------------------+---------------------------------
Changes (by simonpj):

  * status:  new => closed
  * testcase:  => typecheck/should_fail/T5570
  * resolution:  => fixed


Comment:

 Thanks for reporting this. It arises because `($)` has its own typing
 rule, an ''ad hoc'' special case to allow impredicative instantiation of
 `runST $ blah`.

 Simon

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5570#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler