Walter Bright: > I'm afraid I don't understand at all what you wrote. Perhaps reading about linear type systems could help: http://en.wikipedia.org/w/index.php?title=Substructural_type_system&redirect=no#Linear_type_systems Bye, bearophile