Specify (using menhir 2.0).

mpelleau / AbSolute

Constraint solver based on abstract domains

GNU Lesser General Public License v3.0

30 stars 7 forks source link

Closed fpottier closed 3 years ago

fpottier commented 3 years ago

This causes Dune to pass --infer to Menhir. This allows working around a type-checker bug in OCaml 4.07-4.10.

ghilesZ commented 3 years ago

Merged, thanks!