GHCi doesn't work Any and missing RealWorld foreign prim imports
Here are two issues with our GHCi support for foreign prim imports:
Here is a program that works:
{-# LANGUAGE GHCForeignImportPrim, MagicHash, UnliftedFFITypes, UnboxedTuples #-}
module Serum where
import GHC.Exts
foreign import prim "cheneycopy" cheneycopy :: Word# -> State# RealWorld -> (# State# RealWorld, Word# #)
If I remove the world token passing, as in here:
{-# LANGUAGE GHCForeignImportPrim, MagicHash, UnliftedFFITypes, UnboxedTuples #-}
module Serum where
import GHC.Exts
foreign import prim "cheneycopy" cheneycopy :: Word# -> Word#
I get:
(GHC version 7.10.1 for x86_64-unknown-linux):
ByteCodeGen.generateCCall: missing or invalid World token?
Another error is if I try to pass Any as an argument:
{-# LANGUAGE GHCForeignImportPrim, MagicHash, UnliftedFFITypes, UnboxedTuples #-}
module Serum where
import GHC.Exts
foreign import prim "cheneycopy" cheneycopy :: Any -> State# RealWorld -> (# State# RealWorld, Word# #)
Then I get:
ghc: panic! (the 'impossible' happened)
(GHC version 7.10.1 for x86_64-unknown-linux):
primRepToFFIType
Note to anyone who is running into this problem: an easy workaround is to use -fobject-code
which bypasses bytecode generation.
Trac metadata
Trac field | Value |
---|---|
Version | 7.10.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | GHCi |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | hvr |
Operating system | |
Architecture |