[m-rev.] for review: string switches using tries

[Paul Bone]

On Wed, Feb 25, 2015 at 10:53:54AM +1100, Peter Wang wrote:
> 
> There is little or no benefit to using UTF-8 over UTF-16 internally over
> all backends.  On the other hand there is a major benefit to aligning
> the Mercury string representation with the "native" string type, if it
> exists.
> 

I want to clarify something, because I'm not an expert on encoding/unicode.
Isn't it desirable that a Mercury programmer can be sure that strings are
the same across all backends?  (That they have the same encoding, behaviour
etc.


-- 
Paul Bone