* 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.) _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
