From 2075c3c8e8138f6015de4d9883be0012b8d1c89a Mon Sep 17 00:00:00 2001 From: Jonathan Lim Date: Sun, 17 Apr 2022 01:39:42 -0700 Subject: [PATCH] Add identifier spago init -> set psgo backend -> spago build failed with error message about $ char code. added it in. maybe some sort of locale issue? i'm in LA area using Ubuntu 20.04 in wsl of windows. --- src/CodeGen/IL/Common.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/CodeGen/IL/Common.hs b/src/CodeGen/IL/Common.hs index 851a7affc..6e0e23a1c 100644 --- a/src/CodeGen/IL/Common.hs +++ b/src/CodeGen/IL/Common.hs @@ -57,6 +57,7 @@ properToIL name -- ordinal value. identCharToText :: Char -> Text identCharToText 'ṩ' = "_ṩ" +identCharToText '$' = "_ṩ" identCharToText c | isAlphaNum c = T.singleton c identCharToText '_' = "_" identCharToText '\'' = "ꞌ" -- lowercase saltillo