[GHC] #13914: -fignore-asserts flag not handled by recompilation checker

2 Jul 2017


      #13914: -fignore-asserts flag not handled by recompilation checker
-------------------------------------+-------------------------------------
           Reporter:  osa1           |             Owner:  (none)
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Driver         |           Version:  8.3
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 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
 }}}

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13914
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler