summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_fail/T16326_Fail12.stderr
blob: 30b35de4f7a2c44a11fbc9a490539a498a67ee6e (plain)
1
2
3
4
5
6
7
8

T16326_Fail12.hs:6:1: error:
    • Illegal visible, dependent quantification in the type of a term:
        forall a -> Show a
      (GHC does not yet support this)
    • In the context: forall a -> Show a
      While checking the super-classes of class ‘C’
      In the class declaration for ‘C’