<div dir="ltr"><div>Hey Alexis,</div><div>ive been kicking around some ideas for a specializing lambda former for various uses i've wanted to make tractable, I assume you dont care about polymorphic recursion in the cases you want to specialize? (some of the stuff i want to be able to express requires a sort of type/value binder that needs to be "normalized" before desugaring, but where current meta programming cant express the primops i want ghc to support! so roughly a sortah binder thats like c+ templates, but for types/values  that lets me guarantee compositions will specialize before core happens)<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Mar 14, 2020 at 10:47 PM Alexis King <<a href="mailto:lexi.lambda@gmail.com">lexi.lambda@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="overflow-wrap: break-word;"><div><blockquote type="cite"><div>On Mar 14, 2020, at 20:03, Sandy Maguire <<a href="mailto:sandy@sandymaguire.me" target="_blank">sandy@sandymaguire.me</a>> wrote:</div><br><div><div dir="ltr">What GHC are you testing against? I suspect <a href="https://gitlab.haskell.org/ghc/ghc/merge_requests/668" target="_blank">https://gitlab.haskell.org/ghc/ghc/merge_requests/668</a> will fix this.<br></div></div></blockquote></div><br><div>I’ve tested against HEAD. I think the change you link is helpful, but it doesn’t <i>quite</i> get there: the usage gets dumped before specHeader even gets a chance to look at the call. The relevant bit of code is here:</div><div><br></div><div><a href="https://gitlab.haskell.org/ghc/ghc/blob/1de3ab4a147eeb0b34b24a3c0e91f174e6e5cb79/compiler/specialise/Specialise.hs#L2274-2302" target="_blank">https://gitlab.haskell.org/ghc/ghc/blob/1de3ab4a147eeb0b34b24a3c0e91f174e6e5cb79/compiler/specialise/Specialise.hs#L2274-2302</a></div><div><br></div><div>Specifically, this line seals the deal:</div><div><br></div><div>    ClassPred cls _ -> not (isIPClass cls)  -- Superclasses can't be IPs</div><div><br></div><div>So maybe the right fix is just to change the role of type_determines_value so that it turns SpecDicts into UnspecArgs, and then with your change everything would just happily work out.</div></div>_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>