Re: racket/contract warning

It is well known but maybe not well liked. :)

Robby

On Tuesday, March 29, 2016, Tim Brown <[email protected]> wrote:

> Folks,
>
> I have just upgraded some software to use Racket 6.4. My code sets
> log-max-level to debug, and then cranks up the level on the more
> chatty contributors.
>
> In 6.4, a new warning (or collection of warnings) is thrown by the
> racket/contract topic.
>
> Is this intentional?
>
> The warning is raised by doing nothing more than just running the
> Racket REPL:
>
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> $ PLTSTDERR=warning@racket/contract racket
> Welcome to Racket v6.4.
> racket/contract: no late-neg-projection passed to build-contract-property
>   (unpack24 . #(struct:srcloc
> #<path:/usr/local/racket/collects/racket/contract/private/prop.rkt> 271
> 0 8903 1608))
>   (|[running body]| . #(struct:srcloc
> #<path:/usr/local/racket/collects/racket/contract/private/opt.rkt> #f #f
> #f #f))
>   (|[traversing imports]| . #(struct:srcloc
> #<path:/usr/local/racket/collects/racket/contract/private/arr-i.rkt> #f
> #f #f #f))
> racket/contract: no late-neg-projection passed to build-contract-property
>   (unpack24 . #(struct:srcloc
> #<path:/usr/local/racket/collects/racket/contract/private/prop.rkt> 271
> 0 8903 1608))
>   (|[running body]| . #(struct:srcloc
> #<path:/usr/local/racket/collects/racket/private/class-c-new.rkt> #f #f
> #f #f))
> racket/contract: no late-neg-projection passed to build-contract-property
>   (unpack24 . #(struct:srcloc
> #<path:/usr/local/racket/collects/racket/contract/private/prop.rkt> 271
> 0 8903 1608))
>   (|[running body]| . #(struct:srcloc
> #<path:/usr/local/racket/collects/racket/contract/private/opt.rkt> #f #f
> #f #f))
> >
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>
> Should the humble application programmer be changing its behaviour to
> satisfy racket/contract; or is this just some debug that has been left
> at too high an importance level?
>
> Tim
>
> --
> Tim Brown CEng MBCS <[email protected] <javascript:;>>
> ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
>                 City Computing Limited · www.cityc.co.uk
>       City House · Sutton Park Rd · Sutton · Surrey · SM1 2AE · GB
>                 T:+44 20 8770 2110 · F:+44 20 8770 2130
> ────────────────────────────────────────────────────────────────────────
> City Computing Limited registered in London No:1767817.
> Registered Office: City House, Sutton Park Road, Sutton, Surrey, SM1 2AE
> VAT No: GB 918 4680 96
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscribe-/[email protected] <javascript:;>.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups "Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/[email protected]
For more options, visit https://groups.google.com/d/optout.