Added TODO comment.

8507c7fc · Taddeüs Kroes · 0eadc533 · 8507c7fc
Commit 8507c7fc authored Jun 13, 2012 by Taddeüs Kroes
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

src/validation.py src/validation.py +2 -0

No files found.
--- a/src/validation.py
+++ b/src/validation.py
@@ -35,6 +35,8 @@ def validate(a, b):
    b = parser.run([b])

    # Evaluate a and b, counting the number of steps
+    # TODO: Optimization: if b is encountered while evaluating a, return
+    # VALIDATION_SUCCESS
    parser.set_root_node(a)
    A, a_steps = parser.rewrite_and_count_all()