[gambit-list] Type predicates in _system.scm

Bradley Lucier lucier at math.purdue.edu
Wed Feb 25 12:32:38 EST 2015


Marc:

A typical type predicate in _system.scm is

(define-prim (##ratnum? obj)
   (and (##subtyped? obj)
        (##eq? (##subtype obj) (macro-subtype-ratnum))))

Should all these uses of ##eq? be changed to ##eqv?

Also, it seems that you're set up to deserialize meroon objects, but not 
to serialize them.  Is that easily fixed?

Brad



More information about the Gambit-list mailing list