Guanpeng Xu
- Total activity 38
- Last activity
- Member since
- Following 0 users
- Followed by 0 users
- Votes 12
- Subscriptions 9
-
Guanpeng Xu created a post, Web Editor 2020
Is modelix [1] still the state-of-the-art web editor option for MPS? I looked around and this seems to be the only one, and it is fairly active. Thanks in advance. [1]: https://github.com/model... -
Guanpeng Xu created a post, Typos in Base Language
For some reason, the GitHub page does not provide a way to report issues, so I try to post it here. The descriptions of LessThanExpression and LessThanOrEqualsExpression in Base Language contain ... -
-
Guanpeng Xu created a post, Invoking the "default" behavior of an interface concept
Perhaps it is a bad design, but I arrange my concepts such that there is an interface concept IDeclarations that contains definitions of fields and methods, much like a Java class. I make it extend... -
Guanpeng Xu created a post, Referring an imported type from an inference rule
I need to verify that an expression is of the subtype of an imported type, as in this one: But I do not know how to express it. I think I need to extend the base language by adding temporal type... -
-
-
Guanpeng Xu created a post, Blaming nodes
Is there any simpler way to annotate or blame the structure other than going to the textual XML format files? Thanks in advance. -
Guanpeng Xu commented, -