Replace io_repl.modal with an actual Modal REPL

This commit is contained in:
Sebastian LaVine 2024-04-23 17:07:28 -04:00 committed by Devine Lu Linvega
parent 3c85bbd3b8
commit f18adb503d
2 changed files with 9 additions and 11 deletions

View File

@ -1,11 +0,0 @@
?(?-) (This example demonstrates how to keep the runtime active between prompts.)
<> ((You said: quit\n) send) ((You quit.) print ')
<> (?: print ') (?:)
<> (?: send) (?: wait stdin)
<> (wait ?~) ((You said: ?~\n) send)
<> (' ?x) (?x ')
(Say something, or type "quit": \n) print '
wait stdin

9
examples/repl.modal Normal file
View File

@ -0,0 +1,9 @@
?(?-) (This is a fully functional Modal REPL.)
<> (quit wait stdin) ((You quit.\n) print)
<> (?: print) (?:)
<> (wait ?~) (?~ wait stdin)
(Say something, or type "quit":\n) print
wait stdin