WinHugs question

[ross at soi.city.ac.uk]

On Sat, Jul 16, 2005 at 02:52:28PM +0100, Neil Mitchell wrote:
> The only thing I'm "stuck" on is actually executing a command. I
> basically want to fire "123" at the hugs program and have it evaluate.
> It seems that WinHugs currently has lots of global buffers, and in
> some way I haven't spotted those buffers get transferred into the hugs
> system and evaluated. Is there any function roughly like
> "evaluateCommand(char* Command)" anywhere in Hugs?

evaluator() reads an expression and evaluates it.  The input is
switchable -- stringInput() makes subsequent input come from a
specified string.