+import Control.Concurrent.ParallelIO.Global (
+ parallelInterleaved,
+ stopGlobalPool )
+import Control.Monad (unless)
+import qualified Data.ByteString.Char8 as BS (
+ getContents,
+ pack,
+ words )
+import Data.List ( (\\), intersperse )
+import Network.DNS (
+ Domain,
+ FileOrNumericHost(RCHostName),
+ ResolvConf(resolvInfo, resolvTimeout),
+ defaultResolvConf,
+ makeResolvSeed,
+ normalize,
+ normalizeCase,
+ withResolver )
+import System.Exit (ExitCode(ExitFailure), exitWith)
+import System.IO (hPutStrLn, stderr)
+
+import CommandLine (
+ Args(NS,MX,delegates,no_append_root,server,timeout),
+ get_args)
+import DNS (
+ LookupResult,
+ lookupMX',
+ lookupNS',
+ resolve_address )
+import ExitCodes (exit_bad_server)
+import Timeout (Timeout(seconds))
+
+
+-- | Given a list of delegates, report results for this
+-- 'LookupResult'.
+--
+-- If there's an empty list in the second component, there were no
+-- query results, so we report that the domain was not delegated. If
+-- there were some results and there are leftovers (after removing
+-- the delegates), we report those as well.
+--
+-- Before processing, all names are normalized using the supplied
+-- function @normalize_function@. Ideally this should be the same
+-- function applied to the user-input names.
+--
+report :: [Domain] -- ^ The list of @delgts@
+ -> (Domain -> Domain) -- ^ Domain name normalization function,
+ -- @normalize_function@.
+ -> LookupResult
+ -> IO ()
+
+-- If the lookup resulted in a DNS error, we just ignore the whole
+-- thing.
+report _ _ (_, Left _) = return ()
+
+-- If the lookup succeeded but there were no results, report that the
+-- domain is not delegated.
+report _ _ (d, Right []) =
+ putStrLn $ "Domain " ++ (show d) ++ " not delegated."
+
+-- Otherwise, subtract our delegates from the list of results and
+-- report the leftovers.
+report delgts normalize_function (d, Right raw_hosts) = do
+ let nrml_hosts = map normalize_function raw_hosts
+ let leftovers = nrml_hosts \\ delgts
+ unless (null leftovers) $
+ putStrLn $ "Domain " ++
+ (show d) ++
+ " delegates somewhere else: " ++
+ (join " " (map show leftovers))
+ where
+ -- Create one big string by joining together a list of smaller
+ -- strings and placing a delimiter between them.
+ join :: String -> [String] -> String
+ join delimiter strings = concat (intersperse delimiter strings)
+
+