listener: minor formatting.

char-rename
John Benediktsson 2016-11-01 19:21:36 -07:00
parent e2d2107396
commit 72b43a57a1
1 changed files with 1 additions and 2 deletions

View File

@ -37,8 +37,7 @@ SYMBOL: handle-ctrl-break
[ disable-ctrl-break ] [ ] cleanup ; inline [ disable-ctrl-break ] [ ] cleanup ; inline
: parse-lines-interactive ( lines -- quot/f ) : parse-lines-interactive ( lines -- quot/f )
[ [ parse-lines ] with-ctrl-break [ [ parse-lines ] with-ctrl-break ] with-compilation-unit ;
] with-compilation-unit ;
: read-quot-step ( lines -- quot/f ) : read-quot-step ( lines -- quot/f )
[ parse-lines-interactive ] [ [ parse-lines-interactive ] [