source: project/release/5/slib-prec/trunk/tests/slib-prec-test.scm @ 38598

;;;; slib-prec-test.scm

(import test)

(test-begin "SLIB Precedence Parser")

(import slib-prec)
(import slib-prec-grammar)

;;;

(import (chicken base))
(import utf8)
(import utf8-srfi-13)

;;

(active-grammar-set! 'standard 'disp2d 'schemepretty)
(define ^ expt)

(define (active-input-grammar) (receive (i o e) (active-grammar) i))

;;

(test-group "Grammer IDs"
  (test 6 (count-of-grammar-ids))
  (test 'standard (grammar-id-name 0))
  (test 'scheme (grammar-id-name 4))
)

;;

(define (read-sexp/string str #!optional (grm (active-input-grammar)) (icol 0))
 (import (only (chicken port) with-input-from-string))
 (with-input-from-string str (lambda () (read-sexp grm icol))) )

(define-syntax test-parse
  (syntax-rules ()
    ((test-parse ?out ?in)
      (test ?in ?out (read-sexp/string ?in)) )
    ((test-parse ?msg ?out ?in)
      (test ?msg ?out (read-sexp/string ?in)) ) ) )

(test-group "Jacal Grammar (English)"
  (test-parse '(+ 1 (* 2 a)) "1 + 2 * a")
  (test-parse '(* (+ 1 2) a) "(1 + 2) * a")
  (test-parse '(* (+ 1 2) (f a b)) "(1 + 2) * f(a, b)")
  (test-parse '(or (/ (* (+ 1 2) (f a b)) 27.9)) "{(1 + 2) * f(a, b) / 27.9}")

  ;FIXME handle ratios
  ;(test-parse '(* (+ 1 2) 1/5) "(1 + 2) * 1/5")
  (test-parse "N/D (ratio) => (/ N D)" '(/ (* (+ 1 2) 1) 5) "(1 + 2) * 1/5")

  (test 15 (eval (read-sexp/string "(1 + 2) * 5;")))
  (test 15.0 (eval (read-sexp/string "(1.0 + 2) * 5")))
  (test 3/5 (eval (read-sexp/string "(1 + 2) * 1/5")))

  (test 8 (eval (read-sexp/string "2**3")))
)

;;

#| ;comment to activate for csi (csc needs extension)
(read-syntax-setup!)

(test-group "Reader #{...}"
  (test "w/ spaces" 3/5 #{ (1 + 2) / 5 }) ;(* (+ 1 2) 5)
  (test "w/o spaces" 3/5 #{(1+2)/5})      ;(* (+ 1 2) 5)
  (test 1 #{ {1} })                       ;(or 1)
  (test #(1) #{ [1] })                    ;(vector 1)
  (test 8 #{ expt(2, 3) })                ;(expt 2 3)
  (test 8 #{ 2**3 })                      ;(expt 2 3)
)

(test-group "Reader #<id>{...}"
  (test 15 #0{(1 + 2) * 5}) ;(* (+ 1 2) 5)
  (test 1 #0{{1}})          ;(or 1)
  (test 8 #0{expt(2,3)})    ;(expt 2 3)
  (test 8 #0{2^3})          ;(expt 2 3)
  (test #(1) #0{[1]})       ;(vector 1)
  (test #(1) #1{[1]})       ;(vector 1)
  (test #(1) #2{[1]})       ;(vector 1)
)
|#

;;;

(test-end "SLIB Precedence Parser")

::

(test-exit)