[plt-scheme] re-providing a contract

From: Robby Findler (robby at cs.uchicago.edu)
Date: Mon Apr 14 20:52:50 EDT 2008

There is not a way to get the contract of a procedure (indeed, I'd say
that there is no such thing as "the" contract of a procedure from the
perspective that one could have many different contracts that all
assign blame the same way in the same sense that there are many
functions that produce the same results). But the contract should
always be part of the documentation so you should know what you've
got, even if you can't program with it per se.

Robby

On Mon, Apr 14, 2008 at 7:28 PM, Doug Orleans <dougorleans at gmail.com> wrote:
> Is there a way to re-provide a contract?  That is, I want to import a
>  procedure, define a wrapped version, and then export the wrapped
>  version with the same contract as the original procedure.
>
>  More generally, is there a way to get the contract of a procedure?
>
>  --dougorleans at gmail.com
>  _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>


Posted on the users mailing list.