Fcalva/cyclone
1
0
Fork 0
mirror of https://github.com/justinethier/cyclone.git synced 2025-07-15 08:47:35 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Restructuring

Browse source
This commit is contained in:
Justin Ethier 2015-08-14 23:51:14 -04:00
parent cc27e2b355
commit 5a27727c4f
1 changed files with 29 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

47
scheme/cyclone/macros.sld
View file

@ -27,26 +27,37 @@
(define (macro:macro? exp defined-macros) (assoc (car exp) defined-macros))
(define (macro:expand exp defined-macros)
(let ((macro (assoc (car exp) defined-macros)))
(let ((rename (lambda (sym) ;; TODO: not good enough, need to actually rename, and keep same results if
sym)) ;; the same symbol is renamed more than once
(compare? (lambda (sym-a sym-b) ;; TODO: the compare function from exrename.
(eq? sym-a sym-b))) ;; this may need to be more sophisticated
)
;(cond
; ;; compiled macro
; ;((macro? (car exp))
; ; ((car exp)
; ; exp
; ; rename
; ; compare?))
; (else
(let ((macro (assoc (car exp) defined-macros)))
TODO: restructure this to use eval if the macro is not a proc.
then can try passing in an environment with create-environment.
once eval is extended to work with macros, this could allow it to
expand a macro contained within another
;TODO: restructure this to use eval if the macro is not a proc.
; then can try passing in an environment with create-environment.
; once eval is extended to work with macros, this could allow it to
; expand a macro contained within another
;; assumes ER macro
(if macro
((cdr macro)
;exp
; could be a raw lambda, if that is the case try quoting it
(if (procedure? (cdr macro))
exp
(list 'quote exp))
(lambda (sym) ;; TODO: not good enough, need to actually rename, and keep same results if
sym) ;; the same symbol is renamed more than once
(lambda (sym-a sym-b) ;; TODO: the compare function from exrename.
(eq? sym-a sym-b))) ;; this may need to be more sophisticated
exp))) ;; TODO: error instead??
;; assumes ER macro
(if macro
((cdr macro)
;exp
; could be a raw lambda, if that is the case try quoting it
(if (procedure? (cdr macro))
exp
(list 'quote exp))
rename
compare?)
exp))));)) ;; TODO: error instead??
; TODO: get macro name, transformer
; TODO: base off of syntactic closures instead of ER macros??