[Heavy] Fix tests for lists

Author: ricejasonf

heavy/lib/Mlir.cpp

@@ -126,6 +126,17 @@ void create_op_impl(Context& C, ValueRefs Args) {
 
   // operands
   for (heavy::Value V : Operands->getElements()) {
+    // FIXME
+    // Implicitly unwrapping lists here because
+    // unquote-splicing is not implemented.
+    if (isa<heavy::Pair, heavy::Empty>(V)) {
+      for (heavy::Value V2 : V) {
+        auto MVal = getTagged<mlir::Value>(C, kind::mlir_value, V2);
+        if (!MVal)
+          return C.RaiseError("expecting mlir.value", V2);
+        OpState.operands.push_back(MVal);
+      }
+    }
     auto MVal = getTagged<mlir::Value>(C, kind::mlir_value, V);
     if (!MVal)
       return C.RaiseError("expecting mlir.value", V);

heavy/test/Evaluate/list.scm

@@ -2,7 +2,6 @@
 (import (heavy base))
 
 ; CHECK: (1 2 "yo")
-; COM:CHECK: (1 2 . "yo")
 (write (list 1 2 "yo"))(newline)
 
 (define nums (list 1 2 3))
@@ -34,33 +33,48 @@
 (write nums)(newline)
 
 ;; List Formals
-; CHECK-NEXT #t
+; CHECK-NEXT: #t
 (write
   ((lambda args
      (null? args))))
 (newline)
 
-; CHECK-NEXT (1 2 4 5 6)
+; CHECK-NEXT: (1 2 4 5 6)
 (write
   ((lambda args
      args)
    1 2 4 5 6))
 (newline)
 
-; CHECK-NEXT (foo bar 4 5 6)
+; CHECK-NEXT: #(1 ())
+(write
+  ((lambda (arg . args)
+     #(arg args))
+   1))
+(newline)
+
+; CHECK-NEXT: #(1 (2))
+(write
+  ((lambda (arg . args)
+     #(arg args))
+   1 2))
+(newline)
+
+; CHECK-NEXT: (foo bar 4 5 6)
 (write
   ((lambda (foo . bar)
      (append foo bar))
    '(foo bar) 4 5 6))
 (newline)
-; CHECK-NEXT (foo bar 4 5 6)
+
+; CHECK-NEXT: (foo bar 4 5 6)
 (write
   ((lambda (foo . bar)
      (append foo bar))
    '(foo bar) 4 5 6))
 (newline)
 
-; CHECK-NEXT (foo bar 4 5 6)
+; CHECK-NEXT: (foo bar 4 5 6)
 (write
   ((lambda (foo bar . baz)
      (append foo (list bar) baz))