Re: [GHC] #8617: Documentation does not mention '-fno-ignore-asserts'