Просмотр значений пользовательского типа данных при отладке кода OCaml

Question

У меня есть список с именем list_ds пользовательской структуры данных в моем источнике OCaml. Я скомпилировал исходный код для отладки и запустил отладчик, останавливая выполнение моего кода в точке останова. Теперь я хочу проверить определенный элемент структуры данных в списке. Если я использую команду print list_ds в отладчике, я вижу [ abstr; abstr; abstr; abstr; <abstr>; ...] - список со словом abstr. Если я использую команду «print list_ds. (0)» в отладчике, это говорит мне, что $1 : ds = abstr. Но я действительно хочу видеть элементы структуры данных ds в первом месте в list_ds. Как я могу это сделать?

Answer 1

Один из вариантов - установить собственную функцию печати для данного типа.Это описано в Разделе 16.8.8 Руководства по отладчику OCaml .

Недостатком этого подхода является то, что он требует довольно небольшой настройки, тем более что вывод должен осуществляться черезFormat модуль.Вы могли бы использовать производный проект, чтобы ускорить это.Может генерировать функции форматирования автоматически.