From 163e3394360d9d486537b906ca12bc1bed2dc976 Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Tue, 10 Sep 2019 19:48:09 +0300 Subject: [PATCH] Add migration for replacing List usages for ConsList constructor usages --- .../languageModels/migration.mps | 287 ++++++++++++++++++ .../jetbrains.mps.baseLanguageExt.types.mps | 51 ---- 2 files changed, 287 insertions(+), 51 deletions(-) diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps b/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps index 01417e2b..296ff711 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps @@ -26,6 +26,7 @@ + @@ -35,6 +36,7 @@ + @@ -66,9 +68,13 @@ + + + + @@ -76,6 +82,10 @@ + + + + @@ -161,6 +171,9 @@ + + + @@ -191,15 +204,35 @@ + + + + + + + + + + + + + + + + + + + + @@ -680,5 +713,259 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps index ff47c879..4b1815fd 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps @@ -3613,33 +3613,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -3683,30 +3656,6 @@ - - - - - - - - - - - - - - - - - - - - - - - -