Commit dfa5a323 authored by MARCHE Claude's avatar MARCHE Claude

extraction: printers for ML and OCaml should preserve initial underscore

fixes issue #170
parent de301da2
......@@ -108,8 +108,8 @@ module MLPrinter (K: sig val keywords: string list end) = struct
aprinter: type variables
tprinter: toplevel definitions *)
let iprinter, aprinter, tprinter =
let isanitize = sanitizer char_to_alpha char_to_alnumus in
let lsanitize = sanitizer char_to_lalpha char_to_alnumus in
let isanitize = sanitizer char_to_alnumus char_to_alnumus in
let lsanitize = sanitizer char_to_lalnumus char_to_alnumus in
create_ident_printer K.keywords ~sanitizer:isanitize,
create_ident_printer K.keywords ~sanitizer:lsanitize,
create_ident_printer K.keywords ~sanitizer:lsanitize
......
......@@ -76,8 +76,8 @@ module Print = struct
aprinter: type variables
tprinter: toplevel definitions *)
let iprinter, aprinter, tprinter =
let isanitize = sanitizer char_to_alpha char_to_alnumus in
let lsanitize = sanitizer char_to_lalpha char_to_alnumus in
let isanitize = sanitizer char_to_alnumus char_to_alnumus in
let lsanitize = sanitizer char_to_lalnumus char_to_alnumus in
create_ident_printer ocaml_keywords ~sanitizer:isanitize,
create_ident_printer ocaml_keywords ~sanitizer:lsanitize,
create_ident_printer ocaml_keywords ~sanitizer:lsanitize
......
......@@ -22,7 +22,7 @@ struct
type t = X.t Vector.t
let create (us: unit) : t =
let create (_: unit) : t =
Vector.create ?capacity:(Some 0) ~dummy:X.dummy
let is_empty (h: t) : bool = Vector.is_empty h
......
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