CHICKEN Scheme

Summary

Expansion of internal definitions ignores import status/redefinition of `define` et al.

Metadata

Id: a37a5978572dfae9eb179cd7d9080b0d13255fed
Trac id: 1132
Type: defect
Reporter: evhan
Owner:
Cc:
Status: closed
Component: expander
Estimated difficulty: hard
Resolution: fixed
Priority: major
Milestone: 5.4
Version: 4.9.x
Changetime: 2023-11-10 14:58:34 UTC
Created: 2014-06-14 05:24:05 UTC
Keywords: expander, syntax, define

Forms starting with define, define-values and define-syntax are expanded as internal definitions in let and lambda bodies regardless of whether those identifiers have been imported or redefined to some other transformer.

With redefinition:

 (define-syntax define
   (syntax-rules ()
     ((_ . a) (list . a))))
 
 ;; Works, gives (1 2 3).
 (define 1 2 3)
 
 ;; Works, prints (1 2 3), since the define isn't treated
 ;; as an internal definition.
 (let ()
   (display (define 1 2 3)))
 
 ;; Fails, errors since the define is treated as an internal 
 ;; definition when it should instead return a list.
 (let ()
   (define 1 2 3))

Without having been imported:

 ;; Works, errors due to define being unbound.
 (module foo ()
   (import (except scheme define))
   (define a 1))
 
 ;; Fails, should error due to define being unbound but doesn't.
 (module foo ()
   (import (except scheme define))
   (let () (define a 1)))

The same applies for define-values and define-syntax.

Bindings introduced by let, let-syntax and friends are handled correctly.