Records

[Former user]

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!"

(using 1.4.9)

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

[Toshimi Sawada]

Thanks for using CafeOBJ.

I'm afraid the 'record' construct is now obsolete. We should have revised the manual and eliminated everything about 'record' from the system. We are very sorry about it.

Regards!