diff options
Diffstat (limited to 'test-suite/lalr/test-lr-basics-02.scm')
-rw-r--r-- | test-suite/lalr/test-lr-basics-02.scm | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/test-suite/lalr/test-lr-basics-02.scm b/test-suite/lalr/test-lr-basics-02.scm new file mode 100644 index 000000000..4a5abc1af --- /dev/null +++ b/test-suite/lalr/test-lr-basics-02.scm @@ -0,0 +1,33 @@ +;;; test-lr-basics-02.scm -- +;; +;;A grammar that only accept a single terminal or the EOI. +;; + +(load "common-test.scm") + +(define (doit . tokens) + (let ((parser (lalr-parser (expect: 0) + (A) + (e (A) : $1 + () : 0)))) + (parser (make-lexer tokens) error-handler))) + +(check + (doit) + => 0) + +(check + (doit (make-lexical-token 'A #f 1)) + => 1) + +(check + ;;Parse correctly the first A and reduce it. The second A triggers + ;;an error which empties the stack and consumes all the input + ;;tokens. Finally, the end-of-input token is correctly parsed. + (let ((r (doit (make-lexical-token 'A #f 1) + (make-lexical-token 'A #f 2) + (make-lexical-token 'A #f 3)))) + (cons r *error*)) + => '(0 (error-handler "Syntax error: unexpected token : " . A))) + +;;; end of file |