free-id=? fix for unbound ids

This commit is contained in:
ESL 2024-11-07 22:13:14 -05:00
parent e38354cbff
commit f75a2aae74
2 changed files with 3 additions and 3 deletions

View file

@ -386,7 +386,7 @@
(let ([p1 (env1 id1 'peek)] [p2 (env2 id2 'peek)]) (let ([p1 (env1 id1 'peek)] [p2 (env2 id2 'peek)])
(and p1 p2 ; both envs should be supported by name registries (and p1 p2 ; both envs should be supported by name registries
(if (and (name-registry? p1) (name-registry? p2)) (if (and (name-registry? p1) (name-registry? p2))
(and (eq? p1 p2) (eq? id1 id2)) ; would end w/same loc if alloced (and (eq? p1 p2) (eq? (id->sym id1) (id->sym id2))) ; would end w/same loc if alloced
(eq? p1 p2))))) ; nrs and locs are distinct, so this means "same loc" (eq? p1 p2))))) ; nrs and locs are distinct, so this means "same loc"
; xpand receives Scheme s-expressions and returns either Core Scheme <core> form ; xpand receives Scheme s-expressions and returns either Core Scheme <core> form

4
t.c
View file

@ -249,8 +249,8 @@ char *t_code[] = {
"P", "free-id=?", "P", "free-id=?",
"%4${'(y4:peek),.5,.7[02},${'(y4:peek),.4,.6[02},.0?{.1?{${.2,@(y14:nam" "%4${'(y4:peek),.5,.7[02},${'(y4:peek),.4,.6[02},.0?{.1?{${.2,@(y14:nam"
"e-registry?)[01}?{${.3,@(y14:name-registry?)[01}}{f}?{.1,.1q?{.4,.3q]6" "e-registry?)[01}?{${.3,@(y14:name-registry?)[01}}{f}?{.1,.1q?{${.6,@(y"
"}f]6}.1,.1q]6}f]6}f]6", "7:id->sym)[01},${.5,@(y7:id->sym)[01}q]6}f]6}.1,.1q]6}f]6}f]6",
"P", "xpand", "P", "xpand",
"%3${.3,@(y3:id?)[01}?{${.4,.4,@(y9:xpand-ref)[02},.1?{.0]4}.0U0?{.0U7," "%3${.3,@(y3:id?)[01}?{${.4,.4,@(y9:xpand-ref)[02},.1?{.0]4}.0U0?{.0U7,"