Augh, just spent a half hour tracking down a probl...

# random

[cedric]

Augh, just spent a half hour tracking down a problem that was due to the difference between fun f() = {…} and fun f() = …. That was not a fun time.