From 2bfb79be604c68b7684b515f3be3388fecfcf1f4 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Fri, 2 Jul 2021 16:59:56 +0000 Subject: Remove strings, and add a (currently not changable) flag 'double_quotes' which defines how double quoted strings are stored. --- dat.h | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) (limited to 'dat.h') diff --git a/dat.h b/dat.h index ce6a0df..9dac8d0 100644 --- a/dat.h +++ b/dat.h @@ -45,7 +45,6 @@ struct Choicepoint enum { VariableTerm, NumberTerm, - StringTerm, AtomTerm, CompoundTerm, }; @@ -56,4 +55,14 @@ enum { }; int debug; -Term *initgoals; \ No newline at end of file +Term *initgoals; + +/* Flags */ +enum { + DoubleQuotesChars, + DoubleQuotesCodes, + DoubleQuotesAtom, +}; + +int flagdoublequotes; + -- cgit v1.2.3