Commit 98001ce3 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Blacklist Gappa's special symbols.

parent d26cadfb
......@@ -76,8 +76,11 @@ let get_info env task =
let ident_printer =
let bls = [
"sqrt"; "fma";
"float"; "fixed"; "int";
"homogen80x"; "homogen80x_init"; "float80x";
"add_rel"; "sub_rel"; "mul_rel"; "fma_rel";
] in
let san = sanitizer char_to_alpha char_to_alnumus in
create_ident_printer bls ~sanitizer:san
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment