If x is a record then { x } should be a copy of it. But this
doesn't work, I am using this ugly workaround instead:

{ x with dummy_field = x.dummy_field }

Surely there is a better way? 

Oo.copy doesn't work either. Yes, yes, imperative programming
sucks but I'm using the standard Lexing stuff.

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net