testsuite/tests/linear/should_fail/LinearPartialSig.stderr


1
2
3
4
5
6
7


LinearPartialSig.hs:5:9: error:
    • Found type wildcard ‘_’
        standing for ‘'Many :: GHC.Types.Multiplicity’
      To use the inferred type, enable PartialTypeSignatures
    • In the type ‘a %_ -> a’
      In the type signature: f :: a %_ -> a