Commit fa03562a authored by Sebastian Erdweg's avatar Sebastian Erdweg
Browse files

extended ADT generator a bit to support PCF + universal types

parent 7c3d517f
......@@ -41,6 +41,7 @@
<child id="1068498886297" name="rValue" index="37vLTx" />
<child id="1068498886295" name="lValue" index="37vLTJ" />
</concept>
<concept id="1153417849900" name="jetbrains.mps.baseLanguage.structure.GreaterThanOrEqualsExpression" flags="nn" index="2d3UOw" />
<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="2820489544401957797" name="jetbrains.mps.baseLanguage.structure.DefaultClassCreator" flags="nn" index="HV5vD">
......@@ -1513,18 +1514,29 @@
<node concept="3cpWsn" id="6OMXo1R6WRw" role="3cpWs9">
<property role="TrG5h" value="infInputs" />
<node concept="2I9FWS" id="6OMXo1R6WRf" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
<ref role="2I9WkF" to="b83y:2U2uJPpguJc" resolve="SortLattice" />
</node>
<node concept="2OqwBi" id="6OMXo1R6WRx" role="33vP2m">
<node concept="2GrUjf" id="6OMXo1R6WRy" role="2Oq$k0">
<ref role="2Gs0qQ" node="6OMXo1R6FP1" resolve="judg" />
</node>
<node concept="2qgKlT" id="6OMXo1R6WRz" role="2OqNvi">
<ref role="37wK5l" to="pgas:4XA4NEmHFP0" resolve="getInfiniteInputSorts" />
<node concept="2OqwBi" id="7qA7mTFg2Y2" role="33vP2m">
<node concept="2OqwBi" id="7qA7mTFfU0L" role="2Oq$k0">
<node concept="2OqwBi" id="6OMXo1R6WRx" role="2Oq$k0">
<node concept="2GrUjf" id="6OMXo1R6WRy" role="2Oq$k0">
<ref role="2Gs0qQ" node="6OMXo1R6FP1" resolve="judg" />
</node>
<node concept="2qgKlT" id="6OMXo1R6WRz" role="2OqNvi">
<ref role="37wK5l" to="pgas:4XA4NEmHFP0" resolve="getInfiniteInputSorts" />
</node>
</node>
<node concept="v3k3i" id="7qA7mTFg1qv" role="2OqNvi">
<node concept="chp4Y" id="7qA7mTFg1Qi" role="v3oSu">
<ref role="cht4Q" to="b83y:2U2uJPpguJc" resolve="SortLattice" />
</node>
</node>
</node>
<node concept="ANE8D" id="7qA7mTFg8r9" role="2OqNvi" />
</node>
</node>
</node>
<node concept="3clFbH" id="7qA7mTFfOfB" role="3cqZAp" />
<node concept="3clFbJ" id="6OMXo1R70LX" role="3cqZAp">
<node concept="3clFbS" id="6OMXo1R70LZ" role="3clFbx">
<node concept="3cpWs8" id="6OMXo1R8EHb" role="3cqZAp">
......@@ -1539,17 +1551,12 @@
</node>
<node concept="2OqwBi" id="6OMXo1T7gEm" role="1m5AlR">
<node concept="2OqwBi" id="6OMXo1T2aT7" role="2Oq$k0">
<node concept="1PxgMI" id="6OMXo1R8EHf" role="2Oq$k0">
<node concept="chp4Y" id="6OMXo1T25VZ" role="3oSUPX">
<ref role="cht4Q" to="b83y:2U2uJPpguJc" resolve="SortLattice" />
<node concept="1y4W85" id="6OMXo1R8EHh" role="2Oq$k0">
<node concept="3cmrfG" id="6OMXo1R8EHi" role="1y58nS">
<property role="3cmrfH" value="0" />
</node>
<node concept="1y4W85" id="6OMXo1R8EHh" role="1m5AlR">
<node concept="3cmrfG" id="6OMXo1R8EHi" role="1y58nS">
<property role="3cmrfH" value="0" />
</node>
<node concept="37vLTw" id="6OMXo1R8EHj" role="1y566C">
<ref role="3cqZAo" node="6OMXo1R6WRw" resolve="infInputs" />
</node>
<node concept="37vLTw" id="6OMXo1R8EHj" role="1y566C">
<ref role="3cqZAo" node="6OMXo1R6WRw" resolve="infInputs" />
</node>
</node>
<node concept="3TrEf2" id="6OMXo1T2dQR" role="2OqNvi">
......@@ -1616,32 +1623,15 @@
</node>
</node>
</node>
<node concept="1Wc70l" id="6OMXo1R80Gz" role="3clFbw">
<node concept="2OqwBi" id="6OMXo1R83Bn" role="3uHU7w">
<node concept="1y4W85" id="6OMXo1R82HD" role="2Oq$k0">
<node concept="3cmrfG" id="6OMXo1R836O" role="1y58nS">
<property role="3cmrfH" value="0" />
</node>
<node concept="37vLTw" id="6OMXo1R813P" role="1y566C">
<ref role="3cqZAo" node="6OMXo1R6WRw" resolve="infInputs" />
</node>
</node>
<node concept="1mIQ4w" id="6OMXo1R8iIV" role="2OqNvi">
<node concept="chp4Y" id="6OMXo1T1Gw4" role="cj9EA">
<ref role="cht4Q" to="b83y:2U2uJPpguJc" resolve="SortLattice" />
</node>
<node concept="2d3UOw" id="7qA7mTFg8S8" role="3clFbw">
<node concept="2OqwBi" id="6OMXo1R729R" role="3uHU7B">
<node concept="37vLTw" id="6OMXo1R70QR" role="2Oq$k0">
<ref role="3cqZAo" node="6OMXo1R6WRw" resolve="infInputs" />
</node>
<node concept="34oBXx" id="6OMXo1R7b_U" role="2OqNvi" />
</node>
<node concept="3clFbC" id="6OMXo1R7IHE" role="3uHU7B">
<node concept="2OqwBi" id="6OMXo1R729R" role="3uHU7B">
<node concept="37vLTw" id="6OMXo1R70QR" role="2Oq$k0">
<ref role="3cqZAo" node="6OMXo1R6WRw" resolve="infInputs" />
</node>
<node concept="34oBXx" id="6OMXo1R7b_U" role="2OqNvi" />
</node>
<node concept="3cmrfG" id="6OMXo1R7IHP" role="3uHU7w">
<property role="3cmrfH" value="1" />
</node>
<node concept="3cmrfG" id="6OMXo1R7IHP" role="3uHU7w">
<property role="3cmrfH" value="1" />
</node>
</node>
</node>
......@@ -1651,7 +1641,7 @@
</node>
<node concept="3SKdUt" id="6OMXo1UWjv8" role="3cqZAp">
<node concept="3SKdUq" id="6OMXo1UWjva" role="3SKWNk">
<property role="3SKdUp" value="gen adt opertion bodies" />
<property role="3SKdUp" value="gen adt operation bodies" />
</node>
</node>
<node concept="2Gpval" id="6OMXo1UVYUb" role="3cqZAp">
......@@ -1687,19 +1677,29 @@
</node>
</node>
<node concept="3clFbS" id="6OMXo1UVYUq" role="2LFqv$">
<node concept="3cpWs8" id="6OMXo1UVYUr" role="3cqZAp">
<node concept="3cpWsn" id="6OMXo1UVYUs" role="3cpWs9">
<node concept="3cpWs8" id="7qA7mTFgqXP" role="3cqZAp">
<node concept="3cpWsn" id="7qA7mTFgqXQ" role="3cpWs9">
<property role="TrG5h" value="infInputs" />
<node concept="2I9FWS" id="6OMXo1UVYUt" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
<node concept="2I9FWS" id="7qA7mTFgqXR" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2U2uJPpguJc" resolve="SortLattice" />
</node>
<node concept="2OqwBi" id="6OMXo1UVYUu" role="33vP2m">
<node concept="2GrUjf" id="6OMXo1UVYUv" role="2Oq$k0">
<ref role="2Gs0qQ" node="6OMXo1UVYUj" resolve="judg" />
</node>
<node concept="2qgKlT" id="6OMXo1UVYUw" role="2OqNvi">
<ref role="37wK5l" to="pgas:4XA4NEmHFP0" resolve="getInfiniteInputSorts" />
<node concept="2OqwBi" id="7qA7mTFgqXS" role="33vP2m">
<node concept="2OqwBi" id="7qA7mTFgqXT" role="2Oq$k0">
<node concept="2OqwBi" id="7qA7mTFgqXU" role="2Oq$k0">
<node concept="2GrUjf" id="7qA7mTFgqXV" role="2Oq$k0">
<ref role="2Gs0qQ" node="6OMXo1UVYUj" resolve="judg" />
</node>
<node concept="2qgKlT" id="7qA7mTFgqXW" role="2OqNvi">
<ref role="37wK5l" to="pgas:4XA4NEmHFP0" resolve="getInfiniteInputSorts" />
</node>
</node>
<node concept="v3k3i" id="7qA7mTFgqXX" role="2OqNvi">
<node concept="chp4Y" id="7qA7mTFgqXY" role="v3oSu">
<ref role="cht4Q" to="b83y:2U2uJPpguJc" resolve="SortLattice" />
</node>
</node>
</node>
<node concept="ANE8D" id="7qA7mTFgqXZ" role="2OqNvi" />
</node>
</node>
</node>
......@@ -1717,17 +1717,12 @@
</node>
<node concept="2OqwBi" id="6OMXo1UVYUC" role="1m5AlR">
<node concept="2OqwBi" id="6OMXo1UVYUD" role="2Oq$k0">
<node concept="1PxgMI" id="6OMXo1UVYUE" role="2Oq$k0">
<node concept="chp4Y" id="6OMXo1UVYUF" role="3oSUPX">
<ref role="cht4Q" to="b83y:2U2uJPpguJc" resolve="SortLattice" />
<node concept="1y4W85" id="6OMXo1UVYUG" role="2Oq$k0">
<node concept="3cmrfG" id="6OMXo1UVYUH" role="1y58nS">
<property role="3cmrfH" value="0" />
</node>
<node concept="1y4W85" id="6OMXo1UVYUG" role="1m5AlR">
<node concept="3cmrfG" id="6OMXo1UVYUH" role="1y58nS">
<property role="3cmrfH" value="0" />
</node>
<node concept="37vLTw" id="6OMXo1UVYUI" role="1y566C">
<ref role="3cqZAo" node="6OMXo1UVYUs" resolve="infInputs" />
</node>
<node concept="37vLTw" id="6OMXo1UVYUI" role="1y566C">
<ref role="3cqZAo" node="7qA7mTFgqXQ" resolve="infInputs" />
</node>
</node>
<node concept="3TrEf2" id="6OMXo1UVYUJ" role="2OqNvi">
......@@ -1845,32 +1840,15 @@
</node>
</node>
</node>
<node concept="1Wc70l" id="6OMXo1UVYV_" role="3clFbw">
<node concept="2OqwBi" id="6OMXo1UVYVA" role="3uHU7w">
<node concept="1y4W85" id="6OMXo1UVYVB" role="2Oq$k0">
<node concept="3cmrfG" id="6OMXo1UVYVC" role="1y58nS">
<property role="3cmrfH" value="0" />
</node>
<node concept="37vLTw" id="6OMXo1UVYVD" role="1y566C">
<ref role="3cqZAo" node="6OMXo1UVYUs" resolve="infInputs" />
</node>
</node>
<node concept="1mIQ4w" id="6OMXo1UVYVE" role="2OqNvi">
<node concept="chp4Y" id="6OMXo1UVYVF" role="cj9EA">
<ref role="cht4Q" to="b83y:2U2uJPpguJc" resolve="SortLattice" />
</node>
<node concept="2d3UOw" id="7qA7mTFgGBp" role="3clFbw">
<node concept="2OqwBi" id="6OMXo1UVYVH" role="3uHU7B">
<node concept="37vLTw" id="6OMXo1UVYVI" role="2Oq$k0">
<ref role="3cqZAo" node="7qA7mTFgqXQ" resolve="infInputs" />
</node>
<node concept="34oBXx" id="6OMXo1UVYVJ" role="2OqNvi" />
</node>
<node concept="3clFbC" id="6OMXo1UVYVG" role="3uHU7B">
<node concept="2OqwBi" id="6OMXo1UVYVH" role="3uHU7B">
<node concept="37vLTw" id="6OMXo1UVYVI" role="2Oq$k0">
<ref role="3cqZAo" node="6OMXo1UVYUs" resolve="infInputs" />
</node>
<node concept="34oBXx" id="6OMXo1UVYVJ" role="2OqNvi" />
</node>
<node concept="3cmrfG" id="6OMXo1UVYVK" role="3uHU7w">
<property role="3cmrfH" value="1" />
</node>
<node concept="3cmrfG" id="6OMXo1UVYVK" role="3uHU7w">
<property role="3cmrfH" value="1" />
</node>
</node>
</node>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment