ocaml

1зной

2ответ

Верно обрабатывать белый интервал в симпатичном принтере

Я пишу интерфейс для языка (по ocamllex и ocamlyacc). Таким образом, frond-end может построить Abstract Syntax Tree (AST) из программы. Затем мы часто пишем красивый принтер, который берет AST и печат

2зной

2ответ

OCaml: List.iter начинается с следующим элементом после матча

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

0зной

1ответ

долларов + идентификатор в mly

Я вижу $startpos и $endpos в .mly от типа проверки: recursive_def: | f = term_variable ty_args = multiple(formal_type_arguments) te_args = multiple(term_arguments) codomain = preceded(

0зной

1ответ

Факториальное исключение Big_int

Я пытался реализовать факториальное использование Big_int, utop может его оценить, но он не работает во время выполнения. Вот код: let factorial (num : int) = let n = Big_int.big_int_of_int num i

4зной

1ответ

Как включить работу?

У меня есть module type T = sig type t end и module Make (TypeProvider : T) = struct include TypeProvider type d = Wrapped of t end и module Test = struct include Make (struc

2зной

1ответ

сделать menhir найти все альтернативы?

Я хотел бы изменить поведение вывода мениргов следующим образом: Я хочу, чтобы он искал все грамматические альтернативы, если он найдет их, и поместит их в список и вернет мне эту интерпретацию ambigo