blob: e1e4057921648cd42d324fe7bc672c24c964e41e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#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 */
|
