diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-07-24 16:16:48 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-07-24 16:16:48 -0700 |
commit | f38fd705438bfc5cde3994906c53df3de8517c62 (patch) | |
tree | 8becf2c34141023d428c1e6b4985a33f9bcd3bb2 /lambda-to-mu.mu | |
parent | 455748466053262ea7b7c5f70de576a5edee07e2 (diff) | |
download | mu-f38fd705438bfc5cde3994906c53df3de8517c62.tar.gz |
3151
Diffstat (limited to 'lambda-to-mu.mu')
-rw-r--r-- | lambda-to-mu.mu | 4 |
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 } |