Shell

Next: banner Up: Shells Previous: scan Contents Index

Shell

$\begin{usage} import from Shell(P, R, E) \end{usage}$

$\begin{params} P & \htmlref{\texttt{Parser}}{Parser} & A parser type for the i... ...t{Evaluator}}{Evaluator} R & An interpreter with target type R\\\end{params}$

$\begin{descr} Shell(P, R, E) provides a basic read-eval-loop that converts its input to expressions of type R. \end{descr}$

Exports

banner: (TW, String) $\to$ TW Print a banner

shell!: (P, TW, TW, SymbolTable R, Boolean, String) $\to$ Z Read-eval loop

where
TW == TextWriter

Z == MachineInteger

Subsections

banner
shell!

Manuel Bronstein 2000-12-13

`banner`:	(TW, `String`) $\to$ TW	Print a banner
`shell!`:	(P, TW, TW, `SymbolTable` R, `Boolean`, `String`) $\to$ Z	Read-eval loop