Opened 15 years ago

Closed 15 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 Changed 15 years ago by felix winkelmann

Owner: set to felix winkelmann
Status: new → assigned

comment:2 Changed 15 years ago by Tony Sidaway

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

comment:3 Changed 15 years ago by felix winkelmann

Component: build system → extensions

comment:4 Changed 15 years ago by Tony Sidaway

Resolution: → fixed
Status: accepted → closed

Edited as suggested.

Note: See TracTickets for help on using tickets.