-fignore-asserts flag not handled by recompilation checker

As demonstrated below, -fignore-asserts is not stored in .hi files and not checked by recompilation checker.

$ cat main.hs
module Main where

import Control.Exception

main = do
    assert False (putStrLn "OK")
$ ghc main.hs
[1 of 1] Compiling Main             ( main.hs, main.o )
Linking main ...
$ ./main
main: Assertion failed
CallStack (from HasCallStack):
  assert, called at main.hs:6:5 in main:Main
$ ghc main.hs -fignore-asserts
$ ./main
main: Assertion failed
CallStack (from HasCallStack):
  assert, called at main.hs:6:5 in main:Main

Trac metadata

Trac field	Value
Version	8.3
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Driver
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture