diff options
author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-16 00:42:49 +0000 |
---|---|---|
committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-16 00:42:49 +0000 |
commit | 1c8789198373a52da9e80dc9b2b1ee2b67af61c4 (patch) | |
tree | 980040a8d1828a85428b175eef9f6a4106248309 /fns.h | |
parent | 2a77288e28f2725b5621c239d2393d49f61993e8 (diff) |
Make operators local to each module, and implement some more correct prettyprint code, used by write_term
Diffstat (limited to 'fns.h')
-rw-r--r-- | fns.h | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -2,7 +2,7 @@ Term *parse(int, Biobuf *, int); /* prettyprint.c */ -Rune *prettyprint(Term *, int, int, int); +Rune *prettyprint(Term *, int, int, int, Module *); /* misc.c */ Term *copyterm(Term *, uvlong *); @@ -60,14 +60,17 @@ int isoutputstream(Term *); int istextstream(Term *); int isbinarystream(Term *); int readterm(Term *, Term **); -void writeterm(Term *, Term *, Term *); +void writeterm(Term *, Term *, Term *, Module *); /* module.c */ void initmodules(void); Module *parsemodule(char *); Module *getmodule(Rune *); +Module *addemptymodule(Rune *); Clause *appendclause(Clause *, Clause *); Predicate *appendpredicate(Predicate *, Predicate *); +Operator *getoperator(Rune *, Module *); +void addoperator(int, int, Rune *, Module *); /* types.c */ int islist(Term *); |