Enrico Tassi (Nov 27 2020 at 10:20): Enrico Tassi (Nov 27 2020 at 10:20):It's a big unusual, I know, but I'd like to take a compact primitive projection and expand it to the compatibility constant. Is there an API for that?
I did find Projection.constant to find a regular projection and Projction.npars which tells me how many missing parameters are there, but no API that also retypechecks the argument, finds the nparams parameters, and builds the regular application. Does is exist already? CC @Matthieu Sozeau
Pierre-Marie Pédrot (Nov 27 2020 at 10:21):Retyping.expand_projection?
Matthieu Sozeau (Nov 27 2020 at 10:22):Look for expand_projection
Enrico Tassi (Nov 27 2020 at 10:28):It was too obvious, for once ;-)
Last updated: Jun 05 2023 at 09:01 UTC