TypeApplications implies PartialTypeSignatures?
I was expecting the following to be rejected, since the type argument contains a type-hole, but ghc accepts it:
/opt/ghc/ghc-9.2.1.20220211/bin/ghc -XTypeApplications -e 'print @(Maybe _) (Just ())'
It seems that PartialTypeSignatures
is implied here. I don't see this mentioned in the docs.
The implied flag cannot be switched off. This is also accepted:
/opt/ghc/ghc-9.2.1.20220211/bin/ghc -XTypeApplications -XNoPartialTypeSignatures -e 'print @(Maybe _) (Just ())'