Opened 4 years ago

Closed 4 years ago

#11242 closed bug (invalid)

GHCi ignores -fno-warn-typed-holes

Reported by: crockeea Owned by:
Priority: normal Milestone: 8.0.1
Component: GHCi Version: 7.10.2
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Incorrect warning at compile-time Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

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.

Change History (1)

comment:1 Changed 4 years ago by thomie

Resolution: invalid
Status: newclosed

You need -fno-warn-partial-type-signatures.

The reason you did't see the waring in ghc was probably because you forgot to use -fforce-recomp.

Note: See TracTickets for help on using tickets.