[plt-scheme] Re: MrEd - Gui

From: Laurent (Ouaibou at gmail.com)
Date: Sun Sep 30 14:20:37 EDT 2007

I understood your last post, but not how to write a contract for a
function of zero argument.

What's a contract ?

Thanks,
Laurent

On 30 sep, 17:11, "Matthew Jadud" <Matthew.Ja... at olin.edu> wrote:
> On 9/30/07, Matt Jadud <jad... at gmail.com> wrote:
>
> > ;; CONTRACT
> > ;; interpretation-show : __ -> void
>
> How should I write a contract for a function of zero arguments?
> Perhaps that should have been
>
> interpretation-show : -> void
>
> ?
>
> Cheers,
> Matt
> _________________________________________________
>   For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme



Posted on the users mailing list.