diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-06-22 09:41:26 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-06-22 09:41:26 +0000 |
| commit | 1704cfa653cb75da0a9064cae5f371be78bbe189 (patch) | |
| tree | 39cfe2ed07b5084a0f55a045be2c8022cf86bfc8 | |
| parent | af555cc6a73a4a13e81d05cabe9eda1bbc492452 (diff) | |
utf8 workaround; some restricted inheritances
| -rw-r--r-- | src/GF/Text/UTF8.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/Text/UTF8.hs b/src/GF/Text/UTF8.hs index e27773aad..5e9687684 100644 --- a/src/GF/Text/UTF8.hs +++ b/src/GF/Text/UTF8.hs @@ -27,7 +27,8 @@ decodeUTF8 (c:c':c'':cs) | '\xe0' <= c && c <= '\xef' && '\x80' <= c' && c' <= '\xbf' && '\x80' <= c'' && c'' <= '\xbf' = toEnum ((fromEnum c `mod` 0x10 * 0x1000) + (fromEnum c' `mod` 0x40) * 0x40 + fromEnum c'' `mod` 0x40) : decodeUTF8 cs -decodeUTF8 _ = error "UniChar.decodeUTF8: bad data" +decodeUTF8 s = s ---- AR workaround 22/6/2006 +----decodeUTF8 _ = error "UniChar.decodeUTF8: bad data" encodeUTF8 :: String -> String encodeUTF8 "" = "" |