11 Dec
2008
11 Dec
'08
2:59 a.m.
Indeed, I just found that. I wonder where in the universe this is documented. Oh well. I also had to change -- $x and -- $( comments. A "darcs diff -u" patch is attached.
Thanks a lot Chris, patch applied to the repo and will appear in the next release. Cheers, /Niklas