Выучивших людей сойдут с ума

Есть вот такой пример кода:

(let lp ((i 1))
  (unless (= 10 i)
    (let loop ((k 1))
      (when (< k (sqrt i))
        (loop (1+ k))))
    (lp (1+ i))))

При попытке скомпилировать с использованием guild compile -O3 получаю такую ошибку:  https://0x0.st/-Rn1.txt
С опцией -O2 все нормально, если заменить 10 на число поменьше, то тоже все хорошо. Версия guile – 3.0.7.

Кто-то с гайлом может подтвердить, оно воспроизводится?

Вроде так, если без O запустить тоже ошибка.

Сейчас посмотрел, да, -O2 работало с немного другим кодом. Надо было мне проверить перед отправкой.

Если кому интересно, завтра буду выступать на online-конференции с темой "Guile-SMC: Компилятор машин состояний для GNU Guile": https://docs.google.com/spreadsheets/d/1GmJBAAFG87ZIPMMdfYD54APV-B6WYAy9oFDtdWnoy9w/

Начало конференции будет в 17 часов по МСК, буду выступать третьим.  Запись скорее всего организуют в виде трансляции на YouTube.

Организатор: @awkravchuk в чате @lisp_forever

Есть такой код

(define cflags '())

(append! cflags '("-DBUILD_SERVER=1"))
(append! cflags '("-DBUILD_CLIENT=1"))

(display cflags)

cflags после выполнения пуст, в документации написано " append! is permitted, but not required, to modify the given lists to form its return. " причина в этом? или я как-то не так юзаю append! ? Как сделать 100% деструктивный append? В виде макроса который будет изменять существующий биндинг?

Я примерно про такое и говорю

ну да

Вроде понял.

народ, кто-нибудь шарит в c++? Как преобразовать shared_prt в обычный указатель, а то ловлю двойное освобождение

Лучше в @supapro стучись, но я не совсем понимаю как двойное освобождение связано с типом указателя

а в чем прекол append! и компании если все равно нужен set!

мутирующий append! может быть быстрее и эффективнее немутирующего append

Иногда он все-таки мутирует сам список:

scheme@(guile-user)> (define l1 '(1 2 3))
scheme@(guile-user)> (define l2 '(4 5 6))
scheme@(guile-user)> (append! l1 l2)
$2 = (1 2 3 4 5 6)
scheme@(guile-user)> l1
$3 = (1 2 3 4 5 6)
scheme@(guile-user)> l2
$4 = (4 5 6)
scheme@(guile-user)>

а теперь сравни l2 и (nthcdr 3 l1)

Ну, (cdddr l1) равен l2, или что-то другое подразумевалось?

не просто равен, а один и тот же объект

Все равно не полностью понимаю как append! работает, Склеилось два несвязанных между собой списка, очевидно что это я их как-то косвенно склеил но пока не получается сделать минимальный пример  проблемы.

The cdr field of each list's final pair is changed to point to the head of the next list, so no consing is performed.  Return the mutated list.