Thomas Arts wrote: ...deleted > I wrote a dynamic type checker in 1998, worked fine. Problem is that the have you looked a the new type checker, as presented at the erlang workshop '03, in uppsala? would you care to comment upon similarities/differences/etc? bengt