diff options
-rw-r--r-- | eshtrans/frontend/lexer.esh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/eshtrans/frontend/lexer.esh b/eshtrans/frontend/lexer.esh index 8f83a1a..b7d0886 100644 --- a/eshtrans/frontend/lexer.esh +++ b/eshtrans/frontend/lexer.esh @@ -1034,3 +1034,12 @@ expect() synexp "${t}" fi } + +inject() +{ + local t="${1}" + shift 1 + + tokens="${tokens}${t}${RS}" + return 0 +} |