You are my hero.
On Thu, Sep 3, 2020 at 9:22 AM Sebastian Graf 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://git
wonderful!
On Thu, Sep 3, 2020 at 12:22 PM Sebastian Graf 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.c
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,
S
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 currentl
Hi Edward,
I'd expect (1) to work after fixing #14422/#18276.
(3) might have been https://gitlab.haskell.org/ghc/ghc/-/issues/16682, so
it should be fixed nowadays.
(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 allo
I'd be over the moon with happiness if I could hang COMPLETE pragmas on
polymorphic types.
I have 3 major issues with COMPLETE as it exists.
1.) Is what is mentioned here:
Examples for me come up when trying to build a completely unboxed 'linear'
library using backpack. In the end I want/need to
Hooray Sebastian!
Somehow, I knew cluing you into this conundrum would help find a solution. The
approach you describe sounds quite plausible.
Yet: types *do* matter, of course. So, I suppose the trick is this: have the
COMPLETE sets operate independent of types, but then use types in the
PM-c
Hi Richard,
Am Mo., 31. Aug. 2020 um 21:30 Uhr schrieb Richard Eisenberg <
r...@richarde.dev>:
> Hi Sebastian,
>
> I enjoyed your presentation last week at ICFP!
>
Thank you :) I'm glad you liked it!
This thread (
> https://ghc-devs.haskell.narkive.com/NXBBDXg1/suppressing-false-incomplete-patt