camlp4

9зной

1ответ

Дать парсер для DSL в OCaml с помощью ППК и расширения точки

Недавно было объявлено в OCaml официальном GitHub, что Camlp4 заменяется ppx rewriters and extension points (https://github.com/ocaml/camlp4): Camlp4 был частью официального дистрибутива OCaml до его

0зной

1ответ

Как скомпилировать с помощью Camlp4?

Я тестирую цитаты в Camlp4. Моя программа tester.ml выглядит следующим образом: open Camlp4.PreCast;; let x = <:Cstm< x = 1 + 2 >>;; let y = <:expr< let y = 1 + 2 >>;; print_string "done";; Я про

3зной

1ответ

Как выражаются выражения Camlp5 (прежние Camlp4)

Насколько я мог понять, обыскивая в Интернете, похоже, что Camlp5 (бывший Camlp4) использует парсер с рекурсивным спусками, а ocamlyacc - это парсер, основанный на LALR генератор. В генераторе парсера

1зной

1ответ

Как использовать camlp4 в программе OCaml для анализа другой программы OCaml в AST?

В настоящее время я пытаюсь перевести программы OCaml (с довольно стандартной грамматикой) в Racket, и я пытаюсь посмотреть, есть ли способ сделать синтаксический анализ промежуточного представления с

0зной

1ответ

Unbound module Camlp4

Мне известны подобные вопросы на этом сайте, но ни один из них не помог решить мою проблему. Я очень новичок в OCaml и я использую следующий учебник об использовании Camlp4 https://github.com/ocaml/ca

1зной

1ответ

Как просмотреть код, созданный camlp4

Я использую расширение синтаксиса и хотел бы знать, можно ли каким-либо образом вывести сгенерированный код. Я бы предпочел не помещать трассировки отладки в расширение, так как я не разработчик и нич

1зной

2ответ

OCaml перегружает числовой литерал с помощью Camlp4

Я пишу небольшой скрипт с некоторыми утилитами комбинаторики. Когда мне нужен числовой литерал, такой как 0 или 1 в другом типе, я использую _0 и _1, но это решение является менее идеальным. Можно ли

1зной

3ответ

Lexer/filter для комментариев

Есть ли инструмент OCaml, который позволяет фильтровать комментарии в исходных файлах, похожие на gcc -E? В идеале, я ищу что-то, что удалит все , но комментариев, но наоборот. Например, если есть воз