From 995725b2568efbfe53061084ed97960d19ea5dc4 Mon Sep 17 00:00:00 2001 From: Joachim Breitner Date: Mon, 6 Nov 2023 10:59:35 +0100 Subject: [PATCH] test: C trigraph add a test file that checks that C trigraphs in string literals are not miscompiled. --- tests/compiler/trigraphs.lean | 12 ++++++++++++ tests/compiler/trigraphs.lean.expected.out | 9 +++++++++ 2 files changed, 21 insertions(+) create mode 100644 tests/compiler/trigraphs.lean create mode 100644 tests/compiler/trigraphs.lean.expected.out diff --git a/tests/compiler/trigraphs.lean b/tests/compiler/trigraphs.lean new file mode 100644 index 0000000000..48ca3c3d1d --- /dev/null +++ b/tests/compiler/trigraphs.lean @@ -0,0 +1,12 @@ +/-! Tests that C trigraphs are not actually interpreted -/ + +def main := do + IO.println "??(" + IO.println "??)" + IO.println "??<" + IO.println "??>" + IO.println "??=" + IO.println "??/" + IO.println "??'" + IO.println "??!" + IO.println "??-" diff --git a/tests/compiler/trigraphs.lean.expected.out b/tests/compiler/trigraphs.lean.expected.out new file mode 100644 index 0000000000..73f45448d9 --- /dev/null +++ b/tests/compiler/trigraphs.lean.expected.out @@ -0,0 +1,9 @@ +??( +??) +??< +??> +??= +??/ +??' +??! +??-