﻿id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
81	z3 egg error handling bug	Tony Sidaway	Tony Sidaway	"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."	defect	closed	major		extensions	4.1.x	fixed	z3 z3:error alist-ref		
