This problem is with runhugs not Hugs, right?
Makes no difference, really. For instance, I sometimes "script" Hugs by piping commands and input into it (very useful to get all that browsing/info support from within your favorite editor, without having to extend/dll-convert/re-distribute hugs server;-):
$ cat > /tmp/foo.hs main = getLine >>= print
$ echo "main" | hugs /tmp/foo.hs $ echo ":browse" | hugs /tmp/foo.hs $ echo 'print "hello world!"' | hugs Which reminds me: would it be difficult to separate hugs into a dll and an executable which just calls (renamed) main in the dll? Vim permits calling functions in dlls. Or is there any portable way to send Hugs into the background and have access to its stdin and stdout (the obvious named pipes won't work in windows, afaik)? Claus
Which reminds me: would it be difficult to separate hugs into a dll and an executable which just calls (renamed) main in the dll? Vim permits calling functions in dlls. Or is there any portable way to send Hugs into the background and have access to its stdin and stdout (the obvious named pipes won't work in windows, afaik)?
The Hugs Server API (hugs98-Dec2001/docs/server.{tex,html}) is an effort in this direction. But it omits the command line stuff because you clearly wouldn't want that in a server would you? Ooops, your examples show that you want just that. Oh well... Shouldn't be too hard to add the command line interpreter to the API. -- Alastair
participants (2)
-
Alastair Reid -
C.Reinke