[racket] Help understanding error: compile: access from an uncertified context to unexported variable from module

From: Marijn (hkBst at gentoo.org)
Date: Thu Aug 11 08:14:28 EDT 2011

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 06/17/11 14:34, Matthias Felleisen wrote:
> 
> With this:
> 
> #lang racket/load (module macro racket (provide dlist) (define-syntax
> (dlist stx) #`(shared ([x (make-link x)]) x)) (define-struct link
> (l)))
> 
> (module use racket (require 'macro) (dlist 3))
> 
> It seems to work.
> 
> On Jun 17, 2011, at 8:19 AM, Sam Tobin-Hochstadt wrote:
> 
>> On Fri, Jun 17, 2011 at 7:36 AM, Marijn <hkBst at gentoo.org> wrote:
>>> 
>>> My understanding so far is that `macro' expands to a use of the
>>> `link' constructor which is somehow not allowed. All my attempts
>>> to duplicate with simpler code failed to reproduce this error.
>> 
>> Here's a simpler version, with the same bug:
>> 
>> #lang racket/load (module macro racket (provide dlist) 
>> (define-syntax (dlist stx) #`(shared ([x (link x)]) x)) (struct
>> link (l)))
>> 
>> (module use racket (require 'macro) (dlist 3))
>> 
>> I think this is a bug in `shared' used in concert with `struct'. --
>>  sam th samth at ccs.neu.edu


This bug seems to have been fixed since I reported it, so thanks to all
involved for their help.

Marijn
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.17 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk5Dx6QACgkQp/VmCx0OL2yfywCgnH31vo1TwWmf9qvqFXOYEO4g
QpkAn0N4BZwEpGmOlcAZweWwoCEA6t1m
=94y4
-----END PGP SIGNATURE-----


Posted on the users mailing list.