Bill Allombert on Mon, 18 Jan 2016 18:01:37 +0100

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: Move readline interface to libpari

On Mon, Jan 18, 2016 at 04:49:44PM +0100, Jeroen Demeyer wrote:
> OK, see attachment then.

Thanks, it is much better now.

+/* gplib.c */
+extern const char *keyword_list[];

If this really need to be a public symbol then we will have to rename it,
but i think we can fold it inside ok_external_help().

+/* readline */
+typedef char* (*readline_GF)(const char*, int); /* generator function

We can probably dispense with the typedef readline_GF.