История изменений
Исправление mix_mix, (текущая версия) :
Какие конкретно теги используются - я не знаю, но могу сказать, что в случае (1+ most-positive-fixnum), вероятно, создается bignum в куче, и тогда значением выражения фактически является обычный указатель на тот вычисленный bignum. Это я так понимаю.
Так и есть.
Исходная версия mix_mix, :
Японцы уже пытались создать машины пятого поколения с аппаратной поддержкой пролога двадцать лет назад. У них ничего тогда не получилось.
Ключевые слова «двадцать лет назад» и «тогда».