Как cabal конвертирует флаги в опции ghc?

Question

У меня есть проект клики, который я строю с new-build.Я настроил свою библиотеку на использование -O0 при прохождении флага dev и на использование -O2 для производственных сборок.

Соответствующая строфа в моем файле клики:

if (flag(dev)) || (flag(library-only))
  ghc-options: -O0
  cpp-options: -DDEVELOPMENT
else
  ghc-options: -O2

Однако, если я сделаю cabal new-build -f dev, клика по какой-то причине пропустит опцию -O1.

Я могу обойти это, передав --disable-optimization, но мне любопытно, почему -f dev ведет себя так

Answer 1

Насколько я знаю, это потому, что cabal проходит по умолчанию -O1, и добавление флага -O0 не говорит ему не пропускать другой флаг: -)