From a84faa65714b4d93bd95cfe6beba8667b9e9f971 Mon Sep 17 00:00:00 2001
From: Elijah Cohen <eli@eli173.com>
Date: Wed, 14 Aug 2024 00:16:30 -0500
Subject: [PATCH] swapped linenoise for editline

---
 src/repl.c | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/src/repl.c b/src/repl.c
index eec6619..a7f907e 100644
--- a/src/repl.c
+++ b/src/repl.c
@@ -1,9 +1,10 @@
 
 
 #include <stdio.h>
+#include <stdlib.h>
 #include <histedit.h>
 
-#include "linenoise.h"
+#include <editline/readline.h>
 
 #include "types.h"
 #include "eval.h"
@@ -14,6 +15,7 @@
 
 
 
+
 int main(int argc, char** argv) {
 
 	Sexpr* env = init_dict();
@@ -21,10 +23,10 @@ int main(int argc, char** argv) {
 	// now do the loop, right?
 	char* input = NULL;
 	while(1) {
-		input = linenoise("> ");
+		input = readline("> ");
 		if(input == NULL)
 			return 0;
-		linenoiseHistoryAdd(input);
+		add_history(input);
 		Sexpr* in = parse(input);
 		if(in == NULL) {
 			printf("bad input\n");
@@ -34,7 +36,7 @@ int main(int argc, char** argv) {
 			Sexpr* out = eval(car(in), env);
 			printf(" - %s\n", sprint_sexpr(out));
 		}
-		linenoiseFree(input);
+		free(input);
 	}
 	return 0;
 }
-- 
2.39.2