Guile には source-properties なる機能があり、pair にソースコードの位置情報を記録できこと記録できるということを学んだ。https://www.gnu.org/software/guile/manual/html_node/Source-Properties.html
Conversation
Notices
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 01-Apr-2021 23:39:45 JST
きゅーけー
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 01-Apr-2021 23:56:21 JST
きゅーけー
Guile の source-properties、謎機能すぎるのでは……。pair に設定できるところが意味不明すぎる。とりあえず今やりたいことに使えるのでいいか。
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 01-Apr-2021 23:59:31 JST
きゅーけー
output-string にも、source-properties を設定できるのか。今のシチュエーションではこっちも使った方がよさげ。
-