/usr/share/axiom-20170501/src/algebra/OUT.spad is in axiom-source 20170501-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 | )abbrev package OUT OutputPackage
++ Author: Stephen M. Watt
++ Date Created: February 1986
++ Date Last Updated: October 27 1995 (MCD)
++ Description:
++ OutPackage allows pretty-printing from programs.
OutputPackage() : SIG == CODE where
SIG ==> with
output : String -> Void
++ output(s) displays the string s on the ``algebra output''
++ stream, as defined by \spadsyscom{set output algebra}.
output : OutputForm -> Void
++ output(x) displays the output form x on the
++ ``algebra output'' stream, as defined by
++ \spadsyscom{set output algebra}.
output : (String, OutputForm) -> Void
++ output(s,x) displays the string s followed by the form x
++ on the ``algebra output'' stream, as defined by
++ \spadsyscom{set output algebra}.
outputList : (List Any) -> Void
++ outputList(l) displays the concatenated components of the
++ list l on the ``algebra output'' stream, as defined by
++ \spadsyscom{set output algebra}; quotes are stripped
++ from strings.
CODE ==> add
--ExpressionPackage()
E ==> OutputForm
putout ==> mathprint$Lisp
s: String
e: OutputForm
l: List Any
output e ==
mathprint(e)$Lisp
void()
-- Note that we have to do the pretend here because otherwise we will
-- try to load STRING which is not yet compiled during build.
output s ==
output(s pretend OutputForm)
output(s,e) ==
output blankSeparate [s pretend OutputForm, e]
outputList(l) == -- MGR
output hconcat
[if retractable?(x)$AnyFunctions1(String) then
message(retract(x)$AnyFunctions1(String))$OutputForm
else
x::OutputForm
for x in l]
|