From e4adffe2a36f76c510b43723742a3beebb6dde39 Mon Sep 17 00:00:00 2001
From: "Mihail.Buryakov" <Mihail.Buryakov@jetbrains.com>
Date: Wed, 19 Aug 2015 16:40:32 +0200
Subject: [PATCH] improve template for 'new class': now works only with
 explicit parameters

---
 .../typesystem2/samplechecker/template.mps    | 73 ++++++++++++++++++-
 1 file changed, 72 insertions(+), 1 deletion(-)

diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps
index 85d6d901..68126206 100644
--- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps
+++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps
@@ -756,7 +756,9 @@
                 </node>
                 <node concept="3cpWsn" id="7gr_romgQqC" role="1Duv9x">
                   <property role="TrG5h" value="arg" />
-                  <node concept="3Tqbb2" id="7gr_romgRwQ" role="1tU5fm" />
+                  <node concept="3Tqbb2" id="7gr_romgRwQ" role="1tU5fm">
+                    <ref role="ehGHo" to="tpee:fz3vP1J" resolve="Expression" />
+                  </node>
                 </node>
                 <node concept="37vLTw" id="7gr_romgT94" role="1DdaDG">
                   <ref role="3cqZAo" node="7gr_romgT90" resolve="args" />
@@ -779,6 +781,24 @@
               <property role="TrG5h" value="CT" />
             </node>
           </node>
+          <node concept="3X$Joe" id="3g$8GQCfPvC" role="3cqZAp">
+            <node concept="aZer4" id="3g$8GQCfPw0" role="3XD1gS">
+              <property role="TrG5h" value="TP" />
+              <node concept="aYllk" id="3g$8GQCfPw9" role="aZjLW">
+                <node concept="2OqwBi" id="3g$8GQCfR5o" role="aYrYs">
+                  <node concept="2OqwBi" id="3g$8GQCfPyH" role="2Oq$k0">
+                    <node concept="3A2sRY" id="3g$8GQCfPwg" role="2Oq$k0">
+                      <ref role="3A2yKK" node="7gr_romfSfn" resolve="cc" />
+                    </node>
+                    <node concept="3Tsc0h" id="3g$8GQCfQiV" role="2OqNvi">
+                      <ref role="3TtcxE" to="tpee:hDpMfZw" />
+                    </node>
+                  </node>
+                  <node concept="34oBXx" id="3g$8GQCfTaQ" role="2OqNvi" />
+                </node>
+              </node>
+            </node>
+          </node>
           <node concept="3Aqczg" id="3g$8GQBLyNN" role="3cqZAp">
             <node concept="AVZhr" id="3g$8GQBLyNF" role="3Aqpz8">
               <node concept="aYllk" id="3g$8GQBLyNH" role="2pcbIn">
@@ -808,6 +828,57 @@
                   </node>
                 </node>
               </node>
+              <node concept="a7P8L" id="3g$8GQChilZ" role="3A0MwX">
+                <ref role="a7OzE" node="3g$8GQCfPw0" resolve="TP" />
+              </node>
+            </node>
+          </node>
+          <node concept="3cpWs8" id="3g$8GQCkt5V" role="3cqZAp">
+            <node concept="3cpWsn" id="3g$8GQCkt5Y" role="3cpWs9">
+              <property role="TrG5h" value="i" />
+              <node concept="10Oyi0" id="3g$8GQCkt5T" role="1tU5fm" />
+              <node concept="3cmrfG" id="3g$8GQCkt6C" role="33vP2m">
+                <property role="3cmrfH" value="1" />
+              </node>
+            </node>
+          </node>
+          <node concept="1DcWWT" id="3g$8GQCkt8C" role="3cqZAp">
+            <node concept="3clFbS" id="3g$8GQCkt8E" role="2LFqv$">
+              <node concept="3clFbF" id="3g$8GQCkDub" role="3cqZAp">
+                <node concept="2YIFZM" id="3g$8GQCkOon" role="3clFbG">
+                  <ref role="37wK5l" node="7mm1a3qNU4M" resolve="newType_recursive_pattern" />
+                  <ref role="1Pybhc" node="bNMVLgEtTD" resolve="TypeConstraintUtil" />
+                  <node concept="3A9UF8" id="3g$8GQCkOoo" role="37wK5m">
+                    <node concept="a7P8L" id="3g$8GQCkOop" role="3A9W3M">
+                      <ref role="a7OzE" node="3g$8GQCfPw0" resolve="TP" />
+                      <node concept="aYllk" id="3g$8GQCkOoq" role="aYIAd">
+                        <node concept="3uNrnE" id="3g$8GQCkOor" role="aYrYs">
+                          <node concept="37vLTw" id="3g$8GQCkOos" role="2$L3a6">
+                            <ref role="3cqZAo" node="3g$8GQCkt5Y" resolve="i" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="37vLTw" id="3g$8GQCkOot" role="37wK5m">
+                    <ref role="3cqZAo" node="3g$8GQCkt8F" resolve="typeParam" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3cpWsn" id="3g$8GQCkt8F" role="1Duv9x">
+              <property role="TrG5h" value="typeParam" />
+              <node concept="3Tqbb2" id="3g$8GQCktft" role="1tU5fm">
+                <ref role="ehGHo" to="tpee:fz3vP1H" resolve="Type" />
+              </node>
+            </node>
+            <node concept="2OqwBi" id="3g$8GQCkuIV" role="1DdaDG">
+              <node concept="3A2sRY" id="3g$8GQCkuCJ" role="2Oq$k0">
+                <ref role="3A2yKK" node="7gr_romfSfn" resolve="cc" />
+              </node>
+              <node concept="3Tsc0h" id="3g$8GQCkv_G" role="2OqNvi">
+                <ref role="3TtcxE" to="tpee:hDpMfZw" />
+              </node>
             </node>
           </node>
           <node concept="3Aqczg" id="61vfVfp7pcb" role="3cqZAp">