MPS Support | JetBrains

Cyril_Konopko

Total activity 50
Last activity January 12, 2016 13:15
Member since September 06, 2005 11:53
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 20

Created April 14, 2010 17:24

Hi OlegConcrete types are those types which do not contain type variables inside them. That types which are not type variables but contain some type variables within are called "shallow concrete" t...
- 1 vote
Created April 09, 2010 20:02

Hi Oleg,you wrote:rule IntegerValue { applicable for concept = IntegerValue as value overrides false do { typeof(value) :==: <INTEGER> }} about typeof... in the case when typeof returns typ...
- 0 votes
Created March 29, 2010 13:03

Hi OlegIt's not very clear what do you mean by "validating substructure" but I'll try to answer."typeof" statement returns evaluated so far type of a node. During typechecking it can be either a ty...
- 0 votes
Created March 12, 2010 11:08

OlegTypeChecker is not in our public API, so you should not use it.Cyril
- 0 votes
Created March 12, 2010 11:06

Hi Oleg,typesystem rules are by design independent from properties values. if type of some node depends on a certain property it means you should rethink your language's design - for instance, repl...
- 0 votes
Created January 18, 2010 15:34

Hi Thomas!for instance, the following code in BL determines type of an operation + :operation concepts: PlusExpression| MinusExpression| DivExpression| MulExpression| RemExpression| BinaryBitwiseOp...
- 0 votes
Created October 29, 2009 12:12

Hi Alex,you should create a generator for your concepts which generates Java types from them.Regards,Cyril.
- 0 votes
Created October 23, 2009 18:36

Hi Mirko, look into Typesystem submenu, I forgot I should have said that.Regards, Cyril.
- 0 votes
Created October 21, 2009 21:39

Hi Mirko,To find a type rule that caused a certain type error you may use a Go To Rule Which Caused Type Error action in a popup menu shown over a highlighted cell, or rather by pressing ctrl-alt-...
- 0 votes
Created October 21, 2009 20:44

Hi Mirko,1)You wrote:"Your description worked very well, but wouldn't it be much better readable, if one could also see the concept-type of the quotation? I mean, in my case something like:return <...
- 0 votes