Однонаправленный список, вхождение одного списка в другой Опции

[Boxer]

Доброго времени суток!
Пишу функцию, входит ли список L1 в список L2

я пишу если 1й эл списка L1 равен i-ому эл списка L2, то запускаю массив while L1^.next<>nil do {а вот тут-то и вопрос! я хочу записать: сравниваем 2й и последующие эл списка L1 с i+1, i+2... эл списка L2, как это записать я не знаю =( }

[volvo]

Да ничего не делать... Мой пример такие случаи на ура отрабатывает... Смотри:

  L2 := L2_start;
  while L2 <> nil do
  begin
    if L1_start^.item = L2^.item then
    begin
      curr_L1 := L1_start^.next;
      curr_L2 := L2^.next;

      while (curr_L1 <> nil) and (curr_L1 <> nil)
            and (curr_L1^.item = curr_L2^.item) do
      begin
        curr_L1 := curr_L1^.next;
        curr_L2 := curr_L2^.next;
      end;
      if curr_L1 = nil then
      begin
        write('found: ');
        // Здесь я просто печатаю весь остаток списка L2, начиная с момента 
        // вхождения в него L1, чтоб было понятно, правильно ли найдено вхождение
        print(L2); 
      end
    end;
    L2 := L2^.next; // Дальше-то мы опять идем по L2, а этот указатель не менялся
  end;

, и вот:

Running "f:\programs\pascal\2010_12_18_boxer.exe "
L1:   2  3  4
L2:   1  2  2  3  2  3  4  5
found:   2  3  4  5

Что не так? (списки "зашил" в программу, чтоб не вводить при тестировании. Лентяй я )