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

;;;; slib-prec-test.scm  -*- scheme -*-
;;;; Kon Lovett, Apr '20

(import test)

(test-begin "SLIB Precedence Parser")

(import slib-prec)

;;

;;;

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

;; Operator Aliaes

(define ^ expt)
(define mod modulo)

;;

;defgrammar doesn't `define'
(import slib-basic-grammars)
(import slib-standard-grammar)
(import slib-tex-grammar)

;init by id-# grammar lookup
(define-constant TEST-GRAMMARS '(standard disp2d tex null scheme schemepretty))
(clear-grammar-ids)
(grammar-id-name-setup! TEST-GRAMMARS)
(active-grammar-set! 'standard #f 'schemepretty)

;;

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

;;

(define-syntax test-parse
  (syntax-rules ()
    ((test-parse ?out ?in)
      (test ?in ?out (read-sexp-from-string ?in)) )
    ((test-parse ?msg ?out ?in)
      (test ?msg ?out (read-sexp-from-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-from-string "(1 + 2) * 5;")))
  (test 15.0 (eval (read-sexp-from-string "(1.0 + 2) * 5")))
  (test 3/5 (eval (read-sexp-from-string "(1 + 2) * 1/5")))

  (test 8 (eval (read-sexp-from-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-end "SLIB Precedence Parser")

::

(test-exit)