+ -- save the flag state, because this could be modified by OPTIONS
+ -- pragmas during the compilation, and we'll need to restore it
+ -- before starting the next compilation.
+ saved_driver_state <- readIORef v_Driver_state
+ writeIORef v_InitDriverState saved_driver_state
+
+ verb <- dynFlag verbosity