Print lineno in decimal

This commit is contained in:
Koichi Nakamura 2021-01-11 02:06:47 +09:00
parent a17e38b16d
commit 85ff8085f1

View file

@ -1944,6 +1944,7 @@ variable source-buffer-end source-buffer source-buffer-end !
\ lookup error code
dup QUIT = if throw then
decimal
'[' emit inputstreams @ input>file @ file>name type ':' emit
inputstreams @ input>lineno @ 0 u.r ." ] "