[plt-dev] certificates, #%module-begin, and typed-scheme's soundness

But doesn't TS's provide really provide a crazy macro like provide/contract?

Jay

On Wed, Dec 16, 2009 at 4:05 PM, Carl Eastlund <carl.eastlund at gmail.com> wrote:
> On Wed, Dec 16, 2009 at 5:19 PM, Sam TH <samth at ccs.neu.edu> wrote:
>> The program at the end of this message behaves in arbitrary ways.  In
>> particular, it segfaults on my system.  However, this should be safe:
>> Typed Scheme is checking that only vectors are passed to `f'.  But the
>> `cheater' macro uses `local-expand' to extract a reference to `f', and
>> use it in arbitrary ways.
>
> You provided 'f'.  Certificates do not protect identifiers that are
> provided from the module that defines them.
>
> --Carl
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev
>



-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay

"The glory of God is Intelligence" - D&C 93