+checkOldIface ghci_mode dflags hit hst pcs iface_path source_unchanged maybe_iface
+
+ -- If the source has changed and we're in interactive mode, avoid reading
+ -- an interface; just return the one we might have been supplied with.
+ | ghci_mode == Interactive && not source_unchanged
+ = return (pcs, False, (outOfDate, maybe_iface))
+
+ | otherwise