[plt-scheme] Re: MrEd - Gui

From: Chongkai Zhu (czhu at cs.utah.edu)
Date: Sun Sep 30 11:23:54 EDT 2007


Matthew Jadud wrote:
> On 9/30/07, Matt Jadud <jadudm 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
>
> ?
>
>   
Yes.
> Cheers,
> Matt
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>   


Posted on the users mailing list.