Ticket #797 (closed defect: worksforme)

Opened 15 months ago

Last modified 12 months ago

eggs that are misusing the assert macro

Reported by: ckeen Owned by: juergen
Priority: major Milestone:
Component: extensions Version: 4.7.x
Keywords: assert eggs macro Cc: alaric

Description

Recent changes enforce the msg argument of assert to be a string. This triggers an error in

* er-macros
* contracts
* tubles
* skiplists
* ugarit

For details see for example this salmonella report:
http://tests.call-cc.org/master/linux/x86/2012/03/07/salmonella-report/

I am attaching this to juergen since most of this are his, alaric in CC for ugarit...

Change History

Changed 14 months ago by alaric

Is it a misuse of assert to have an expression that generates a string as the message? I'd argue that this is a useful feature, to dynamically generate more informative assertion failure messages :-)

I have submitted a patch to chicken-hackers that would re-enable this; let's see if consensus is that assert needs to have a static string argument!

Changed 13 months ago by felix

  • milestone 4.8.0 deleted

Changed 12 months ago by juergen

  • status changed from new to closed
  • resolution set to worksforme
Note: See TracTickets for help on using tickets.