From 67a9b503724a4390abf08baa367959713483f363 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 3 Jul 2011 16:53:30 +0000 Subject: * boot/tokens.boot: flushOutput, writeNewline, writeString are new builtin library functions. * boot/utility.boot (finishLine): New exported function. * interp/i-output.boot (formulaFormat): Use it. (texFormat): Likewise. (texFormat1): Likewise. (mathmlFormat): Likewise. (output): Remove case for TextWriter. --- src/boot/tokens.boot | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'src/boot/tokens.boot') diff --git a/src/boot/tokens.boot b/src/boot/tokens.boot index c0b8134e..e9fde37d 100644 --- a/src/boot/tokens.boot +++ b/src/boot/tokens.boot @@ -270,6 +270,7 @@ for i in [ _ ["false", 'NIL] , _ ["first", "CAR"] , _ ["float?", "FLOATP"] , _ + ["flushOutput", "FORCE-OUTPUT"], _ ["fourth", "CADDDR"] , _ ["function","FUNCTION"] , _ ["function?","FUNCTIONP"] , _ @@ -325,8 +326,11 @@ for i in [ _ ["valueEq?", "EQUAL"] , _ ["vector?", "SIMPLE-VECTOR-P"], _ ["vectorRef", "SVREF"] , _ - ["writeByte", "WRITE-BYTE"], _ - ["writeLine", "WRITE-LINE"], _ + ["writeByte", "WRITE-BYTE"], _ + ["writeChar", "WRITE-CHAR"], _ + ["writeLine", "WRITE-LINE"], _ + ["writeNewline", "TERPRI"], _ + ["writeString", "WRITE-STRING"], _ ["PLUS", "+"] , _ ["MINUS", "-"] , _ ["TIMES", "*"] , _ -- cgit v1.2.3