From 0a493b9c7bb0dedeb17fd8ea19383ea306147ac4 Mon Sep 17 00:00:00 2001 From: VSteveHL Date: Mon, 21 Jul 2025 14:28:40 +0800 Subject: [PATCH] add top-environment to library-identifier --- analysis/identifier/reference.sls | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/analysis/identifier/reference.sls b/analysis/identifier/reference.sls index fcb45548..8f81100e 100644 --- a/analysis/identifier/reference.sls +++ b/analysis/identifier/reference.sls @@ -59,7 +59,15 @@ (mutable parents) ;; each type-expression is an alist consists of identifier-references and 'or 'something? 'void? ... ;; NOTE: it must be index-node's type expression collection, because of case-lambda - (mutable type-expressions))) + (mutable type-expressions) + (mutable top-environment)) + (protocol + (lambda (new) + (case-lambda + [(identifier document index-node initialization-index-node library-identifier type parents type-expressions) + (new identifier document index-node initialization-index-node library-identifier type parents type-expressions 'r6rs)] + [(identifier document index-node initialization-index-node library-identifier type parents type-expressions top-environment) + (new identifier document index-node initialization-index-node library-identifier type parents type-expressions top-environment)])))) (define (is-ancestor-of? identifier-reference0 identifier-reference1) (if (equal? identifier-reference0 identifier-reference1)