Standard ML of New Jersey (32-bit) v110.99 [built: Thu Dec 24 11:01:10 2020]
- val x = (1, 2);
val x = (1,2) : int * int
- x
= ;
val it = (1,2) : int * int
-
-
- x;
val it = (1,2) : int * int
- val y = ("cat", 5, "dog");
val y = ("cat",5,"dog") : string * int * string
-
- val (u, v) = (1, 2);
val u = 1 : int
val v = 2 : int
-
- val (a, 4) = (3, 4);
stdIn:11.5-11.20 Warning: binding not exhaustive
          (a,4) = ...
val a = 3 : int
- val (a, 4) = (3, 4);
stdIn:12.5-12.20 Warning: binding not exhaustive
          (a,4) = ...
val a = 3 : int
- a
= ;
val it = 3 : int
-
-
- val y = [1,2,3];
val y = [1,2,3] : int list
-
- val [x, y, z] = [4, 5, 6];
stdIn:19.5-19.26 Warning: binding not exhaustive
          x :: y :: z :: nil = ...
val x = 4 : int
val y = 5 : int
val z = 6 : int
-
-
- val [x, y, z] = [4, 5, 6, 7];
stdIn:22.5-22.29 Warning: binding not exhaustive
          x :: y :: z :: nil = ...

uncaught exception Bind [nonexhaustive binding failure]
  raised at: stdIn:22.5-22.29
-
- val [x, y] = [4, 5, 6];
stdIn:23.5-23.23 Warning: binding not exhaustive
          x :: y :: nil = ...

uncaught exception Bind [nonexhaustive binding failure]
  raised at: stdIn:23.5-23.23
- val [x, 5,  y] = [4, 5, 6];
stdIn:23.4-23.26 Warning: binding not exhaustive
          x :: 5 :: y :: nil = ...
val x = 4 : int
val y = 6 : int
-
- val [x, 5,  y] = [4, 7, 6];
stdIn:25.5-25.27 Warning: binding not exhaustive
          x :: 5 :: y :: nil = ...

uncaught exception Bind [nonexhaustive binding failure]
  raised at: stdIn:25.5-25.27
-
- val [x, (7, "dog"), (y,z)] = [(4, "cat), (7, "dog"), (6, "pear")];
= ;
stdIn:26.63-26.67 Error: unclosed string
- val [x, (7, "dog"), (y,z)] = [(4, "cat"), (7, "dog"), (6, "pear")];
stdIn:26.4-26.66 Warning: binding not exhaustive
          x :: (7,"dog") :: (y,z) :: nil = ...
val x = (4,"cat") : int * string
val y = 6 : int
val z = "pear" : string
-
-
-
- val [x, y] = [4, 5, 6];
stdIn:31.5-31.23 Warning: binding not exhaustive
          x :: y :: nil = ...

uncaught exception Bind [nonexhaustive binding failure]
  raised at: stdIn:31.5-31.23
-
-