[Larceny-users] foreign-null-pointer not a void*?

[Adam Smith]

Currently void*? only checks if its parameter is a void* record. Since
foreign-null-pointer simply returns 0 - which is not a void* record -
the check fails, which makes it tricky to pass a NULL pointer to a C
function...should void*? be redefined as...

(define (void*? x)
  (if (foreign-null-pointer? x)
      #t
      (record-predicate void*-rt)))

?