; (cadar-of <procedure of n arguments>)
(define-syntax cadar-of
 (ir-macro-transformer
  (lambda (expr inject compare)
   (assert (pair? expr))
   (let* ((proc (second expr))
	 )
   ;(list 'quote
    `(lambda x
     (->* x
      (,proc)
      (extract-cadar)))
   ;)
  ))))

(define (meta-meta/validUntil . x)
  (->* x
       ((sxpath '(validUntil)))
       (extract-cadar)))

(define meta-meta/validUntil
  (cadar-of
    (sxpath '(validUntil))))

; Procedures to get the EntitiesDescriptor attributes
;  - the metadata about the metadata
; *TOP* -> EntitiesDescriptor -> @ -> ...
(define meta-meta
 (sxpath '(EntitiesDescriptor @)))

(define meta-meta/validUntil
  (cadar-of
    (sxpath '(validUntil))))

(define idp-entites
  ;(sxpath '("EntitiesDescriptor/EntityDescriptor[IDPSSODescriptor]")))
  (sxpath '(EntitiesDescriptor (EntityDescriptor(IDPSSODescriptor)))))

(define (extractor v p)
 (if (null? v) #f (p v)))

; (cadar-of <procedure of n arguments>)
(define-syntax extract
 (ir-macro-transformer
  (lambda (expr inject compare)
   (assert (pair? expr))
   (let* ((extractor (second expr))
	  (proc (third expr))
	 )
   ;(list 'quote
    `(lambda x
     (->* x
      (,proc)
      (extractor ,extractor)))
   ;)
  ))))




; Procedures to get the EntitiesDescriptor attributes
;  - the metadata about the metadata
; *TOP* -> EntitiesDescriptor -> @ -> ...
(define meta-meta
 (sxpath '(EntitiesDescriptor @)))

(define meta-meta/validUntil
  (extract cadar
	   (sxpath '(validUntil))))

(define idp-entites
  ;(sxpath '("EntitiesDescriptor/EntityDescriptor[IDPSSODescriptor]")))
  (sxpath '(EntitiesDescriptor (EntityDescriptor(IDPSSODescriptor)))))