testsuite/tests/dependent/should_compile/T11241.stderr


1
2
3
4
5
6


T11241.hs:5:21: warning: [-Wpartial-type-signatures (in -Wdefault)]
    • Found type wildcard ‘_’ standing for ‘*’
    • In the type signature:
        foo :: forall (a :: _). a -> a
    • Relevant bindings include foo :: a -> a (bound at T11241.hs:6:1)