--- /dev/null
+#ifndef GHC_READLINE_H
+#define GHC_READLINE_H
+
+#include <readline/readline.h>
+
+/* For some reason the following 3 aren't defined in readline.h */
+extern int rl_mark;
+extern int rl_done;
+extern int rl_pending_input;
+
+
+/* Our C Hackery stuff for Callbacks */
+typedef int KeyCode;
+extern StgStablePtr cbackList;
+extern int genericRlCback ();
+extern StgStablePtr haskellRlEntry;
+extern int current_narg, rl_return;
+extern KeyCode current_kc;
+extern char* rl_prompt_hack;
+
+#endif /* !GHC_READLINE_H */