program: deep clone attributes in selectors

Otherwise we cannot beta-reduce parameters in them during Genie generation
stanford-oval · Nov 1, 2019 · 1f8cca3 · 1f8cca3
1 parent d32eaa2
commit 1f8cca3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/lib/ast/program.js b/lib/ast/program.js
@@ -73,7 +73,8 @@ class DeviceSelector extends Selector {
     }
 
     clone() {
-        return new DeviceSelector(this.kind, this.id, this.principal, this.attributes.slice());
+        const attributes = this.attributes.map((attr) => attr.clone());
+        return new DeviceSelector(this.kind, this.id, this.principal, attributes);
     }
 
     toString() {

diff --git a/lib/ast/slots.js b/lib/ast/slots.js
@@ -34,6 +34,7 @@ class AbstractSlot {
      * @protected
      */
     constructor(prim, scope) {
+        assert(prim || prim === null);
         this._prim = prim;