-- | Create a machine string literal expression of type @Addr#@.
-- If you want an expression of type @String@ use 'MkCore.mkStringExpr'
mkStringLit :: String -> Expr b

mkCharLit   c = Lit (mkMachChar c)
mkStringLit :: String -> Expr b
mkCharLit   c = Lit (mkMachChar c)
mkCharLit   c = Lit (mkMachChar c)