<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="">Hello,</div>I am looking at this task <a href="https://ghc.haskell.org/trac/ghc/ticket/10789" class="">https://ghc.haskell.org/trac/ghc/ticket/10789</a> and need some help on implementing it.<div class="">With the help of @int_index I found the place in TcErrors.hs where the error printing occurs and I think the check</div><div class="">that I need to add will look similar to this one <a href="https://github.com/ghc/ghc/blob/master/compiler/typecheck/TcErrors.hs#L1935" class="">https://github.com/ghc/ghc/blob/master/compiler/typecheck/TcErrors.hs#L1935</a>.</div><div class=""><br class=""><div class="">So I guess that we need to check if one of the kinds of two types we are comparing defaults to * (or Type if you will) and then</div><div class="">add new warning that will be more descriptive as to why the failure happened. Maybe there is a way to check if what we are</div><div class="">comparing are actually type families so that would make the job easier I guess.</div><div class=""><br class=""></div><div class="">Richard Eisenberg offered some help on this but I am not sure how to grab hold of him so I'd appreciate any help I could get.</div><div class=""><br class=""></div><div class="">Thanks, Sasa</div><div class=""><div class=""><div class=""><br class=""></div><br class="Apple-interchange-newline">
</div>
<br class=""></div></div></body></html>