On Tue, Sep 7, 2010 at 8:04 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
You can't use that type in `require/typed', though, since the contract
library doesn't accept `case-' contracts like that.
The like that part is that two different arms of the case- would
have the same arity?
On Sep 7, Jay McCarthy wrote:
On Tue, Sep 7, 2010 at 5:54 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
On Mon, Sep 6, 2010 at 10:28 PM, Eli Barzilay e...@barzilay.org wrote:
On Sep 6, Sam Tobin-Hochstadt wrote:
On Sun, Sep 5, 2010 at 5:30 PM, Eli Barzilay e...@barzilay.org wrote:
On Sep 6, Sam Tobin-Hochstadt wrote:
On Sun, Sep 5, 2010 at 5:30 PM, Eli Barzilay e...@barzilay.org wrote:
I think that this is the type for `file-or-directory-modify-seconds':
(case-lambda
[String - Exact-Nonnegative-Integer]
[String (Option Exact-Nonnegative-Integer)
3 matches
Mail list logo
