diff options
| -rw-r--r-- | chessboard.mu | 47 | ||||
| -rw-r--r-- | html/chessboard.mu.html | 47 |
2 files changed, 48 insertions, 46 deletions
diff --git a/chessboard.mu b/chessboard.mu index f4131180..2030d910 100644 --- a/chessboard.mu +++ b/chessboard.mu @@ -2,6 +2,7 @@ # display the position after each move. def main [ + local-scope open-console # take control of screen, keyboard and mouse # The chessboard function takes keyboard and screen objects as 'ingredients'. @@ -19,6 +20,7 @@ def main [ ## But enough about mu. Here's what it looks like to run the chessboard program. scenario print-board-and-read-move [ + local-scope trace-until 100/app # we'll make the screen really wide because the program currently prints out a long line assume-screen 120/width, 20/height @@ -28,7 +30,6 @@ scenario print-board-and-read-move [ ] ] run [ - local-scope screen:&:screen, console:&:console <- chessboard screen:&:screen, console:&:console # icon for the cursor cursor-icon:char <- copy 9251/␣ @@ -62,7 +63,7 @@ scenario print-board-and-read-move [ ## Here's how 'chessboard' is implemented. -type board = address:@:&:@:char +type board = &:@:&:@:char # a 2-D array of arrays of characters def chessboard screen:&:screen, console:&:console -> screen:&:screen, console:&:console [ local-scope @@ -199,10 +200,10 @@ def initial-position -> board:board [ ] scenario printing-the-board [ + local-scope + board:board <- initial-position assume-screen 30/width, 12/height run [ - local-scope - board:board <- initial-position screen:&:screen <- print-board screen:&:screen, board ] screen-should-contain [ @@ -364,11 +365,11 @@ def expect-from-channel stdin:&:source:char, expected:char, screen:&:screen -> r ] scenario read-move-blocking [ + local-scope assume-screen 20/width, 2/height + source:&:source:char, sink:&:sink:char <- new-channel 2/capacity + read-move-routine:num/routine <- start-running read-move, source, screen:&:screen run [ - local-scope - source:&:source:char, sink:&:sink:char <- new-channel 2/capacity - read-move-routine:num/routine <- start-running read-move, source, screen:&:screen # 'read-move' is waiting for input wait-for-routine-to-block read-move-routine read-move-state:num <- routine-state read-move-routine @@ -437,11 +438,11 @@ F read-move-blocking: routine failed to terminate on newline] ] scenario read-move-quit [ + local-scope assume-screen 20/width, 2/height + source:&:source:char, sink:&:sink:char <- new-channel 2/capacity + read-move-routine:num <- start-running read-move, source, screen:&:screen run [ - local-scope - source:&:source:char, sink:&:sink:char <- new-channel 2/capacity - read-move-routine:num <- start-running read-move, source, screen:&:screen # 'read-move' is waiting for input wait-for-routine-to-block read-move-routine read-move-state:num <- routine-state read-move-routine @@ -465,11 +466,11 @@ F read-move-quit: routine failed to terminate on 'q'] ] scenario read-move-illegal-file [ + local-scope assume-screen 20/width, 2/height + source:&:source:char, sink:&:sink:char <- new-channel 2/capacity + read-move-routine:num <- start-running read-move, source, screen:&:screen run [ - local-scope - source:&:source:char, sink:&:sink:char <- new-channel 2/capacity - read-move-routine:num <- start-running read-move, source, screen:&:screen # 'read-move' is waiting for input wait-for-routine-to-block read-move-routine read-move-state:num <- routine-state read-move-routine @@ -487,11 +488,11 @@ F read-move-illegal-file: routine failed to pause after coming up (before any ke ] scenario read-move-illegal-rank [ + local-scope assume-screen 20/width, 2/height + source:&:source:char, sink:&:sink:char <- new-channel 2/capacity + read-move-routine:num <- start-running read-move, source, screen:&:screen run [ - local-scope - source:&:source:char, sink:&:sink:char <- new-channel 2/capacity - read-move-routine:num <- start-running read-move, source, screen:&:screen # 'read-move' is waiting for input wait-for-routine-to-block read-move-routine read-move-state:num <- routine-state read-move-routine @@ -510,11 +511,11 @@ F read-move-illegal-rank: routine failed to pause after coming up (before any ke ] scenario read-move-empty [ + local-scope assume-screen 20/width, 2/height + source:&:source:char, sink:&:sink:char <- new-channel 2/capacity + read-move-routine:num <- start-running read-move, source, screen:&:screen run [ - local-scope - source:&:source:char, sink:&:sink:char <- new-channel 2/capacity - read-move-routine:num <- start-running read-move, source, screen:&:screen # 'read-move' is waiting for input wait-for-routine-to-block read-move-routine read-move-state:num <- routine-state read-move-routine @@ -547,12 +548,12 @@ def make-move board:board, m:&:move -> board:board [ ] scenario making-a-move [ + local-scope assume-screen 30/width, 12/height + board:board <- initial-position + move:&:move <- new move:type + *move <- merge 6/g, 1/'2', 6/g, 3/'4' run [ - local-scope - board:board <- initial-position - move:&:move <- new move:type - *move <- merge 6/g, 1/'2', 6/g, 3/'4' board <- make-move board, move screen:&:screen <- print-board screen:&:screen, board ] diff --git a/html/chessboard.mu.html b/html/chessboard.mu.html index 891cdd93..d4fd58da 100644 --- a/html/chessboard.mu.html +++ b/html/chessboard.mu.html @@ -38,6 +38,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># display the position after each move.</span> <span class="muRecipe">def</span> main [ + <span class="Constant">local-scope</span> open-console <span class="Comment"># take control of screen, keyboard and mouse</span> <span class="Comment"># The chessboard function takes keyboard and screen objects as 'ingredients'.</span> @@ -55,6 +56,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="SalientComment">## But enough about mu. Here's what it looks like to run the chessboard program.</span> <span class="muScenario">scenario</span> print-board-and-read-move [ + <span class="Constant">local-scope</span> trace-until <span class="Constant">100/app</span> <span class="Comment"># we'll make the screen really wide because the program currently prints out a long line</span> assume-screen <span class="Constant">120/width</span>, <span class="Constant">20/height</span> @@ -64,7 +66,6 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant">]</span> ] run [ - <span class="Constant">local-scope</span> screen:&:screen, console:&:console<span class="Special"> <- </span>chessboard screen:&:screen, console:&:console <span class="Comment"># icon for the cursor</span> cursor-icon:char<span class="Special"> <- </span>copy <span class="Constant">9251/␣</span> @@ -98,7 +99,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="SalientComment">## Here's how 'chessboard' is implemented.</span> -<span class="muData">type</span> board = address:@:&:@:char +<span class="muData">type</span> board = &:@:&:@:char <span class="Comment"># a 2-D array of arrays of characters</span> <span class="muRecipe">def</span> chessboard screen:&:screen, console:&:console<span class="muRecipe"> -> </span>screen:&:screen, console:&:console [ <span class="Constant">local-scope</span> @@ -235,10 +236,10 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] <span class="muScenario">scenario</span> printing-the-board [ + <span class="Constant">local-scope</span> + board:board<span class="Special"> <- </span>initial-position assume-screen <span class="Constant">30/width</span>, <span class="Constant">12/height</span> run [ - <span class="Constant">local-scope</span> - board:board<span class="Special"> <- </span>initial-position screen:&:screen<span class="Special"> <- </span>print-board screen:&:screen, board ] screen-should-contain [ @@ -400,11 +401,11 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] <span class="muScenario">scenario</span> read-move-blocking [ + <span class="Constant">local-scope</span> assume-screen <span class="Constant">20/width</span>, <span class="Constant">2/height</span> + source:&:source:char, sink:&:sink:char<span class="Special"> <- </span>new-channel <span class="Constant">2/capacity</span> + read-move-routine:num/routine<span class="Special"> <- </span>start-running read-move, source, screen:&:screen run [ - <span class="Constant">local-scope</span> - source:&:source:char, sink:&:sink:char<span class="Special"> <- </span>new-channel <span class="Constant">2/capacity</span> - read-move-routine:num/routine<span class="Special"> <- </span>start-running read-move, source, screen:&:screen <span class="Comment"># 'read-move' is waiting for input</span> wait-for-routine-to-block read-move-routine read-move-state:num<span class="Special"> <- </span>routine-state read-move-routine @@ -473,11 +474,11 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] <span class="muScenario">scenario</span> read-move-quit [ + <span class="Constant">local-scope</span> assume-screen <span class="Constant">20/width</span>, <span class="Constant">2/height</span> + source:&:source:char, sink:&:sink:char<span class="Special"> <- </span>new-channel <span class="Constant">2/capacity</span> + read-move-routine:num<span class="Special"> <- </span>start-running read-move, source, screen:&:screen run [ - <span class="Constant">local-scope</span> - source:&:source:char, sink:&:sink:char<span class="Special"> <- </span>new-channel <span class="Constant">2/capacity</span> - read-move-routine:num<span class="Special"> <- </span>start-running read-move, source, screen:&:screen <span class="Comment"># 'read-move' is waiting for input</span> wait-for-routine-to-block read-move-routine read-move-state:num<span class="Special"> <- </span>routine-state read-move-routine @@ -501,11 +502,11 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] <span class="muScenario">scenario</span> read-move-illegal-file [ + <span class="Constant">local-scope</span> assume-screen <span class="Constant">20/width</span>, <span class="Constant">2/height</span> + source:&:source:char, sink:&:sink:char<span class="Special"> <- </span>new-channel <span class="Constant">2/capacity</span> + read-move-routine:num<span class="Special"> <- </span>start-running read-move, source, screen:&:screen run [ - <span class="Constant">local-scope</span> - source:&:source:char, sink:&:sink:char<span class="Special"> <- </span>new-channel <span class="Constant">2/capacity</span> - read-move-routine:num<span class="Special"> <- </span>start-running read-move, source, screen:&:screen <span class="Comment"># 'read-move' is waiting for input</span> wait-for-routine-to-block read-move-routine read-move-state:num<span class="Special"> <- </span>routine-state read-move-routine @@ -523,11 +524,11 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] <span class="muScenario">scenario</span> read-move-illegal-rank [ + <span class="Constant">local-scope</span> assume-screen <span class="Constant">20/width</span>, <span class="Constant">2/height</span> + source:&:source:char, sink:&:sink:char<span class="Special"> <- </span>new-channel <span class="Constant">2/capacity</span> + read-move-routine:num<span class="Special"> <- </span>start-running read-move, source, screen:&:screen run [ - <span class="Constant">local-scope</span> - source:&:source:char, sink:&:sink:char<span class="Special"> <- </span>new-channel <span class="Constant">2/capacity</span> - read-move-routine:num<span class="Special"> <- </span>start-running read-move, source, screen:&:screen <span class="Comment"># 'read-move' is waiting for input</span> wait-for-routine-to-block read-move-routine read-move-state:num<span class="Special"> <- </span>routine-state read-move-routine @@ -546,11 +547,11 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] <span class="muScenario">scenario</span> read-move-empty [ + <span class="Constant">local-scope</span> assume-screen <span class="Constant">20/width</span>, <span class="Constant">2/height</span> + source:&:source:char, sink:&:sink:char<span class="Special"> <- </span>new-channel <span class="Constant">2/capacity</span> + read-move-routine:num<span class="Special"> <- </span>start-running read-move, source, screen:&:screen run [ - <span class="Constant">local-scope</span> - source:&:source:char, sink:&:sink:char<span class="Special"> <- </span>new-channel <span class="Constant">2/capacity</span> - read-move-routine:num<span class="Special"> <- </span>start-running read-move, source, screen:&:screen <span class="Comment"># 'read-move' is waiting for input</span> wait-for-routine-to-block read-move-routine read-move-state:num<span class="Special"> <- </span>routine-state read-move-routine @@ -583,12 +584,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] <span class="muScenario">scenario</span> making-a-move [ + <span class="Constant">local-scope</span> assume-screen <span class="Constant">30/width</span>, <span class="Constant">12/height</span> + board:board<span class="Special"> <- </span>initial-position + move:&:move<span class="Special"> <- </span>new <span class="Constant">move:type</span> + *move<span class="Special"> <- </span>merge <span class="Constant">6/g</span>, <span class="Constant">1/'2'</span>, <span class="Constant">6/g</span>, <span class="Constant">3/'4'</span> run [ - <span class="Constant">local-scope</span> - board:board<span class="Special"> <- </span>initial-position - move:&:move<span class="Special"> <- </span>new <span class="Constant">move:type</span> - *move<span class="Special"> <- </span>merge <span class="Constant">6/g</span>, <span class="Constant">1/'2'</span>, <span class="Constant">6/g</span>, <span class="Constant">3/'4'</span> board<span class="Special"> <- </span>make-move board, move screen:&:screen<span class="Special"> <- </span>print-board screen:&:screen, board ] |