summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T11459.stderr
blob: 72651a4e10afc155a3b4f07bacde6df7eb22a768 (plain)
1
2
3
4
5
6
7
8
9

T11459.hs:9:20: error:
    • A newtype constructor cannot have existential type variables
      Parser :: forall a k.
                (forall (f :: k -> *) (r :: k).
                 Failure f r -> Success a f r -> f r)
                -> Parser a
    • In the definition of data constructor ‘Parser’
      In the newtype declaration for ‘Parser’