(***
 *
 * Here is a test for the comment-only version of FindUser.  As with the
 * degenerate case, the explectec output is {true, nil}.
 *
 *)


(*
 * Create some testing values.
 *)
val ur1:UserRecord = {"Corwin", "1", nil, nil};
val ur2:UserRecord = {"Fisher", "2", nil, nil};
val ur3:UserRecord = {"Other", "3", nil, nil};
val ur4:UserRecord = {"Extra", "4", nil, nil};
val udb = [ur1, ur2];
val udb_added = udb + ur3;
val udb_spurious_addition = udb + ur3 + ur4;
val udb_spurious_deletion = udb + ur3 - ur2;

> print("Expected results of FindUser(udb,''3'')?->ur3 are\n");
> print("{ true, nil }\n");
> FindUser(udb,"3")?->ur3;