Andrew Pennebaker <[email protected]> schrieb:
>> Ah, the name of the current source file is always 'sourcefilename'.
>No
>> matter
>> where in the command line it is - or if it is a command line at all.
>>
>
>That's weird, on my computer, sourcefilename doesn't return the
>filename at
>all. It returns the number 13:
>
>Code:
>
>https://github.com/mcandre/scriptname/blob/master/scriptname.fs
>
>Trace:
>
>$ ./scriptname.fs
>Program: 13
It's an addr len string. Try type instead.
--
Bernd Paysan
《想妥当做，亲自出马 》
http://bernd-paysan.de/
