Dear gurus. What is a good way to react to compiler warning: "Not all strictness information has been exported"? Most probably some of the functions I put inside modules are badly declared, with types which are correct but no-so-so. But which? Is this compiler reaction serious, i.e., is there some execution penalty caused by this? Jerzy Karczmarczuk Caen, France