mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-04-29 19:30:36 +02:00
1b10152215
Taken from r51 of <http://lalr-scm.googlecode.com/svn/trunk>. * module/Makefile.am (SYSTEM_BASE_SOURCES): Add `system/base/lalr.scm'. (NOCOMP_SOURCES): Add `system/base/lalr.upstream.scm'. * module/system/base/lalr.scm, module/system/base/lalr.upstream.scm: New files. * test-suite/Makefile.am (LALR_TESTS, LALR_EXTRA, TESTS, TESTS_ENVIRONMENT): New variables. (EXTRA_DIST): Add $(LALR_EXTRA). * test-suite/lalr/common-test.scm, test-suite/lalr/glr-test.scm, test-suite/lalr/test-glr-associativity.scm, test-suite/lalr/test-glr-basics-01.scm, test-suite/lalr/test-glr-basics-02.scm, test-suite/lalr/test-glr-basics-03.scm, test-suite/lalr/test-glr-basics-04.scm, test-suite/lalr/test-glr-basics-05.scm, test-suite/lalr/test-glr-script-expression.scm, test-suite/lalr/test-glr-single-expressions.scm, test-suite/lalr/test-lr-associativity-01.scm, test-suite/lalr/test-lr-associativity-02.scm, test-suite/lalr/test-lr-associativity-03.scm, test-suite/lalr/test-lr-associativity-04.scm, test-suite/lalr/test-lr-basics-01.scm, test-suite/lalr/test-lr-basics-02.scm, test-suite/lalr/test-lr-basics-03.scm, test-suite/lalr/test-lr-basics-04.scm, test-suite/lalr/test-lr-basics-05.scm, test-suite/lalr/test-lr-error-recovery-01.scm, test-suite/lalr/test-lr-error-recovery-02.scm, test-suite/lalr/test-lr-no-clause.scm, test-suite/lalr/test-lr-script-expression.scm, test-suite/lalr/test-lr-single-expressions.scm: New files.
102 lines
2.4 KiB
Scheme
102 lines
2.4 KiB
Scheme
;;; test-glr-associativity.scm
|
|
;;
|
|
;;With the GLR parser both the terminal precedence and the non-terminal
|
|
;;associativity are not respected; rather they generate two child
|
|
;;processes.
|
|
;;
|
|
|
|
(load "common-test.scm")
|
|
|
|
(define parser
|
|
(lalr-parser
|
|
(driver: glr)
|
|
(expect: 0)
|
|
|
|
(N LPAREN RPAREN
|
|
(left: + -)
|
|
(right: * /)
|
|
(nonassoc: uminus))
|
|
|
|
(output (expr) : $1)
|
|
(expr (expr + expr) : (list $1 '+ $3)
|
|
(expr - expr) : (list $1 '- $3)
|
|
(expr * expr) : (list $1 '* $3)
|
|
(expr / expr) : (list $1 '/ $3)
|
|
(- expr (prec: uminus)) : (list '- $2)
|
|
(N) : $1
|
|
(LPAREN expr RPAREN) : $2)))
|
|
|
|
(define (doit . tokens)
|
|
(parser (make-lexer tokens) error-handler))
|
|
|
|
;;; --------------------------------------------------------------------
|
|
|
|
;;Remember that the result of the GLR driver is a list of parses, not a
|
|
;;single parse.
|
|
|
|
(check
|
|
(doit (make-lexical-token 'N #f 1))
|
|
=> '(1))
|
|
|
|
(check
|
|
(doit (make-lexical-token 'N #f 1)
|
|
(make-lexical-token '+ #f '+)
|
|
(make-lexical-token 'N #f 2))
|
|
=> '((1 + 2)))
|
|
|
|
(check
|
|
(doit (make-lexical-token 'N #f 1)
|
|
(make-lexical-token '* #f '*)
|
|
(make-lexical-token 'N #f 2))
|
|
=> '((1 * 2)))
|
|
|
|
(check
|
|
(doit (make-lexical-token '- #f '-)
|
|
(make-lexical-token 'N #f 1))
|
|
=> '((- 1)))
|
|
|
|
(check
|
|
(doit (make-lexical-token '- #f '-)
|
|
(make-lexical-token '- #f '-)
|
|
(make-lexical-token 'N #f 1))
|
|
=> '((- (- 1))))
|
|
|
|
(check
|
|
(doit (make-lexical-token 'N #f 1)
|
|
(make-lexical-token '+ #f '+)
|
|
(make-lexical-token '- #f '-)
|
|
(make-lexical-token 'N #f 2))
|
|
=> '((1 + (- 2))))
|
|
|
|
;;; --------------------------------------------------------------------
|
|
|
|
(check
|
|
;;left-associativity
|
|
(doit (make-lexical-token 'N #f 1)
|
|
(make-lexical-token '+ #f '+)
|
|
(make-lexical-token 'N #f 2)
|
|
(make-lexical-token '+ #f '+)
|
|
(make-lexical-token 'N #f 3))
|
|
=> '(((1 + 2) + 3)))
|
|
|
|
(check
|
|
;;right-associativity
|
|
(doit (make-lexical-token 'N #f 1)
|
|
(make-lexical-token '* #f '*)
|
|
(make-lexical-token 'N #f 2)
|
|
(make-lexical-token '* #f '*)
|
|
(make-lexical-token 'N #f 3))
|
|
=> '(((1 * 2) * 3)
|
|
(1 * (2 * 3))))
|
|
|
|
(check
|
|
;;precedence
|
|
(doit (make-lexical-token 'N #f 1)
|
|
(make-lexical-token '+ #f '+)
|
|
(make-lexical-token 'N #f 2)
|
|
(make-lexical-token '* #f '*)
|
|
(make-lexical-token 'N #f 3))
|
|
=> '(((1 + 2) * 3)
|
|
(1 + (2 * 3))))
|
|
|
|
;;; end of file
|