wonderful! On Thu, Sep 3, 2020 at 12:22 PM Sebastian Graf <sgraf1...@gmail.com> wrote:
> Hi folks, > > I implemented what I had in mind in > https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3959. CI should turn > green any hour now, so feel free to play with it if you want to. > With the wonderful https://github.com/mpickering/ghc-artefact-nix it will > just be `ghc-head-from 3959`. > > Cheers, > Sebastian > > Am Di., 1. Sept. 2020 um 22:09 Uhr schrieb Joachim Breitner < > m...@joachim-breitner.de>: > >> Am Dienstag, den 01.09.2020, 10:11 +0200 schrieb Sebastian Graf: >> > > 2.) Another scenario that I'd really love to see supported with >> > > COMPLETE pragmas is a way to use | notation with them like you can >> > > with MINIMAL pragmas. >> > >> > (2) is a neat idea, but requires a GHC proposal I'm not currently >> > willing to get into. I can also see a design discussion around >> > allowing arbitrary "formulas" (e.g., not only what is effectively >> > CNF). >> > >> > A big bonus of your design is that it's really easy to integrate into >> > the current implementation, which is what I'd gladly do in case such >> > a proposal would get accepted. >> >> in the original ticket where a COMPLETE pragma was suggested ( >> https://gitlab.haskell.org/ghc/ghc/-/issues/8779) the ability to >> specify arbitrary boolean formulas was already present: >> >> “So here is what I think might work well, inspired by the new MINIMAL >> pragma: … The syntax is essentially the same as for MINIMAL, i.e. a >> boolean formula, with constructors and pattern synonyms as atoms. In >> this case” >> >> So one _could_ say that this doesn’t need a proposal, because it would >> just be the implementation finishing the original task ;-) >> >> >> Cheers, >> Joachim >> >> -- >> Joachim Breitner >> m...@joachim-breitner.de >> http://www.joachim-breitner.de/ >> >> >> _______________________________________________ >> ghc-devs mailing list >> ghc-devs@haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >> > _______________________________________________ > ghc-devs mailing list > ghc-devs@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs