diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2018-11-19 17:44:46 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2018-11-19 17:44:46 -0800 |
| commit | f30413853063483147d941ffccc4b663b71bc943 (patch) | |
| tree | 31747b3d020a5d252e70910fdd741ecf27a58ef5 /tools | |
| parent | a89d69e843ba83df928051005d02a932a9981f46 (diff) | |
Deduplicated goto label syntax (now just use (--- (label) ---))
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/repl.nom | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/repl.nom b/tools/repl.nom index 39d6360..ac61242 100644 --- a/tools/repl.nom +++ b/tools/repl.nom @@ -34,7 +34,7 @@ repeat: go to (run buffer) %buff::add (%line::with "\t" -> " ") say (dim (yellow ".. ")) inline - === (run buffer) === + --- (run buffer) --- if ((size of %buff) == 0): stop %buff = (%buff::joined) |