G'day all. I noticed a mistake. On Thu, Feb 06, 2003 at 11:42:21AM +1100, Andrew J Bromage wrote: > Because of type inference over recursive module imports. I meant to say _transitive_ module imports, which includes recursive module imports. Cheers, Andrew Bromage