GHC's Int and Word modules export a vast amount of coercion functions
(like int8ToInt16, intToWord16, ...) which are all subsumed by the
single standard function fromIntegral. But currently one can't tell
GHC, e.g.:
{-# SPECIALIZE fromIntegral :: Int8 -> Int16 = int8ToInt16 #-}
because the "=..." clause has vanished. Are there plans to resurrect it?
Just to add a little plug: :-)
The above remarks about Int/Word are part of an FFI library proposal
which is currently under development in collaboration with Manuel M. T.
Chakravarty and Michael Weber:
http://www.informatik.uni-muenchen.de/~Sven.Panne/haskell_libs/ffi.html
It is still in its early design stage, and any comments and suggestions
are highly appreciated.
Cheers,
Sven
--
Sven Panne Tel.: +49/89/2178-2235
LMU, Institut fuer Informatik FAX : +49/89/2178-2211
LFE Programmier- und Modellierungssprachen Oettingenstr. 67
mailto:[EMAIL PROTECTED] D-80538 Muenchen
http://www.informatik.uni-muenchen.de/~Sven.Panne
