5 Apr
2013
5 Apr
'13
9:48 p.m.
* David Matthews:
This is a bit of problem. At least in the languages I know that are used for scripting the # symbol at the beginning of a line begins a comment. That's not true for ML. I guess it would be possible to add an option to simply discard the first line of input.
The number of arguments which can be specified on shebang lines is fairly restricted on most systems. I think you'd have to add --use-skip-first-line in addition to --use for this to work.
Lua just ignores the first line if it starts with "#". (Otherwise, "#" is an operator in Lua.)