Rewrite character ifdentifiers for
- greek_letters :: [(Char, Char, String)]
- type Name_Supply = [Char]
- greek_letters_nm :: Name_Supply
- rewrite :: Name_Supply -> String -> String
- hsc3_id_rewrite :: String -> String
- hsc3_id_clear :: String -> String
- hsc3_id_rewrite_preprocessor :: FilePath -> FilePath -> FilePath -> IO ()
- hsc3_id_rewrite_inplace :: FilePath -> IO ()
Table of greek letters (upper-case,lower-case,name).
length greek_letters == 24 (['Α' .. 'Ρ'] ++ ['Σ' .. 'Ω']) == map (\(c,_,_) -> c) greek_letters (['α' .. 'ρ'] ++ ['σ' .. 'ω']) == map (\(_,c,_) -> c) greek_letters
Rewrite each haskell letter character literal at string l with values from the character supply s.
rewrite ['α'..] "'a',' ',foldl','a'" == "'α',' ',foldl','β'"
File based (haskell pre-processor) variant of