about summary refs log tree commit diff stats
path: root/lambda-to-mu.mu
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-07-24 16:16:48 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-07-24 16:16:48 -0700
commitf38fd705438bfc5cde3994906c53df3de8517c62 (patch)
tree8becf2c34141023d428c1e6b4985a33f9bcd3bb2 /lambda-to-mu.mu
parent455748466053262ea7b7c5f70de576a5edee07e2 (diff)
downloadmu-f38fd705438bfc5cde3994906c53df3de8517c62.tar.gz
3151
Diffstat (limited to 'lambda-to-mu.mu')
-rw-r--r--lambda-to-mu.mu4
1 files changed, 3 insertions, 1 deletions
diff --git a/lambda-to-mu.mu b/lambda-to-mu.mu
index 4a6c2c42..d1dd7838 100644
--- a/lambda-to-mu.mu
+++ b/lambda-to-mu.mu
@@ -249,10 +249,12 @@ def parse in:address:stream -> out:address:cell, in:address:stream [
         assert not-close-paren?, [')' cannot immediately follow '.']
         final:address:cell <- parse in
         curr <- set-rest curr, final
+        # we're not gonna update curr, so better make sure the next iteration
+        # is going to end the pair
         in <- skip-whitespace in
         c <- peek in
         close-paren?:boolean <- equal c, 41/close-paren
-        assert close-paren?, ['.' must be followed exactly one more expression]
+        assert close-paren?, ['.' must be followed by exactly one expression before ')']
       }
       loop
     }