regression/useless-string.sml

   1 val x = "abc"
   2 val y = "defg"
   3 val _ =
   4    if 3 = (String.size
   5            (if 0 = length (CommandLine.arguments ())
   6                then x
   7             else y))
   8       then ()
   9    else raise Fail "bug"