[plt-scheme] uncertified context error

From: Eli Barzilay (eli at barzilay.org)
Date: Wed Dec 8 15:00:45 EST 2004

On Dec  8, David Van Horn wrote:
> Can someone explain this error, and how to avoid it?

This is (probably) a result of some contract related code trying to
dissect your code and reaching an identifier in some illegal
(=uncertified) way.  It's probably a bug that involves mzc's
interaction with the contract macros or some other macros.  Should be
submitted as a bug.

> $ cat host-url.ss
> (module host-url mzscheme
>    (provide host-url)
>    (require (lib "url.ss" "net"))
>    (define host-url (string->url "http://riverbot.com/")))
> $ mzc host-url.ss
> MzScheme compiler (mzc) version 299.24, Copyright (c) 2004 PLT Scheme, Inc.
> "host-url.ss":
>   [?,?]: Error: Error during elaboration: compile: access from an uncertified 
> context to unexported variable from module: 
> |,/local/riverbot/local/plt/collects/net/url| at: 
> provide/contract-contract-id-string->url in: 
> provide/contract-contract-id-string->url.77
> Errors encountered.  Compilation aborted.

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                  http://www.barzilay.org/                 Maze is Life!

Posted on the users mailing list.