id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
573	"types.db: ""allocate"" can return false, not just pointers"	sjamaan	felix winkelmann	"{{{(allocate -1) => #f}}}

But when I do {{{(let ((x (allocate y))) (unless x (error ""allocation problem"")))}}} I get a compiler warning:

{{{
Warning: in toplevel procedure `freetds#make-CS_BINARY*':
  expected value of type boolean in conditional but were given a value of
type `pointer' which is always true:
}}}

I think types.db needs a small tweak to accommodate null pointers.

Probably something like this:

{{{(allocate (procedure allocate (fixnum) (or pointer boolean)))}}}"	defect	closed	not urgent at all	4.9.0	compiler	4.6.x	fixed