[racket-dev] [plt] Push #23774: master branch updated
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)
>