Le Tue, 19 Feb 2008 00:01:40 +0100, "Nicolas Pouillard"
<nicolas.pouillard@gmail.com> a écrit :
> You  should  use $str:String.escaped s$ or the
> shortcut for it $`str:s$.

I knew a shortcut existed but couldn't remember it - thank you very
much. It's not a bug indeed, then.

Regards,
-- 
Gabriel Kerneis