racket/contract warning

Tim Brown <[email protected]>
Newsgroups gmane.comp.lang.racket.user,gmane.lisp.scheme.plt
Message-ID <[email protected]>
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]>
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
                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-/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.