From 2a77288e28f2725b5621c239d2393d49f61993e8 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Thu, 15 Jul 2021 22:04:03 +0000 Subject: Make read_term understand the three read options: variables(Vars), variable_names(VarNames), singletons(Singles) as required per the ISO standard --- streams.c | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'streams.c') diff --git a/streams.c b/streams.c index cc9db63..a11eeb7 100644 --- a/streams.c +++ b/streams.c @@ -192,16 +192,13 @@ isbinarystream(Term *t) } int -readterm(Term *stream, Term *options, Term **term) +readterm(Term *stream, Term **term) { - USED(options); - Stream *s = getstream(stream); if(s == nil){ *term = existenceerror(L"stream", stream); return 1; } - print(": "); *term = parse(0, s->bio, 1); return 0; -- cgit v1.2.3