Skip to content

GHCi ignores -fno-warn-typed-holes

If I load the following code in GHCi:

{-# LANGUAGE PartialTypeSignatures #-}

main = print $ f 3

f :: Int -> _
f = id

I get a warning about having a type hole. But when I load GHCi with -fno-warn-typed-holes (or set it with :set) I still get the warning message.

It seems that GHC does respect the flag, i.e. ghc Main -fno-warn-typed-holes does not produce a warning, as expected.

Trac metadata
Trac field Value
Version 7.10.2
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component GHCi
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information