testsuite/tests/typecheck/should_fail/tcfail184.stderr


1
2
3
4
5
6
7


tcfail184.hs:8:19:
    Illegal polymorphic or qualified type:
      forall a. Ord a => [a] -> [a]
    Perhaps you intended to use RankNTypes or Rank2Types
    In the definition of data constructor ‛MkSwizzle’
    In the newtype declaration for ‛Swizzle’