在Rascal MPL中能否重载IO::println函数实现loc类型自定义输出？

要实现自定义println函数覆盖IO库的默认行为，核心是调整Rascal的名称解析规则，让自定义函数优先被匹配，具体有两种可行方案：

方案一：排除IO模块中原有的println函数 #

在导入IO模块时，通过except关键字隐藏原有的println函数，这样当前模块中自定义的同名函数就会成为唯一可见的println实现：

import IO except println;

void println(loc l) {
    IO::println("my custom println function");
}

// 调用测试
println(|tmp:///|); // 输出"my custom println function"

方案二：使用模块限定符明确调用自定义函数 #

如果不想修改IO模块的导入规则，可以在调用时通过当前模块的限定符指定使用自定义函数。假设你的代码位于MyDebug模块中：

module MyDebug

void println(loc l) {
    IO::println("my custom println function");
}

// 调用时指定模块
MyDebug::println(|tmp:///|); // 触发自定义实现

补充说明 #

Rascal的重载解析会优先匹配最具体的类型，但标准库IO模块的println默认全局可见，且其重载列表包含对value类型的处理（loc是value的子类型），直接定义同名函数会被原IO实现覆盖。通过上述两种方式调整可见性后，自定义函数就能正常触发。

内容的提问来源于stack exchange，提问作者Teun M.