From 50768fba487e1ec08278cdc4be614863db32a5c4 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Tue, 29 Jun 2021 18:21:31 +0000 Subject: Make parse return a list of clauses. Also pretty print the entire list of clauses. --- main.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'main.c') diff --git a/main.c b/main.c index 504b02d..abad53b 100644 --- a/main.c +++ b/main.c @@ -29,7 +29,10 @@ main(int argc, char *argv[]) int fd = open(parsetestfile, OREAD); if(fd < 0) exits("open"); - parse(fd); + Term *prog = parse(fd); + Term *clause; + for(clause = prog; clause != nil; clause = clause->next) + print("%S.\n", prettyprint(clause)); } exits(nil); -- cgit v1.2.3