[plt-scheme] Possible bug in (module ...) language of DrScheme 299.106

From: Arjun Guha (garjun at cs.brown.edu)
Date: Sun Jun 5 15:33:13 EDT 2005

Hi,

I'm using DrScheme 299.106-svn1jun2005.  Suppose we create two files,
data.ss:

(module data mzscheme
  (require (lib "contract.ss"))
  
  (define-struct tt (field))
  
  (provide/contract (struct tt ((field any/c)))))

and macros.ss:

(module macros mzscheme
  (require "data.ss")
  
  (provide tt-stx)
  (define-syntax tt-stx
    (syntax-rules ()
      [(_ value) (make-tt value)])))

Evaluate macros.ss in the (module ...) language level and in the REPL:

> (tt? (tt-stx 'a))
#t

Now, evaluate data.ss in the (module ...) language, and in the REPL:

> (require "macros.ss")
> (tt? (tt-stx 'a))
#f

Is this a bug or am I missing something?

-Arjun





Posted on the users mailing list.