lean4-htt/tests/compiler/trigraphs.lean
Joachim Breitner 995725b256 test: C trigraph
add a test file that checks that C trigraphs in string literals are not
miscompiled.
2023-11-06 16:31:05 +01:00

12 lines
246 B
Text

/-! 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 "??-"