+ | dtd == "Odds_XML.dtd" = do
+ let m = unpickleDoc Odds.pickle_message xml
+ 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