edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-27 18:53:42 +03:00
Code Issues Projects Releases Wiki Activity

Directly generate non-ASCII characters for Gambit

Browse Source
This commit is contained in:
Abdelhakim Qbaich 2020-04-24 15:57:41 -04:00
parent 55df14aee7
commit 4dcef32f53
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Compiler/Scheme/Gambit.idr
View File

@ -39,12 +39,10 @@ schHeader = "(declare (block)
schFooter : String
schFooter = "\n"
-- XXX
showGambitChar : Char -> String -> String
showGambitChar '\\' = ("\\\\" ++)
showGambitChar c
= if c < chr 32 || c > chr 126
then (("\\x" ++ asHex (cast c) ++ ";") ++)
else strCons c
showGambitChar c = strCons c
showGambitString : List Char -> String -> String
showGambitString [] = id