;;; Procedures that appear in code produced by (RX ...).

;;; In sexp syntax, a ,<exp> or ,@<exp> form may evaluate to a string, char,
;;; char-set, or regexp value. Coerce one of these to a regexp value.

(define-module (scsh rx rx-lib)
  :use-module (srfi srfi-1)
  :use-module (srfi srfi-14)
  :use-module (scsh ascii)
  :use-module (scsh rx re)
  :use-module (scsh rx cond-package)
)
(export coerce-dynamic-regexp spec->char-set)

(define (coerce-dynamic-regexp x)
  (? ((string? x)   (make-re-string x))
     ((char? x)     (make-re-string (string x)))
     ((char-set? x) (make-re-char-set x))
     ((regexp? x) x)
     (else (error "Cannot coerce value to regular expression." x))))

;;; In a char-set context (e.g., as an operand of the SRE - operator), 
;;; a ,<exp> or form must be coercable to a char-set.

(define (coerce-dynamic-charset x)
  (? ((string? x)
      (if (= 1 (string-length x)) (string->char-set x)
	  (error "Multi-char string not allowed as ,<exp> or ,@<exp> SRE in char-class context."
		 x)))
     ((char? x)     (char-set x))
     ((char-set? x) x)
     ((re-char-set? x) (re-char-set:cset x))
     (else (error "Cannot coerce value to character set" x))))


(define (spec->char-set in? loose ranges)
  (let ((doit (lambda (loose ranges)
		(fold (lambda (r cset)
			(let ((from (char->ascii (car r)))
			      (to (char->ascii (cdr r))))
			  (do ((i from (+ i 1))
			       (cs cset (char-set-adjoin! cs (ascii->char i))))
			      ((> i to) cs))))
		      (string->char-set loose)
		      ranges))))
    (if in?
	(doit loose ranges)
	(char-set-complement! (doit loose ranges)))))