From 055b633a12149ce95958bfa23d10a7bd9d42a4c9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sergej=20Ko=C5=A1=C4=8Dejev?= <sergej@koscejev.cz>
Date: Thu, 12 Sep 2024 15:31:31 +0200
Subject: [PATCH] Use the typesystem devkit in typesystem models

Without the devkit corresponding checkpoints are not produced, making it
impossible to override typesystem rules of the language.
---
 .../org.iets3.core.expr.collections/models/typesystem.mps     | 4 +---
 .../models/org.iets3.core.expr.genjava.data.typesystem.mps    | 3 +--
 .../org.iets3.core.expr.genjava.data.mpl                      | 1 +
 3 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.collections/models/typesystem.mps b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.collections/models/typesystem.mps
index 6c14c90de0..6e63249d35 100644
--- a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.collections/models/typesystem.mps
+++ b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.collections/models/typesystem.mps
@@ -2,11 +2,9 @@
 <model ref="r:1fd78142-d7d8-42c9-9cbb-0609b1bc5311(org.iets3.core.expr.collections.typesystem)">
   <persistence version="9" />
   <languages>
-    <use id="7a5dda62-9140-4668-ab76-d5ed1746f2b2" name="jetbrains.mps.lang.typesystem" version="-1" />
-    <use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="-1" />
     <use id="9464fa06-5ab9-409b-9274-64ab29588457" name="org.iets3.core.expr.lambda" version="-1" />
     <use id="6b277d9a-d52d-416f-a209-1919bd737f50" name="org.iets3.core.expr.simpleTypes" version="-1" />
-    <devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
+    <devkit ref="00000000-0000-4000-0000-1de82b3a4936(jetbrains.mps.devkit.aspect.typesystem)" />
   </languages>
   <imports>
     <import index="700h" ref="r:61b1de80-490d-4fee-8e95-b956503290e9(org.iets3.core.expr.collections.structure)" />
diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.genjava.data/models/org.iets3.core.expr.genjava.data.typesystem.mps b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.genjava.data/models/org.iets3.core.expr.genjava.data.typesystem.mps
index f281cb7ed9..54f92b6c06 100644
--- a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.genjava.data/models/org.iets3.core.expr.genjava.data.typesystem.mps
+++ b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.genjava.data/models/org.iets3.core.expr.genjava.data.typesystem.mps
@@ -2,8 +2,7 @@
 <model ref="r:6875efaa-2d9a-4143-97b9-df21572b50f5(org.iets3.core.expr.genjava.data.typesystem)">
   <persistence version="9" />
   <languages>
-    <use id="7a5dda62-9140-4668-ab76-d5ed1746f2b2" name="jetbrains.mps.lang.typesystem" version="5" />
-    <devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
+    <devkit ref="00000000-0000-4000-0000-1de82b3a4936(jetbrains.mps.devkit.aspect.typesystem)" />
   </languages>
   <imports />
   <registry />
diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.genjava.data/org.iets3.core.expr.genjava.data.mpl b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.genjava.data/org.iets3.core.expr.genjava.data.mpl
index f30129e8e4..855de2b052 100644
--- a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.genjava.data/org.iets3.core.expr.genjava.data.mpl
+++ b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.genjava.data/org.iets3.core.expr.genjava.data.mpl
@@ -125,6 +125,7 @@
     <language slang="l:18bc6592-03a6-4e29-a83a-7ff23bde13ba:jetbrains.mps.lang.editor" version="14" />
     <language slang="l:ad93155d-79b2-4759-b10c-55123e763903:jetbrains.mps.lang.messages" version="0" />
     <language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
+    <language slang="l:d4615e3b-d671-4ba9-af01-2b78369b0ba7:jetbrains.mps.lang.pattern" version="2" />
     <language slang="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" version="5" />
     <language slang="l:b3551702-269c-4f05-ba61-58060cef4292:jetbrains.mps.lang.rulesAndMessages" version="0" />
     <language slang="l:d8f591ec-4d86-4af2-9f92-a9e93c803ffa:jetbrains.mps.lang.scopes" version="0" />