Re: racket/contract warning

Robby Findler <[email protected]>
Newsgroups gmane.comp.lang.racket.user,gmane.lisp.scheme.plt
Message-ID <CAL3TdOP2VSAnW5D0Eei36K41OuwT3vNC8bRvk97PNsZKWgpaiw@mail.gmail.com>
It is a note from the contract system to itself to help track down places
that should be improved. Please feel free to ignore it.

... Unless you want to try to fix it? I am happy to supply more of that
kind of infor if you care.

Robby

On Wednesday, March 30, 2016, Tim Brown <[email protected]> wrote:

> Robby,
>
> Maybe I’m being a bit thick, but that reply is a bit too cryptic for me
> :-/
>
> Should I be doing something?
> [Can’t see how, since I’m just running racket]
>
> Are the Racket devs being pestered to pass late-neg-projection where
> they aren’t currently?
>
> Or what?
>
> Regards,
>
> Tim
>
> On 29/03/16 13:23, Robby Findler wrote:
> > It is well known but maybe not well liked. :)
> >
> > Robby
> >
> > On Tuesday, March 29, 2016, Tim Brown <[email protected]
> <javascript:;>
> > <mailto:[email protected] <javascript:;>>> 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))
> >     >
> >     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>
>
> --
> 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.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.