Explicit reentered inference rule for DotExpression #754

IETS3 · Mar 7, 2024 · 4763196 · 4763196
1 parent da5debc
commit 4763196
Showing 1 changed file with 9 additions and 9 deletions.
diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/typesystem.mps b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/typesystem.mps
@@ -1643,22 +1643,22 @@
     <property role="TrG5h" value="typeof_DotExpression" />
     <property role="3GE5qa" value="unary.p3000" />
     <node concept="3clFbS" id="7NJy08a3OfB" role="18ibNy">
-      <node concept="1Z5TYs" id="4h2JN3_u7Vp" role="3cqZAp">
-        <node concept="mw_s8" id="4h2JN3_u8af" role="1ZfhKB">
-          <node concept="1Z2H0r" id="4h2JN3_u8ab" role="mwGJk">
-            <node concept="2OqwBi" id="4h2JN3_u8p1" role="1Z2MuG">
-              <node concept="1YBJjd" id="4h2JN3_u8aw" role="2Oq$k0">
+      <node concept="1Z5TYs" id="33HuFxyjqC4" role="3cqZAp">
+        <node concept="mw_s8" id="33HuFxyjqEq" role="1ZfhKB">
+          <node concept="1Z2H0r" id="33HuFxyjqEm" role="mwGJk">
+            <node concept="2OqwBi" id="33HuFxyjqUG" role="1Z2MuG">
+              <node concept="1YBJjd" id="33HuFxyjqGj" role="2Oq$k0">
                 <ref role="1YBMHb" node="7NJy08a3OfD" resolve="de" />
               </node>
-              <node concept="3TrEf2" id="4h2JN3_u9aI" role="2OqNvi">
+              <node concept="3TrEf2" id="33HuFxyjrok" role="2OqNvi">
                 <ref role="3Tt5mk" to="hm2y:7NJy08a3O9b" resolve="target" />
               </node>
             </node>
           </node>
         </node>
-        <node concept="mw_s8" id="4h2JN3_u7Vs" role="1ZfhK$">
-          <node concept="1Z2H0r" id="4h2JN3_u7zz" role="mwGJk">
-            <node concept="1YBJjd" id="4h2JN3_u7O1" role="1Z2MuG">
+        <node concept="mw_s8" id="33HuFxyjqC7" role="1ZfhK$">
+          <node concept="1Z2H0r" id="33HuFxyjpOd" role="mwGJk">
+            <node concept="1YBJjd" id="33HuFxyjqgx" role="1Z2MuG">
               <ref role="1YBMHb" node="7NJy08a3OfD" resolve="de" />
             </node>
           </node>