Grigorii Kirgizov 1c9060b769 Add simpler analysis to answer a question "Is incrementality allowed for this Coderules aspect?". Add initial tests for it. ... It is a rule-local, non-interprocedural analysis and it also uses VarAnalysisUtil. New analysis checks whether free variables can "escape" principal constraint rules inside principal constraints. If there is such escaped variable, then it is a signal that this type system is designed with non-local type inference in mind. Otherwise there's no need to produce principal constraints with free logicals as arguments. So, no principal constraints with free vars -- no type inference is possible.		2019-08-22 15:16:17 +02:00
..
jetbrains.mps.lang.coderules	Add simpler analysis to answer a question "Is incrementality allowed for this Coderules aspect?". Add initial tests for it.	2019-08-22 15:16:17 +02:00
jetbrains.mps.lang.controlflow	Re-save all models, language name updated in .mpl files.	2019-08-20 23:11:19 +02:00
jetbrains.mps.lang.smodel.types	Re-save all models, language name updated in .mpl files.	2019-08-20 23:11:19 +02:00
jetbrains.mps.lang.typechecking	Re-save all models, language name updated in .mpl files.	2019-08-20 23:11:19 +02:00
jetbrains.mps.logic	Re-save all models, language name updated in .mpl files.	2019-08-20 23:11:19 +02:00
jetbrains.mps.typechecking.annotation	Re-save all models, language name updated in .mpl files.	2019-08-20 23:11:19 +02:00
jetbrains.mps.typechecking.testlang	Re-save all models, language name updated in .mpl files.	2019-08-20 23:11:19 +02:00