Orkuncakilkaya
f4533331e7
A reference from a module that declares uses into a module it does not name is refused, exported or not, naming the use and the fix. A module with no uses clause keeps the old rule; a package's module is always usable; a friend is not held to it; a cycle in the declared graph is refused; LUDIC_VIS_REPORT=1 lists the violations as uses: lines. Reseed. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
5 lines
163 B
Text
5 lines
163 B
Text
# items/index.ludic - exports inv_add, but that is not enough for a module that says `uses`
|
|
module items
|
|
export function inv_add(n: int) -> int {
|
|
return n + 1
|
|
}
|