10 Dec
2008
10 Dec
'08
1:59 p.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