TFtoPL.mod
Copyright © 1986 by Xerox Corporation. All rights reserved.
Last Edited by: Plass, December 30, 1982 3:09 pm
Last Edited by: Ramshaw, September 23, 1983 12:15 pm
Pavel, September 14, 1985 2:20:35 pm PDT
Doug Wyatt, September 23, 1986 1:04:27 pm PDT
(configuration t𡤏to←p←l(basic←time, commander, convert, f←s, i←o, rope, safe←storage, unsafe←storage);
definitions pascalsic; external;
definitions pascal←wizard𡤏iles; external;
program pascalsic←impl; external;
program pascal←wizard𡤏iles←impl; external;
definitions no𡤏iles; trash;
definitions t𡤏to←p←l←private(pascalsic*, pascal←wizard𡤏iles*); forward;
definitions t𡤏to←p←l𡤎xternals(pascalsic*, pascal←wizard𡤏iles*, t𡤏to←p←l←private*); forward;
program t𡤏to←p←l←main(pascalsic, pascal←wizard𡤏iles, t𡤏to←p←l←private, t𡤏to←p←l𡤎xternals); forward;
program t𡤏to←p←l𡤎xternals←impl.hint$(pascalsic, pascal←wizard𡤏iles, t𡤏to←p←l←private, t𡤏to←p←l←main); forward;
program t𡤏to←p←l←misc←impl(pascalsic, pascal←wizard𡤏iles, t𡤏to←p←l←private*, t𡤏to←p←l𡤎xternals, t𡤏to←p←l←main); forward;
program t𡤏to←p←l←organize←impl(pascalsic*, pascal←wizard𡤏iles, t𡤏to←p←l←private*, t𡤏to←p←l𡤎xternals*, t𡤏to←p←l←main); forward;
program t𡤏to←p←l𡤍o←simple←impl(pascalsic*, pascal←wizard𡤏iles, t𡤏to←p←l←private, t𡤏to←p←l𡤎xternals*, t𡤏to←p←l←main); forward;
program t𡤏to←p←l𡤍o𡤌haracters←impl(pascalsic, pascal←wizard𡤏iles, t𡤏to←p←l←private, t𡤏to←p←l𡤎xternals*, t𡤏to←p←l←main); forward;
begin
t𡤏to←p←l𡤎xternals, t𡤏to←p←l𡤎xternals←impl := tty←rewrite, byte𡤏ile←reset, file←rewrite, file𡤌lose, byte𡤏ile𡤌lose;
t𡤏to←p←l←private, t𡤏to←p←l←misc←impl := initialize, out𡤍igs, print𡤍igs, print←octal, out←ln, left, right, outpl, out←octal, out𡤌har, out, out𡤏ix, checkpl;
t𡤏to←p←l←private, t𡤏to←p←l←organize←impl := organize;
t𡤏to←p←l←private, t𡤏to←p←l𡤍o←simple←impl := check←the𡤏ix←word𡤎ntries, do←simple←things;
t𡤏to←p←l←private, t𡤏to←p←l𡤍o𡤌haracters←impl := do𡤌haracters;
t𡤏to←p←l←private*, t𡤏to←p←l←main := $rest$;
no𡤏iles, t𡤏to←p←l←main := $other←vars$
end
) := t𡤏to←p←l.pas;