T7019.stderr\should_fail\typecheck\tests\testsuite - delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

index : delta/haskell.git

gitlab.haskell.org: ghc/ghc.git

summary refs log tree commit diff

path: root/testsuite/tests/typecheck/should_fail/T7019.stderr

blob: 2db5bbb90bc541d068bf64f07fa64bd1f632d3cd (plain)


T7019.hs:11:1: error:
    • Illegal polymorphic type: forall a. c (Free c a)
      A constraint must be a monotype
    • In the type synonym declaration for ‘C’