idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-03 00:55:00 +03:00
Code Issues Projects Releases Wiki Activity

Fix escaping in C backend

Browse Source 
Use unicode escapes. Insert trailing doublequotes to terminate
(otherwise hexchars will be considered part of escape)
This commit is contained in:
Niklas Larsson 2021-04-02 22:35:17 +02:00
parent e49916cea9
commit 0314ff66ef
1 changed files with 6 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
src/Compiler/RefC/RefC.idr
View File

@ -64,15 +64,8 @@ showcCleanStringChar '%' = ("_percent" ++)
showcCleanStringChar '~' = ("_tilde" ++)
showcCleanStringChar c
= if c < chr 32 || c > chr 126
then (("u" ++ pad (asHex (cast c))) ++)
then (("u" ++ leftPad '0' 4 (asHex (cast c))) ++)
else strCons c
where
pad : String -> String
pad str
= let n = length str in
case isLTE n 4 of
Yes _ => fastPack (List.replicate (minus 4 n) '0') ++ str
No _ => str
showcCleanString : List Char -> String -> String
showcCleanString [] = id
@ -140,17 +133,11 @@ where
showCChar : Char -> String -> String
showCChar '\\' = ("bkslash" ++)
showCChar c
= if c < chr 32 || c > chr 126
then (("\\x" ++ (asHex (cast c))) ++)
else strCons c
where
pad : String -> String
pad str
= case isLTE (length str) 2 of
--Yes _ => toString (List.replicate (natMinus 4 (length str)) '0') ++ str
Yes _ => "0" ++ str
No _ => str
= if c < chr 32
then (("\\x" ++ leftPad '0' 2 (asHex (cast c))) ++ "\"\"" ++)
else if c < chr 127 then strCons c
else if c < chr 65536 then (("\\u" ++ leftPad '0' 4 (asHex (cast c))) ++ "\"\"" ++)
else (("\\U" ++ leftPad '0' 8 (asHex (cast c))) ++ "\"\"" ++)
showCString : List Char -> String -> String
showCString [] = id