tst302.mal

来自「一个内存数据库的源代码这是服务器端还有客户端」· MAL 代码 · 共 5 行

#propagate INT exception
# (you should be able to pass it upwards though)
raise	PermissionDeniedException := 1234;
	io.print("should not come here\n");