summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_fail/T18271.stderr
blob: 0bc21f394d3497a7603753199e2abafad4fce037 (plain)
1
2
3
4
5

T18271.hs:7:19: error:
    Illegal visible, dependent quantification in the type of a term
    (GHC does not yet support this)
    In a deriving declaration