[MLton] should a character constant's value affect its default type?

[Matthew Fluet]

> The Definition is silent on this issue as far as I can tell.  It
> says that the surrounding context should be used to resolve the type,
> but it's not clear if that rules out the constant itself.
>
> My gut feeling is to ignore the character values, since this is
> similar to how we treat integers and words.

I agree that consistency with the treatment of numeric constants would be
better.