You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A relaxed mode would certainly be useful. IMHO, it should not take the path of your patch though — functorizing the whole module — but rather using an optional argument to the parsing functions.
@chambart explain one solution (without GADT) to relax the compute of flow and I have a PoC of this idea. All of fields of records with possible fail is registered in relax record. And we compute theses fields with relax. It's general and sounds good, so what do you think of that ?
For imported feed, it seems to me that it would be relevant to have a mode that allows "slightly broken" feeds.
I made a quick patch for my own use because I sort of have to process an invalid feed.
Is anyone interested in taking this direction? (I would not advise to accept broken feeds by default, but only when explicitly asked for)
The text was updated successfully, but these errors were encountered: