diff --git a/test/blackbox-tests/unicode-identifiers.t b/test/blackbox-tests/unicode-identifiers.t new file mode 100644 index 000000000..d555553c8 --- /dev/null +++ b/test/blackbox-tests/unicode-identifiers.t @@ -0,0 +1,48 @@ + + $ . ./setup.sh + +With PPX application + + $ cat > x.ml < type saison = Hiver | Été | Printemps | Automne + > let x = Été + > EOF + + $ melc x.ml + // Generated by Melange + 'use strict'; + + + const x = /* Été */1; + + exports.x = x; + /* No side effect */ + +With PPX application + + $ melc -ppx melppx x.ml + // Generated by Melange + 'use strict'; + + + const x = /* Été */1; + + exports.x = x; + /* No side effect */ + +Add `@mel.as` string + + $ cat > x.ml < type saison = Hiver | Été [@mel.as "Été"] | Printemps | Automne + > let x = Été + > EOF + + $ melc x.ml + // Generated by Melange + 'use strict'; + + + const x = /* Été */"Été"; + + exports.x = x; + /* No side effect */