Add tuple packing/unpacking assignment. (tuples only)

cthulahoops · cthulahoops · commit a14b776a8124 · 2018-09-09T21:19:56.000+01:00
diff --git a/parser/src/parser.rs b/parser/src/parser.rs
@@ -253,6 +253,40 @@ mod tests {
         )
     }
 
+    #[test]
+    fn test_parse_tuples() {
+        let source = String::from("a, b = 4, 5\n");
+
+        assert_eq!(
+            parse_statement(&source),
+            Ok(ast::LocatedStatement {
+                location: ast::Location::new(1, 1),
+                node: ast::Statement::Assign {
+                    targets: vec![ast::Expression::Tuple {
+                        elements: vec![
+                            ast::Expression::Identifier {
+                                name: "a".to_string()
+                            },
+                            ast::Expression::Identifier {
+                                name: "b".to_string()
+                            }
+                        ]
+                    }],
+                    value: ast::Expression::Tuple {
+                        elements: vec![
+                            ast::Expression::Number {
+                                value: ast::Number::Integer { value: 4 }
+                            },
+                            ast::Expression::Number {
+                                value: ast::Number::Integer { value: 5 }
+                            }
+                        ]
+                    }
+                }
+            })
+        )
+    }
+
     #[test]
     fn test_parse_class() {
         let source = String::from("class Foo(A, B):\n def __init__(self):\n  pass\n def method_with_default(self, arg='default'):\n  pass\n");
diff --git a/parser/src/python.lalrpop b/parser/src/python.lalrpop
@@ -46,32 +46,38 @@ SmallStatement: ast::LocatedStatement = {
 };
 
 ExpressionStatement: ast::LocatedStatement = {
-  <loc:@L> <e:TestList> <e2:AssignSuffix*> => {
-    //match e2 {
-    //  None => ast::Statement::Expression { expression: e },
-    //  Some(e3) => ast::Statement::Expression { expression: e },
-    //}
-    if e2.len() > 0 {
-      // Dealing with assignment here
-      // TODO: for rhs in e2 {
-       let rhs = e2.into_iter().next().unwrap();
-       // ast::Expression::Tuple { elements: e2.into_iter().next().unwrap()
-       let v = rhs.into_iter().next().unwrap();
-       let lhs = ast::LocatedStatement {
-         location: loc.clone(),
-         node: ast::Statement::Assign { targets: e, value: v },
-       };
-      lhs
-    } else {
-      if e.len() > 1 {
-        panic!("Not good?");
-        // ast::Statement::Expression { expression: e[0] }
+  <loc:@L> <expr:TestList> <suffix:AssignSuffix*> => {
+    // Just an expression, no assignment:
+    if suffix.is_empty() {
+      if expr.len() > 1 {
+        ast::LocatedStatement {
+          location: loc.clone(),
+          node: ast::Statement::Expression { expression: ast::Expression::Tuple { elements: expr } }
+        }
       } else {
         ast::LocatedStatement {
           location: loc.clone(),
-          node: ast::Statement::Expression { expression: e.into_iter().next().unwrap() },
+          node: ast::Statement::Expression { expression: expr[0].clone() },
         }
       }
+    } else {
+      let mut targets = vec![if expr.len() > 1 {
+        ast::Expression::Tuple { elements: expr }
+      } else {
+        expr[0].clone()
+      }];
+      let mut values : Vec<ast::Expression> = suffix.into_iter().map(|test_list| if test_list.len() > 1 { ast::Expression::Tuple { elements: test_list }} else { test_list[0].clone() }).collect();
+
+      while values.len() > 1 {
+        targets.push(values.remove(0));
+      }
+
+      let value = values[0].clone();
+
+      ast::LocatedStatement {
+        location: loc.clone(),
+        node: ast::Statement::Assign { targets, value },
+      }
     }
   },
   <loc:@L> <e1:Test> <op:AugAssign> <e2:TestList> => {
@@ -120,7 +126,7 @@ FlowStatement: ast::LocatedStatement = {
   <loc:@L> "return" <t:TestList?> => {
     ast::LocatedStatement {
       location: loc,
-      node: ast::Statement::Return { value: t},
+      node: ast::Statement::Return { value: t },
     }
   },
   <loc:@L> "raise" <t:Test?> => {
diff --git a/vm/src/bytecode.rs b/vm/src/bytecode.rs
@@ -137,6 +137,9 @@ pub enum Instruction {
     PrintExpr,
     LoadBuildClass,
     StoreLocals,
+    UnpackSequence {
+        size: usize,
+    },
 }
 
 #[derive(Debug, Clone, PartialEq)]
diff --git a/vm/src/compile.rs b/vm/src/compile.rs
@@ -508,7 +508,10 @@ impl Compiler {
             ast::Statement::Assign { targets, value } => {
                 self.compile_expression(value);
 
-                for target in targets {
+                for (i, target) in targets.into_iter().enumerate() {
+                    if i + 1 != targets.len() {
+                        self.emit(Instruction::Duplicate);
+                    }
                     self.compile_store(target);
                 }
             }
@@ -548,6 +551,14 @@ impl Compiler {
                     name: name.to_string(),
                 });
             }
+            ast::Expression::Tuple { elements } => {
+                self.emit(Instruction::UnpackSequence {
+                    size: elements.len(),
+                });
+                for element in elements {
+                    self.compile_store(element);
+                }
+            }
             _ => {
                 panic!("WTF: {:?}", target);
             }
diff --git a/vm/src/vm.rs b/vm/src/vm.rs
@@ -18,6 +18,7 @@ use super::import::import;
 use super::obj::objlist;
 use super::obj::objobject;
 use super::obj::objstr;
+use super::obj::objtuple;
 use super::obj::objtype;
 use super::objbool;
 use super::pyobject::{
@@ -1045,6 +1046,19 @@ impl VirtualMachine {
                 }
                 None
             }
+            bytecode::Instruction::UnpackSequence { size } => {
+                let value = self.pop_value();
+
+                let elements = objtuple::get_elements(&value);
+                if elements.len() != *size {
+                    panic!("Wrong number of values to unpack");
+                }
+
+                for element in elements.into_iter().rev() {
+                    self.push_value(element);
+                }
+                None
+            }
         }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -137,6 +137,9 @@ pub enum Instruction {`
`137`	`137`	`PrintExpr,`
`138`	`138`	`LoadBuildClass,`
`139`	`139`	`StoreLocals,`
	`140`	`+ UnpackSequence {`
	`141`	`+ size: usize,`
	`142`	`+ },`
`140`	`143`	`}`
`141`	`144`
`142`	`145`	`#[derive(Debug, Clone, PartialEq)]`