Function func = domain.GetFunc (name);
for (node = node.FirstChild; node != null; node = node.NextSibling)
- if (node.Name != Qdescription
- && node.Name != Qargs)
- break;
+ {
+ if (node.Name != Qdescription
+ && node.Name != Qargs)
+ break;
+ Console.WriteLine ("skipping " + node.Name);
+ }
+
Term[] body = Parse (domain, node, null);
if (is_defun)
((Function.Lambda) func).SetBody (body);