Skip to content

Commit 1eeffaf

Browse files
author
Alexander Pann
authored
Merge pull request #1219 from IETS3/bugfix/missing_string_type_with_constraint_rule
2 parents b125412 + 90ef6d8 commit 1eeffaf

File tree

1 file changed

+13
-0
lines changed
  • code/languages/org.iets3.opensource/languages/org.iets3.core.expr.simpleTypes/models

1 file changed

+13
-0
lines changed

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

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5473,5 +5473,18 @@
54735473
<ref role="1YaFvo" to="5qo5:4rZeNQ6OYR7" resolve="StringType" />
54745474
</node>
54755475
</node>
5476+
<node concept="35pCF_" id="5vCmJtVrQCB">
5477+
<property role="3GE5qa" value="string" />
5478+
<property role="TrG5h" value="stringTypeWithConstraintComparableWithStringType" />
5479+
<node concept="1YaCAy" id="5vCmJtVrQCC" role="35pZ6h">
5480+
<property role="TrG5h" value="stringType" />
5481+
<ref role="1YaFvo" to="5qo5:4rZeNQ6OYR7" resolve="StringType" />
5482+
</node>
5483+
<node concept="3clFbS" id="5vCmJtVrQCD" role="2sgrp5" />
5484+
<node concept="1YaCAy" id="5vCmJtVrQCE" role="1YuTPh">
5485+
<property role="TrG5h" value="stringTypeWithConstraint" />
5486+
<ref role="1YaFvo" to="5qo5:2xPWNWpoRmG" resolve="StringTypeWithConstraint" />
5487+
</node>
5488+
</node>
54765489
</model>
54775490

0 commit comments

Comments
 (0)