[hcoop/debian/mlton.git] / regression / string.fromString.sml

fun check (s, s') =
   case String.fromString s of
      NONE => print "WRONG  NONE\n"
    | SOME s'' =>
         if s' = s''
            then print (concat ["OK  [", s', "]\n"])
         else print (concat ["WRONG  [", s', "] [", s'', "]\n"])

val _ =
   List.app check
   [("abc\"def", "abc"),
     ("\\q", ""),
     ("a\^D", "a"),
     ("a\\ \\\\q", "a"),
     ("\\ \\", ""),
     ("", ""),
     ("\\ \\\^D", ""),
     ("\\ a", "")]
Commit	Line	Data
7f918cf1 CE	1	fun check (s, s') =
	2	case String.fromString s of
	3	NONE => print "WRONG NONE\n"
	4	\| SOME s'' =>
	5	if s' = s''
	6	then print (concat ["OK [", s', "]\n"])
	7	else print (concat ["WRONG [", s', "] [", s'', "]\n"])
	8
	9	val _ =
	10	List.app check
	11	[("abc\"def", "abc"),
	12	("\\q", ""),
	13	("a\^D", "a"),
	14	("a\\ \\\\q", "a"),
	15	("\\ \\", ""),
	16	("", ""),
	17	("\\ \\\^D", ""),
	18	("\\ a", "")]