I've been trying out the Date record, as it appears in the manual, however I can't seem to be able to select the module that contains the record structure in order to do some reductions. I get this message: "-- opening module temp. !! PANIC !!: sorry, but copying record/class sort is not yet properly supported!"
Also, in the newest cafeobj version (1.4.13) I can't even define the module as I get: "-- reading in file : reobject -- done reading in file: reobject symbol %opattr-decl has no function definition. symbol %opattr-decl has no function definition. -- reading in file : reobject -- done reading in file: reobject [Error]: importing module, cannot evaluate module expression CHAOS:IDENTIFIER
** returning to top level [Error]: constructing sort relation, no such sort with name void -- failed to evaluate the form: (%record-decl "Date" nil ((%slot "year" (%sort-ref "Nat" nil) nil) (%slot "month" (%sort-ref "Nat" nil) nil)) nil)"