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

Allow (macro:add-renamed-vars!) to mutate env

Browse source
This commit is contained in:
Justin Ethier 2016-09-22 03:44:29 -04:00
parent 6ca3b7fca7
commit 5f93f3e9cb
2 changed files with 14 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

28
scheme/cyclone/macros.sld
View file

@ -11,7 +11,6 @@
(scheme write) ;; Debug only
(scheme eval)
(scheme cyclone util)
(srfi 69)
)
(export
define-syntax?
@ -53,7 +52,8 @@
(define (macro:macro? exp defined-macros) (assoc (car exp) defined-macros))
(define (macro:expand exp macro mac-env rename-tbl)
(define *macro:renamed-variables* (env:extend-environment '() '() '()))
(define (macro:expand exp macro mac-env) ;;rename-tbl
(let* ((use-env (env:extend-environment '() '() '()))
(compiled-macro? (or (Cyc-macro? (Cyc-get-cvar (cadr macro)))
(procedure? (cadr macro))))
@ -72,14 +72,14 @@
((Cyc-get-cvar (cadr macro))
exp
(Cyc-er-rename use-env mac-env)
(Cyc-er-compare? use-env rename-tbl)))
(Cyc-er-compare? use-env *macro:renamed-variables*)))
(else
(eval
(list
(Cyc-get-cvar (cadr macro))
(list 'quote exp)
(Cyc-er-rename use-env mac-env)
(Cyc-er-compare? use-env rename-tbl))
(Cyc-er-compare? use-env *macro:renamed-variables*))
mac-env))))
; (newline)
; (display "/* ")
@ -87,19 +87,18 @@
; (newline)
; (display (list result))
; (display "*/ ")
(macro:add-renamed-vars! use-env rename-tbl)
(macro:add-renamed-vars! use-env *macro:renamed-variables*)
result))
(define (macro:add-renamed-vars! env rename-tbl)
;; TODO: change this to use a hash table
;(set! *macro:renamed-variables*
; (env:extend-environment
; (env:all-variables env)
; (env:all-values env)
; *macro:renamed-variables*))
)
(define (macro:add-renamed-vars! env renamed-env)
(let ((frame (env:first-frame renamed-env)))
(for-each
(lambda (var val)
(env:add-binding-to-frame! var val frame))
(env:all-variables env)
(env:all-values env))))
(define (macro:cleanup expr rename-tbl)
(define (macro:cleanup expr)
(define (clean expr bv) ;; Bound variables
;(newline)
;(display "/* macro:cleanup->clean, bv =")
@ -117,7 +116,6 @@
((ref? expr)
;; if symbol has been renamed and is not a bound variable,
;; undo the rename
TODO: no good, change to use rename-tbl (a hashtable)
(let ((val (env:lookup expr *macro:renamed-variables* #f)))
(if (and val (not (member expr bv)))
(clean val bv)

3
scheme/cyclone/util.sld
View file

@ -8,8 +8,7 @@
;;;;
(define-library (scheme cyclone util)
(import (scheme base)
(scheme char)
(srfi 69))
(scheme char))
(export
;; Code analysis
tagged-list?