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 7d9a48788d
commit 428d92eac0

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