[MLton-user] curried function definition and pattern destructuring

Henry Cejtin henry.cejtin@sbcglobal.net
Tue, 18 Jul 2006 09:41:46 -0500


Even ignoring the space leak example of Stephen's, the standard says that
	fun f (ref x) y = ...
de-references x only after y is supplied.  This always struck me as rather
unfortunate.