[Ur] Problem with character literals with tested solution

[Adam Chlipala]

Following Standard ML, the syntax for character literals in Ur/Web is #"a".

On 02/26/2015 11:36 AM, gabriel at xarxaire.com wrote:
> Adding:
>
> val chTest: char = 'a'
>
> gives: Unification failure
> Expression:  "a"
>   Have con:  string
>   Need con:  char