From 67db19a05335c7fbea3ad6737303c8848fd39e74 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 15 Dec 2015 14:32:47 -0800 Subject: 2545 update html --- html/chessboard.mu.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'html/chessboard.mu.html') diff --git a/html/chessboard.mu.html b/html/chessboard.mu.html index 338e92dc..16230411 100644 --- a/html/chessboard.mu.html +++ b/html/chessboard.mu.html @@ -276,7 +276,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } ] # prints only error messages to screen -recipe read-move stdin:address:channel, screen:address:screen -> result:address:move, quit?:boolean, error?:boolean [ +recipe read-move stdin:address:channel, screen:address:screen -> result:address:move, quit?:boolean, error?:boolean, stdin:address:channel, screen:address:screen [ local-scope load-ingredients from-file:number, quit?:boolean, error?:boolean <- read-file stdin, screen @@ -306,7 +306,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } ] # valid values for file: 0-7 -recipe read-file stdin:address:channel, screen:address:screen -> file:number, quit:boolean, error:boolean [ +recipe read-file stdin:address:channel, screen:address:screen -> file:number, quit:boolean, error:boolean, stdin:address:channel, screen:address:screen [ local-scope load-ingredients c:character, stdin <- read stdin @@ -399,7 +399,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } # read a character from the given channel and check that it's what we expect # return true on error -recipe expect-from-channel stdin:address:channel, expected:character, screen:address:screen -> result:boolean [ +recipe expect-from-channel stdin:address:channel, expected:character, screen:address:screen -> result:boolean, stdin:address:channel, screen:address:screen [ local-scope load-ingredients c:character, stdin <- read stdin -- cgit 1.4.1-2-gfad0