diff options
author | kyessenov <unknown> | 2010-08-22 07:38:11 +0000 |
---|---|---|
committer | kyessenov <unknown> | 2010-08-22 07:38:11 +0000 |
commit | 1b845564918d06c7aca9f35421ccd1dccee3df01 (patch) | |
tree | 93d05e411cebe6939f2cfad3c8658d4ada155ee0 /Chalice/src/Resolver.scala | |
parent | 747f201231e03caee7289d03b1e2a29dacae7635 (diff) |
Chalice: limited functions are still problematic (see Calculator.chalice)
Diffstat (limited to 'Chalice/src/Resolver.scala')
-rw-r--r-- | Chalice/src/Resolver.scala | 11 |
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 =>
}
|