testsuite/tests/dependent/should_fail/TypeSkolEscape.stderr


1
2
3
4
5
6
7


TypeSkolEscape.hs:8:1: error:
    Quantified type's kind mentions quantified type variable
    (skolem escape)
         type: forall (v1 :: Levity) (a1 :: TYPE v1). a1
      of kind: TYPE v
    In the type synonym declaration for ‘Bad’