Implementation of Type level warnings
rae at richarde.dev
Mon Dec 30 18:51:21 UTC 2019
I've responded on the MR. Thanks for stepping up to do this!
> On Dec 30, 2019, at 5:53 AM, Rowan Goemans <goemansrowan at gmail.com> wrote:
> Hello everyone,
> A couple of days ago I tried to implement type level warnings . I have got something
> now that sort of works but issues the same warning multiple times and not on the correct
> location. It's currently a WIP merge request . I would like some help/pointers
> to continue the implementation
> The approach I have taken is to issue the warning once TypeWarning is rewritten.
> However, this has severe problems since now a warning is issued multiple times and
> at different locations due to the rewriting happening multiple times. I don't know
> what the best location is to do this check and issue the warning. Prior to
> constraint solving isn't a good place since the TypeWarning could be nested
> deeply in some constraint. Afterwards also isn't doable since then the
> TypeWarning constraint is gone.
> An alternative could be to not implement any instance in for TypeWarning
> similar to TypeError and special case it somehow.
> Any help is appreciated!
>  https://gitlab.haskell.org/ghc/ghc/issues/17027 <https://gitlab.haskell.org/ghc/ghc/issues/17027>
>  https://gitlab.haskell.org/ghc/ghc/merge_requests/2361 <https://gitlab.haskell.org/ghc/ghc/merge_requests/2361>
> Best regards,
> Rowan Goemans
> ghc-devs mailing list
> ghc-devs at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs