From 0788ec24e6a9eab26329e0c8a0b98313e1b64cd9 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Fri, 6 Mar 2009 15:18:59 +0000
Subject: [PATCH] * Export all relevant info about the derivation.

---
 src/c/eval-jobs.cc | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/src/c/eval-jobs.cc b/src/c/eval-jobs.cc
index 93183c6e..9ff28f54 100644
--- a/src/c/eval-jobs.cc
+++ b/src/c/eval-jobs.cc
@@ -32,7 +32,8 @@ static void findJobs(EvalState & state, XMLWriter & doc,
     
     e = evalExpr(state, e);
 
-    ATermList as, es;
+    ATermList as, es, formals;
+    ATermBool ellipsis;
     ATerm pat, body, pos;
     string s;
     PathSet context;
@@ -69,8 +70,15 @@ static void findJobs(EvalState & state, XMLWriter & doc,
         }
     }
 
-    else if (matchFunction(e, pat, body, pos)) {
+    else if (matchFunction(e, pat, body, pos) && matchAttrsPat(pat, formals, ellipsis)) {
         std::cerr << "function\n";
+
+        ATermMap actualArgs(ATgetLength(formals));
+        
+        for (ATermIterator i(formals); i; ++i) {
+            Expr name, def, value; ATerm def2;
+            if (!matchFormal(*i, name, def2)) abort();
+        }
     }
         
     else