diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2017-12-15 00:15:47 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2017-12-15 00:15:47 -0800 |
commit | 5059f32d0ddf36b9591ad0c14ee474ad5f2f8816 (patch) | |
tree | ebe215d694644fc519ad1c4dcee499d739138141 /continuation1.mu | |
parent | 1cd833619e355c70d5d96a208cd67ba3a3ccb937 (diff) | |
download | mu-5059f32d0ddf36b9591ad0c14ee474ad5f2f8816.tar.gz |
4160 - named marks for delimited continuations
Hypothesis: this is needed to build McCarthy's amb operator. https://rosettacode.org/wiki/Amb
Diffstat (limited to 'continuation1.mu')
-rw-r--r-- | continuation1.mu | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/continuation1.mu b/continuation1.mu index 467b21f5..8276e188 100644 --- a/continuation1.mu +++ b/continuation1.mu @@ -12,7 +12,7 @@ def main [ local-scope - k:continuation <- call-with-continuation-mark create-yielder + k:continuation <- call-with-continuation-mark 100/mark, create-yielder x:num <- call k # should return 1 $print x 10/newline ] @@ -20,6 +20,6 @@ def main [ def create-yielder -> n:num [ local-scope load-inputs - return-continuation-until-mark + return-continuation-until-mark 100/mark return 1 ] |