00 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
b 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
,
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
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 req
hr schrieb Edward Kmett :
> 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 completel
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
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
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 (
>
Hi Sebastian,
I enjoyed your presentation last week at ICFP!
This thread
(https://ghc-devs.haskell.narkive.com/NXBBDXg1/suppressing-false-incomplete-pattern-matching-warnings-for-polymorphic-pattern-synonyms)
played out before you became so interested in pattern-match coverage. I'd be
curious