From 7fa0207a2baeb5ae5a335115d8804efc0c8c8bb4 Mon Sep 17 00:00:00 2001
From: "Mihail.Buryakov" <Mihail.Buryakov@jetbrains.com>
Date: Tue, 25 Aug 2015 12:44:37 +0200
Subject: [PATCH] support copying multiple bounds (0..n) with boundCopy

---
 .../typesystem2/samplechecker/template.mps    | 42 ++++++++++++++++++-
 1 file changed, 40 insertions(+), 2 deletions(-)

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 cb6184e2..aecf1e51 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
@@ -11612,7 +11612,7 @@
         </node>
       </node>
       <node concept="3Aq93q" id="29pT9jNTstx" role="3orSU4">
-        <property role="3ArMco" value="false" />
+        <property role="3ArMco" value="true" />
         <node concept="3clFbS" id="29pT9jNTstB" role="3Aqf5P">
           <node concept="3X$14a" id="29pT9jNTsu1" role="3cqZAp">
             <node concept="aZer4" id="29pT9jNTsu6" role="3XD1gS">
@@ -11675,7 +11675,7 @@
         </node>
       </node>
       <node concept="3Aq93q" id="29pT9jNTswG" role="3orSU4">
-        <property role="3ArMco" value="false" />
+        <property role="3ArMco" value="true" />
         <node concept="3clFbS" id="29pT9jNTswH" role="3Aqf5P">
           <node concept="3X$14a" id="29pT9jNTswI" role="3cqZAp">
             <node concept="aZer4" id="29pT9jNTswJ" role="3XD1gS">
@@ -11720,6 +11720,44 @@
         </node>
       </node>
     </node>
+    <node concept="AVZhu" id="1j288Bf_URQ" role="3ArX_J">
+      <property role="TrG5h" value="boundCopy_catchAll" />
+      <node concept="3Aq9E8" id="1j288Bf_URW" role="3otmyu">
+        <node concept="3clFbS" id="1j288Bf_US2" role="3Aqf5P">
+          <node concept="3Aqczg" id="1j288Bf_UX6" role="3cqZAp">
+            <node concept="3wWvb2" id="1j288Bf_UXb" role="3Aqpz8">
+              <node concept="3clFbT" id="1j288Bf_UXa" role="3wWo3s">
+                <property role="3clFbU" value="true" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Aq93q" id="1j288Bf_US8" role="3orSU4">
+        <property role="3ArMco" value="false" />
+        <node concept="3clFbS" id="1j288Bf_USe" role="3Aqf5P">
+          <node concept="3X$14a" id="1j288Bf_UU9" role="3cqZAp">
+            <node concept="aZer4" id="1j288Bf_UUa" role="3XD1gS">
+              <property role="TrG5h" value="A" />
+            </node>
+            <node concept="aZer4" id="1j288Bf_UUb" role="3XD1gS">
+              <property role="TrG5h" value="B" />
+            </node>
+          </node>
+          <node concept="3Aqczg" id="1j288Bf_UUc" role="3cqZAp">
+            <node concept="3Aqt3T" id="1j288Bf_UUd" role="3Aqpz8">
+              <ref role="3AqCNq" node="29pT9jNTsse" resolve="boundCopy" />
+              <node concept="a7P8L" id="1j288Bf_UUe" role="3AunhB">
+                <ref role="a7OzE" node="1j288Bf_UUa" resolve="A" />
+              </node>
+              <node concept="a7P8L" id="1j288Bf_UUf" role="3AunhB">
+                <ref role="a7OzE" node="1j288Bf_UUb" resolve="B" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="AVZhu" id="3K_0akSspgy" role="3ArX_J">
       <property role="TrG5h" value="lbound_excess" />
       <node concept="3Aq9_M" id="3K_0akSspku" role="3oo59u">