Project

General

Profile

Bug #9284

jingoo 1.2.18 падает generate.ml

Added by Grigoriy Volkov 5 months ago.

Status:
New
Priority:
Normal
Start date:
09/17/2018
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

В версии 1.2.18 jingoo стали убираться пробелы (trim).

В шаблоне lib/why3/z3_enum есть конструкции типа

{%- if something %}
aaa
{%- else %}
{%- endif %}

Соответственно после trim получается {% else %}{% endif %} подряд (без строки), и парсер падает.

Пока я в инструкцию на вики добавил пункт про установку jingoo.1.2.17.

В следующей версии jingoo баг будет исправлен.
(Но можно и удалить пустые else.)

Также для работы >= 1.2.18 нужно в generate.ml добавить новую зависимость:


Ocaml.packs := ["uucp";"jingoo"]

Also available in: Atom PDF