After checking the module and before starting the translation into the intermediate language, the compiler properly qualifies all type constructors, data constructors and (global) functions occurring in a pattern or expression such that their module prefix matches the module of their definition. This is done also for functions and constructors declared in the current module. Only functions and variables declared in local declarations groups as well as function arguments remain unchanged.