In bc-containers-lists-double.adb, the procedure
Insert(L : in out List; From_List : in out List; Before : positive)
raises BC.Not_Root if From_List points to an item that has another predecessor. This is inconsistent with
procedure Insert(L : in out List; From_List : in out List)
and indeed the former procedure will not make this test if Before happens to be 1.
I recommend that the test be taken out, and the user advised of the possible side effects.
Log in to post a comment.