natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
mps-coderules/coderules/languages/jetbrains.mps.lang.coderules
History
Grigorii Kirgizov 400198f965 Adjust principal constraints analysis to not consider node refs wrapped in terms 
It makes definition of principal constraint clearer:
principal constraint is a constraint that has at least one arg
of type node<> and passes to it ruleOrigin in at least one rule.

Such constraints are most likely meant to define relations
of nodes to terms, e.g. `typeOf` -- which is what we're interested in.

At the same time semantics of values inside terms is less defined.
TermFeatures are also untyped, and so complete analysis of
ValueFeatures would require full code traversal of coderules program
to find out whether a value feature is used to carry smth of `node` type.

Relevant to MPSCR-62.
 		2020-05-22 21:40:03 +03:00
..
generator/template Change semantics of implicit ListFeature: treat as wildcard, not as empty list 2020-05-21 16:38:36 +03:00
languageModels Adjust principal constraints analysis to not consider node refs wrapped in terms 2020-05-22 21:40:03 +03:00
runtime Manually migrate try statements that were not auto-migrated. 2020-05-09 15:07:06 +02:00
jetbrains.mps.lang.coderules.mpl Apply automatic migrations. 2020-05-09 15:04:25 +02:00
jetbrains.mps.lang.typesystem2.migration Rename the language and runtime solution: typesystem2 -> coderules. Move typechecking-related stuff to typechecking solution. Reorganize modules, delete obsolete stuck files. 2018-06-12 18:00:30 +02:00