Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit 4604e0e4 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Produce comments.

parent 43ed86b4
......@@ -352,6 +352,8 @@ let () =
produce a function that maps a state number to a message. By
convention, we call this function [message]. *)
let name = "message" in
let open IL in
let open CodeBits in
let default = {
......@@ -373,10 +375,16 @@ let () =
in
let messagedef = {
valpublic = true;
valpat = PVar "message";
valpat = PVar name;
valval = EFun ([ PVar "s" ], EMatch (EVar "s", branches))
} in
let program = [ SIValDefs (false, [ messagedef ]) ] in
let program = [
SIComment (Printf.sprintf
"This file was auto-generated based on \"%s\"." filename);
SIComment (Printf.sprintf
"Please note that the function [%s] can raise [Not_found]." name);
SIValDefs (false, [ messagedef ])
] in
(* Write this program to the standard output channel. *)
......
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