There's a list of built-in types in function-schemata:javascript/src/utils.js (look for the isUserDefined) function.

utils should probably export a function like isType, which returns true if either

• validatesAsType( object ).isValid() is true OR
• validatesAsReference( object ).isValid() is true AND isUserDefined( object.Z9K1 ) is false

Is this still happening? @DVrandecic , feel free to assign this to me if it still needs to be looked at.

Hi and thank you for your interest! Please check thoroughly https://www.mediawiki.org/wiki/New_Developers (and all of its communication section!). The page covers how to get started, assigning tasks, task status, how to find a codebase, how to create patches, where to ask general development questions and where to get help with setup problems, and how to ask good questions. Thanks a lot! :)

Here's what I did:

1. I created a Function that takes a string and returns a Type
2. I created an Implementation for that function that is a composition and does Z801(Z6)
3. I created another Function that takes a Type and returns a String
4. I created a test that runs this new function on the function created in step 1 and expects a Z6K1 (see screenshot 1)
5. I created an implementation for that function that is a composition and does Z803(Z3K3, Z811(Z803(Z4K2, K1))) (i.e. take the key id of the first of the list of keys of the given argument) (see screenshot 2)
6. The test passes

Since the test passes that means that the issue as described here is resolved by now.

Version I tested it on: (df7160f) 16:27, 12 June 2024