Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 2143ce11 authored by POTTIER Francois's avatar POTTIER Francois

When writing a `.cmly` file, open it in binary mode.

parent 05f6fd82
# Changes
## 2018/09/20
## 2018/10/05
* Install `.cmxs` files for menhirLib and menhirSdk.
......@@ -10,16 +10,20 @@
* In `--interpret` mode, print `Ready!` once ready to accept input.
* At verbosity level `-lg 2`, for each nonterminal symbol `N`, display
a sentence (composed of terminal symbols) of minimal length generated
by `N`.
* When writing a `.cmly` file, open it in binary mode. This should
eliminate the failure that was observed under Windows:
`output_value: not a binary channel`. (Reported by Bryan Phelps.)
* Coq back-end: add a few newlines in the generated file for readability.
(Suggested by Bernhard Schommer.)
* Remove the trailing space at the end of every sentence in
auto-generated `.messages` files. (Suggested by Xavier Leroy.)
* At verbosity level `-lg 2`, for each nonterminal symbol `N`, display
a sentence (composed of terminal symbols) of minimal length generated
by `N`.
## 2018/09/05
* When `--explain` is enabled, always create a fresh `.conflicts` file
......
......@@ -168,6 +168,8 @@ let write oc t =
output_value oc (t : grammar)
let write filename =
let oc = open_out filename in
(* Opening in binary mode is required. This is not a text file;
we write to it using [output_value]. *)
let oc = open_out_bin filename in
write oc (encode());
close_out oc
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment