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)
> > -> (U Exact-Nonnegative-Integer Void)]
> > [String (Option Exact-Nonnegative-Integer) (-> Any)
> > -> Any])
>
> Probably you want something more specific that handles the [String
> Integer] and [String False] cases separately.
Yeah, but that's the part that I can never remember. This:
(U (String -> Exact-Nonnegative-Integer)
(String False -> Exact-Nonnegative-Integer)
(String Exact-Nonnegative-Integer -> Void)
(String (Option Exact-Nonnegative-Integer) (-> Any) -> Any))
is more precise, but IIRC, it's not equivalent to the above -- ?
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
