@@ -50,17 +50,17 @@ unusedName = "_"
5050
5151properToIL :: Text -> Text
5252properToIL name
53− | nameIsILReserved name || nameIsILBuiltIn name || prefixIsReserved name = name <> "ˉ"
53+ | nameIsILReserved name = "ˉ" <> name
5454 | otherwise = T.concatMap identCharToText name
5555
5656-- | Attempts to find a human-readable name for a symbol, if none has been specified returns the
5757-- ordinal value.
5858identCharToText :: Char -> Text
59−identCharToText 'ṩ' = "ᵤṩ"
59+identCharToText 'ṩ' = "_ṩ"
6060identCharToText c | isAlphaNum c = T.singleton c
6161identCharToText '_' = "_"
62−identCharToText '\'' = "ᵖ"
63−identCharToText c = "ᵤ" <> T.pack (show (ord c))
62+identCharToText '\'' = "ꞌ" -- lowercase saltillo
63+identCharToText c = error (show (ord c)) -- TODO: should never occur now(?)
6464
6565moduleProperToIL :: Text -> Text
6666moduleProperToIL = T.concatMap identCharToText
@@ -126,16 +126,6 @@ ilKeywords =
126126 , "var"
127127 ]
128128
129−-- moduleIsReserved :: Text -> Bool
130−-- moduleIsReserved "Main" = False
131−-- moduleIsReserved name = not $ T.isInfixOf "_" name
132−
133−prefixIsReserved :: Text -> Bool
134−prefixIsReserved name =
135− any (`T.isPrefixOf` name)
136− [
137− ]
138−
139129ilLiterals :: [Text]
140130ilLiterals =
141131 [ "init"
@@ -161,7 +151,7 @@ ilLiterals =
161151 ]
162152
163153withPrefix :: Text -> Text
164−withPrefix s = "Ꞌ" <> s
154+withPrefix s = "Ꞌ" <> s -- uppercase saltillo
165155
166156anyType :: Text
167157anyType = "Any"
@@ -202,4 +192,4 @@ freshName' = do
202192 return $ T.replace "$" "ṩ" name
203193
204194moduleRenamerMarker :: Text
205−moduleRenamerMarker = "ᴹ"
195+moduleRenamerMarker = "__"