types.db: "allocate" can return false, not just pointers

[sjamaan]

(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)))

[felix winkelmann]

Correct. Thanks.

[felix winkelmann]

Milestone 4.7.0 deleted

[felix winkelmann]

Milestone 4.8.0 deleted