[Haskell-cafe] Typechecker complains about untouchable types

[David Feuer]

Trying to actually *call* the function without an explicit type
argument will still fail.

On Thu, Apr 7, 2022 at 8:09 AM 宮里洸司 <viercc at gmail.com> 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 <viercc at gmail.com> */
> _______________________________________________
> 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.