blob: 6d0707252e78c2c1468028f69d706541efe12de7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
LinearFFI.hs:6:1: error:
• Unacceptable argument type in foreign declaration:
Linear types are not supported in FFI declarations, see #18472
• When checking declaration:
foreign import ccall safe "exp" c_exp :: Double %1 -> Double
LinearFFI.hs:7:1: error:
• Unacceptable argument type in foreign declaration:
Linear types are not supported in FFI declarations, see #18472
• When checking declaration:
foreign import stdcall safe "dynamic" d8
:: FunPtr (IO Int) %1 -> IO Int
LinearFFI.hs:8:1: error:
• Unacceptable argument type in foreign declaration:
Linear types are not supported in FFI declarations, see #18472
• When checking declaration:
foreign import ccall safe "wrapper" mkF
:: IO () %1 -> IO (FunPtr (IO ()))
|
