id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
12	Revisit exception mechanism	benl		"We eliminated the effect masking operator from the type system due to the poisoning problem. Perhaps we can do something with Benton + Buchlovsky's ""Semantics of an effect analysis for exceptions"" paper. 

I remember seeing a ML paper on this saying there was a better way than try-catch. What was that?

Want typed exceptions, so we can thrown an object of arbitrary (user defined) type."	task	new	project		Source Type Inferencer