testsuite/tests/dependent/should_fail/T16326_Fail9.stderr


1
2
3
4
5
6
7
8


T16326_Fail9.hs:11:5: error: [GHC-51580]
    • Illegal visible, dependent quantification in the type of a term:
        forall a -> a -> a
      (GHC does not yet support this)
    • In the expression: lol @(forall a -> a -> a) undefined True
      In an equation for ‘t’:
          t = lol @(forall a -> a -> a) undefined True