OCAML объединить два отсортированных списка

Question

Я пытаюсь написать код слияния двух списков. Предположим, что первый и второй список сортируются с < =. Итак, почему я получил исключение: Failure «tl». http://pastebin.com/NXxnfug9

Answer 1

В вашем If заявлении вы используете l1 и l2, но я думаю, что ваше намерение было использовать li1 и li2. Во всяком случае, вы должны прочитать совпадение шаблонов, например: http://www.ffconsultancy.com/ocaml/benefits/pattern_matching.html