[m-dev.] diff: char & string additions

[Thomas Charles CONWAY]

ON
> Tom, can you please review this one?
> 
> Export a few new predicates from the library, after moving the around
> and renaming them, since they seem to be quite useful.
> 
> library/char.m:
> 	Add char__digit_to_int, char__int_to_digit, and char__det_int_to_digit.
> 	(These are renamed and exported versions of the old
> 	predicates string__char_to_digit and string__det_char_to_digit
> 	from `string.m'.)
> 
> library/string.m:
> 	Add string__from_rev_char_list.
> 	(This is a renamed version of lexer__rev_char_list_to_string.)
> 	Use char__int_to_digit etc.
> 
> library/lexer.m:
> 	Use string__from_rev_char_list.
> 

Looks fine.

Thomas
-- 
ZZ:wq!
^X^C
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			      Every sword has two edges.