[GHC] #11076: Demand information of foreign calls is wrong

10 Nov 2015

      #11076: Demand information of foreign calls is wrong
-------------------------------------+-------------------------------------
           Reporter:  luite          |             Owner:
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Compiler       |           Version:  7.10.2
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 Foreign calls of all types (including prim calls) use `mkFCallId` to
 create a fresh `Id` for each one. This Id claims to be strict in all
 arguments, which is not correct for foreign calls that allow lifted types
 to be passed. This also causes some trouble for GHCJS.

 I hope to get a fix in 7.10.3. Can we leave the strictness sig out
 entirely perhaps? Most arguments would be trivially strict since they're
 unboxed.

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11076
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler