"Chenjun Hou" [email protected] wrote:

My question about argument checking was poorly worded. It is clear to me that runml should perform argument checking, what I meant to ask was whether the ml scripts compiled by our program should perform argument checking as well.

A good question (but, unfortunately, something I was hoping would be recognised as something that "should be done", rather than "must be done"). Yes.

The ml variable arg0 'comes from' C's argv[1], as the C program's name is unlikely to be a real-valued number.