Skip to content

Commit

Permalink
haskell-translator: avoid invalid escape sequence warnings
Browse files Browse the repository at this point in the history
"\<xsymbol>" is not a valid string in python, although the compiler
generally accepts it and does the right thing. More recent versions warn
about it. To avoid that noise, turn these into either r"\<xsymbol>", or
"\\<xsymbol>" when the former is not possible.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
  • Loading branch information
lsf37 committed Jun 5, 2024
1 parent dd6295d commit 1a5678c
Showing 1 changed file with 59 additions and 59 deletions.
Loading

0 comments on commit 1a5678c

Please sign in to comment.