regression/bool-triple.sml

   1 val a = Array.array (100, (true, false, true))
   2 val _ = Array.update (a, 0, (false, true, false))
   3 val b =
   4    Array.sub (a, 0) = Array.sub (a, 1)
   5    andalso Array.sub (a, 2) = Array.sub (a, 3)
   6 val _ = print (concat [Bool.toString b, "\n"])