#include "HsReadline.h" void hs_rl_message (const char *s) { rl_message ("%s", s); } #if (__GLASGOW_HASKELL__>=706) int __hscore_hs_fileno (FILE *f) { return fileno (f); } #endif