Re: suggestion: ExtString.unescape(d)

> 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



-------------------------------------------------------
This SF.net email is sponsored by: Perforce Software.
Perforce is the Fast Software Configuration Management System offering
advanced branching capabilities and atomic changes on 50+ platforms.
Free Eval! http://www.perforce.com/perforce/loadprog.html