Skip to content

GitLab

Commit 4d2cca00 authored by André Pacak's avatar André Pacak
Browse files
Options

add syntax-directed flag to declaration, do only create projections for... 

add syntax-directed flag to declaration, do only create projections for declarations with syntax-directed flag
parent d2b2c4ff
Hide whitespace changes
Inline Side-by-side
Showing with 112 additions and 41 deletions
inca-translation/languages/TypeLang/generator/template/main@generator.mps
View file @ 4d2cca00
......@@ -755,7 +755,6 @@
</node>
</node>
<node concept="3clFbH" id="7oauUztmQbs" role="3cqZAp" />
<node concept="3clFbH" id="7oauUzuq8hk" role="3cqZAp" />
<node concept="3SKdUt" id="7oauUztyzED" role="3cqZAp">
<node concept="3SKdUq" id="7oauUztyzEF" role="3SKWNk">
<property role="3SKdUp" value="create projection declarations for each infinite input that is non-user" />
......@@ -763,6 +762,23 @@
</node>
<node concept="1DcWWT" id="7oauUztmAEb" role="3cqZAp">
<node concept="3clFbS" id="7oauUztmAEd" role="2LFqv$">
<node concept="3clFbJ" id="7TgNhRb89JK" role="3cqZAp">
<node concept="3clFbS" id="7TgNhRb89JL" role="3clFbx">
<node concept="3N13vt" id="7TgNhRb89JM" role="3cqZAp" />
</node>
<node concept="3clFbC" id="7TgNhRb89JN" role="3clFbw">
<node concept="2OqwBi" id="7TgNhRb89JO" role="3uHU7B">
<node concept="37vLTw" id="7TgNhRb89JP" role="2Oq$k0">
<ref role="3cqZAo" node="7oauUztmAEe" resolve="declaration" />
</node>
<node concept="3TrEf2" id="7TgNhRb89JQ" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:7TgNhRaTdk1" resolve="syntaxDirected" />
</node>
</node>
<node concept="10Nm6u" id="7TgNhRb89JR" role="3uHU7w" />
</node>
</node>
<node concept="3clFbH" id="7TgNhRb88_i" role="3cqZAp" />
<node concept="3cpWs8" id="7oauUztmNqn" role="3cqZAp">
<node concept="3cpWsn" id="7oauUztmNqo" role="3cpWs9">
<property role="TrG5h" value="nonUserInputSorts" />
......
inca-translation/languages/TypeLang/models/editor.mps
View file @ 4d2cca00
......@@ -919,6 +919,13 @@
<node concept="3F0A7n" id="2_58u12fi1D" role="3EZMnx">
<ref role="1NtTu8" to="tpck:h0TrG11" resolve="name" />
</node>
<node concept="1kIj98" id="7TgNhRaYVA2" role="3EZMnx">
<node concept="_tjkj" id="7TgNhRaTdkz" role="1kIj9b">
<node concept="3F1sOY" id="7TgNhRaTdkX" role="_tjki">
<ref role="1NtTu8" to="b83y:7TgNhRaTdk1" resolve="syntaxDirected" />
</node>
</node>
</node>
<node concept="3F1sOY" id="2_58u12fi1Y" role="3EZMnx">
<ref role="1NtTu8" to="b83y:2_58u12eLDF" resolve="pre" />
<node concept="pVoyu" id="2_58u12_ODp" role="3F10Kt">
......@@ -947,6 +954,13 @@
<node concept="3F0A7n" id="2_58u12fi2N" role="3EZMnx">
<ref role="1NtTu8" to="tpck:h0TrG11" resolve="name" />
</node>
<node concept="1kIj98" id="7TgNhRaYVB_" role="3EZMnx">
<node concept="_tjkj" id="7TgNhRaTdlG" role="1kIj9b">
<node concept="3F1sOY" id="7TgNhRaTdm6" role="_tjki">
<ref role="1NtTu8" to="b83y:7TgNhRaTdk1" resolve="syntaxDirected" />
</node>
</node>
</node>
<node concept="3F1sOY" id="2_58u12fi2O" role="3EZMnx">
<ref role="1NtTu8" to="b83y:2_58u12eLE1" resolve="pre" />
<node concept="pVoyu" id="2_58u12mvLm" role="3F10Kt">
......@@ -981,6 +995,13 @@
<node concept="3F0A7n" id="2_58u12fi4l" role="3EZMnx">
<ref role="1NtTu8" to="tpck:h0TrG11" resolve="name" />
</node>
<node concept="1kIj98" id="7TgNhRaWbDu" role="3EZMnx">
<node concept="_tjkj" id="7TgNhRaTdmX" role="1kIj9b">
<node concept="3F1sOY" id="7TgNhRaTdnv" role="_tjki">
<ref role="1NtTu8" to="b83y:7TgNhRaTdk1" resolve="syntaxDirected" />
</node>
</node>
</node>
<node concept="3F1sOY" id="2_58u12fi4m" role="3EZMnx">
<ref role="1NtTu8" to="b83y:2_58u12eLEc" resolve="pre" />
<node concept="pVoyu" id="2_58u12mvL8" role="3F10Kt">
......@@ -1511,6 +1532,13 @@
<node concept="3F0A7n" id="2U2uJPq3W7J" role="3EZMnx">
<ref role="1NtTu8" to="tpck:h0TrG11" resolve="name" />
</node>
<node concept="1kIj98" id="7TgNhRaYV$x" role="3EZMnx">
<node concept="_tjkj" id="7TgNhRaYV_7" role="1kIj9b">
<node concept="3F1sOY" id="7TgNhRaYV_j" role="_tjki">
<ref role="1NtTu8" to="b83y:7TgNhRaTdk1" resolve="syntaxDirected" />
</node>
</node>
</node>
<node concept="3F1sOY" id="2U2uJPq3W7K" role="3EZMnx">
<ref role="1NtTu8" to="b83y:2U2uJPq3W77" resolve="pre" />
<node concept="pVoyu" id="2U2uJPq3W7L" role="3F10Kt">
......@@ -1805,5 +1833,12 @@
<node concept="l2Vlx" id="2U2uJPpPnXd" role="2iSdaV" />
</node>
</node>
<node concept="24kQdi" id="7TgNhRaTdkc">
<property role="3GE5qa" value="judgment" />
<ref role="1XX52x" to="b83y:7TgNhRaTdk0" resolve="SyntaxDirectedFlag" />
<node concept="3F0ifn" id="7TgNhRaTdke" role="2wV5jI">
<property role="3F0ifm" value="syntax directed" />
</node>
</node>
</model>
inca-translation/languages/TypeLang/models/structure.mps
View file @ 4d2cca00
......@@ -223,6 +223,12 @@
<node concept="PrWs8" id="2_58u12khG6" role="PrDN$">
<ref role="PrY4T" node="2_58u12khFL" resolve="TypeLangModuleContent" />
</node>
<node concept="1TJgyj" id="7TgNhRaTdk1" role="1TKVEi">
<property role="IQ2ns" value="9102000374757512449" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="syntaxDirected" />
<ref role="20lvS9" node="7TgNhRaTdk0" resolve="SyntaxDirectedFlag" />
</node>
</node>
<node concept="1TIwiD" id="2_58u12eLE0">
<property role="EcuMT" value="2973820376015641216" />
......@@ -853,5 +859,12 @@
<ref role="PrY4T" node="2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
<node concept="1TIwiD" id="7TgNhRaTdk0">
<property role="EcuMT" value="9102000374757512448" />
<property role="3GE5qa" value="judgment" />
<property role="TrG5h" value="SyntaxDirectedFlag" />
<property role="34LRSv" value="syntax directed" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
</model>
inca-translation/solutions/TypeLangTest/models/test_single.mps
View file @ 4d2cca00
......@@ -7,6 +7,7 @@
<imports>
<import index="5va7" ref="r:568f7667-a603-4374-adfa-c84f4fd5dac3(STLCN.structure)" />
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" />
<import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" implicit="true" />
</imports>
<registry>
<language id="ab9b5480-36a1-4fc2-9c9d-f0faa4fc1b71" name="TypeLang">
......@@ -18,6 +19,7 @@
<reference id="1925259677761400369" name="interfacePart" index="3zVwH8" />
<child id="7089330371250923106" name="pattern" index="bFJCb" />
</concept>
<concept id="9102000374757512448" name="TypeLang.structure.SyntaxDirectedFlag" flags="ng" index="2OH1wt" />
<concept id="7720348215856438701" name="TypeLang.structure.SortUserMode" flags="ng" index="Zlr9x" />
<concept id="2973820376017083148" name="TypeLang.structure.EmptyContent" flags="ng" index="1F53FG" />
<concept id="2973820376019395340" name="TypeLang.structure.JudgmentInstanceEq" flags="ng" index="1FckbG">
......@@ -48,6 +50,9 @@
<child id="2973820376015642566" name="delimiter3" index="1FvzSA" />
<child id="2973820376015642543" name="delimiter1" index="1FvzTf" />
</concept>
<concept id="2973820376015641198" name="TypeLang.structure.JudgmentDeclaration" flags="ng" index="1FvzIe">
<child id="9102000374757512449" name="syntaxDirected" index="2OH1ws" />
</concept>
<concept id="2973820376015655883" name="TypeLang.structure.JudgmentInstance3" flags="ng" index="1FvB8F">
<reference id="2973820376015655884" name="judgment" index="1FvB8G" />
<child id="2973820376015655885" name="arg1" index="1FvB8H" />
......@@ -94,53 +99,55 @@
</registry>
<node concept="1FtGHe" id="6G$bWLkr_bd">
<property role="TrG5h" value="BidirectionalSTLCN_1" />
<node concept="1F53FG" id="6G$bWLkr_be" role="1FufQt" />
<node concept="1FvzHF" id="6G$bWLkr_bf" role="1FufQt">
<node concept="1FvzHF" id="7TgNhRaYE_Y" role="1FufQt">
<property role="TrG5h" value="infer" />
<node concept="1FtGIX" id="6G$bWLkr_bg" role="1FvzHG" />
<node concept="1FtGBS" id="6G$bWLkr_bh" role="1FvzHH">
<node concept="2OH1wt" id="7TgNhRaYE_W" role="2OH1ws" />
<node concept="1FtGIX" id="7TgNhRaYEHH" role="1FvzHG" />
<node concept="1FtGBS" id="7TgNhRaYEHK" role="1FvzHH">
<ref role="1FtGBW" to="5va7:2_58u12slaZ" resolve="Context" />
<node concept="1FtGIS" id="2U2uJPpfXpZ" role="1FtGIM" />
<node concept="1FtGIS" id="7TgNhRaYEHQ" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkr_bj" role="1FvzTf">
<node concept="1FtGIX" id="7TgNhRaYEHU" role="1FvzTf">
<property role="1FtGIY" value="|-" />
</node>
<node concept="1FtGBS" id="6G$bWLkr_bk" role="1FvzHI">
<node concept="1FtGBS" id="7TgNhRaYEHX" role="1FvzHI">
<ref role="1FtGBW" to="5va7:1Da9ityUTbh" resolve="Term" />
<node concept="Zlr9x" id="2U2uJPpfXqa" role="1FtGIM" />
<node concept="Zlr9x" id="7TgNhRaYEI3" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkr_bm" role="1FsQh1">
<node concept="1FtGIX" id="7TgNhRaYEI7" role="1FsQh1">
<property role="1FtGIY" value="=&gt;" />
</node>
<node concept="1FtGBS" id="6G$bWLkr_bn" role="1FvzHK">
<ref role="1FtGBW" to="5va7:1Da9ityUTef" resolve="Type" />
<node concept="1FtGIT" id="2U2uJPpfXqd" role="1FtGIM" />
<node concept="1FtGBS" id="7TgNhRaYEIa" role="1FvzHK">
<ref role="1FtGBW" to="tpee:fz3vP1H" resolve="Type" />
<node concept="1FtGIT" id="7TgNhRaYEIg" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkr_bp" role="1FvzSA" />
<node concept="1FtGIX" id="7TgNhRaYEIk" role="1FvzSA" />
</node>
<node concept="1FvzHF" id="6G$bWLkr_bq" role="1FufQt">
<node concept="1FvzHF" id="7TgNhRaYFBG" role="1FufQt">
<property role="TrG5h" value="check" />
<node concept="1FtGIX" id="6G$bWLkr_br" role="1FvzHG" />
<node concept="1FtGBS" id="6G$bWLkr_bs" role="1FvzHH">
<node concept="2OH1wt" id="7TgNhRaYFBE" role="2OH1ws" />
<node concept="1FtGIX" id="7TgNhRaYFJL" role="1FvzHG" />
<node concept="1FtGBS" id="7TgNhRaYFJO" role="1FvzHH">
<ref role="1FtGBW" to="5va7:2_58u12slaZ" resolve="Context" />
<node concept="1FtGIS" id="2U2uJPpfXB0" role="1FtGIM" />
<node concept="1FtGIS" id="7TgNhRaYFJU" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkr_bu" role="1FvzTf">
<node concept="1FtGIX" id="7TgNhRaYFJY" role="1FvzTf">
<property role="1FtGIY" value="|-" />
</node>
<node concept="1FtGBS" id="6G$bWLkr_bv" role="1FvzHI">
<node concept="1FtGBS" id="7TgNhRaYFK1" role="1FvzHI">
<ref role="1FtGBW" to="5va7:1Da9ityUTbh" resolve="Term" />
<node concept="Zlr9x" id="2U2uJPpfXB3" role="1FtGIM" />
<node concept="Zlr9x" id="7TgNhRaYFK7" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkr_bx" role="1FsQh1">
<node concept="1FtGIX" id="7TgNhRaYFKb" role="1FsQh1">
<property role="1FtGIY" value="&lt;=" />
</node>
<node concept="1FtGBS" id="6G$bWLkr_by" role="1FvzHK">
<ref role="1FtGBW" to="5va7:1Da9ityUTef" resolve="Type" />
<node concept="1FtGIS" id="2U2uJPpfXB6" role="1FtGIM" />
<node concept="1FtGBS" id="7TgNhRaYFKe" role="1FvzHK">
<ref role="1FtGBW" to="tpee:fz3vP1H" resolve="Type" />
<node concept="1FtGIS" id="7TgNhRaYFKk" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkr_b$" role="1FvzSA" />
<node concept="1FtGIX" id="7TgNhRaYFKo" role="1FvzSA" />
</node>
<node concept="1F53FG" id="6G$bWLkr_be" role="1FufQt" />
<node concept="1FvzHF" id="6G$bWLkr_b_" role="1FufQt">
<property role="TrG5h" value="lookup" />
<node concept="1FtGIX" id="6G$bWLkr_bA" role="1FvzHG">
......@@ -223,7 +230,7 @@
<node concept="1FvUVj" id="6G$bWLkr_bX" role="1FufQt">
<property role="TrG5h" value="infer Zero" />
<node concept="1FvB8F" id="6G$bWLkr_bY" role="1FvUUP">
<ref role="1FvB8G" node="6G$bWLkr_bf" resolve="infer" />
<ref role="1FvB8G" node="7TgNhRaYE_Y" resolve="infer" />
<node concept="1FvUUU" id="6G$bWLkr_bZ" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
......@@ -239,7 +246,7 @@
<node concept="1FvUVj" id="6G$bWLkr_c3" role="1FufQt">
<property role="TrG5h" value="infer Succ" />
<node concept="1FvB8F" id="6G$bWLkr_c4" role="1FvUUP">
<ref role="1FvB8G" node="6G$bWLkr_bf" resolve="infer" />
<ref role="1FvB8G" node="7TgNhRaYE_Y" resolve="infer" />
<node concept="1FvUUU" id="6G$bWLkr_c5" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
......@@ -257,7 +264,7 @@
</node>
</node>
<node concept="1FvB8F" id="6G$bWLkr_ca" role="1FvUVk">
<ref role="1FvB8G" node="6G$bWLkr_bq" resolve="check" />
<ref role="1FvB8G" node="7TgNhRaYFBG" resolve="check" />
<node concept="1FvUUU" id="6G$bWLkr_cb" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
......@@ -273,7 +280,7 @@
<node concept="1FvUVj" id="6G$bWLkr_cf" role="1FufQt">
<property role="TrG5h" value="infer Var" />
<node concept="1FvB8F" id="6G$bWLkr_cg" role="1FvUUP">
<ref role="1FvB8G" node="6G$bWLkr_bf" resolve="infer" />
<ref role="1FvB8G" node="7TgNhRaYE_Y" resolve="infer" />
<node concept="1FvUUU" id="6G$bWLkr_ch" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
......@@ -306,7 +313,7 @@
<node concept="1FvUVj" id="6G$bWLkr_cr" role="1FufQt">
<property role="TrG5h" value="infer Anno" />
<node concept="1FvB8F" id="6G$bWLkr_cs" role="1FvUUP">
<ref role="1FvB8G" node="6G$bWLkr_bf" resolve="infer" />
<ref role="1FvB8G" node="7TgNhRaYE_Y" resolve="infer" />
<node concept="1FvUUU" id="6G$bWLkr_ct" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
......@@ -330,7 +337,7 @@
</node>
</node>
<node concept="1FvB8F" id="6G$bWLkr_c$" role="1FvUVk">
<ref role="1FvB8G" node="6G$bWLkr_bq" resolve="check" />
<ref role="1FvB8G" node="7TgNhRaYFBG" resolve="check" />
<node concept="1FvUUU" id="6G$bWLkr_c_" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
......@@ -346,7 +353,7 @@
<node concept="1FvUVj" id="6G$bWLkr_cD" role="1FufQt">
<property role="TrG5h" value="infer App" />
<node concept="1FvB8F" id="6G$bWLkr_cE" role="1FvUUP">
<ref role="1FvB8G" node="6G$bWLkr_bf" resolve="infer" />
<ref role="1FvB8G" node="7TgNhRaYE_Y" resolve="infer" />
<node concept="1FvUUU" id="6G$bWLkr_cF" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
......@@ -370,7 +377,7 @@
</node>
</node>
<node concept="1FvB8F" id="6G$bWLkr_cM" role="1FvUVk">
<ref role="1FvB8G" node="6G$bWLkr_bf" resolve="infer" />
<ref role="1FvB8G" node="7TgNhRaYE_Y" resolve="infer" />
<node concept="1FvUUU" id="6G$bWLkr_cN" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
......@@ -394,7 +401,7 @@
</node>
</node>
<node concept="1FvB8F" id="6G$bWLkr_cU" role="1FvUVk">
<ref role="1FvB8G" node="6G$bWLkr_bq" resolve="check" />
<ref role="1FvB8G" node="7TgNhRaYFBG" resolve="check" />
<node concept="1FvUUU" id="6G$bWLkr_cV" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
......@@ -410,7 +417,7 @@
<node concept="1FvUVj" id="6G$bWLkr_cZ" role="1FufQt">
<property role="TrG5h" value="infer Parens" />
<node concept="1FvB8F" id="6G$bWLkr_d0" role="1FvUUP">
<ref role="1FvB8G" node="6G$bWLkr_bf" resolve="infer" />
<ref role="1FvB8G" node="7TgNhRaYE_Y" resolve="infer" />
<node concept="1FvUUU" id="6G$bWLkr_d1" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
......@@ -428,7 +435,7 @@
</node>
</node>
<node concept="1FvB8F" id="6G$bWLkr_d6" role="1FvUVk">
<ref role="1FvB8G" node="6G$bWLkr_bf" resolve="infer" />
<ref role="1FvB8G" node="7TgNhRaYE_Y" resolve="infer" />
<node concept="1FvUUU" id="6G$bWLkr_d7" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
......@@ -446,7 +453,7 @@
<node concept="1FvUVj" id="6G$bWLkr_dd" role="1FufQt">
<property role="TrG5h" value="check Lam" />
<node concept="1FvB8F" id="6G$bWLkr_de" role="1FvUUP">
<ref role="1FvB8G" node="6G$bWLkr_bq" resolve="check" />
<ref role="1FvB8G" node="7TgNhRaYFBG" resolve="check" />
<node concept="1FvUUU" id="6G$bWLkr_df" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
......@@ -482,7 +489,7 @@
</node>
</node>
<node concept="1FvB8F" id="6G$bWLkr_dq" role="1FvUVk">
<ref role="1FvB8G" node="6G$bWLkr_bq" resolve="check" />
<ref role="1FvB8G" node="7TgNhRaYFBG" resolve="check" />
<node concept="27Pwox" id="6G$bWLkr_dr" role="1FvB8H">
<ref role="1F1YRu" to="5va7:2_58u12e1eN" resolve="Bind" />
<node concept="bFJCQ" id="6G$bWLkr_ds" role="27Pwov">
......@@ -516,7 +523,7 @@
<node concept="1FvUVj" id="6G$bWLkr_d_" role="1FufQt">
<property role="TrG5h" value="check inferred" />
<node concept="1FvB8F" id="6G$bWLkr_dA" role="1FvUUP">
<ref role="1FvB8G" node="6G$bWLkr_bq" resolve="check" />
<ref role="1FvB8G" node="7TgNhRaYFBG" resolve="check" />
<node concept="1FvUUU" id="6G$bWLkr_dB" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
......@@ -528,7 +535,7 @@
</node>
</node>
<node concept="1FvB8F" id="6G$bWLkr_dE" role="1FvUVk">
<ref role="1FvB8G" node="6G$bWLkr_bf" resolve="infer" />
<ref role="1FvB8G" node="7TgNhRaYE_Y" resolve="infer" />
<node concept="1FvUUU" id="6G$bWLkr_dF" role="1FvB8H">
<property role="TrG5h" value="C" />
</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