Re: [racket-users] Logger shows lots of info messages about collapsible-contract-bailout and collapsible-value-bailout

[Greg Hendershott]

In case it's useful here are some levels for various loggers.


  '((cm-accomplice   . warning)
(GC  . info)
(module-prefetch . warning)
(optimizer   . info)
(racket/contract . error)
(sequence-specialization . info)
(*   . fatal))


Based on experience, this filters out "noise" when you're not actively 
working on one of those systems (as opposed to just using them). 

These are the defaults in Racket Mode's racket-logger-mode buffer:

  
https://github.com/greghendershott/racket-mode/blob/master/racket-custom.el#L349-L379

-- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/d0d4e978-ec16-42fa-8e37-c916d443139a%40googlegroups.com.

Re: [racket-users] Logger shows lots of info messages about collapsible-contract-bailout and collapsible-value-bailout

[epi]

Thanks to you and Robby Findler for your quick replies!

March 14, 2020 4:17 PM, "Ben Greenman"  wrote:

>>> I don't know what triggers it and google does not return any results.
>>> Just curious, is it something I should be worried about?
>>> I am using Racket v7.5 if it helps.
> 
> Searching google for "collapsible contract" should point to these
> pages, at least:
> 
> https://docs.racket-lang.org/reference/collapsible.html
> https://users.cs.northwestern.edu/~dmf082/papers/collapsible.pdf
> 
> In short, racket/contract has two flavors for some contracts: "normal"
> and "collapsible". Those log messages appear when the library tries to
> use "collapsible" but has to fall back.
> 
> --
> 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+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/CAFUu9R4W8Z=7ytVL44w7zXxAiteWdxdS-FUhZTJN1LnjELiG8Q@m
> il.gmail.com.

-- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/dc1fb21c0fe41e2bcb90386c0aa3109c%40disroot.org.

Re: [racket-users] Logger shows lots of info messages about collapsible-contract-bailout and collapsible-value-bailout

[Ben Greenman]

>> I don't know what triggers it and google does not return any results.
>> Just curious, is it something I should be worried about?
>> I am using Racket v7.5 if it helps.

Searching google for "collapsible contract" should point to these
pages, at least:

https://docs.racket-lang.org/reference/collapsible.html
https://users.cs.northwestern.edu/~dmf082/papers/collapsible.pdf

In short, racket/contract has two flavors for some contracts: "normal"
and "collapsible". Those log messages appear when the library tries to
use "collapsible" but has to fall back.

-- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAFUu9R4W8Z%3D7ytVL44w7zXxAiteWdxdS-FUhZTJN1LnjELiG8Q%40mail.gmail.com.

Re: [racket-users] Logger shows lots of info messages about collapsible-contract-bailout and collapsible-value-bailout

[Robby Findler]

Definitely not something to worry about!

Robby

On Sat, Mar 14, 2020 at 8:59 AM  wrote:

>
> Hi everyone,
>
> I was debugging my program using the logging facilities, and I was getting
> a lot of the following messages at level info:
>
> [ info] collapsible-contract-bailout: arrow: has optional args
> [ info] collapsible-contract-bailout: arrow: has keyword args
> [ info] collapsible-contract-bailout: arrow: no rngs
> [ info] collapsible-contract-bailout: arrow: no rngs
> [ info] collapsible-contract-bailout: arrow: multiple return values
> [ info] collapsible-value-bailout: arrow: can't prove single-return-value
> [ info] collapsible-value-bailout: arrow: can't prove single-return-value
> [ info] collapsible-value-bailout: arrow: can't prove single-return-value
> [ info] collapsible-value-bailout: arrow: can't prove single-return-value
> [ info] collapsible-value-bailout: arrow: can't prove single-return-value
> [ info] collapsible-value-bailout: arrow: can't prove single-return-value
> [ info] collapsible-value-bailout: arrow: can't prove single-return-value
> [ info] collapsible-contract-bailout: arrow: no rngs
> [ info] collapsible-contract-bailout: arrow: no rngs
> 
>
>
> I don't know what triggers it and google does not return any results.
> Just curious, is it something I should be worried about?
> I am using Racket v7.5 if it helps.
>
>
> Best regards.
>
> --
> 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+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/335c16fb6d4ce69c5b03508eddfe9b7c%40disroot.org
> 
> .
>

-- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAL3TdOMGS53iENv0xGNxh8SSs0_%2BV%3DCYLRiXdfStEMBsdo2OQQ%40mail.gmail.com.

[racket-users] Logger shows lots of info messages about collapsible-contract-bailout and collapsible-value-bailout

[epi]

Hi everyone,

I was debugging my program using the logging facilities, and I was getting a 
lot of the following messages at level info:

 [ info] collapsible-contract-bailout: arrow: has optional args
 [ info] collapsible-contract-bailout: arrow: has keyword args
 [ info] collapsible-contract-bailout: arrow: no rngs
 [ info] collapsible-contract-bailout: arrow: no rngs
 [ info] collapsible-contract-bailout: arrow: multiple return values
 [ info] collapsible-value-bailout: arrow: can't prove single-return-value
 [ info] collapsible-value-bailout: arrow: can't prove single-return-value
 [ info] collapsible-value-bailout: arrow: can't prove single-return-value
 [ info] collapsible-value-bailout: arrow: can't prove single-return-value
 [ info] collapsible-value-bailout: arrow: can't prove single-return-value
 [ info] collapsible-value-bailout: arrow: can't prove single-return-value
 [ info] collapsible-value-bailout: arrow: can't prove single-return-value
 [ info] collapsible-contract-bailout: arrow: no rngs
 [ info] collapsible-contract-bailout: arrow: no rngs
 
I don't know what triggers it and google does not return any results.
Just curious, is it something I should be worried about?
I am using Racket v7.5 if it helps.
Best regards.

-- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/335c16fb6d4ce69c5b03508eddfe9b7c%40disroot.org.