-
Björn Peemöller authored
Previous to this commit, the shadowing of imported type constructors by local type constructors was not implemented, causing misleading error messages.
4b003317
Previous to this commit, the shadowing of imported type constructors by local type constructors was not implemented, causing misleading error messages.