Summary
z3 egg error handling bug
Metadata
- Id: 906c866151565b8d385c18b8b46f195ee1a6104e
- Trac id: 81
- Type: defect
- Reporter: tonysidaway
- Owner: tonysidaway
- Cc:
- Status: closed
- Component: extensions
- Estimated difficulty:
- Resolution: fixed
- Priority: major
- Milestone:
- Version: 4.1.x
- Changetime: 2009-10-22 17:31:32 UTC
- Created: 2009-10-13 08:33:57 UTC
- Keywords: z3 z3:error alist-ref
Description
The alist-ref call in the definition of z3:error in the source file z3.scm has a missing argument.
The code currently says:
(alist-ref code errors "unknown")
If the optional DEFAULT argument is given, the optional TEST argument which precedes it must also be specified in the call. The correct value here is eqv?
So it should read:
(alist-ref code errors eqv? "unknown")
The effect of the bug is that error messages are not displayed and the program confuses the end user by complaining that "unknown" isn't a function.
Changes and comments
[2009-10-13 12:16:18 UTC] felix changed status from new to assigned
[2009-10-13 12:16:18 UTC] felix set owner to felix
[2009-10-19 08:18:41 UTC] tonysidaway changed status from assigned to accepted
[2009-10-19 08:18:41 UTC] tonysidaway changed owner from felix to tonysidaway
[2009-10-19 12:06:14 UTC] felix changed component from build system to extensions
[2009-10-22 17:31:32 UTC] tonysidaway wrote:
Edited as suggested.