[racket-dev] [plt] Push #23774: master branch updated

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Fri Oct 21 14:45:36 EDT 2011

Can I help make a test case for this?

Robby

On Fri, Oct 21, 2011 at 1:44 PM,  <sperber at racket-lang.org> wrote:
> sperber has updated `master' from 0d642cf976 to 36d3745d4c.
>  http://git.racket-lang.org/plt/0d642cf976..36d3745d4c
>
> =====[ 1 Commits ]======================================================
>
> Directory summary:
>  100.0% collects/deinprogramm/signature/
>
> ~~~~~~~~~~
>
> 36d3745 Mike Sperber <sperber at deinprogramm.de> 2011-10-21 20:43:50 +0200
> :
> | Unbreak "Enable signature checking".
> |
> | Previously, if you disabled it once, it would stay disabled.
> :
>  M collects/deinprogramm/signature/tool.rkt |    2 +-
>
> =====[ Overall Diff ]===================================================
>
> collects/deinprogramm/signature/tool.rkt
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> --- OLD/collects/deinprogramm/signature/tool.rkt
> +++ NEW/collects/deinprogramm/signature/tool.rkt
> @@ -37,7 +37,7 @@
>                           (unless enabled?
>                             (set! enabled? #t)
>                             (set-label disable-label)
> -                            (preferences:set 'signatures:enable-checking? '#f)))
> +                            (preferences:set 'signatures:enable-checking? '#t)))
>                         (define/public (disable-signature-checking)
>                           (when enabled?
>                             (set! enabled? #f)
>



Posted on the dev mailing list.