Remove language.dtd from DOCTYPE in parseSyntaxDefinitionFromString.

jgm · Feb 27, 2019 · e51dcea · e51dcea
1 parent a7d4fe8
commit e51dcea
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/skylighting-core/src/Skylighting/Parser.hs b/skylighting-core/src/Skylighting/Parser.hs
@@ -89,13 +89,21 @@ parseSyntaxDefinitionFromString fp xml = do
                  _:':':'\\':_ -> "file:///" ++ map
                                  (\c -> if c == '\\' then '/' else c) fp
                  _ -> fp
-  res <- runX (readString [withValidate no, withInputEncoding utf8] xml
+  res <- runX ( readString [withValidate no, withInputEncoding utf8]
+                   (removeLanguageDTD xml)
                 >>>
                 application fp')
   case res of
        [s] -> return $ Right s
        _   -> return $ Left $ "Could not parse syntax definition " ++ fp
 
+removeLanguageDTD :: String -> String
+removeLanguageDTD ('S':'Y':'S':'T':'E':'M':' ':xs) =
+  removeLanguageDTD $ dropWhile (\c -> c /= '[' && c /= '>') xs
+removeLanguageDTD xs@('<':'l':'a':'n':'g':_) = xs
+removeLanguageDTD (x:xs) = x : removeLanguageDTD xs
+removeLanguageDTD [] = []
+
 application :: FilePath -> IOSArrow XmlTree Syntax
 application fp
     = multi (hasName "language")