Commit 8a90d424 authored by André Pacak's avatar André Pacak
Browse files

synthesizing chain and star dependency programs

parent e09d55b2
......@@ -2535,9 +2535,7 @@
<node concept="avzCv" id="7RSYa3msdnb" role="avys_">
<node concept="3clFbS" id="7RSYa3msdnc" role="2VODD2">
<node concept="3cpWs6" id="7RSYa3msduw" role="3cqZAp">
<node concept="3clFbT" id="7RSYa3msd_Y" role="3cqZAk">
<property role="3clFbU" value="true" />
</node>
<node concept="3clFbT" id="7RSYa3msd_Y" role="3cqZAk" />
</node>
</node>
</node>
......
......@@ -266,5 +266,32 @@
<node concept="l2Vlx" id="5VGMV8rOnAD" role="2iSdaV" />
</node>
</node>
<node concept="24kQdi" id="23oGtExFbEZ">
<property role="3GE5qa" value="term" />
<ref role="1XX52x" to="jzuy:23oGtExEQc3" resolve="Let" />
<node concept="3EZMnI" id="1Da9ityUVFp" role="2wV5jI">
<node concept="3F0ifn" id="1Da9ityUVFA" role="3EZMnx">
<property role="3F0ifm" value="let" />
</node>
<node concept="3F0A7n" id="1Da9ityUVFM" role="3EZMnx">
<ref role="1NtTu8" to="tpck:h0TrG11" resolve="name" />
</node>
<node concept="3F0ifn" id="1Da9ityUVG4" role="3EZMnx">
<property role="3F0ifm" value="=" />
</node>
<node concept="1kIj98" id="6JCho9VC0ji" role="3EZMnx">
<node concept="3F1sOY" id="6JCho9VC0jI" role="1kIj9b">
<ref role="1NtTu8" to="jzuy:23oGtExEQcl" resolve="t1" />
</node>
</node>
<node concept="3F0ifn" id="1Da9ityUVHJ" role="3EZMnx">
<property role="3F0ifm" value="in" />
</node>
<node concept="3F1sOY" id="1Da9ityUVJ9" role="3EZMnx">
<ref role="1NtTu8" to="jzuy:23oGtExEQco" resolve="t2" />
</node>
<node concept="l2Vlx" id="1Da9ityUVFs" role="2iSdaV" />
</node>
</node>
</model>
......@@ -356,5 +356,31 @@
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
</node>
<node concept="1TIwiD" id="23oGtExEQc3">
<property role="EcuMT" value="2366837156756546307" />
<property role="3GE5qa" value="term" />
<property role="TrG5h" value="Let" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="23oGtExEQc7" role="PzmwI">
<ref role="PrY4T" node="1Da9ityUTbh" resolve="Term" />
</node>
<node concept="PrWs8" id="23oGtExEQcf" role="PzmwI">
<ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
</node>
<node concept="1TJgyj" id="23oGtExEQcl" role="1TKVEi">
<property role="IQ2ns" value="2366837156756546325" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="t1" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
<node concept="1TJgyj" id="23oGtExEQco" role="1TKVEi">
<property role="IQ2ns" value="2366837156756546328" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="t2" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
</node>
</model>
......@@ -577,6 +577,83 @@
</node>
</node>
</node>
<node concept="1F53FG" id="23oGtExOVBp" role="1FufQt" />
<node concept="1FvUVj" id="23oGtExKgXM" role="1FufQt">
<property role="TrG5h" value="infer let" />
<node concept="1FvB8F" id="23oGtExOVZu" role="1FvUVk">
<ref role="1FvB8G" node="5VGMV8rOn$1" resolve="typeOf" />
<node concept="1FvUUU" id="23oGtExOW0c" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
<node concept="1FvUUU" id="23oGtExOW0n" role="1FvB8I">
<property role="TrG5h" value="t1" />
</node>
<node concept="1FvUUU" id="23oGtExOW0I" role="1FvB8J">
<property role="TrG5h" value="T1" />
</node>
</node>
<node concept="1FvB8F" id="23oGtExOW14" role="1FvUVk">
<ref role="1FvB8G" node="5VGMV8rOn$1" resolve="typeOf" />
<node concept="27Pwox" id="23oGtExOW2b" role="1FvB8H">
<ref role="1F1YRu" to="jzuy:2_58u12e1eN" resolve="Bind" />
<node concept="bFJCQ" id="23oGtExOW2j" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1FvUUU" id="23oGtExOW2x" role="bFJCb">
<property role="TrG5h" value="name" />
</node>
</node>
<node concept="bFJCQ" id="23oGtExOW2$" role="27Pwov">
<ref role="3zVwH8" to="jzuy:2_58u12slbe" resolve="type" />
<node concept="1FvUUU" id="23oGtExOW32" role="bFJCb">
<property role="TrG5h" value="T1" />
</node>
</node>
<node concept="bFJCQ" id="23oGtExOW35" role="27Pwov">
<ref role="3zVwH8" to="jzuy:2_58u12slb9" resolve="rest" />
<node concept="1FvUUU" id="23oGtExOW3w" role="bFJCb">
<property role="TrG5h" value="C" />
</node>
</node>
</node>
<node concept="1FvUUU" id="23oGtExOW3F" role="1FvB8I">
<property role="TrG5h" value="t2" />
</node>
<node concept="1FvUUU" id="23oGtExOW3V" role="1FvB8J">
<property role="TrG5h" value="T" />
</node>
</node>
<node concept="1FvB8F" id="23oGtExOVWC" role="1FvUUP">
<ref role="1FvB8G" node="5VGMV8rOn$1" resolve="typeOf" />
<node concept="1FvUUU" id="23oGtExOVX2" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
<node concept="27Pwox" id="23oGtExOVXs" role="1FvB8I">
<ref role="1F1YRu" to="jzuy:23oGtExEQc3" resolve="Let" />
<node concept="bFJCQ" id="23oGtExOVX$" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1FvUUU" id="23oGtExOVXM" role="bFJCb">
<property role="TrG5h" value="name" />
</node>
</node>
<node concept="bFJCQ" id="23oGtExOVXP" role="27Pwov">
<ref role="3zVwH8" to="jzuy:23oGtExEQcl" resolve="t1" />
<node concept="1FvUUU" id="23oGtExOVY7" role="bFJCb">
<property role="TrG5h" value="t1" />
</node>
</node>
<node concept="bFJCQ" id="23oGtExOVYa" role="27Pwov">
<ref role="3zVwH8" to="jzuy:23oGtExEQco" resolve="t2" />
<node concept="1FvUUU" id="23oGtExOVYw" role="bFJCb">
<property role="TrG5h" value="t2" />
</node>
</node>
</node>
<node concept="1FvUUU" id="23oGtExOVYK" role="1FvB8J">
<property role="TrG5h" value="T" />
</node>
</node>
</node>
<node concept="1F53FG" id="6G$bWLkr_da" role="1FufQt" />
<node concept="1F53FG" id="5VGMV8rUm5C" role="1FufQt" />
<node concept="1FvUVj" id="2U2uJPq7S1I" role="1FufQt">
<property role="TrG5h" value="lookup found" />
......
......@@ -364,6 +364,81 @@
</node>
</node>
</node>
<node concept="1FvUVj" id="23oGtExKgXM" role="1FufQt">
<property role="TrG5h" value="infer let" />
<node concept="1FvB8F" id="23oGtExKgXN" role="1FvUUP">
<ref role="1FvB8G" node="6G$bWLkr_bf" resolve="infer" />
<node concept="1FvUUU" id="23oGtExKgXO" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
<node concept="27Pwox" id="23oGtExKgXP" role="1FvB8I">
<ref role="1F1YRu" to="xkot:1Da9ityUTcU" resolve="Let" />
<node concept="bFJCQ" id="23oGtExKh9t" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1FvUUU" id="23oGtExKh9N" role="bFJCb">
<property role="TrG5h" value="name" />
</node>
</node>
<node concept="bFJCQ" id="23oGtExKh9Q" role="27Pwov">
<ref role="3zVwH8" to="xkot:1Da9ityUTde" resolve="bound" />
<node concept="1FvUUU" id="23oGtExKha8" role="bFJCb">
<property role="TrG5h" value="t1" />
</node>
</node>
<node concept="bFJCQ" id="23oGtExKhab" role="27Pwov">
<ref role="3zVwH8" to="xkot:1Da9ityUTdi" resolve="body" />
<node concept="1FvUUU" id="23oGtExKhax" role="bFJCb">
<property role="TrG5h" value="t2" />
</node>
</node>
</node>
<node concept="1FvUUU" id="23oGtExKgXS" role="1FvB8J">
<property role="TrG5h" value="ty" />
</node>
</node>
<node concept="1FvB8F" id="23oGtExKgXT" role="1FvUVk">
<ref role="1FvB8G" node="6G$bWLkr_bf" resolve="infer" />
<node concept="1FvUUU" id="23oGtExKgXU" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
<node concept="1FvUUU" id="23oGtExKgXV" role="1FvB8I">
<property role="TrG5h" value="t1" />
</node>
<node concept="1FvUUU" id="23oGtExKgXW" role="1FvB8J">
<property role="TrG5h" value="ty1" />
</node>
</node>
<node concept="1FvB8F" id="23oGtExKhaJ" role="1FvUVk">
<ref role="1FvB8G" node="6G$bWLkr_bf" resolve="infer" />
<node concept="27Pwox" id="23oGtExKhbn" role="1FvB8H">
<ref role="1F1YRu" to="xkot:2_58u12e1eN" resolve="Bind" />
<node concept="bFJCQ" id="23oGtExKhby" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1FvUUU" id="23oGtExKhbK" role="bFJCb">
<property role="TrG5h" value="name" />
</node>
</node>
<node concept="bFJCQ" id="23oGtExKhbN" role="27Pwov">
<ref role="3zVwH8" to="xkot:2_58u12slbe" resolve="type" />
<node concept="1FvUUU" id="23oGtExKhc5" role="bFJCb">
<property role="TrG5h" value="ty1" />
</node>
</node>
<node concept="bFJCQ" id="23oGtExKhc8" role="27Pwov">
<ref role="3zVwH8" to="xkot:2_58u12slb9" resolve="rest" />
<node concept="1FvUUU" id="23oGtExKhcz" role="bFJCb">
<property role="TrG5h" value="C" />
</node>
</node>
</node>
<node concept="1FvUUU" id="23oGtExKhaL" role="1FvB8I">
<property role="TrG5h" value="t2" />
</node>
<node concept="1FvUUU" id="23oGtExKhaM" role="1FvB8J">
<property role="TrG5h" value="ty" />
</node>
</node>
</node>
<node concept="1F53FG" id="6G$bWLkr_da" role="1FufQt" />
<node concept="1F53FG" id="6G$bWLkr_db" role="1FufQt" />
<node concept="1F53FG" id="6G$bWLkr_dc" role="1FufQt" />
......
......@@ -155,27 +155,6 @@
</concept>
<concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
</language>
<language id="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07" name="pcf.lang">
<concept id="7997266186981964043" name="pcf.lang.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="6840065899900111365" name="pcf.lang.structure.NumLit" flags="ng" index="158W6R">
<property id="6840065899900111366" name="num" index="158W6O" />
</concept>
<concept id="5790571747095872620" name="pcf.lang.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
<concept id="1894367444356272930" name="pcf.lang.structure.Lam" flags="ng" index="1SCro5">
<child id="6840065899900111421" name="ty" index="158W6f" />
<child id="1894367444356272950" name="t" index="1SCroh" />
</concept>
<concept id="1894367444356272898" name="pcf.lang.structure.Add" flags="ng" index="1SCro_">
<child id="1894367444356272903" name="t1" index="1SCrow" />
<child id="1894367444356272907" name="t2" index="1SCroG" />
</concept>
<concept id="1894367444356273132" name="pcf.lang.structure.Nat" flags="ng" index="1SCrrb" />
<concept id="1894367444356272864" name="pcf.lang.structure.Var" flags="ng" index="1SCrv7" />
</language>
<language id="3a1c1f85-c745-4d04-a210-f97a7e31f9cc" name="org.inca.extensions">
<concept id="8889009408328735956" name="org.inca.extensions.structure.NodePattern" flags="ng" index="27Pwox">
<child id="8889009408328735975" name="type" index="27Pwoi" />
......@@ -4008,23 +3987,5 @@
</node>
</node>
</node>
<node concept="1gj3CZ" id="1IkJagZxeny">
<property role="TrG5h" value="Test" />
<node concept="2BHCoM" id="1IkJagZxenz" role="1gj3CY">
<property role="TrG5h" value="test" />
<node concept="1SCro5" id="7YmdsW3eGfe" role="2BHfFu">
<property role="TrG5h" value="x" />
<node concept="1SCro_" id="7YmdsW3eGfo" role="1SCroh">
<node concept="1SCrv7" id="7YmdsW3eGgd" role="1SCrow">
<property role="TrG5h" value="y" />
</node>
<node concept="158W6R" id="7YmdsW3eGg3" role="1SCroG">
<property role="158W6O" value="12" />
</node>
</node>
<node concept="1SCrrb" id="7YmdsW3eGfl" role="158W6f" />
</node>
</node>
</node>
</model>
......@@ -379,7 +379,6 @@
</node>
</node>
</node>
<node concept="1F53FG" id="6G$bWLkr_da" role="1FufQt" />
<node concept="1F53FG" id="6G$bWLkr_db" role="1FufQt" />
<node concept="1F53FG" id="6G$bWLkr_dc" role="1FufQt" />
<node concept="1FvUVj" id="6G$bWLkr_dd" role="1FufQt">
......
......@@ -29,6 +29,7 @@
<language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
<language slang="l:28f9e497-3b42-4291-aeba-0a1039153ab1:jetbrains.mps.lang.plugin" version="4" />
<language slang="l:ef7bf5ac-d06c-4342-b11d-e42104eb9343:jetbrains.mps.lang.plugin.standalone" version="0" />
<language slang="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" version="1" />
<language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="13" />
<language slang="l:c72da2b9-7cce-4447-8389-f407dc1158b7:jetbrains.mps.lang.structure" version="7" />
<language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
......
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