10 Nov
2005
10 Nov
'05
8:22 a.m.
However, having :args as well might be quite handy. In GHCi this feature is available as :set args blah, not sure if thats a good way to go or not.
Shall I commit :main then? Or should I save it as a WinHugs specific feature? Thanks Neil
(I'm not sure what WinHugs interface you had in mind.) Currently the run button when the user has typed no expression runs 'main', I intend to change this to ':main'
Thanks
Neil