New subject: Inscrutable error message from PolyKinds (should it be in GHC202X?)

23 Jan 2023

      I love the idea of GHC2021, but I've just discovered that PolyKinds,
which is part of it, leads to inscrutable error messages.  Firstly, a
scrutable error message, without PolyKinds:

    {-# LANGUAGE GHC2021 #-}
    {-# LANGUAGE NoPolyKinds #-}

    -- Error: • No instance for (Foldable t) arising from a use of
    -- ‘length’
    foo :: t a -> Int
    foo = length

Good.  I know exactly how to fix that.  Now the inscrutable message:

    {-# LANGUAGE GHC2021 #-}

    -- • Couldn't match kind ‘k’ with ‘*’
    --   When matching types
    --     t0 :: * -> *
    --     t :: k -> *
    --   Expected: t a -> Int
    --     Actual: t0 a0 -> Int
    --   ‘k’ is a rigid type variable bound by
    --     the type signature for:
    --       foo :: forall {k} (t :: k -> *) (a :: k). t a -> Int
    --     at /tmp/bar.hs:3:1-17
    -- • In the expression: length
    --   In an equation for ‘foo’: foo = length
    -- • Relevant bindings include
    --     foo :: t a -> Int (bound at /tmp/bar.hs:4:1)
    foo :: t a -> Int
    foo = length

What?  Non-expert users will experience much puzzlement.

(PolyKinds tries to generalise the kind of `a` and fails, because the
use of `length` restricts it to `Type`.)

Should PolyKinds really be in GHC202X?

Tom

Inscrutable error message from PolyKinds (should it be in GHC202X?)

Tom Ellis

Hage, J. (Jurriaan)

J. Reinders

Tom Ellis

Tom Ellis

tags

participants (3)