Grigorii Kirgizov 37be72d9cf Refactor generation of ListFeature & 'spliced' MultiMetaLogical. Fix BL typesystem to accomodate these changes. ... ListRole in DataForms is stricter and doesn't allow non-list values. Spliced MultiMetaLogical is always generated to ListNode without intermediate step of Variable[].		2019-09-11 13:24:01 +03:00
..
jetbrains.mps.lang.coderules	Add few utilities and extend logic of subtypePaths for LUB impl	2019-09-11 13:24:01 +03: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	Make sure the "annotation" lang has a types aspect.	2019-09-05 18:53:52 +02:00
jetbrains.mps.logic	Refactor generation of ListFeature & 'spliced' MultiMetaLogical. Fix BL typesystem to accomodate these changes.	2019-09-11 13:24:01 +03:00
jetbrains.mps.typechecking.annotation	Make sure the "annotation" lang has a types aspect.	2019-09-05 18:53:52 +02:00
jetbrains.mps.typechecking.testlang	Remove dependencies on samples.baseLanguageExt and samples.lambdacalc from tests, fix build. Rebase onto master.	2019-08-22 15:16:18 +02:00