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. |
|