The checker reports Not a valid let-declaration when scope checking <a long citation of the `let' code> It is desirable to point (when it is easy) say, at the first part which is not valid. Regards, ------ Sergei