<div dir="ltr">You are my hero.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Sep 3, 2020 at 9:22 AM Sebastian Graf <<a href="mailto:sgraf1337@gmail.com">sgraf1337@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 dir="ltr"><div>Hi folks,</div><div><br></div><div>I implemented what I had in mind in <a href="https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3959" target="_blank">https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3959</a>. CI should turn green any hour now, so feel free to play with it if you want to.</div><div>With the wonderful <a href="https://github.com/mpickering/ghc-artefact-nix" target="_blank">https://github.com/mpickering/ghc-artefact-nix</a> it will just be `<code>ghc-head-from 3959`<font face="arial,sans-serif">.</font></code></div><div><code><font face="arial,sans-serif"><br></font></code></div><div><code><font face="arial,sans-serif">Cheers,<br></font></code></div><div><code><font face="arial,sans-serif">Sebastian<br></font></code></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Am Di., 1. Sept. 2020 um 22:09 Uhr schrieb Joachim Breitner <<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Am Dienstag, den 01.09.2020, 10:11 +0200 schrieb Sebastian Graf:<br>
> > 2.) Another scenario that I'd really love to see supported with<br>
> > COMPLETE pragmas is a way to use | notation with them like you can<br>
> > with MINIMAL pragmas.<br>
> <br>
> (2) is a neat idea, but requires a GHC proposal I'm not currently<br>
> willing to get into. I can also see a design discussion around<br>
> allowing arbitrary "formulas" (e.g., not only what is effectively<br>
> CNF).<br>
><br>
> A big bonus of your design is that it's really easy to integrate into<br>
> the current implementation, which is what I'd gladly do in case such<br>
> a proposal would get accepted.<br>
<br>
in the original ticket where a COMPLETE pragma was suggested (<br>
<a href="https://gitlab.haskell.org/ghc/ghc/-/issues/8779" rel="noreferrer" target="_blank">https://gitlab.haskell.org/ghc/ghc/-/issues/8779</a>) the ability to<br>
specify arbitrary boolean formulas was already present:<br>
<br>
“So here is what I think might work well, inspired by the new MINIMAL<br>
pragma: … The syntax is essentially the same as for MINIMAL, i.e. a<br>
boolean formula, with constructors and pattern synonyms as atoms. In<br>
this case”<br>
<br>
So one _could_ say that this doesn’t need a proposal, because it would<br>
just be the implementation finishing the original task ;-)<br>
<br>
<br>
Cheers,<br>
Joachim<br>
<br>
-- <br>
Joachim Breitner<br>
  <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
  <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</a><br>
<br>
<br>
_______________________________________________<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>
_______________________________________________<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>