From a1849da175765350e013bdeecfa4e0ad3c066937 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Wed, 27 Mar 2019 15:22:46 -0700 Subject: Autoformat (mostly just to do with the new blank-line-after-end-of-multi-indent-block rule --- lib/core/coroutines.nom | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'lib/core/coroutines.nom') diff --git a/lib/core/coroutines.nom b/lib/core/coroutines.nom index a11d6ee..3102d70 100644 --- a/lib/core/coroutines.nom +++ b/lib/core/coroutines.nom @@ -1,5 +1,4 @@ #!/usr/bin/env nomsu -V7.0.0 - ### This file defines the code that creates and manipulates coroutines @@ -16,6 +15,7 @@ test: yield 5 repeat 3 times: yield 6 + $nums = [] for $ in (coroutine from $fn): $nums, add $ assume ($nums == [4, 5, 6, 6, 6]) @@ -27,6 +27,7 @@ test: $d.x += 1 yield $d.x += 1 + repeat while ((coroutine status of $co) != "dead"): resume $co assume $d.x == 3 $(co) = (coroutine: yield 5) -- cgit v1.2.3