How does hitting '<' in a baseLanguage class name work? Follow
If you hit '<' at the end of a name in baseLanguage it creates an unnamed type variable. I've been browsing the models related to this but I don't see how it hooks that up.
I'm trying to do something extremely similar and hoping to learn how from the examples.
I'm trying to do something extremely similar and hoping to learn how from the examples.
Please sign in to leave a comment.
Look at addGenericTypeDeclaration in concept Type.
It's done using side-transforms actions.
Is there a way I could have discovered this w/o an exhaustive manual search?
looked in ClassConcept's editor,
Gone to _GenericDeclaration_TypeVariables_Component,
Gone to typeVariableDeclaration,
Gone to TypeVariableDeclaration,
Gone to Type,
Looked at the actions.
I think there would still be a few possible false branches if I didn't make reasonable guesses, but is that right?
Looks handy for new MPS users.
It seems you can already go to definition on a given intention pretty easily using the intentions menu.
Do I misunderstand?