Sorry, I've checked further. The problem is actually having a directory called main. I had naively assumed that with one package per directory, one should call the directory the same name as the package it contains. Apparently, this does not work for package main. (So what minux says is correct, but there is still a problem; I have updated the original post).
It seems that
calling a packageusing a directory
mainhas special (bad) effects. Please document this in the documentation
for the package statement.
You also might want to issue a warning if anyone tries to
define a packageuse a folder called
Corrected to reflect minux' comment below.
The text was updated successfully, but these errors were encountered: