Partially working forall quantified types
Substitution (i.e. forall instantiation) doesn't work in this version.
This commit is contained in:
grigorii.kirgizov
parent
084c4581f0
commit
58a518af4f
|
|
@ -10,6 +10,7 @@
|
|||
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" />
|
||||
<import index="8tt8" ref="r:e74c1bfc-387b-4b4b-abee-2eb77ee510ec(samples.lambdacalc.structure)" />
|
||||
<import index="tpcu" ref="r:00000000-0000-4000-0000-011c89590282(jetbrains.mps.lang.core.behavior)" />
|
||||
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
|
||||
</imports>
|
||||
<registry>
|
||||
<language id="af65afd8-f0dd-4942-87d9-63a55f2a9db1" name="jetbrains.mps.lang.behavior">
|
||||
|
|
@ -27,10 +28,18 @@
|
|||
<concept id="1225194691553" name="jetbrains.mps.lang.behavior.structure.ThisNodeExpression" flags="nn" index="13iPFW" />
|
||||
</language>
|
||||
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
|
||||
<concept id="4836112446988635817" name="jetbrains.mps.baseLanguage.structure.UndefinedType" flags="in" index="2jxLKc" />
|
||||
<concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
|
||||
<concept id="1154032098014" name="jetbrains.mps.baseLanguage.structure.AbstractLoopStatement" flags="nn" index="2LF5Ji">
|
||||
<child id="1154032183016" name="body" index="2LFqv$" />
|
||||
</concept>
|
||||
<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="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
|
||||
<child id="1145553007750" name="creator" index="2ShVmc" />
|
||||
</concept>
|
||||
<concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
|
||||
<child id="1137022507850" name="body" index="2VODD2" />
|
||||
</concept>
|
||||
|
|
@ -55,6 +64,7 @@
|
|||
<concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
|
||||
<child id="1068580123156" name="expression" index="3clFbG" />
|
||||
</concept>
|
||||
<concept id="1068580123157" name="jetbrains.mps.baseLanguage.structure.Statement" flags="nn" index="3clFbH" />
|
||||
<concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
|
||||
<child id="1068581517665" name="statement" index="3cqZAp" />
|
||||
</concept>
|
||||
|
|
@ -68,6 +78,11 @@
|
|||
</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="1212685548494" name="jetbrains.mps.baseLanguage.structure.ClassCreator" flags="nn" index="1pGfFk" />
|
||||
<concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
|
||||
<reference id="1107535924139" name="classifier" index="3uigEE" />
|
||||
</concept>
|
||||
<concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
|
||||
<child id="1081773367579" name="rightExpression" index="3uHU7w" />
|
||||
|
|
@ -77,32 +92,68 @@
|
|||
<concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
|
||||
<child id="1178549979242" name="visibility" index="1B3o_S" />
|
||||
</concept>
|
||||
<concept id="1144226303539" name="jetbrains.mps.baseLanguage.structure.ForeachStatement" flags="nn" index="1DcWWT">
|
||||
<child id="1144226360166" name="iterable" index="1DdaDG" />
|
||||
</concept>
|
||||
<concept id="1144230876926" name="jetbrains.mps.baseLanguage.structure.AbstractForStatement" flags="nn" index="1DupvO">
|
||||
<child id="1144230900587" name="variable" index="1Duv9x" />
|
||||
</concept>
|
||||
<concept id="1163668896201" name="jetbrains.mps.baseLanguage.structure.TernaryOperatorExpression" flags="nn" index="3K4zz7">
|
||||
<child id="1163668914799" name="condition" index="3K4Cdx" />
|
||||
<child id="1163668922816" name="ifTrue" index="3K4E3e" />
|
||||
<child id="1163668934364" name="ifFalse" index="3K4GZi" />
|
||||
</concept>
|
||||
<concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
|
||||
<concept id="1200397529627" name="jetbrains.mps.baseLanguage.structure.CharConstant" flags="nn" index="1Xhbcc">
|
||||
<property id="1200397540847" name="charConstant" index="1XhdNS" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="774bf8a0-62e5-41e1-af63-f4812e60e48b" name="jetbrains.mps.baseLanguage.checkedDots">
|
||||
<concept id="4079382982702596667" name="jetbrains.mps.baseLanguage.checkedDots.structure.CheckedDotExpression" flags="nn" index="2EnYce" />
|
||||
</language>
|
||||
<language id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures">
|
||||
<concept id="1199569711397" name="jetbrains.mps.baseLanguage.closures.structure.ClosureLiteral" flags="nn" index="1bVj0M">
|
||||
<child id="1199569906740" name="parameter" index="1bW2Oz" />
|
||||
<child id="1199569916463" name="body" index="1bW5cS" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
|
||||
<concept id="1179409122411" name="jetbrains.mps.lang.smodel.structure.Node_ConceptMethodCall" flags="nn" index="2qgKlT" />
|
||||
<concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
|
||||
<reference id="1138405853777" name="concept" index="ehGHo" />
|
||||
</concept>
|
||||
<concept id="1138056022639" name="jetbrains.mps.lang.smodel.structure.SPropertyAccess" flags="nn" index="3TrcHB">
|
||||
<reference id="1138056395725" name="property" index="3TsBF5" />
|
||||
</concept>
|
||||
<concept id="1138056143562" name="jetbrains.mps.lang.smodel.structure.SLinkAccess" flags="nn" index="3TrEf2">
|
||||
<reference id="1138056516764" name="link" index="3Tt5mk" />
|
||||
</concept>
|
||||
<concept id="1138056282393" name="jetbrains.mps.lang.smodel.structure.SLinkListAccess" flags="nn" index="3Tsc0h">
|
||||
<reference id="1138056546658" name="link" index="3TtcxE" />
|
||||
</concept>
|
||||
</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" />
|
||||
<child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
|
||||
</concept>
|
||||
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
|
||||
<property id="1169194664001" name="name" index="TrG5h" />
|
||||
</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" />
|
||||
</concept>
|
||||
<concept id="4452961908202556907" name="jetbrains.mps.lang.core.structure.BaseCommentAttribute" flags="ng" index="1X3_iC">
|
||||
<child id="3078666699043039389" name="commentedNode" index="8Wnug" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
|
||||
<concept id="1204796164442" name="jetbrains.mps.baseLanguage.collections.structure.InternalSequenceOperation" flags="nn" index="23sCx2">
|
||||
<child id="1204796294226" name="closure" index="23t8la" />
|
||||
</concept>
|
||||
<concept id="1204980550705" name="jetbrains.mps.baseLanguage.collections.structure.VisitAllOperation" flags="nn" index="2es0OD" />
|
||||
<concept id="1203518072036" name="jetbrains.mps.baseLanguage.collections.structure.SmartClosureParameterDeclaration" flags="ig" index="Rh6nW" />
|
||||
</language>
|
||||
</registry>
|
||||
<node concept="13h7C7" id="3g9UT2j94eo">
|
||||
|
|
@ -235,21 +286,180 @@
|
|||
<ref role="13i0hy" to="tpcu:hEwIMiw" resolve="getPresentation" />
|
||||
<node concept="3Tm1VV" id="12dHl3ZCFcx" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="12dHl3ZCFix" role="3clF47">
|
||||
<node concept="3clFbF" id="12dHl3ZCFqk" role="3cqZAp">
|
||||
<node concept="3cpWs3" id="12dHl3ZCFWS" role="3clFbG">
|
||||
<node concept="2EnYce" id="12dHl3ZCJ3U" role="3uHU7w">
|
||||
<node concept="2OqwBi" id="12dHl3ZCG91" role="2Oq$k0">
|
||||
<node concept="13iPFW" id="12dHl3ZCFXg" role="2Oq$k0" />
|
||||
<node concept="3TrEf2" id="12dHl3ZCGjV" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="8tt8:12dHl3ZCFaI" resolve="type" />
|
||||
<node concept="3cpWs8" id="48ZGLP7q4g5" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="48ZGLP7q4g6" role="3cpWs9">
|
||||
<property role="TrG5h" value="s" />
|
||||
<node concept="3uibUv" id="48ZGLP7q4g7" role="1tU5fm">
|
||||
<ref role="3uigEE" to="wyt6:~StringBuilder" resolve="StringBuilder" />
|
||||
</node>
|
||||
<node concept="2ShNRf" id="48ZGLP7q4gM" role="33vP2m">
|
||||
<node concept="1pGfFk" id="48ZGLP7q4ke" role="2ShVmc">
|
||||
<ref role="37wK5l" to="wyt6:~StringBuilder.<init>(java.lang.String)" resolve="StringBuilder" />
|
||||
<node concept="Xl_RD" id="48ZGLP7q4kE" role="37wK5m">
|
||||
<property role="Xl_RC" value="forall " />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2qgKlT" id="12dHl3ZCJqZ" role="2OqNvi">
|
||||
<ref role="37wK5l" to="tpcu:hEwIMiw" resolve="getPresentation" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1X3_iC" id="48ZGLP7qHY8" role="lGtFl">
|
||||
<property role="3V$3am" value="statement" />
|
||||
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
|
||||
<node concept="3clFbF" id="48ZGLP7qGik" role="8Wnug">
|
||||
<node concept="2OqwBi" id="48ZGLP7qlNs" role="3clFbG">
|
||||
<node concept="2OqwBi" id="48ZGLP7q9XZ" role="2Oq$k0">
|
||||
<node concept="13iPFW" id="48ZGLP7q9CI" role="2Oq$k0" />
|
||||
<node concept="3Tsc0h" id="48ZGLP7qahM" role="2OqNvi">
|
||||
<ref role="3TtcxE" to="8tt8:48ZGLP7q1Qc" resolve="typeVars" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2es0OD" id="48ZGLP7qnU1" role="2OqNvi">
|
||||
<node concept="1bVj0M" id="48ZGLP7qnU3" role="23t8la">
|
||||
<node concept="3clFbS" id="48ZGLP7qnU4" role="1bW5cS">
|
||||
<node concept="3clFbF" id="48ZGLP7qnZA" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="48ZGLP7qoHz" role="3clFbG">
|
||||
<node concept="37vLTw" id="48ZGLP7qoq9" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="48ZGLP7q4g6" resolve="s" />
|
||||
</node>
|
||||
<node concept="liA8E" id="48ZGLP7qpbn" role="2OqNvi">
|
||||
<ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
|
||||
<node concept="3cpWs3" id="48ZGLP7qugQ" role="37wK5m">
|
||||
<node concept="Xl_RD" id="48ZGLP7quCC" role="3uHU7B">
|
||||
<property role="Xl_RC" value=" " />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="48ZGLP7qqlj" role="3uHU7w">
|
||||
<node concept="2qgKlT" id="48ZGLP7qrVO" role="2OqNvi">
|
||||
<ref role="37wK5l" to="tpcu:hEwIMiw" resolve="getPresentation" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="48ZGLP7qtlQ" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="48ZGLP7qnU5" resolve="it" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="Rh6nW" id="48ZGLP7qnU5" role="1bW2Oz">
|
||||
<property role="TrG5h" value="it" />
|
||||
<node concept="2jxLKc" id="48ZGLP7qnU6" role="1tU5fm" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="Xl_RD" id="12dHl3ZCFqj" role="3uHU7B">
|
||||
<property role="Xl_RC" value="forall." />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1DcWWT" id="48ZGLP7q4CM" role="3cqZAp">
|
||||
<node concept="3clFbS" id="48ZGLP7q4CO" role="2LFqv$">
|
||||
<node concept="3clFbF" id="48ZGLP7qR7a" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="48ZGLP7qRnF" role="3clFbG">
|
||||
<node concept="37vLTw" id="48ZGLP7qR79" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="48ZGLP7q4g6" resolve="s" />
|
||||
</node>
|
||||
<node concept="liA8E" id="48ZGLP7qSsi" role="2OqNvi">
|
||||
<ref role="37wK5l" to="wyt6:~StringBuilder.append(char):java.lang.StringBuilder" resolve="append" />
|
||||
<node concept="1Xhbcc" id="48ZGLP7qSLW" role="37wK5m">
|
||||
<property role="1XhdNS" value=" " />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="48ZGLP7qUTM" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="48ZGLP7qVa$" role="3clFbG">
|
||||
<node concept="37vLTw" id="48ZGLP7qUTK" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="48ZGLP7q4g6" resolve="s" />
|
||||
</node>
|
||||
<node concept="liA8E" id="48ZGLP7qWSm" role="2OqNvi">
|
||||
<ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
|
||||
<node concept="2EnYce" id="48ZGLP7r6m5" role="37wK5m">
|
||||
<node concept="37vLTw" id="48ZGLP7qXAG" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="48ZGLP7q4CP" resolve="tv" />
|
||||
</node>
|
||||
<node concept="2qgKlT" id="48ZGLP7qYOE" role="2OqNvi">
|
||||
<ref role="37wK5l" to="tpcu:hEwIMiw" resolve="getPresentation" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWsn" id="48ZGLP7q4CP" role="1Duv9x">
|
||||
<property role="TrG5h" value="tv" />
|
||||
<node concept="3Tqbb2" id="48ZGLP7qLUY" role="1tU5fm">
|
||||
<ref role="ehGHo" to="8tt8:3g9UT2j9I06" resolve="VarType" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="48ZGLP7q5iV" role="1DdaDG">
|
||||
<node concept="13iPFW" id="48ZGLP7q51t" role="2Oq$k0" />
|
||||
<node concept="3Tsc0h" id="48ZGLP7q5BX" role="2OqNvi">
|
||||
<ref role="3TtcxE" to="8tt8:48ZGLP7q1Qc" resolve="typeVars" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="48ZGLP7r8In" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="48ZGLP7rae2" role="3clFbG">
|
||||
<node concept="37vLTw" id="48ZGLP7r8Il" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="48ZGLP7q4g6" resolve="s" />
|
||||
</node>
|
||||
<node concept="liA8E" id="48ZGLP7rlnw" role="2OqNvi">
|
||||
<ref role="37wK5l" to="wyt6:~StringBuilder.append(char):java.lang.StringBuilder" resolve="append" />
|
||||
<node concept="1Xhbcc" id="48ZGLP7rlTw" role="37wK5m">
|
||||
<property role="1XhdNS" value="." />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="48ZGLP7ruOx" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="48ZGLP7rwht" role="3clFbG">
|
||||
<node concept="37vLTw" id="48ZGLP7ruOv" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="48ZGLP7q4g6" resolve="s" />
|
||||
</node>
|
||||
<node concept="liA8E" id="48ZGLP7ryWq" role="2OqNvi">
|
||||
<ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
|
||||
<node concept="2EnYce" id="48ZGLP7rBly" role="37wK5m">
|
||||
<node concept="2OqwBi" id="48ZGLP7r__E" role="2Oq$k0">
|
||||
<node concept="13iPFW" id="48ZGLP7rzTU" role="2Oq$k0" />
|
||||
<node concept="3TrEf2" id="48ZGLP7rAbs" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="8tt8:12dHl3ZCFaI" resolve="type" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2qgKlT" id="48ZGLP7rBX9" role="2OqNvi">
|
||||
<ref role="37wK5l" to="tpcu:hEwIMiw" resolve="getPresentation" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="48ZGLP7rnaP" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="48ZGLP7roEL" role="3clFbG">
|
||||
<node concept="37vLTw" id="48ZGLP7rnaN" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="48ZGLP7q4g6" resolve="s" />
|
||||
</node>
|
||||
<node concept="liA8E" id="48ZGLP7rrdq" role="2OqNvi">
|
||||
<ref role="37wK5l" to="wyt6:~StringBuilder.toString():java.lang.String" resolve="toString" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="48ZGLP7rD6_" role="3cqZAp" />
|
||||
<node concept="1X3_iC" id="48ZGLP7q4aw" role="lGtFl">
|
||||
<property role="3V$3am" value="statement" />
|
||||
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
|
||||
<node concept="3clFbF" id="12dHl3ZCFqk" role="8Wnug">
|
||||
<node concept="3cpWs3" id="12dHl3ZCFWS" role="3clFbG">
|
||||
<node concept="2EnYce" id="12dHl3ZCJ3U" role="3uHU7w">
|
||||
<node concept="2OqwBi" id="12dHl3ZCG91" role="2Oq$k0">
|
||||
<node concept="13iPFW" id="12dHl3ZCFXg" role="2Oq$k0" />
|
||||
<node concept="3TrEf2" id="12dHl3ZCGjV" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="8tt8:12dHl3ZCFaI" resolve="type" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2qgKlT" id="12dHl3ZCJqZ" role="2OqNvi">
|
||||
<ref role="37wK5l" to="tpcu:hEwIMiw" resolve="getPresentation" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="Xl_RD" id="12dHl3ZCFqj" role="3uHU7B">
|
||||
<property role="Xl_RC" value="forall." />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
|
|||
|
|
@ -28,6 +28,7 @@
|
|||
<concept id="1196434649611" name="jetbrains.mps.lang.editor.structure.SubstituteMenu_SimpleString" flags="ng" index="2h3Zct">
|
||||
<property id="1196434851095" name="text" index="2h4Kg1" />
|
||||
</concept>
|
||||
<concept id="1106270549637" name="jetbrains.mps.lang.editor.structure.CellLayout_Horizontal" flags="nn" index="2iRfu4" />
|
||||
<concept id="6089045305654894366" name="jetbrains.mps.lang.editor.structure.SubstituteMenuReference_Default" flags="ng" index="2kknPJ" />
|
||||
<concept id="1237303669825" name="jetbrains.mps.lang.editor.structure.CellLayout_Indent" flags="nn" index="l2Vlx" />
|
||||
<concept id="1237308012275" name="jetbrains.mps.lang.editor.structure.IndentLayoutNewLineStyleClassItem" flags="ln" index="ljvvj" />
|
||||
|
|
@ -781,7 +782,15 @@
|
|||
<ref role="1XX52x" to="8tt8:12dHl3ZCxTW" resolve="ForallType" />
|
||||
<node concept="3EZMnI" id="12dHl3ZCFax" role="2wV5jI">
|
||||
<node concept="3F0ifn" id="12dHl3ZCFaC" role="3EZMnx">
|
||||
<property role="3F0ifm" value="forall." />
|
||||
<property role="3F0ifm" value="forall" />
|
||||
</node>
|
||||
<node concept="3F2HdR" id="48ZGLP7q1QZ" role="3EZMnx">
|
||||
<property role="2czwfO" value=" " />
|
||||
<ref role="1NtTu8" to="8tt8:48ZGLP7q1Qc" resolve="typeVars" />
|
||||
<node concept="2iRfu4" id="48ZGLP7q1R2" role="2czzBx" />
|
||||
</node>
|
||||
<node concept="3F0ifn" id="48ZGLP7q1QP" role="3EZMnx">
|
||||
<property role="3F0ifm" value="." />
|
||||
</node>
|
||||
<node concept="3F1sOY" id="12dHl3ZCFaK" role="3EZMnx">
|
||||
<ref role="1NtTu8" to="8tt8:12dHl3ZCFaI" resolve="type" />
|
||||
|
|
|
|||
|
|
@ -316,6 +316,13 @@
|
|||
<property role="20lbJX" value="1" />
|
||||
<ref role="20lvS9" node="3_qfG1EP6Nw" resolve="Type" />
|
||||
</node>
|
||||
<node concept="1TJgyj" id="48ZGLP7q1Qc" role="1TKVEi">
|
||||
<property role="IQ2ns" value="4773731068369444236" />
|
||||
<property role="20lmBu" value="aggregation" />
|
||||
<property role="20kJfa" value="typeVars" />
|
||||
<property role="20lbJX" value="0..n" />
|
||||
<ref role="20lvS9" node="3g9UT2j9I06" resolve="VarType" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1TIwiD" id="1z4HGmnV7K8">
|
||||
<property role="EcuMT" value="1784752312119229448" />
|
||||
|
|
|
|||
File diff suppressed because it is too large
Load Diff
Loading…
Reference in New Issue