Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
curry
kics
Commits
0861ba08
Commit
0861ba08
authored
Jul 23, 2007
by
bbr
Browse files
fixed unicode problem in module XML
- exchanged umlaut with call to chr - added XML to All_Libraries
parent
fd389252
Changes
2
Hide whitespace changes
Inline
Side-by-side
src/lib/All_Libraries.curry
View file @
0861ba08
...
...
@@ -54,7 +54,7 @@ module All_Libraries (
module HTML_Parser,
module URL,
--module WUI,
--
module XML,
module XML,
--module XmlConv,
module Interactive,
...
...
@@ -128,7 +128,7 @@ import HTML
import HTML_Parser
import URL
--import WUI
--
import XML
import XML
--import XmlConv
...
...
src/lib/XML.curry
View file @
0861ba08
...
...
@@ -180,13 +180,13 @@ xmlUnquoteSpecial special cs
| special=="amp" = '&' : xmlUnquoteSpecials cs
| special=="quot" = '"' : xmlUnquoteSpecials cs
| special=="apos" = '\'' : xmlUnquoteSpecials cs
| special=="auml" =
'\
228
'
: xmlUnquoteSpecials cs
| special=="ouml" =
'\
246
'
: xmlUnquoteSpecials cs
| special=="uuml" =
'\
252
'
: xmlUnquoteSpecials cs
| special=="Auml" =
'\
196
'
: xmlUnquoteSpecials cs
| special=="Ouml" =
'\
214
'
: xmlUnquoteSpecials cs
| special=="Uuml" =
'\
220
'
: xmlUnquoteSpecials cs
| special=="szlig"=
'\
223
'
: xmlUnquoteSpecials cs
| special=="auml" =
chr
228 : xmlUnquoteSpecials cs
| special=="ouml" =
chr
246 : xmlUnquoteSpecials cs
| special=="uuml" =
chr
252 : xmlUnquoteSpecials cs
| special=="Auml" =
chr
196 : xmlUnquoteSpecials cs
| special=="Ouml" =
chr
214 : xmlUnquoteSpecials cs
| special=="Uuml" =
chr
220 : xmlUnquoteSpecials cs
| special=="szlig"=
chr
223 : xmlUnquoteSpecials cs
| otherwise = unquoteUnicode special ++ xmlUnquoteSpecials cs
unquoteUnicode :: String -> String
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment