mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-04-24 18:52:21 +00:00
Akim Demaille
cd4e799da4
See https://lists.gnu.org/r/bison-patches/2020-04/msg00162.html. * data/skeletons/bison.m4, data/skeletons/c.m4, data/skeletons/glr.cc, * data/skeletons/lalr1.java, doc/bison.texi, * examples/c/bistromathic/parse.y, src/scan-gram.l, src/symtab.c (YYERRCODE): Rename as... (YYerror): this. Adjust dependencies.
266 lines
6.4 KiB
Bash
Executable File
266 lines
6.4 KiB
Bash
Executable File
#! /bin/sh
|
|
|
|
# Copyright (C) 2020 Free Software Foundation, Inc.
|
|
#
|
|
# This program is free software: you can redistribute it and/or modify
|
|
# it under the terms of the GNU General Public License as published by
|
|
# the Free Software Foundation, either version 3 of the License, or
|
|
# (at your option) any later version.
|
|
#
|
|
# This program is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
# macOS' version of readline does not repeat stdin on stdout in
|
|
# non-interactive mode.
|
|
if ! echo '1-1' | prog | grep '1-1' >/dev/null; then
|
|
strip_prompt=true
|
|
fi
|
|
|
|
cat >input <<EOF
|
|
1+2*3
|
|
EOF
|
|
run 0 '> 1+2*3
|
|
7
|
|
> '
|
|
|
|
cat >input <<EOF
|
|
(1+2) * 3
|
|
EOF
|
|
run 0 '> (1+2) * 3
|
|
9
|
|
> '
|
|
run -noerr 0 '> (1+2) * 3
|
|
9
|
|
> ' -p
|
|
|
|
cat >input <<EOF
|
|
a = 256
|
|
sqrt (a)
|
|
EOF
|
|
run 0 '> a = 256
|
|
256
|
|
> sqrt (a)
|
|
16
|
|
> '
|
|
|
|
cat >input <<EOF
|
|
a = .16
|
|
b = 10 ^ 2
|
|
sqrt (a * b)
|
|
EOF
|
|
run 0 '> a = .16
|
|
0.16
|
|
> b = 10 ^ 2
|
|
100
|
|
> sqrt (a * b)
|
|
4
|
|
> '
|
|
|
|
cat >input <<EOF
|
|
*
|
|
EOF
|
|
run 0 '> *
|
|
> ''
|
|
err: 1.1: syntax error: expected end of file or - or ( or exit or number or function or variable before *'
|
|
|
|
cat >input <<EOF
|
|
1 + 2 * * 3
|
|
EOF
|
|
run 0 '> 1 + 2 * * 3
|
|
> ''
|
|
err: 1.9: syntax error: expected - or ( or number or function or variable before *'
|
|
|
|
cat >input <<EOF
|
|
1 / 0
|
|
EOF
|
|
run 0 '> 1 / 0
|
|
> ''
|
|
err: 1.1-5: error: division by zero'
|
|
|
|
|
|
## ---------------- ##
|
|
## Error recovery. ##
|
|
## ---------------- ##
|
|
|
|
cat >input <<EOF
|
|
((1 ++ 2) ** 3)
|
|
(1 ++ 2) + (3 ** 4)
|
|
EOF
|
|
run 0 '> ((1 ++ 2) ** 3)
|
|
666
|
|
> (1 ++ 2) + (3 ** 4)
|
|
1332
|
|
> ''
|
|
err: 1.6: syntax error: expected - or ( or number or function or variable before +
|
|
err: 2.5: syntax error: expected - or ( or number or function or variable before +
|
|
err: 2.16: syntax error: expected - or ( or number or function or variable before *'
|
|
|
|
# The rule "( error )" should work even if there are no tokens between "(" and ")".
|
|
cat >input <<EOF
|
|
()
|
|
EOF
|
|
run 0 '> ()
|
|
666
|
|
> ''
|
|
err: 1.2: syntax error: expected - or ( or number or function or variable before )'
|
|
|
|
|
|
cat >input <<EOF
|
|
100% + 10
|
|
EOF
|
|
run 0 '> 100% + 10
|
|
> ''
|
|
err: 1.4: syntax error: invalid character: %'
|
|
|
|
# Traces. This allows to check the location of the error. If we
|
|
# forget to map YYerror to YYUNDEF, error recovery enters an endless
|
|
# loop with this input.
|
|
cat >input <<EOF
|
|
(+_)
|
|
EOF
|
|
run 0 '> (+_)
|
|
666
|
|
> ''
|
|
err: Starting parse
|
|
err: Entering state 0
|
|
err: Stack now 0
|
|
err: Reading a token
|
|
err: Next token is token ( (1.1: )
|
|
err: Shifting token ( (1.1: )
|
|
err: Entering state 2
|
|
err: Stack now 0 2
|
|
err: Return for a new token:
|
|
err: Reading a token
|
|
err: Next token is token + (1.2: )
|
|
err: LAC: initial context established for +
|
|
err: LAC: checking lookahead +: Err
|
|
err: LAC: checking lookahead end of file: Err
|
|
err: LAC: checking lookahead +: Err
|
|
err: LAC: checking lookahead -: S1
|
|
err: LAC: checking lookahead *: Err
|
|
err: LAC: checking lookahead /: Err
|
|
err: LAC: checking lookahead ^: Err
|
|
err: LAC: checking lookahead (: S2
|
|
err: LAC: checking lookahead ): Err
|
|
err: LAC: checking lookahead =: Err
|
|
err: LAC: checking lookahead exit: Err
|
|
err: LAC: checking lookahead number: S4
|
|
err: LAC: checking lookahead function: S5
|
|
err: LAC: checking lookahead variable: S6
|
|
err: LAC: checking lookahead NEG: Err
|
|
err: 1.2: syntax error: expected - or ( or number or function or variable before +
|
|
err: LAC: initial context discarded due to error recovery
|
|
err: Shifting token error (1.2: )
|
|
err: Entering state 10
|
|
err: Stack now 0 2 10
|
|
err: Next token is token + (1.2: )
|
|
err: LAC: initial context established for +
|
|
err: LAC: checking lookahead +: Err
|
|
err: Error: discarding token + (1.2: )
|
|
err: Error: popping token error (1.2: )
|
|
err: Stack now 0 2
|
|
err: LAC: initial context discarded due to error recovery
|
|
err: Shifting token error (1.2: )
|
|
err: Entering state 10
|
|
err: Stack now 0 2 10
|
|
err: Return for a new token:
|
|
err: 1.3: syntax error: invalid character: _
|
|
err: Reading a token
|
|
err: Error: popping token error (1.2: )
|
|
err: Stack now 0 2
|
|
err: Shifting token error (1.2-3: )
|
|
err: Entering state 10
|
|
err: Stack now 0 2 10
|
|
err: Next token is token invalid token (1.3: )
|
|
err: LAC: initial context established for invalid token
|
|
err: LAC: checking lookahead invalid token: Always Err
|
|
err: Error: discarding token invalid token (1.3: )
|
|
err: Error: popping token error (1.2-3: )
|
|
err: Stack now 0 2
|
|
err: LAC: initial context discarded due to error recovery
|
|
err: Shifting token error (1.2-3: )
|
|
err: Entering state 10
|
|
err: Stack now 0 2 10
|
|
err: Return for a new token:
|
|
err: Reading a token
|
|
err: Next token is token ) (1.4: )
|
|
err: Shifting token ) (1.4: )
|
|
err: Entering state 20
|
|
err: Stack now 0 2 10 20
|
|
err: Reducing stack by rule 15 (line 151):
|
|
err: $1 = token ( (1.1: )
|
|
err: $2 = token error (1.2-3: )
|
|
err: $3 = token ) (1.4: )
|
|
err: -> $$ = nterm exp (1.1-4: 666)
|
|
err: Entering state 7
|
|
err: Stack now 0 7
|
|
err: Return for a new token:
|
|
err: Reading a token
|
|
err: Now at end of input.
|
|
err: LAC: initial context established for end of file
|
|
err: LAC: checking lookahead end of file: R2 G8 S19
|
|
err: Reducing stack by rule 2 (line 126):
|
|
err: $1 = nterm exp (1.1-4: 666)
|
|
err: -> $$ = nterm input (1.1-4: )
|
|
err: Entering state 8
|
|
err: Stack now 0 8
|
|
err: Now at end of input.
|
|
err: Shifting token end of file (1.5: )
|
|
err: LAC: initial context discarded due to shift
|
|
err: Entering state 19
|
|
err: Stack now 0 8 19
|
|
err: Stack now 0 8 19
|
|
err: Cleanup: popping token end of file (1.5: )
|
|
err: Cleanup: popping nterm input (1.1-4: )' -p
|
|
|
|
|
|
|
|
## ------------ ##
|
|
## Completion. ##
|
|
## ------------ ##
|
|
|
|
# From now on, the differences between versions of GNU Readline are
|
|
# too painful to try to cope with.
|
|
if $strip_prompt; then
|
|
echo "SKIP: this is not the GNU Readline we expect"
|
|
if $exit; then
|
|
exit 0
|
|
else
|
|
exit 1
|
|
fi
|
|
fi
|
|
|
|
# Check completion after an operator.
|
|
sed -e 's/\\t/ /g' >input <<EOF
|
|
(1+\t\t
|
|
EOF
|
|
run 0 '> (1+
|
|
( - atan cos exp ln number sin sqrt
|
|
> (1+
|
|
> ''
|
|
err: 1.4: syntax error: expected - or ( or number or function or variable before end of file'
|
|
|
|
# Check the completion of a word.
|
|
sed -e 's/\\t/ /g' >input <<EOF
|
|
(at\t\t
|
|
EOF
|
|
run 0 '> (atan ( ''
|
|
> ''
|
|
err: 1.9: syntax error: expected - or ( or number or function or variable before end of file'
|
|
|
|
# Check the completion at the very beginning.
|
|
sed -e 's/\\t/ /g' >input <<EOF
|
|
e\t\t
|
|
EOF
|
|
run -n 0 '> e
|
|
end of file exit exp ''
|
|
> e
|
|
0
|
|
> ''
|
|
err: '
|