readline-1.0.3.0: HsReadline_cbits.c
#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
#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