Gauche > Archives > 2017/05/29

2017/05/29 00:06:47 UTCshiro
#
srfi-143のドキュメントを書いてて、組み込みのtwos-exponent-factorとsrfi-60のfirst-set-bitが同じであることに今更気づいた。
2017/05/29 00:13:22 UTCshiro
#
と思ったら引数が0の場合だけ違いが出るのか。定義からするとそうならざるを得ないな。うーむ。
#
いや、違うか。twos-exponent-factorの設計ミスだ。もともと約数で定義しようとすると、引数0は定義されない。なので適当に0としたんだが、ビットで考えれば-1とすべきだった。
#
これはバグとして直すべきか。引数が0なら結果が0ってドキュメントに書いちゃったからな (でもその下に等価な式として挙げてあるものとは結果が食い違う)
#
微妙に仕様が違う複数の手続きを持つ意味がないし、直すか。