Björn Gustavsson wrote: > Unfortunately, it is tricky to check that {M,F} is a valid fun. > The module M might not even be loaded. This is true, but the above yet one more argument for finally deciding to discontinue support for the {M,F} fun notation. It ain't fun! Kostis