Summary

chicken HEAD (2011-08-31) breaks sedna

Metadata

• Id: 786964310536b6c09c8d11481b1e895e9bc5fb1f
• Trac id: 680
• Type: defect
• Reporter: mario
• Owner: felix
• Cc:
• Status: closed
• Component: unknown
• Estimated difficulty:
• Resolution: fixed
• Priority: major
• Milestone: 4.9.0
• Version: 4.7.x
• Changetime: 2012-09-24 21:47:48 UTC
• Created: 2011-08-31 21:06:44 UTC
• Keywords: sedna

Description

See http://tests.call-cc.org/master/linux/x86/2011/08/31/salmonella-report/sedna.html

The day before it was not failing (http://tests.call-cc.org/master/linux/x86/2011/08/30/salmonella-report/sedna.html).

It's possible that it is a sedna bug (I haven't checked it). Just in case, I'm opening this ticket.

Changes and comments

[2011-08-31 21:30:53 UTC] zbigniew wrote:

Could this be because sedna:extract-string is supposed to return 2 values, but one of the conditional branches returns #f after raising a continuable exception, confusing the flow analysis? Perhaps it should return (values #f #f) or signal a non-continuable exception instead (will the flow analysis understand that?)

[2011-09-23 09:03:33 UTC] felix changed status from new to assigned

[2011-09-23 09:03:33 UTC] felix set owner to felix

[2011-11-14 14:37:30 UTC] felix wrote:

This was caused by an optimization rule for `call-with-values` which was incorrectly triggered due to a bug in the scrutinizer.

[2011-12-01 10:06:04 UTC] felix changed status from assigned to closed

[2011-12-01 10:06:04 UTC] felix set resolution to fixed

[2012-09-24 21:47:48 UTC] felix changed milestone from 4.8.0 to 4.9.0

[2012-09-24 21:47:48 UTC] felix wrote:

Milestone 4.8.0 deleted