From da25d80152fb6e51fe695dcd2ebaa4e00a7ee646 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Thu, 24 Aug 2006 14:03:39 +0000
Subject: * Strict evaluation and XML printing of lists.

---
 src/nix-instantiate/main.cc | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'src/nix-instantiate')

diff --git a/src/nix-instantiate/main.cc b/src/nix-instantiate/main.cc
index 5eaaf5b2a844..6a0586a2d86d 100644
--- a/src/nix-instantiate/main.cc
+++ b/src/nix-instantiate/main.cc
@@ -47,7 +47,7 @@ static void printTermAsXML(Expr e, XMLWriter & doc)
     XMLAttrs attrs;
     ATerm s;
     int i;
-    ATermList as, formals;
+    ATermList as, es, formals;
     ATerm body, pos;
 
     if (matchStr(e, s))
@@ -84,6 +84,12 @@ static void printTermAsXML(Expr e, XMLWriter & doc)
         }
     }
 
+    else if (matchList(e, es)) {
+        XMLOpenElement _(doc, "list");
+        for (ATermIterator i(es); i; ++i)
+            printTermAsXML(*i, doc);
+    }
+
     else if (matchFunction(e, formals, body, pos)) {
         XMLOpenElement _(doc, "function");
         
-- 
cgit 1.4.1