@@ -1101,8 +1101,15 @@ options =
1102 , Option "" ["syntax-definition"]
1102 , Option "" ["syntax-definition"]
1105+ let tr c d = map (\x -> if x == c then d else x)
1106+ let arg' = case arg of -- see #4836
1107+ -- HXT confuses Windows path with URI
1109+ "file:///" ++ tr '\\' '/' arg
1104− (\arg opt -> return opt{ optSyntaxDefinitions = arg :
1111+ return opt{ optSyntaxDefinitions = arg' :
1105− optSyntaxDefinitions opt })
1112+ optSyntaxDefinitions opt })
1107 "" -- "Syntax definition (xml) file"
1114 "" -- "Syntax definition (xml) file"