diff --git a/osek-verification.cabal b/osek-verification.cabal
index 2724c75825f2a5ca99544c764341c5c1fd916da8..a8c8e0ef92aa775165dd0399a066014af4bc966e 100644
--- a/osek-verification.cabal
+++ b/osek-verification.cabal
@@ -35,7 +35,7 @@ library
                      , mtl >= 2.2 && <2.3
                      , process >= 1.4 && <1.5
   default-language:    Haskell2010
-  ghc-options:         -Wall
+  ghc-options:         -Wall -fdefer-typed-holes -fno-warn-name-shadowing
 
 executable mockup_generator
   main-is:             Main.hs
@@ -46,7 +46,7 @@ executable mockup_generator
                      , optparse-applicative >= 0.12 && <0.13
   hs-source-dirs:      src/main
   default-language:    Haskell2010
-  ghc-options:         -Wall
+  ghc-options:         -Wall -fdefer-typed-holes -fno-warn-name-shadowing
 
 test-suite spec
   type:                exitcode-stdio-1.0
@@ -71,4 +71,4 @@ test-suite spec
                      , here >= 1.2 && < 1.3
                      , mtl >= 2.2 && <2.3
   default-language:    Haskell2010
-  ghc-options:         -Wall
+  ghc-options:         -Wall -fdefer-typed-holes -fno-warn-name-shadowing