IdeSession.Update.ExecuteSessionUpdate

Execution of session updates

Note that we do _NOT_ deal with session restarts here.

See comments for IdeSessionUpdate for a motivation of the split between the IdeSessionUpdate type and the ExecuteSessionUpdate type.

Documentation

runSessionUpdate :: Bool -> IdeSessionUpdate -> IdeStaticInfo -> (UpdateStatus -> IO ()) -> IdeCallbacks -> IdeIdleState -> IO (IdeIdleState, Maybe ExternalException)