Fix T9646
Fix T9646

For #9646.

(cherry picked from commit 08d254bc8452cdb12f852805f20d346ad4181ed8)

GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc