Benjamin Franksen writes: > If a foreign function (e.g. from a C library) is really > pure, then I see no way to tell that to the compiler > other than using unsafePerformIO. What's the problem with importing it with a pure signature? Like this: foreign import ccall unsafe sin :: CDouble -> CDouble Peter