Dave Thomas

No idea, 2017 was yonks ago!

I have no objections about having these as an option in the config.

I’m not sure how much prisms are used, I don’t use them myself so the use case is lost on me, and the enthusiasm to implement it. Sent from my...

It would make sense to add the prism feature to the lenses plug-in here. The lens plugin was entirely submitted by a third party I’ve just added things like the...

One of the problems with this is plugins currently use `true` which passes a command line option to the myriad sdk which modifies the way the output of the plugin...

I'm going to go ahead and say I probably won't implement this. Ir seems to be a very niche case and would not add much to the overall scope of...

Yes it’s been dormant for years now. I don’t rule out this feature, but I would probably require assistance. Sent from my iPhone > On 15 May 2022, at 09:36,...

So why can’t intrinsic extensions appear at the end, because of the added modules after, or because of the namespace they are in rather than a rec module etc? I’m...

Yep, leave it with me I'll have a think, probably a marker attribute specified in the generator might be better than comments. Incidentally, Intrinsic type extensions added to TypeProviders also...

Also, if I could rely on compiler parsing of the type, they could be placed after the type definition is finished, sometimes F# range of the type in the AST...