-no-keep-*-files pragmas apparently ineffective

Summary

-no-keep-hi-files and -no-keep-o-files are ignored when they appear in pragmas at the top of source files.

Steps to reproduce

Save this program as hello.hs:

{-# OPTIONS_GHC -no-keep-hi-files #-}
{-# OPTIONS_GHC -no-keep-o-files #-}

main :: IO ()
main = putStrLn "hello world"

then run ghc -dynamic hello.hs.

Expected behavior

Create an executable file hello and not create hello.hi and hello.o

Environment

• GHC --version: The Glorious Glasgow Haskell Compilation System, version 9.0.2
• uname -a: Linux eddie 5.16.16-arch1-1 #1 (closed) SMP PREEMPT Mon, 21 Mar 2022 22:59:40 +0000 x86_64 GNU/Linux

Relevant documentation

Section 5.6.5 of the User's Guide documents these flags as "dynamic" -- i. e. they can be invoked anywhere, including from pragmas within source files.