Commit 286eeadb authored by André Pacak's avatar André Pacak
Browse files

fixed MPS related stuff (meeting)

parent b9983707
This diff is collapsed.
......@@ -45,6 +45,9 @@
</generator>
</generators>
<sourcePath />
<dependencies>
<dependency reexport="false">b802a056-92a2-4fbc-902e-f8e5004c331f(org.inca.core)</dependency>
</dependencies>
<languageVersions>
<language slang="l:9d69e719-78c8-4286-90db-fb19c107d049:com.mbeddr.mpsutil.grammarcells" version="0" />
<language slang="l:b4f35ed8-45af-4efa-abe4-00ac26956e69:com.mbeddr.mpsutil.grammarcells.runtimelang" version="0" />
......@@ -75,10 +78,26 @@
<module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
<module reference="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" version="0" />
<module reference="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" version="0" />
<module reference="1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)" version="0" />
<module reference="498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)" version="0" />
<module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
<module reference="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" version="0" />
<module reference="08d23328-33fa-47ce-89df-daaa7554f251(SumTypes)" version="0" />
<module reference="f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)" version="0" />
<module reference="fd392034-7849-419d-9071-12563d152375(jetbrains.mps.baseLanguage.closures)" version="0" />
<module reference="83888646-71ce-4f1c-9c53-c54016f6ad4f(jetbrains.mps.baseLanguage.collections)" version="0" />
<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" />
<module reference="7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)" version="1" />
<module reference="c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)" version="0" />
<module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
<module reference="b802a056-92a2-4fbc-902e-f8e5004c331f(org.inca.core)" version="0" />
<module reference="bc791f96-4749-4311-a6e4-241e47ca97f9(org.inca.core.util)" version="0" />
</dependencyVersions>
<extendedLanguages />
</language>
......
<?xml version="1.0" encoding="UTF-8"?>
<debug-info version="2">
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123140:jetbrains.mps.baseLanguage.structure.ConstructorDeclaration" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123155:jetbrains.mps.baseLanguage.structure.ExpressionStatement" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123165:jetbrains.mps.baseLanguage.structure.InstanceMethodDeclaration" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068581242864:jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068581242878:jetbrains.mps.baseLanguage.structure.ReturnStatement" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1070475587102:jetbrains.mps.baseLanguage.structure.SuperConstructorInvocation" />
<root>
<file name="ConstraintsAspectDescriptor.java">
<unit at="10,0,20,0" name="SumTypes.constraints.ConstraintsAspectDescriptor" />
<unit at="13,0,29,0" name="SumTypes.constraints.ConstraintsAspectDescriptor" />
</file>
</root>
<root nodeRef="r:974e8c2a-7080-4ca5-bdab-6d74431c3763(SumTypes.constraints)/7618853173233427716">
<file name="Lam_Constraints.java">
<node id="7618853173233427716" at="17,28,18,129" concept="5" />
<node id="7618853173233427716" at="22,84,23,119" concept="3" />
<node id="7618853173233427717" at="26,40,27,20" concept="4" />
<node id="7618853173233427717" at="30,70,31,37" concept="3" />
<node id="7618853173233428196" at="31,37,32,149" concept="4" />
<node id="7618853173233427716" at="34,7,35,22" concept="4" />
<node id="7618853173233427716" at="17,0,20,0" concept="0" trace="Lam_Constraints#()V" />
<node id="7618853173233427717" at="25,0,29,0" concept="2" trace="hasOwnValidator#()Z" />
<node id="7618853173233427717" at="29,0,34,0" concept="2" trace="validateValue#(Lorg/jetbrains/mps/openapi/model/SNode;Ljava/lang/String;)Z" />
<node id="7618853173233427717" at="23,119,34,7" concept="1" />
<node id="7618853173233427716" at="21,0,37,0" concept="2" trace="getSpecifiedProperties#()Ljava/util/Map;" />
<scope id="7618853173233427716" at="17,28,18,129" />
<scope id="7618853173233427717" at="26,40,27,20" />
<scope id="7618853173233427717" at="30,70,32,149">
<var name="propertyName" id="7618853173233427717" />
</scope>
<scope id="7618853173233427716" at="17,0,20,0" />
<scope id="7618853173233427717" at="25,0,29,0" />
<scope id="7618853173233427717" at="29,0,34,0">
<var name="node" id="7618853173233427717" />
<var name="propertyValue" id="7618853173233427717" />
</scope>
<scope id="7618853173233427716" at="22,84,35,22">
<var name="properties" id="7618853173233427716" />
</scope>
<scope id="7618853173233427716" at="21,0,37,0" />
<unit id="7618853173233427717" at="24,137,34,5" name="SumTypes.constraints.Lam_Constraints$1" />
<unit id="7618853173233427716" at="16,0,38,0" name="SumTypes.constraints.Lam_Constraints" />
</file>
</root>
</debug-info>
......
......@@ -5,7 +5,97 @@
<use id="3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1" name="jetbrains.mps.lang.constraints" version="4" />
<devkit ref="00000000-0000-4000-0000-5604ebd4f22c(jetbrains.mps.devkit.aspect.constraints)" />
</languages>
<imports />
<registry />
<imports>
<import index="xkot" ref="r:07a3e6d7-5995-4fdf-b406-0bacec7c4659(SumTypes.structure)" implicit="true" />
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
</imports>
<registry>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
<concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
<concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
<child id="1197027771414" name="operand" index="2Oq$k0" />
<child id="1197027833540" name="operation" index="2OqNvi" />
</concept>
<concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
<child id="1137022507850" name="body" index="2VODD2" />
</concept>
<concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
<property id="1070475926801" name="value" index="Xl_RC" />
</concept>
<concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
<child id="1068580123156" name="expression" index="3clFbG" />
</concept>
<concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
<child id="1068581517665" name="statement" index="3cqZAp" />
</concept>
<concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
<child id="1081516765348" name="expression" index="3fr31v" />
</concept>
<concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
<reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
<child id="1068499141038" name="actualArgument" index="37wK5m" />
</concept>
<concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
<child id="1081773367579" name="rightExpression" index="3uHU7w" />
<child id="1081773367580" name="leftExpression" index="3uHU7B" />
</concept>
<concept id="1080120340718" name="jetbrains.mps.baseLanguage.structure.AndExpression" flags="nn" index="1Wc70l" />
</language>
<language id="3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1" name="jetbrains.mps.lang.constraints">
<concept id="1147467115080" name="jetbrains.mps.lang.constraints.structure.NodePropertyConstraint" flags="ng" index="EnEH3">
<reference id="1147467295099" name="applicableProperty" index="EomxK" />
<child id="1212097481299" name="propertyValidator" index="QCWH9" />
</concept>
<concept id="1212096972063" name="jetbrains.mps.lang.constraints.structure.ConstraintFunction_PropertyValidator" flags="in" index="QB0g5" />
<concept id="1213093968558" name="jetbrains.mps.lang.constraints.structure.ConceptConstraints" flags="ng" index="1M2fIO">
<reference id="1213093996982" name="concept" index="1M2myG" />
<child id="1213098023997" name="property" index="1MhHOB" />
</concept>
<concept id="1153138554286" name="jetbrains.mps.lang.constraints.structure.ConstraintsFunctionParameter_propertyValue" flags="nn" index="1Wqviy" />
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
<property id="1193676396447" name="virtualPackage" index="3GE5qa" />
</concept>
</language>
</registry>
<node concept="1M2fIO" id="6AVADwUrUk4">
<property role="3GE5qa" value="term" />
<ref role="1M2myG" to="xkot:1Da9ityUTcy" resolve="Lam" />
<node concept="EnEH3" id="6AVADwUrUk5" role="1MhHOB">
<ref role="EomxK" to="tpck:h0TrG11" resolve="name" />
<node concept="QB0g5" id="6AVADwUrUk9" role="QCWH9">
<node concept="3clFbS" id="6AVADwUrUka" role="2VODD2">
<node concept="3clFbF" id="6AVADwUrUr$" role="3cqZAp">
<node concept="1Wc70l" id="6AVADwUrYyV" role="3clFbG">
<node concept="3fqX7Q" id="6AVADwUrYG_" role="3uHU7w">
<node concept="2OqwBi" id="6AVADwUrZx5" role="3fr31v">
<node concept="Xl_RD" id="6AVADwUrYPE" role="2Oq$k0">
<property role="Xl_RC" value="false" />
</node>
<node concept="liA8E" id="6AVADwUs0hw" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~String.equals(java.lang.Object):boolean" resolve="equals" />
<node concept="1Wqviy" id="6AVADwUs0qL" role="37wK5m" />
</node>
</node>
</node>
<node concept="3fqX7Q" id="6AVADwUrUry" role="3uHU7B">
<node concept="2OqwBi" id="6AVADwUrVEe" role="3fr31v">
<node concept="Xl_RD" id="6AVADwUrUAO" role="2Oq$k0">
<property role="Xl_RC" value="true" />
</node>
<node concept="liA8E" id="6AVADwUrWpg" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~String.equals(java.lang.Object):boolean" resolve="equals" />
<node concept="1Wqviy" id="6AVADwUrWx9" role="37wK5m" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</model>
......@@ -14,6 +14,10 @@
<registry>
<language id="18bc6592-03a6-4e29-a83a-7ff23bde13ba" name="jetbrains.mps.lang.editor">
<concept id="1071666914219" name="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" flags="ig" index="24kQdi" />
<concept id="1140524381322" name="jetbrains.mps.lang.editor.structure.CellModel_ListWithRole" flags="ng" index="2czfm3">
<child id="1140524464360" name="cellLayout" index="2czzBx" />
</concept>
<concept id="1106270571710" name="jetbrains.mps.lang.editor.structure.CellLayout_Vertical" flags="nn" index="2iRkQZ" />
<concept id="1237303669825" name="jetbrains.mps.lang.editor.structure.CellLayout_Indent" flags="nn" index="l2Vlx" />
<concept id="1080736578640" name="jetbrains.mps.lang.editor.structure.BaseEditorComponent" flags="ig" index="2wURMF">
<child id="1080736633877" name="cellModel" index="2wV5jI" />
......@@ -21,6 +25,11 @@
<concept id="1078939183254" name="jetbrains.mps.lang.editor.structure.CellModel_Component" flags="sg" stub="3162947552742194261" index="PMmxH">
<reference id="1078939183255" name="editorComponent" index="PMmxG" />
</concept>
<concept id="1186414928363" name="jetbrains.mps.lang.editor.structure.SelectableStyleSheetItem" flags="ln" index="VPM3Z" />
<concept id="1630016958697344083" name="jetbrains.mps.lang.editor.structure.IMenu_Concept" flags="ng" index="2ZABuq">
<reference id="6591946374543067572" name="conceptDeclaration" index="aqKnT" />
</concept>
<concept id="3308396621974580100" name="jetbrains.mps.lang.editor.structure.SubstituteMenu_Default" flags="ng" index="3p36aQ" />
<concept id="1139848536355" name="jetbrains.mps.lang.editor.structure.CellModel_WithRole" flags="ng" index="1$h60E">
<reference id="1140103550593" name="relationDeclaration" index="1NtTu8" />
</concept>
......@@ -32,7 +41,11 @@
<property id="1073389577007" name="text" index="3F0ifm" />
</concept>
<concept id="1073389658414" name="jetbrains.mps.lang.editor.structure.CellModel_Property" flags="sg" stub="730538219796134133" index="3F0A7n" />
<concept id="1219418625346" name="jetbrains.mps.lang.editor.structure.IStyleContainer" flags="ng" index="3F0Thp">
<child id="1219418656006" name="styleItem" index="3F10Kt" />
</concept>
<concept id="1073389882823" name="jetbrains.mps.lang.editor.structure.CellModel_RefNode" flags="sg" stub="730538219795960754" index="3F1sOY" />
<concept id="1073390211982" name="jetbrains.mps.lang.editor.structure.CellModel_RefNodeList" flags="sg" stub="2794558372793454595" index="3F2HdR" />
<concept id="1166049232041" name="jetbrains.mps.lang.editor.structure.AbstractComponent" flags="ng" index="1XWOmA">
<reference id="1166049300910" name="conceptDeclaration" index="1XX52x" />
</concept>
......@@ -237,10 +250,8 @@
<node concept="3F0ifn" id="6JCho9VC0ls" role="3EZMnx">
<property role="3F0ifm" value="inl" />
</node>
<node concept="1kIj98" id="6JCho9VC0lC" role="3EZMnx">
<node concept="3F1sOY" id="6JCho9VC0lP" role="1kIj9b">
<ref role="1NtTu8" to="xkot:1Da9ityUTdu" resolve="t" />
</node>
<node concept="3F1sOY" id="6AVADwUwF0M" role="3EZMnx">
<ref role="1NtTu8" to="xkot:1Da9ityUTdu" resolve="t" />
</node>
<node concept="l2Vlx" id="6JCho9VC0ld" role="2iSdaV" />
</node>
......@@ -252,10 +263,8 @@
<node concept="3F0ifn" id="6JCho9VC0my" role="3EZMnx">
<property role="3F0ifm" value="inr" />
</node>
<node concept="1kIj98" id="6JCho9VC0mI" role="3EZMnx">
<node concept="3F1sOY" id="6JCho9VC0mV" role="1kIj9b">
<ref role="1NtTu8" to="xkot:1Da9ityUTdB" resolve="t" />
</node>
<node concept="3F1sOY" id="6AVADwUxEJ3" role="3EZMnx">
<ref role="1NtTu8" to="xkot:1Da9ityUTdB" resolve="t" />
</node>
<node concept="l2Vlx" id="6JCho9VC0mo" role="2iSdaV" />
</node>
......@@ -267,25 +276,19 @@
<node concept="3F0ifn" id="6JCho9VC0nC" role="3EZMnx">
<property role="3F0ifm" value="case" />
</node>
<node concept="1kIj98" id="6JCho9VC0nO" role="3EZMnx">
<node concept="3F1sOY" id="6JCho9VC0o1" role="1kIj9b">
<ref role="1NtTu8" to="xkot:1Da9ityUUxS" resolve="matchee" />
</node>
<node concept="3F1sOY" id="6AVADwUwFhD" role="3EZMnx">
<ref role="1NtTu8" to="xkot:1Da9ityUUxS" resolve="matchee" />
</node>
<node concept="3F0ifn" id="6JCho9VC0ox" role="3EZMnx">
<property role="3F0ifm" value="of" />
</node>
<node concept="1kIj98" id="6JCho9VC0oZ" role="3EZMnx">
<node concept="3F1sOY" id="6JCho9VC0pl" role="1kIj9b">
<ref role="1NtTu8" to="xkot:1Da9ityUUyQ" resolve="c1" />
</node>
<node concept="3F1sOY" id="6AVADwUwFy$" role="3EZMnx">
<ref role="1NtTu8" to="xkot:1Da9ityUUyQ" resolve="c1" />
</node>
<node concept="l2Vlx" id="6JCho9VC0nu" role="2iSdaV" />
<node concept="1kIj98" id="6JCho9VC0pK" role="3EZMnx">
<node concept="3F1sOY" id="6JCho9VC0qc" role="1kIj9b">
<ref role="1NtTu8" to="xkot:1Da9ityUUyX" resolve="c2" />
</node>
<node concept="3F1sOY" id="6AVADwUwFVn" role="3EZMnx">
<ref role="1NtTu8" to="xkot:1Da9ityUUyX" resolve="c2" />
</node>
<node concept="l2Vlx" id="6JCho9VC0nu" role="2iSdaV" />
</node>
</node>
<node concept="24kQdi" id="6JCho9VC0qE">
......@@ -326,5 +329,133 @@
<ref role="PMmxG" to="tpco:2wZex4PafBj" resolve="alias" />
</node>
</node>
<node concept="24kQdi" id="6AVADwU9EQD">
<ref role="1XX52x" to="xkot:51sf_c040hG" resolve="Module" />
<node concept="3EZMnI" id="6AVADwU9EQK" role="2wV5jI">
<node concept="3EZMnI" id="6AVADwU9ER7" role="3EZMnx">
<node concept="VPM3Z" id="6AVADwU9ER9" role="3F10Kt" />
<node concept="3F0ifn" id="6AVADwU9ER$" role="3EZMnx">
<property role="3F0ifm" value="module" />
</node>
<node concept="3F0A7n" id="6AVADwU9ERK" role="3EZMnx">
<ref role="1NtTu8" to="tpck:h0TrG11" resolve="name" />
</node>
<node concept="l2Vlx" id="6AVADwU9ERc" role="2iSdaV" />
</node>
<node concept="3F2HdR" id="6AVADwU9ESb" role="3EZMnx">
<ref role="1NtTu8" to="xkot:6VVZNB9jnyM" resolve="imports" />
<node concept="2iRkQZ" id="6AVADwU9ESe" role="2czzBx" />
<node concept="VPM3Z" id="6AVADwU9ESf" role="3F10Kt" />
</node>
<node concept="3F2HdR" id="6AVADwU9EVO" role="3EZMnx">
<ref role="1NtTu8" to="xkot:51sf_c040hH" resolve="elems" />
<node concept="2iRkQZ" id="6AVADwU9EVR" role="2czzBx" />
<node concept="VPM3Z" id="6AVADwU9EVS" role="3F10Kt" />
</node>
<node concept="2iRkQZ" id="6AVADwU9EQN" role="2iSdaV" />
</node>
</node>
<node concept="24kQdi" id="6AVADwU9F0F">
<ref role="1XX52x" to="xkot:6VVZNB9jn$b" resolve="ModuleElemDef" />
<node concept="3EZMnI" id="6AVADwU9F0H" role="2wV5jI">
<node concept="3F0A7n" id="6AVADwU9F0U" role="3EZMnx">
<ref role="1NtTu8" to="tpck:h0TrG11" resolve="name" />
</node>
<node concept="3F0ifn" id="6AVADwU9F16" role="3EZMnx">
<property role="3F0ifm" value="=" />
</node>
<node concept="3F1sOY" id="6AVADwU9F1o" role="3EZMnx">
<ref role="1NtTu8" to="xkot:6VVZNB9jKnB" resolve="term" />
</node>
<node concept="l2Vlx" id="6AVADwU9F0K" role="2iSdaV" />
</node>
</node>
<node concept="3p36aQ" id="6AVADwU9F1W">
<property role="3GE5qa" value="" />
<ref role="aqKnT" to="xkot:6VVZNB97NER" resolve="ModuleElemEmpty" />
</node>
<node concept="24kQdi" id="6AVADwU9F2m">
<ref role="1XX52x" to="xkot:6VVZNB9jnyR" resolve="ModuleImport" />
<node concept="3EZMnI" id="6AVADwU9F2o" role="2wV5jI">
<node concept="3F0ifn" id="6AVADwU9F2_" role="3EZMnx">
<property role="3F0ifm" value="import" />
</node>
<node concept="3F0A7n" id="6AVADwU9F2L" role="3EZMnx">
<ref role="1NtTu8" to="tpck:h0TrG11" resolve="name" />
</node>
<node concept="l2Vlx" id="6AVADwU9F2r" role="2iSdaV" />
</node>
</node>
<node concept="24kQdi" id="6AVADwUz_kf">
<property role="3GE5qa" value="type" />
<ref role="1XX52x" to="xkot:1Da9ityUTfG" resolve="Nat" />
<node concept="3F0ifn" id="6AVADwUz_lu" role="2wV5jI">
<property role="3F0ifm" value="Nat" />
</node>
</node>
<node concept="24kQdi" id="6AVADwUz_m0">
<property role="3GE5qa" value="type" />
<ref role="1XX52x" to="xkot:1Da9ityUTeg" resolve="Fun" />
<node concept="1WcQYu" id="6AVADwUz_qc" role="2wV5jI">
<node concept="2ElW$n" id="6AVADwUz_qe" role="2El2Yn" />
<node concept="3EZMnI" id="6AVADwUz_qu" role="1LiK7o">
<node concept="1kIj98" id="6AVADwUz_qF" role="3EZMnx">
<node concept="3F1sOY" id="6AVADwUz_qP" role="1kIj9b">
<ref role="1NtTu8" to="xkot:1Da9ityUTel" resolve="ty1" />
</node>
</node>
<node concept="l2Vlx" id="6AVADwUz_qx" role="2iSdaV" />
<node concept="3F0ifn" id="6AVADwUz_r4" role="3EZMnx">
<property role="3F0ifm" value="-&gt;" />
</node>
<node concept="1kIj98" id="6AVADwUz_rs" role="3EZMnx">
<node concept="3F1sOY" id="6AVADwUz_rO" role="1kIj9b">
<ref role="1NtTu8" to="xkot:1Da9ityUTep" resolve="ty2" />
</node>
</node>
</node>
</node>
</node>
<node concept="24kQdi" id="6AVADwUz_sm">
<property role="3GE5qa" value="type" />
<ref role="1XX52x" to="xkot:1Da9ityUTfU" resolve="ParensType" />
<node concept="1WcQYu" id="6AVADwUz_t_" role="2wV5jI">
<node concept="2ElW$n" id="6AVADwUz_tB" role="2El2Yn" />
<node concept="drBAd" id="6AVADwUz_tW" role="1LiK7o">
<node concept="3F0ifn" id="6AVADwUz_tY" role="drBA7">
<property role="3F0ifm" value="(" />
</node>
<node concept="3F1sOY" id="6AVADwUz_u0" role="drBAU">
<ref role="1NtTu8" to="xkot:1Da9ityUTfZ" resolve="ty" />
</node>
<node concept="3F0ifn" id="6AVADwUz_u2" role="drBAZ">
<property role="3F0ifm" value=")" />
</node>
</node>
</node>
</node>
<node concept="24kQdi" id="6AVADwUz_uD">
<property role="3GE5qa" value="type" />
<ref role="1XX52x" to="xkot:1Da9ityUTfs" resolve="Sum" />
<node concept="1WcQYu" id="6AVADwUz_vS" role="2wV5jI">
<node concept="2ElW$n" id="6AVADwUz_vU" role="2El2Yn" />
<node concept="3EZMnI" id="6AVADwUz_wa" role="1LiK7o">
<node concept="1kIj98" id="6AVADwUz_wn" role="3EZMnx">
<node concept="3F1sOY" id="6AVADwUz_wx" role="1kIj9b">
<ref role="1NtTu8" to="xkot:1Da9ityUTfx" resolve="ty1" />
</node>
</node>
<node concept="l2Vlx" id="6AVADwUz_wd" role="2iSdaV" />
<node concept="3F0ifn" id="6AVADwUz_wK" role="3EZMnx">
<property role="3F0ifm" value="+" />
</node>
<node concept="1kIj98" id="6AVADwUz_x8" role="3EZMnx">
<node concept="3F1sOY" id="6AVADwUz_xr" role="1kIj9b">
<ref role="1NtTu8" to="xkot:1Da9ityUTf_" resolve="ty2" />
</node>
</node>
</node>
</node>
</node>
</model>
......@@ -7,6 +7,7 @@
</languages>
<imports>
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
<import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" implicit="true" />
</imports>
<registry>
<language id="c72da2b9-7cce-4447-8389-f407dc1158b7" name="jetbrains.mps.lang.structure">
......@@ -78,8 +79,8 @@
<property role="TrG5h" value="Var" />
<property role="3GE5qa" value="term" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="1Da9ityUTbJ" role="PzmwI">
<ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
<node concept="PrWs8" id="6AVADwUy$xJ" role="PzmwI">
<ref role="PrY4T" to="tpee:hCUYCKd" resolve="IValidIdentifier" />
</node>
<node concept="PrWs8" id="1Da9ityUTbU" role="PzmwI">
<ref role="PrY4T" node="1Da9ityUTbh" resolve="Term" />
......@@ -139,8 +140,8 @@
<property role="34LRSv" value="lam" />
<property role="3GE5qa" value="term" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="1Da9ityUTcz" role="PzmwI">
<ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
<node concept="PrWs8" id="6AVADwUzymP" role="PzmwI">
<ref role="PrY4T" to="tpee:hCUYCKd" resolve="IValidIdentifier" />
</node>
<node concept="PrWs8" id="1Da9ityUTcI" role="PzmwI">
<ref role="PrY4T" node="1Da9ityUTbh" resolve="Term" />
......@@ -356,23 +357,6 @@
<ref role="20lvS9" node="1Da9ityUTef" resolve="Type" />
</node>
</node>
<node concept="1TIwiD" id="1Da9ityUUxE">
<property role="EcuMT" value="1894367444356278378" />
<property role="TrG5h" value="Module" />
<property role="19KtqR" value="true" />
<property role="34LRSv" value="module" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="1Da9ityUUxF" role="PzmwI">
<ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
</node>
<node concept="1TJgyj" id="1Da9ityUUxJ" role="1TKVEi">
<property role="IQ2ns" value="1894367444356278383" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="t" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
</node>
<node concept="1TIwiD" id="1Da9ityUUxN">
<property role="EcuMT" value="1894367444356278387" />
<property role="3GE5qa" value="term" />
......@@ -409,9 +393,6 @@
<property role="3GE5qa" value="term" />
<property role="TrG5h" value="CaseCase" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="1Da9ityUUyF" role="PzmwI">
<ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
</node>
<node concept="1TJgyj" id="1Da9ityUUyJ" role="1TKVEi">
<property role="IQ2ns" value="1894367444356278447" />
<property role="20lmBu" value="aggregation" />
......@@ -419,6 +400,72 @@
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
<node concept="PrWs8" id="6AVADwUzymX" role="PzmwI">
<ref role="PrY4T" to="tpee:hCUYCKd" resolve="IValidIdentifier" />
</node>
</node>
<node concept="PlHQZ" id="6VVZNB9kYY6">
<property role="EcuMT" value="7997266186982387590" />
<property role="TrG5h" value="IModuleElem" />
</node>
<node concept="1TIwiD" id="51sf_c040hG">
<property role="EcuMT" value="5790571747095872620" />
<property role="TrG5h" value="Module" />
<property role="19KtqR" value="true" />
<property role="34LRSv" value="module" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="1TJgyj" id="6VVZNB9jnyM" role="1TKVEi">
<property role="IQ2ns" value="7997266186981963954" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="imports" />
<property role="20lbJX" value="0..n" />
<ref role="20lvS9" node="6VVZNB9jnyR" resolve="ModuleImport" />
</node>
<node concept="1TJgyj" id="51sf_c040hH" role="1TKVEi">
<property role="IQ2ns" value="5790571747095872621" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="elems" />
<property role="20lbJX" value="0..n" />
<ref role="20lvS9" node="6VVZNB9kYY6" resolve="IModuleElem" />
</node>
<node concept="PrWs8" id="6VVZNB96GSV" role="PzmwI">
<ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
</node>
</node>
<node concept="1TIwiD" id="6VVZNB9jn$b">
<property role="EcuMT" value="7997266186981964043" />
<property role="TrG5h" value="ModuleElemDef" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="6VVZNB9jKmL" role="PzmwI">
<ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
</node>
<node concept="PrWs8" id="6VVZNB9kYYc" role="PzmwI">
<ref role="PrY4T" node="6VVZNB9kYY6" resolve="IModuleElem" />
</node>
<node concept="1TJgyj" id="6VVZNB9jKnB" role="1TKVEi">
<property role="IQ2ns" value="7997266186982065639" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="term" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
</node>
<node concept="1TIwiD" id="6VVZNB97NER">
<property role="EcuMT" value="7997266186978933431" />
<property role="3GE5qa" value="" />
<property role="TrG5h" value="ModuleElemEmpty" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="6VVZNB9kYYi" role="PzmwI">
<ref role="PrY4T" node="6VVZNB9kYY6" resolve="IModuleElem" />
</node>
</node>
<node concept="1TIwiD" id="6VVZNB9jnyR">
<property role="EcuMT" value="7997266186981963959" />
<property role="TrG5h" value="ModuleImport" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="6VVZNB9jnyS" role="PzmwI">
<ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
</node>
</node>
</model>
<?xml version="1.0" encoding="UTF-8"?>
<dependenciesRoot>
<dependency className="SumTypes.constraints.ConstraintsAspectDescriptor">
<classNode dependClassName="SumTypes.constraints.Lam_Constraints" />
<classNode dependClassName="java.lang.Override" />
<classNode dependClassName="jetbrains.mps.lang.smodel.ConceptSwitchIndex" />
<classNode dependClassName="jetbrains.mps.lang.smodel.ConceptSwitchIndexBuilder" />