From: Nicolas C. <war...@fr...> - 2004-01-14 21:28:00
|
> Just a suggestion for an useful function that IMO is missing in the > String module: String.unescaped. This function should be the inverse > function of String.escaped, it seems to me really stupid to have an > escaping function but not its counterpart! [...] > The only drawback of this implementation is that Genlex doesn't raises > exception for the cases in which the compiler outputs warnings. The > string "a\b" will be unescaped to "ab" ignoring the invalid "\". This is > not a problem if you unescape string produced by escape but it can be a > problem in other cases. I see no problem in adding this one , as well as an alias : let escape = escaped But it would be better to add an raw implementation of unescape, without relying on another module such as Genlex in order to minimize the dependencies required by the ExtString module. Regards, Nicolas Cannasse |