montymxb
commented
3 years ago Reset the PR and converted to a draft, with only a small indicating where work should be done. Apologies for the poor commit quality, there were some testing changes I didn't pull out, as I'm assuming this will be changed.
In the meantime, this can sit while the primary type checker PR is being worked on.
Adds a patch to fix the number of parameters to the dimensionality of the input type presented. The message should be informative enough to give the user an idea of what's going, as it gives the # of params given, and the # expected to match the type. Adds a few positive & negative cases to verify things pass that we expect to pass.