From: Stelian I. <sio...@cd...> - 2017-05-31 15:07:56
|
[...] > It's my understanding that our static cons package (which we've named > "hons") is based on those three functions and that those functions > should suffice. You can read more about the relevant details at the > following link to documented code: > > https://github.com/acl2/acl2/blob/master/hons-raw.lisp#L211 > > What do you think? Is it feasible? Is this something the ACL2 > community should attempt to add to SBCL? Does someone in the SBCL > developer community have bandwidth to implement it? Feel free to > email me individually, as appropriate. I read the "ESSAY ON STATIC CONSES" in that file, but it's not clear to me why you need those semantics. Can you explain ? -- Stelian Ionescu a.k.a. fe[nl]ix Quidquid latine dictum sit, altum videtur. |