I'd love to see this fixed, I believe there a other situations as well that trigger a similar error unnecessarily. When type-checking functions, parameter names should be ignored. Robin -- Robin Sommer * Phone +1 (510) 722-6541 * robin at icir.org ICSI/LBNL * Fax +1 (510) 666-2956 * www.icir.org