From 2e4f0bbd12231a51ae08df4fe0f8847111fde405 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 23 Oct 2016 23:15:12 -0700 Subject: 3578 --- html/084console.mu.html | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) (limited to 'html/084console.mu.html') diff --git a/html/084console.mu.html b/html/084console.mu.html index 9271231a..5cb819de 100644 --- a/html/084console.mu.html +++ b/html/084console.mu.html @@ -123,7 +123,9 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color load-ingredients { _, found?:bool <- read-event console - loop-unless found? + break-if found? + switch + loop } ] @@ -131,11 +133,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color def has-more-events? console:&:console -> result:bool [ local-scope load-ingredients - { - break-unless console - # fake consoles should be plenty fast; never skip - return 0/false - } + return-if console, 0/false # fake consoles should be plenty fast; never skip result <- interactions-left? ] -- cgit 1.4.1-2-gfad0