Skip to content

Commit 3afd4bb

Browse files
authored
Merge pull request #521 from IETS3/bugfix/temporalValue-with-mapEach
Fix type calculation for ShortLambdaExpression
2 parents 6bd9f15 + 07a6c93 commit 3afd4bb

File tree

1 file changed

+15
-12
lines changed
  • code/languages/org.iets3.opensource/languages/org.iets3.core.expr.lambda/models

1 file changed

+15
-12
lines changed

code/languages/org.iets3.opensource/languages/org.iets3.core.expr.lambda/models/typesystem.mps

Lines changed: 15 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -915,21 +915,24 @@
915915
</node>
916916
</node>
917917
<node concept="TSZUe" id="kxHAhaUGnL" role="2OqNvi">
918-
<node concept="2OqwBi" id="4Uid4MjU6uG" role="25WWJ7">
919-
<node concept="1PxgMI" id="4Uid4MjU4Dy" role="2Oq$k0">
920-
<node concept="chp4Y" id="4Uid4MjU5jS" role="3oSUPX">
921-
<ref role="cht4Q" to="zzzn:6zmBjqUm7Mf" resolve="IShortLambdaContainer" />
922-
</node>
923-
<node concept="2OqwBi" id="4Uid4MjU2wn" role="1m5AlR">
924-
<node concept="1YBJjd" id="4Uid4MjU1op" role="2Oq$k0">
925-
<ref role="1YBMHb" node="6zmBjqUm84F" resolve="sle" />
918+
<node concept="2OqwBi" id="3VarItJO3rW" role="25WWJ7">
919+
<node concept="2OqwBi" id="10RksdbPeCg" role="2Oq$k0">
920+
<node concept="1PxgMI" id="10RksdbPeCh" role="2Oq$k0">
921+
<node concept="chp4Y" id="10RksdbPeCi" role="3oSUPX">
922+
<ref role="cht4Q" to="zzzn:6zmBjqUm7Mf" resolve="IShortLambdaContainer" />
923+
</node>
924+
<node concept="2OqwBi" id="10RksdbPeCj" role="1m5AlR">
925+
<node concept="1YBJjd" id="10RksdbPeCk" role="2Oq$k0">
926+
<ref role="1YBMHb" node="6zmBjqUm84F" resolve="sle" />
927+
</node>
928+
<node concept="1mfA1w" id="10RksdbPeCl" role="2OqNvi" />
926929
</node>
927-
<node concept="1mfA1w" id="4Uid4MjU3MJ" role="2OqNvi" />
930+
</node>
931+
<node concept="2qgKlT" id="10RksdbPeCm" role="2OqNvi">
932+
<ref role="37wK5l" to="5s8v:6zmBjqUm7MF" resolve="requiredType" />
928933
</node>
929934
</node>
930-
<node concept="2qgKlT" id="4Uid4MjU7p9" role="2OqNvi">
931-
<ref role="37wK5l" to="5s8v:6zmBjqUm7MF" resolve="requiredType" />
932-
</node>
935+
<node concept="1$rogu" id="3VarItJO4_E" role="2OqNvi" />
933936
</node>
934937
</node>
935938
</node>

0 commit comments

Comments
 (0)