#include <stdio.h>
+#include <readline/readline.h>
-int main (int argc, char *argv[])
+/* Read-Send-Print-Loop */
+void rspl ()
{
- char exp[1024];
+ static char *line = (char *)NULL;
+ int exit = 0;
+
+ while (!exit)
+ {
+ if (line)
+ {
+ free (line);
+ line = (char *)NULL;
+ }
+
+ line = readline ("gacela>");
- printf("gacela>");
- scanf("%s", exp);
+ if (line && *line)
+ {
+ add_history (line);
+ if (strcmp (line, "(quit)") == 0)
+ exit = 1;
+ }
+ }
+}
+int main (int argc, char *argv[])
+{
+ rspl ();
return 0;
}