diff options
| author |  stefanheule <unknown> | 2012-02-25 03:23:12 -0800 |
|---|---|---|
| committer | stefanheule <unknown> | 2012-02-25 03:23:12 -0800 |
| commit | db95796499d3ec21c690679b39449d83c0f295fe (patch) | |
| tree | 0efa7a00ebc9c2648d25935b1fbb31bfbcb02f49 /Chalice/src/main/scala/Resolver.scala | |
| parent | c18701c1cffb29672d42f1d2c6a0e6a740daeaa9 (diff) | |
Chalice: Code cleanup.
Diffstat (limited to 'Chalice/src/main/scala/Resolver.scala')
| -rw-r--r-- | Chalice/src/main/scala/Resolver.scala | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/Chalice/src/main/scala/Resolver.scala b/Chalice/src/main/scala/Resolver.scala index 6bc2e054..17bb668e 100644 --- a/Chalice/src/main/scala/Resolver.scala +++ b/Chalice/src/main/scala/Resolver.scala @@ -228,14 +228,7 @@ object Resolver { case f@Function(id, ins, out, spec, definition) =>
// TODO: disallow credit(...) expressions in function specifications
spec foreach {
- case Precondition(e) =>
- ResolveExpr(e, context, false, true)(false)
- // add the function to all predicates it depends on
- e visit {_ match {
- case pred@MemberAccess(e, p) if pred.isPredicate =>
- pred.predicate.dependentFunctions = f :: pred.predicate.dependentFunctions
- case _ =>}
- }
+ case Precondition(e) => ResolveExpr(e, context, false, true)(false)
case Postcondition(e) => ResolveExpr(e, context, false, true)(false)
case lc : LockChange => context.Error(lc.pos, "lockchange not allowed on function")
}
|