let errmsg = "Could not unpickle Odds_XML."
maybe (return $ ImportFailed errmsg) migrate_and_import m
+ | dtd == "weatherxml.dtd" = do
+ let m = unpickleDoc Weather.pickle_message xml
+ let errmsg = "Could not unpickle weatherxml."
+ maybe (return $ ImportFailed errmsg) migrate_and_import m
+
| otherwise = do
let infomsg =
"Unrecognized DTD in " ++ path ++ ": " ++ dtd ++ "."