[racket-dev] signatures?

From: Michael Sperber (sperber at deinprogramm.de)
Date: Sat Sep 3 05:48:04 EDT 2011

Danny Yoo <dyoo at cs.wpi.edu> writes:

> I tried the following program in ASL.  In Definitions:
>
> ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
> (: g (Number -> Number))
> (define g
>   (lambda (x)
>     (if (= x 0)
>         x
>         (list "three" x))))
> ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
>
> I ran Definitions, and then in my Interactions window, entered:
>
>    > (g 20)
>
> I got back a result that was not a number, but I did not see an
> expected signature error.  Should I?  I tried this in Die Macht der
> Abstraktion, with identical results.

This got broken sometime since 5.1, where it still works: Could you file
a bug report?

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla


Posted on the dev mailing list.