Since operators can't start with a ':', is there an in-principle reason TH does not support : operators? The syntax below would be really nice to have. On Fri, 18 Feb 2005, Sander Evers wrote:

...

Then we could have e.g. (:=) and (:\=) and end up with a syntax that looks like this:

rec // field :\= fn . field2 := val

And that is BETTER than the Haskell syntax that I originally proposed.

This syntax is also nice for composition of update functions, which is useful with nested records:

data Country = Country {capital :: City, ...} data City = City {inhabitants :: Int, ...}

birth_in_capital :: Country -> Country birth_in_capital = capital :\= (inhabitants :\= (+1))

This also shows that it would be useful to make :\= associate to the right.

______________________________________________________________ S. Alexander Jacobson tel:917-770-6565 http://alexjacobson.com