Richard writes
I think the route you're taking is a reasonable route to your destination,
> but I'm not yet convinced it's a destination I want GHC to travel to.
>
I'm in the same boat -- not yet convinced. To me it seems like quite a bit
of implementation complexity to hit a pretty narrow
Subject: [External] Re: Partial type synonyms -- first-class!
FWIW, Gergo, I've been following what you've been doing pretty closely, so
there's at least two of us tracking it in the background. =) I might have some
clever(?) (ab)uses for it in the future in my linear haskell code.
-Edward
That's great to hear because it looks like this will need all the support
it can get to ever be allowed into upstream...
On Fri, Aug 12, 2022, 10:43 Edward Kmett wrote:
> FWIW, Gergo, I've been following what you've been doing pretty closely, so
> there's at least two of us tracking it in the
FWIW, Gergo, I've been following what you've been doing pretty closely, so
there's at least two of us tracking it in the background. =) I might have
some clever(?) (ab)uses for it in the future in my linear haskell code.
-Edward
On Thu, Aug 11, 2022 at 10:33 PM ÉRDI Gergő wrote:
> Hi Richard,
Hi Richard,
Thanks for getting back to me! My replies are inline below.
On Thu, 11 Aug 2022, Richard Eisenberg wrote:
You want a third:
C. invisible parameters that are filled in with a fresh wildcard.
We would need to have some way of writing out the type of such a thing
(i.e. what kind
> On Aug 5, 2022, at 6:17 AM, ÉRDI Gergő wrote:
>
> 1. Defining partial type synonyms
>
This makes some sense to me. You're introducing a new form of invisible
(implicit) parameter, adding to the two we already have. Today, we have
A. invisible parameters that are filled in via
I haven't heard back on this so I pushed ahead on the 3 outstanding
problems by just applying more violence to the code base, basically.
1. For wildcard-originating type variables, I added a flag to the
`TauTv` constructor of `MetaInfo`. The knock-on effects of this change
were smaller than I
As I mentioned at the end of the original thread (but probably no one
was interested in this enough to read that far), after a breakthrough
idea I have now started working on partial type synonyms that are NOT
just defined using macro expansion semantics, and indeed can be a
first-class