Opaque `such-that` error when using `##NaN` as bound

説明

(mg/generate [:>= ##NaN])
;Couldn't satisfy such-that predicate after 10 tries.
(mg/generate [:> ##NaN])
;Couldn't satisfy such-that predicate after 10 tries.
(mg/generate [:< ##NaN])
;Couldn't satisfy such-that predicate after 10 tries.
(mg/generate [:<= ##NaN])
;Couldn't satisfy such-that predicate after 10 tries.
(mg/generate [:double {:max ##NaN}])
;Couldn't satisfy such-that predicate after 10 tries.

コントリビューターガイド

技術スタック

なし

領域

data

Issue 種別

bug

難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。

3

推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。

under 1 hour

活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。

blocked

明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。

clear

前提条件

Clojure basicsNaN handling

初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。

20

調査方針

Investigate the such that predicate generation in the generator implementation for double. Look at how bounds are validated in the generator code (likely in src/malli/generator.cljc or similar). The issue arises when using ##NaN as a bound; the generator fails after 10 tries. Consider adding a specific check for NaN bounds to skip or handle appropriately.