[hcoop/debian/mlton.git] / regression / array7.sml

(* This program tests the implementation of arrays whose length is important but
 * whose elements aren't.
 *)
open Array
val a = array (2, #"a")
val _ = update (a, 0, #"b")
val n = if sub (a, 0) = #"b"
           then 2
        else 1
val _ =
   if 2 = length (array (n, 13))
      then ()
   else raise Fail "bug"
Commit	Line	Data
7f918cf1 CE	1	(* This program tests the implementation of arrays whose length is important but
	2	* whose elements aren't.
	3	*)
	4	open Array
	5	val a = array (2, #"a")
	6	val _ = update (a, 0, #"b")
	7	val n = if sub (a, 0) = #"b"
	8	then 2
	9	else 1
	10	val _ =
	11	if 2 = length (array (n, 13))
	12	then ()
	13	else raise Fail "bug"