enabled leaner parser memory wise

parent 8de7ce5b
......@@ -36,7 +36,6 @@
% open a file write to it, close it read back
%
-trace.
write_read1(TermOut, File, TermIn) :-
open(File, write, Sout),
set_output(Sout),
......@@ -47,7 +46,6 @@ write_read1(TermOut, File, TermIn) :-
read(TermIn),
close(Sin).
-trace.
write_read2(TermOut, File, TermIn) :-
open(File, write, Sout),
write(Sout, TermOut), write('. '),
......
......@@ -402,10 +402,11 @@
(<p-lambda> (c)
(<let> ((op P)
(p (<newframe>)))
(.. (c) (f c))
(<code> (<unwind> p))
(<with-fail> op
(<p-cc> c)))))
(<with-s> p
(.. (c) (f c))
(<code> (<unwind> p))
(<with-fail> op
(<p-cc> c))))))
(define (f-char! ch) (f-test! (lambda (x) (eq? x ch))))
(define (f-char ch) (f-test (lambda (x) (eq? x ch))))
......
......@@ -797,11 +797,11 @@
(lambda y #f)))
(define (prolog-tokens stx)
(let ((f (f* ;(f-clear-body
(let ((f (f* (f-clear-body
(f-or!
(f-seq ws (f-parse-1 stx expr)
ws (f-char #\.) ws)
ferr))));)
ferr)))))
(<p-lambda> (c)
(.. (d) (f '()))
......
......@@ -279,6 +279,7 @@ static void gp_unwind0(SCM *ci, SCM *si, SCM *cs, struct gp_stack *gp)
if(gp->gp_ci < ci)
{
return;
scm_misc_error("gp_unwind","wrong unwind forward in time",SCM_EOL);
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment