T11452.stderr 699 Bytes
Newer Older
1 2 3 4 5 6 7 8 9

T11452.hs:6:14: error:
    • Illegal polytype: (forall a. a -> a) -> ()
      The type of a Typed Template Haskell expression must not have any quantification.
    • In the Template Haskell splice $$([|| \ _ -> () ||])
      In the expression: $$([|| \ _ -> () ||])
      In an equation for ‘impred’: impred = $$([|| \ _ -> () ||])

T11452.hs:6:14: error:
10
    • Cannot instantiate unification variable ‘p0’
11
      with a type involving polytypes: forall a. a -> a
12 13 14 15
        GHC doesn't yet support impredicative polymorphism
    • In the Template Haskell quotation [|| \ _ -> () ||]
      In the expression: [|| \ _ -> () ||]
      In the Template Haskell splice $$([|| \ _ -> () ||])