Skip to content

I
iTypes
Source
Select Git revision
...
Target
Select Git revision
 
Commits (2)
Expand all Show whitespace changes
Inline Side-by-side
Showing with 2207 additions and 74 deletions
inca-translation/languages/FORecursiveTypes/FORecursiveTypes.mpl
View file @ 32cf58ba
......@@ -89,7 +89,6 @@
<module reference="f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
......
inca-translation/languages/NewLanguage/SumTypes.mpl
View file @ 32cf58ba
......@@ -89,7 +89,6 @@
<module reference="f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
......
inca-translation/languages/ProductTypes/ProductTypes.mpl
View file @ 32cf58ba
......@@ -89,7 +89,6 @@
<module reference="f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
......
inca-translation/languages/RecordTypes/RecordTypes.mpl
View file @ 32cf58ba
......@@ -89,7 +89,6 @@
<module reference="f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
......
inca-translation/languages/STLCN/STLCN.mpl
View file @ 32cf58ba
......@@ -89,7 +89,6 @@
<module reference="f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
......
inca-translation/languages/TypeLang/TypeLang.mpl
View file @ 32cf58ba
......@@ -14,6 +14,9 @@
</modelRoot>
</models>
<external-templates />
<dependencies>
<dependency reexport="false">ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)</dependency>
</dependencies>
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="6" />
<language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
......@@ -53,6 +56,8 @@
<dependency reexport="false">8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)</dependency>
<dependency reexport="false">2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)</dependency>
<dependency reexport="false">3a1c1f85-c745-4d04-a210-f97a7e31f9cc(org.inca.extensions)</dependency>
<dependency reexport="false">ab9b5480-36a1-4fc2-9c9d-f0faa4fc1b71(TypeLang)</dependency>
<dependency reexport="false">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
</dependencies>
<languageVersions>
<language slang="l:9d69e719-78c8-4286-90db-fb19c107d049:com.mbeddr.mpsutil.grammarcells" version="0" />
......
inca-translation/languages/TypeLang/models/constraints.mps
View file @ 32cf58ba
......@@ -9,7 +9,7 @@
<import index="o8zo" ref="r:314576fc-3aee-4386-a0a5-a38348ac317d(jetbrains.mps.scope)" />
<import index="tpce" ref="r:00000000-0000-4000-0000-011c89590292(jetbrains.mps.lang.structure.structure)" />
<import index="z9af" ref="r:92efe085-3295-42c0-bd7e-2ea049fae522(org.inca.extensions.structure)" />
<import index="b83y" ref="r:63340c72-1a1f-4a8d-acb4-c73b4c9c590a(TypeLang.structure)" implicit="true" />
<import index="b83y" ref="r:63340c72-1a1f-4a8d-acb4-c73b4c9c590a(TypeLang.structure)" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
<import index="hqsm" ref="r:aa4c3470-43ab-4dad-b73e-20da0ee43be1(org.inca.core.structure)" implicit="true" />
......@@ -123,6 +123,9 @@
</concept>
<concept id="1212096972063" name="jetbrains.mps.lang.constraints.structure.ConstraintFunction_PropertyValidator" flags="in" index="QB0g5" />
<concept id="5564765827938091039" name="jetbrains.mps.lang.constraints.structure.ConstraintFunction_ReferentSearchScope_Scope" flags="ig" index="3dgokm" />
<concept id="8401916545537438642" name="jetbrains.mps.lang.constraints.structure.InheritedNodeScopeFactory" flags="ng" index="1dDu$B">
<reference id="8401916545537438643" name="kind" index="1dDu$A" />
</concept>
<concept id="1163200647017" name="jetbrains.mps.lang.constraints.structure.ConstraintFunctionParameter_referenceNode" flags="nn" index="3kakTB" />
<concept id="1213093968558" name="jetbrains.mps.lang.constraints.structure.ConceptConstraints" flags="ng" index="1M2fIO">
<reference id="1213093996982" name="concept" index="1M2myG" />
......@@ -173,9 +176,21 @@
</concept>
</language>
<language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
<concept id="540871147943773365" name="jetbrains.mps.baseLanguage.collections.structure.SingleArgumentSequenceOperation" flags="nn" index="25WWJ4">
<child id="540871147943773366" name="argument" index="25WWJ7" />
</concept>
<concept id="1226511727824" name="jetbrains.mps.baseLanguage.collections.structure.SetType" flags="in" index="2hMVRd">
<child id="1226511765987" name="elementType" index="2hN53Y" />
</concept>
<concept id="1226516258405" name="jetbrains.mps.baseLanguage.collections.structure.HashSetCreator" flags="nn" index="2i4dXS" />
<concept id="1151688443754" name="jetbrains.mps.baseLanguage.collections.structure.ListType" flags="in" index="_YKpA">
<child id="1151688676805" name="elementType" index="_ZDj9" />
</concept>
<concept id="1237721394592" name="jetbrains.mps.baseLanguage.collections.structure.AbstractContainerCreator" flags="nn" index="HWqM0">
<child id="1237721435808" name="initValue" index="HW$Y0" />
<child id="1237721435807" name="elementType" index="HW$YZ" />
</concept>
<concept id="1172254888721" name="jetbrains.mps.baseLanguage.collections.structure.ContainsOperation" flags="nn" index="3JPx81" />
</language>
</registry>
<node concept="1M2fIO" id="2_58u12dRvj">
......@@ -209,16 +224,34 @@
<ref role="EomxK" to="tpck:h0TrG11" resolve="name" />
<node concept="QB0g5" id="2_58u12hfob" role="QCWH9">
<node concept="3clFbS" id="2_58u12hfoc" role="2VODD2">
<node concept="3cpWs8" id="4XA4NEmGqUV" role="3cqZAp">
<node concept="3cpWsn" id="4XA4NEmGqUW" role="3cpWs9">
<property role="TrG5h" value="reserved" />
<node concept="2hMVRd" id="4XA4NEmGqUT" role="1tU5fm">
<node concept="17QB3L" id="4XA4NEmGr52" role="2hN53Y" />
</node>
<node concept="2ShNRf" id="4XA4NEmGqUX" role="33vP2m">
<node concept="2i4dXS" id="4XA4NEmGqUY" role="2ShVmc">
<node concept="Xl_RD" id="4XA4NEmGqUZ" role="HW$Y0">
<property role="Xl_RC" value="parent" />
</node>
<node concept="Xl_RD" id="4XA4NEmGsg7" role="HW$Y0">
<property role="Xl_RC" value="_" />
</node>
<node concept="17QB3L" id="4XA4NEmGrsq" role="HW$YZ" />
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="2_58u12hfvw" role="3cqZAp">
<node concept="1Wc70l" id="5jddR$Dj4V8" role="3clFbG">
<node concept="3fqX7Q" id="5jddR$DiNa5" role="3uHU7B">
<node concept="2OqwBi" id="5jddR$DiNa7" role="3fr31v">
<node concept="1Wqviy" id="5jddR$DiNa8" role="2Oq$k0" />
<node concept="liA8E" id="5jddR$DiNa9" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~String.equals(java.lang.Object):boolean" resolve="equals" />
<node concept="Xl_RD" id="5jddR$DiNaa" role="37wK5m">
<property role="Xl_RC" value="_" />
<node concept="2OqwBi" id="4XA4NEmGt_9" role="3fr31v">
<node concept="37vLTw" id="4XA4NEmGsM_" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmGqUW" resolve="reserved" />
</node>
<node concept="3JPx81" id="4XA4NEmGuFq" role="2OqNvi">
<node concept="1Wqviy" id="4XA4NEmGuRC" role="25WWJ7" />
</node>
</node>
</node>
......@@ -404,6 +437,32 @@
<node concept="1M2fIO" id="6G$bWLksoXm">
<property role="3GE5qa" value="judgment" />
<ref role="1M2myG" to="b83y:2_58u12eCWR" resolve="JudgmentInstance1" />
<node concept="1N5Pfh" id="2_58u12$Ann" role="1Mr941">
<ref role="1N5Vy1" to="b83y:2_58u12eCWS" resolve="judgment" />
<node concept="1dDu$B" id="2_58u12AyzM" role="1N6uqs">
<ref role="1dDu$A" to="b83y:2_58u12eLDE" resolve="JudgmentDeclaration1" />
</node>
</node>
</node>
<node concept="1M2fIO" id="2_58u12AErI">
<property role="3GE5qa" value="judgment" />
<ref role="1M2myG" to="b83y:2_58u12eNuo" resolve="JudgmentInstance2" />
<node concept="1N5Pfh" id="2_58u12AErJ" role="1Mr941">
<ref role="1N5Vy1" to="b83y:2_58u12eNup" resolve="judgment" />
<node concept="1dDu$B" id="2_58u12AErM" role="1N6uqs">
<ref role="1dDu$A" to="b83y:2_58u12eLE0" resolve="JudgmentDeclaration2" />
</node>
</node>
</node>
<node concept="1M2fIO" id="2_58u12AErP">
<property role="3GE5qa" value="judgment" />
<ref role="1M2myG" to="b83y:2_58u12ePfb" resolve="JudgmentInstance3" />
<node concept="1N5Pfh" id="2_58u12AErQ" role="1Mr941">
<ref role="1N5Vy1" to="b83y:2_58u12ePfc" resolve="judgment" />
<node concept="1dDu$B" id="2_58u12AErT" role="1N6uqs">
<ref role="1dDu$A" to="b83y:2_58u12eLEb" resolve="JudgmentDeclaration3" />
</node>
</node>
</node>
</model>
inca-translation/languages/TypeLang/models/editor.mps
View file @ 32cf58ba
......@@ -197,7 +197,7 @@
</concept>
<concept id="709746936026466394" name="jetbrains.mps.lang.core.structure.ChildAttribute" flags="ng" index="3VBwX9">
<property id="709746936026609031" name="linkId" index="3V$3ak" />
<property id="709746936026609029" name="role_DebugInfo" index="3V$3am" />
<property id="709746936026609029" name="linkRole" index="3V$3am" />
</concept>
<concept id="4452961908202556907" name="jetbrains.mps.lang.core.structure.BaseCommentAttribute" flags="ng" index="1X3_iC">
<child id="3078666699043039389" name="commentedNode" index="8Wnug" />
......@@ -848,6 +848,12 @@
</node>
<node concept="3F1sOY" id="2_58u12fi1Y" role="3EZMnx">
<ref role="1NtTu8" to="b83y:2_58u12eLDF" resolve="pre" />
<node concept="pVoyu" id="2_58u12_ODp" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="lj46D" id="2_58u12_ODq" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
<node concept="3F1sOY" id="2_58u12fi2f" role="3EZMnx">
<ref role="1NtTu8" to="b83y:2_58u12eLDS" resolve="sort1" />
......@@ -1322,5 +1328,33 @@
<ref role="1k5W1q" to="tpen:hshU_KJ" resolve="Annotation" />
</node>
</node>
<node concept="24kQdi" id="4XA4NEmF81P">
<property role="3GE5qa" value="metaterm" />
<ref role="1XX52x" to="b83y:4XA4NEmF81A" resolve="ParentMetaTerm" />
<node concept="3EZMnI" id="4XA4NEmF81R" role="2wV5jI">
<node concept="3F0ifn" id="4XA4NEmF821" role="3EZMnx">
<property role="3F0ifm" value="parent" />
</node>
<node concept="3F0ifn" id="4XA4NEmF82a" role="3EZMnx">
<property role="3F0ifm" value="(" />
<node concept="11L4FC" id="4XA4NEmF82W" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="11LMrY" id="4XA4NEmF834" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
<node concept="3F1sOY" id="4XA4NEmF82M" role="3EZMnx">
<ref role="1NtTu8" to="b83y:4XA4NEmF81E" resolve="term" />
</node>
<node concept="3F0ifn" id="4XA4NEmF82n" role="3EZMnx">
<property role="3F0ifm" value=")" />
<node concept="11L4FC" id="4XA4NEmF83a" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
<node concept="l2Vlx" id="4XA4NEmF81U" role="2iSdaV" />
</node>
</node>
</model>
inca-translation/languages/TypeLang/models/structure.mps
View file @ 32cf58ba
......@@ -121,6 +121,9 @@
<node concept="PrWs8" id="2_58u12cYEW" role="PzmwI">
<ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
</node>
<node concept="PrWs8" id="2_58u12AyzU" role="PzmwI">
<ref role="PrY4T" to="tpck:3fifI_xCcJN" resolve="ScopeProvider" />
</node>
</node>
<node concept="1TIwiD" id="2_58u12eCWN">
<property role="EcuMT" value="2973820376015605555" />
......@@ -595,5 +598,22 @@
<ref role="PrY4T" node="2_58u12cYDn" resolve="SortMode" />
</node>
</node>
<node concept="1TIwiD" id="4XA4NEmF81A">
<property role="EcuMT" value="5721281518977712230" />
<property role="3GE5qa" value="metaterm" />
<property role="TrG5h" value="ParentMetaTerm" />
<property role="34LRSv" value="parent" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="4XA4NEmF81B" role="PzmwI">
<ref role="PrY4T" node="2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="1TJgyj" id="4XA4NEmF81E" role="1TKVEi">
<property role="IQ2ns" value="5721281518977712234" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="term" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12g7Tn" resolve="IMetaTerm" />
</node>
</node>
</model>
inca-translation/languages/VariantTypes/VariantTypes.mpl
View file @ 32cf58ba
......@@ -89,7 +89,6 @@
<module reference="f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
......
inca-translation/solutions/FORecursiveTypes_Checker/FORecursiveTypes_Checker.msd
View file @ 32cf58ba
......@@ -55,7 +55,6 @@
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="63650c59-16c8-498a-99c8-005c7ee9515d(jetbrains.mps.lang.access)" version="0" />
<module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
<module reference="642f71f8-327a-425b-84f9-44ad58786d27(jetbrains.mps.lang.project.modules)" version="0" />
......
inca-translation/solutions/RecordTypes_Checker/RecordTypes_Checker.msd
View file @ 32cf58ba
......@@ -60,7 +60,6 @@
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="63650c59-16c8-498a-99c8-005c7ee9515d(jetbrains.mps.lang.access)" version="0" />
<module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
<module reference="7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)" version="1" />
......
inca-translation/solutions/STLCN_Checker/STLCN_Checker.msd
View file @ 32cf58ba
......@@ -46,7 +46,6 @@
<module reference="f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
<module reference="7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)" version="1" />
......
inca-translation/solutions/SumTypes_Checker/SumTypes_Checker.msd
View file @ 32cf58ba
......@@ -50,7 +50,6 @@
<module reference="f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
<module reference="7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)" version="1" />
......
inca-translation/solutions/VariantTypes_Checker/VariantTypes_Checker.msd
View file @ 32cf58ba
......@@ -52,7 +52,6 @@
<module reference="f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
<module reference="7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)" version="1" />
......