Opened 16 years ago

Closed 16 years ago

#81 closed defect (fixed)

z3 egg error handling bug

Reported by: Tony Sidaway Owned by: Tony Sidaway
Priority: major Milestone:
Component: extensions Version: 4.1.x
Keywords: z3 z3:error alist-ref Cc:
Estimated difficulty:

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.

Change History (4)

comment:1 by felix winkelmann, 16 years ago

Owner: set to felix winkelmann
Status: new → assigned

comment:2 by Tony Sidaway, 16 years ago

Owner: changed from felix winkelmann to Tony Sidaway
Status: assigned → accepted

comment:3 by felix winkelmann, 16 years ago

Component: build system → extensions

comment:4 by Tony Sidaway, 16 years ago

Resolution: → fixed
Status: accepted → closed

Edited as suggested.

Note: See TracTickets for help on using tickets.