Home
MPS Support | JetBrains
Contact Support
Community
Sign in
Fedor Isakov
Total activity
25
Last activity
May 12, 2023 06:15
Member since
May 31, 2017 12:55
Following
0 users
Followed by
0 users
Votes
1
Subscriptions
9
Activity overview
Posts (0)
Comments (15)
Sort by recent activity
Recent activity
Votes
Created
February 09, 2021 08:08
Hi, a when_concrete on a sequence of size n is implemented in typechecking rule for method invocation. It's not exactly straightforward, but doable. The idea is that when_concrete blocks are execu...
Community
MPS
when concrete over sequence of types
0 votes
Created
December 14, 2018 15:37
You are right in the assumption that all MPS models are, as of now, eventually generated to text files, which are then processed by an external tool, such as compiler. Along with the generated text...
Community
MPS
Error propagation(lifting) and static analysis
0 votes
Created
December 10, 2018 11:52
May I inquire why is my suggestion to replace inference with checking on already calculated types does not work for you? Also, when it comes to higher order functions, one has to be very careful in...
Community
MPS
Replacement Rule not applying "in time"
0 votes
Created
December 05, 2018 14:02
So, the problem seems to be that the particular rule (an inequation replacement rule) doesn't apply when you expect it. The issue here is that the order, in which rules are applied, is not specifie...
Community
MPS
Replacement Rule not applying "in time"
0 votes
Created
September 21, 2017 09:48
Yes, thanks for that, I'll take a look at it later.
Community
MPS
Behavior of "TypeCheckingContext.checkRoot()" is different than in-IDE type checking.
0 votes
Created
September 21, 2017 09:40
I agree that the typechecker behaviour with respect to error reporting is not ideal, and really can't suggest any solution that could serve as a workaround. You may want to create an issue in the t...
Community
MPS
How to suppress errors from type inference rules.
0 votes
Created
September 21, 2017 09:32
First, let me check if I understand the problem correctly. You are saying that the types reported right after the "INITIAL" mark are correct, but after a typechecking context has been created they ...
Community
MPS
Behavior of "TypeCheckingContext.checkRoot()" is different than in-IDE type checking.
0 votes
Created
September 18, 2017 16:28
Unfortunately, no, there is no way to suppress errors reported internally by the typechecker. However, you have full control over error reporting from the inference rules, since they are produced b...
Community
MPS
How to suppress errors from type inference rules.
0 votes
Created
September 18, 2017 16:10
What you describe might be an indication of a bug. Would you care to submit a bug report with steps to reproduce? Thanks.
Community
MPS
Behavior of "TypeCheckingContext.checkRoot()" is different than in-IDE type checking.
0 votes
Created
September 04, 2017 12:18
There is an expression 'immediateSupertypes()` defined in j.m.l.typesystem language. You can use DFS or BFS to navigate all supertypes. Keep in mind that the supertypes graph may contain cycles.
Community
MPS
How to resolve a baselang generic type correctly
1 vote
Next
›
Last
»