Set charset to utf-8 when printing html code. This is needed to get Safari to display resdemo.html correctly.

This commit is contained in:
bjorn
2008-06-27 18:14:19 +00:00
parent a6e7b8d2a3
commit 5f6691dac3

View File

@@ -37,7 +37,7 @@ appUnlexer f = unlines . map (f . words) . lines
wrapHTML :: String -> String
wrapHTML = unlines . tag . intersperse "<br>" . lines where
tag ss = "<html>":"<body>" : ss ++ ["</body>","</html>"]
tag ss = "<html>":"<head>":"<meta http-equiv=\"Content-Type\" content=\"text/html; charset=UTF-8\" />":"</head>":"<body>" : ss ++ ["</body>","</html>"]
lexText :: String -> [String]
lexText s = case s of