mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-20 11:40:18 +02:00
Code Activity

(texinfo reflection) parses out macro metadata

Browse source 
* module/texinfo/reflection.scm (macro-arguments):
  (macro-additional-stexi, object-stexi-documentation): Parse out the
  metadata in macros, if it is available, so we can show defmacros'
  arguments, syntax-rules' patterns, etc.
This commit is contained in:
Andy Wingo 2010-03-29 18:06:54 +02:00
parent a5e95abe9b
commit 4f08d0b50f
1 changed files with 36 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

55
module/texinfo/reflection.scm
View file

@ -37,6 +37,7 @@
#:use-module (ice-9 session) #:use-module (ice-9 session)
#:use-module (ice-9 documentation) #:use-module (ice-9 documentation)
#:use-module (ice-9 optargs) #:use-module (ice-9 optargs)
#:use-module (system vm program)
#:use-module ((sxml transform) #:select (pre-post-order)) #:use-module ((sxml transform) #:select (pre-post-order))
#:export (module-stexi-documentation #:export (module-stexi-documentation
script-stexi-documentation script-stexi-documentation
@ -122,24 +123,35 @@
(list "." (symbol->string rest-arg)) (list "." (symbol->string rest-arg))
'())))))))) '()))))))))
;; like the normal false-if-exception, but doesn't affect the-last-stack (define (macro-arguments name type transformer)
(define-macro (false-if-exception exp)
`(catch #t
(lambda ()
(with-fluids ((the-last-stack (fluid-ref the-last-stack)))
,exp))
(lambda args #f)))
;; This is really nasty, I wish guile gave a better way to get this...
(define (get-macro-args macro)
(process-args (process-args
(case (macro-type macro) (case type
((syncase-macro) ((syntax-rules)
(case (syncase-macro-type macro) (let ((patterns (program-property transformer 'patterns)))
((macro) (if (pair? patterns)
(get-proc-args (car (syncase-macro-binding macro)))) (car patterns)
(else #f))) '())))
(else #f)))) ((identifier-syntax)
'())
((defmacro)
(or (program-property transformer 'defmacro-args)
'()))
(else
;; a procedural (syntax-case) macro. how to document these?
'()))))
(define (macro-additional-stexi name type transformer)
(case type
((syntax-rules)
(let ((patterns (program-property transformer 'patterns)))
(if (pair? patterns)
(map (lambda (x)
`(defspecx (% (name ,name)
(arguments ,@(process-args x)))))
(cdr patterns))
'())))
(else
'())))
(define many-space? (make-regexp "[[:space:]][[:space:]][[:space:]]")) (define many-space? (make-regexp "[[:space:]][[:space:]][[:space:]]"))
(define initial-space? (make-regexp "^[[:space:]]")) (define initial-space? (make-regexp "^[[:space:]]"))
@ -215,8 +227,13 @@
(make-def 'deftp `((name ,name) (make-def 'deftp `((name ,name)
(category "Class")))) (category "Class"))))
((is-a? object <macro>) ((is-a? object <macro>)
(make-def 'defspec `((name ,name) (let* ((proc (macro-transformer object))
(arguments ,@(get-macro-args object))))) (type (and proc (program-property proc 'macro-type))))
`(defspec (% (name ,name)
(arguments ,@(macro-arguments name type proc)))
,@(macro-additional-stexi name type proc)
,@(cdr stexi))))
((is-a? object <procedure>) ((is-a? object <procedure>)
(make-def 'defun `((name ,name) (make-def 'defun `((name ,name)
(arguments ,@(get-proc-args object))))) (arguments ,@(get-proc-args object)))))