summaryrefslogtreecommitdiff
path: root/Chalice/src/Resolver.scala
diff options
context:
space:
mode:
authorGravatar kyessenov <unknown>2010-08-22 07:38:11 +0000
committerGravatar kyessenov <unknown>2010-08-22 07:38:11 +0000
commit1b845564918d06c7aca9f35421ccd1dccee3df01 (patch)
tree93d05e411cebe6939f2cfad3c8658d4ada155ee0 /Chalice/src/Resolver.scala
parent747f201231e03caee7289d03b1e2a29dacae7635 (diff)
Chalice: limited functions are still problematic (see Calculator.chalice)
Diffstat (limited to 'Chalice/src/Resolver.scala')
-rw-r--r--Chalice/src/Resolver.scala11
1 files changed, 5 insertions, 6 deletions
diff --git a/Chalice/src/Resolver.scala b/Chalice/src/Resolver.scala
index d4adbec3..2729a0d5 100644
--- a/Chalice/src/Resolver.scala
+++ b/Chalice/src/Resolver.scala
@@ -216,12 +216,11 @@ object Resolver {
// resolve function calls
calls addNode f;
e visit {
- case app : FunctionApplication =>
- assert(app.f != null);
- calls addNode app.f;
- calls.addEdge(f, app.f);
- if (app.f == f) f.isRecursive = true; // self-recursion
- case _ =>
+ case app : FunctionApplication if app.f != null /* may not be resolved */ =>
+ calls addNode app.f;
+ calls.addEdge(f, app.f);
+ if (app.f == f) f.isRecursive = true; // self-recursion
+ case _ =>
}
case None =>
}