Issue #143: fix the runtime function args

Author: thewizardplusplus

docs/runtime.md

@@ -94,7 +94,7 @@
 * системные функции:
 	* `load(filename: str): any` — загружает файл скрипта `filename`, выполняет его и возвращает полученный результат;
 	* `is_main(): bool` — возвращает истину, если файл, в котором она была вызвана, был передан для загрузки непосредственно интерпретатору, и ложь — если был загружен посредством функции `load`;
-	* `args(): list<str>` &mdash; возвращает список аргументов командной строки, причём первым аргументом будет путь к файлу скрипта; если же код скрипта был прочитан с stdin, первым аргументом будет строка `"stdin"`;
+	* `args(): list<str>` &mdash; возвращает список аргументов командной строки, причём первым аргументом будет путь к файлу скрипта; если же код скрипта был прочитан с stdin, первым аргументом будет строка `"__stdin__"`;
 	* `env(name: str): nil|str` &mdash; возвращает значение указанной переменной окружения, если она установлена; в противном случае возвращается `nil`; также интерпретатором осуществляется загрузка `.env`-конфига из текущей рабочей директории;
 	* `time(): num` &mdash; возвращает текущее UNIX-время по UTC;
 	* `sleep(seconds: num): nil` &mdash; останавливает выполнение скрипта на указанное количество секунд; `seconds` может быть вещественным числом;

micro/options.py

@@ -56,7 +56,7 @@ def process_options():
     return parser.parse_args()
 
 def get_script_name(filename):
-    return filename if filename != '-' else 'stdin'
+    return filename if filename != '-' else '__stdin__'
 
 def make_args_function(options):
     arguments = list_utilities.reduce_list(