Re: [Haskell-cafe] Typechecker complains about untouchable types

Trying to actually *call* the function without an explicit type argument will still fail. On Thu, Apr 7, 2022 at 8:09 AM 宮里洸司 wrote:

Hi rowan,

This seems like a bug (at least inconvenience) in the constraint solver. But it's already fixed to accept both versions in the newer releases of GHC.

I've checked that ghc-8.8.3 and ghc-8.10.7 rejects with the type error you reported, while ghc-9.0.1 or newer accepts without any error.

I think there's a filed issue in the issue tracker, but sorry I couldn't find.

-- /* Koji Miyazato */ _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.