CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

Menhir: fix generation of "parser.conflicts"

Browse Source 
to make debugging parser conflicts possible when they appear
This commit is contained in:
Louis Gesbert 2024-10-28 17:32:45 +01:00
parent c675ec2b93
commit 8230630b9b
3 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
catala.opam
View File

@ -23,7 +23,7 @@ depends: [
"cmdliner" {>= "1.1.0"}
"cppo" {>= "1"}
"dates_calc" {>= "0.0.6"}
"dune" {>= "3.11"}
"dune" {>= "3.13"}
"js_of_ocaml-ppx" {= "4.1.0"}
"menhir" {>= "20200211"}
"menhirLib" {>= "20200211"}

3
compiler/surface/dune
View File

@ -29,12 +29,13 @@
(menhir
(modules tokens)
(explain false)
(flags --only-tokens))
(menhir
(modules tokens parser)
(merge_into parser)
(flags --external-tokens Tokens --table --explain))
(flags --external-tokens Tokens --table))
(rule
(target grammar.html)

4
dune-project
View File

@ -1,4 +1,4 @@
(lang dune 3.11)
(lang dune 3.13)
(name catala)
@ -28,5 +28,5 @@
(license Apache-2.0)
(using menhir 2.1)
(using menhir 3.0)
(using directory-targets 0.1)