MPS Support | JetBrains

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

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...
- 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 ...
- 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...
- 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.
- 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.
- 1 vote
Created September 04, 2017 11:58

Not sure I understand the question. If you look at the supertypes of DynExtDocuSearchDelegateFactory you will find an instance of ClassifierType `ICustomDataUxElement<SearchCriteriaDocumentum>`. It...
- 0 votes
Created August 21, 2017 11:50

Try `solution.getModuleDescriptor().getOutputPath()`.
- 0 votes
Edited July 24, 2017 07:08

Official comment
You should add "before make" to your target. Make builds a targets DAG based on "before" dependencies, and "after" serves only as a hint for proper target order.
- 0 votes
Created May 31, 2017 14:22

Why not declare your method to accept a parameter of NullableIntegerType? Then you can make IntegerType a subtype of that type, in this way you keep compatibility with BL's type system.
- 0 votes
Created May 31, 2017 12:55

Official comment
The way comparison rules work, only those rules are consulted, that are defined by language(s) that the types in question belong to. You can't modify the behaviour of the types that belong to BaseL...
- 0 votes