|
|
|
@ -942,9 +942,7 @@ jidToTexts (Jid nd dmn res) = (nd, dmn, res) |
|
|
|
|
|
|
|
|
|
|
|
-- Produces a Jid value in the format "parseJid \"<jid>\"". |
|
|
|
-- Produces a Jid value in the format "parseJid \"<jid>\"". |
|
|
|
instance Show Jid where |
|
|
|
instance Show Jid where |
|
|
|
show (Jid nd dmn res) = |
|
|
|
show j = "parseJid " ++ show (jidToText j) |
|
|
|
"parseJid \"" ++ maybe "" ((++ "@") . Text.unpack) nd ++ Text.unpack dmn ++ |
|
|
|
|
|
|
|
maybe "" (('/' :) . Text.unpack) res ++ "\"" |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
-- The string must be in the format "parseJid \"<jid>\"". |
|
|
|
-- The string must be in the format "parseJid \"<jid>\"". |
|
|
|
-- TODO: This function should produce its error values in a uniform way. |
|
|
|
-- TODO: This function should produce its error values in a uniform way. |
|
|
|
|