Change Details

**Steps to replicate the issue** (include links if applicable): * Go to https://wikifunctions.beta.wmflabs.org/wiki/Z10744 * In the "Evaluate Function" widget, I am trying to add as the input BCE ( https://wikifunctions.beta.wmflabs.org/wiki/Z10529 ) which is of type Gregorian era ( https://wikifunctions.beta.wmflabs.org/wiki/Z10528 ) * So it is asking for the type, which it shouldn't (we know the type is Gregorian era, this is how the function is defined) * Now that it is asking for the type, I cannot enter enter and select "Gregorian era" Default-view doesn't have the Evaluate Function widget yet. **What happens?**: * I cannot choose BCE **What should have happened instead?**: * It should let me enter the value * Or it should me let enter the type, and then the value **Software version** (skip for WMF-hosted wikis like Wikipedia): **Other information** (browser name/version, screenshots, etc.): Let's not fix the old view, but this is to make sure that it works in the new view once we have it.

**Steps to replicate the issue** (include links if applicable): * Go to https://wikifunctions.beta.wmflabs.org/wiki/Z10744 * In the "Try this function" widget, nothing is shown **What happens?**: * I cannot run the function **What should have happened instead?**: * It should let me select the value, or preferably reference **Software version** (skip for WMF-hosted wikis like Wikipedia): **Other information** (browser name/version, screenshots, etc.): My guess is that the "try this function" widget breaks because of the input type being Gregorian era, as defined here: https://wikifunctions.beta.wmflabs.org/wiki/Z10528 Gregorian Era is a so called nominal, a type that has a key that of its own type (i.e. Z10528 has one key, Z10528K1 of type Z10528). The UX tries to turn that into a literal, which in turn tries to create a literal, etc. This recursion breaks. What we should do instead is that whenever we get to an argument of a recursive type, i.e. of a type that has a key that is itself, we should, instead of a literal, ask for a reference of that type. I.e. what we should see here for the argument is a field which is a ZObject selector bound to the given type, i.e. to Gregorian Era.

**Steps to replicate the issue** (include links if applicable): * Go to https://wikifunctions.beta.wmflabs.org/wiki/Z10744 * In the "Evaluate Function" widget, I am trying to add as the input BCE ( https://wikifunctions.beta.wmflabs.org/wiki/Z10529 ) which is of type Gregorian era ( https://wikifunctions.beta.wmflabs.org/wiki/Z10528 ) * So it is asking for the type, which it shouldn't (we know the type is Gregorian era, this is how the function is defined) * Now that it is asking for the typeTry this function" widget, I cannot enter enter and select "Gregorian era" Default-view doesn't have the Evaluate Function widget yet.nothing is shown **What happens?**: * I cannot choose BCE run the function **What should have happened instead?**: * It should let me enter the value * Or it should me let enterselect the typevalue, and then the valueor preferably reference **Software version** (skip for WMF-hosted wikis like Wikipedia): **Other information** (browser name/version, screenshots, etc.): Let's not fix the old view,My guess is that the "try this function" widget breaks because of the input type being Gregorian era, as defined here: https://wikifunctions.beta.wmflabs.org/wiki/Z10528 Gregorian Era is a so called nominal, a type that has a key that of its own type (i.e. Z10528 has one key, Z10528K1 of type Z10528). The UX tries to turn that into a literal, which in turn tries to create a literal, etc. This recursion breaks. What we should do instead is that whenever we get to an argument of a recursive type, i.e. of a type that has a key that is itself, we should, instead of a literal, ask for a reference of that type. I.e. what we should see here for the argument is a field which is a ZObject selector bound to the given type, i.e. but this is to make sure that it works in the new view once we have itto Gregorian Era.