Exception analysis does not know the Temporal `fromStringOrThrow` functions
メンテナーはふだん 1 日以内に返信
評価
- 難易度
- 2/5
- 見積もり時間
- 1〜3時間
- 初心者へのやさしさ
- 72/100
- issue の種類
- バグ
- 明瞭さ
- 明確に書かれている
- 活発さ
- 活発
- 技術スタック
- ocaml
- 領域
- devtools
調査の方向性
例外を投げる関数の一覧は analysis/reanalyze/src/exn_lib.ml の 114〜190 行付近にあり、issue では #9094 で追加された Temporal の external 8 件 fromStringOrThrow がそこに欠けていると指摘されています。まず既存の *OrThrow エントリがどのように書かれているかを読み、次に issue の 3 行のスニペットに対して rescript-tools reanalyze -exception を実行してください。3 つの Temporal 呼び出しすべてが JsExn を投げるものとして報告されれば完了です。big だけでは不十分です。
索引モデルが issue の本文から書いたものです。
説明
Found by differential semantic drift analysis from b123b7c3 to c10223e8.
What is broken
let big = () => BigInt.fromStringOrThrow("x")
let date = () => Temporal.PlainDate.fromStringOrThrow("x")
let dur = () => Temporal.Duration.fromStringOrThrow("x")
rescript-tools reanalyze -exception reports only big might throw JsExn. #9094 added eight fromStringOrThrow externals (Duration, Instant, PlainDate, PlainDateTime, PlainMonthDay, PlainTime, PlainYearMonth, ZonedDateTime); none is in the table of throwing library functions in exn_lib.ml, which lists every other stdlib *OrThrow function.
Temporal functions that throw without the OrThrow suffix (arithmetic out of range, invalid arguments to constructors) were not checked.
Possible cause (speculation only)
The table is maintained by hand next to the stdlib, and nothing checks that a new *OrThrow external has an entry.
🤖 Generated with Claude Code
- 主要言語
- OCaml
- スター
- 7.5k
- フォーク
- 484
- 平均マージ
- 16時間 57分
- マージ済み PR(30日)
- 258
環境構築
このプロジェクトの開発コンテナを、あなたの GitHub アカウントでブラウザ上に起動します。
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートあり
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
rescript-lang/rescript のほかの issue
-
await in a functor body compiles to invalid JavaScript対応中かも @mununki が今日担当しました。 オープン
難易度 4/5 3〜5日 初心者へのやさしさ 25/100
rescript-lang/rescript#9219 ·
メンテナーはふだん 1 日以内に返信
-
`(() :> string)` compiles, and other coercions and variant spreads treat `bool` and `unit` as variants対応中かも @mununki が今日担当しました。 オープン
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
rescript-lang/rescript#9216 ·
メンテナーはふだん 1 日以内に返信
-
A polymorphic variant argument of an external is evaluated twice, or inside a generated function対応中かも @mununki が今日担当しました。 オープン
難易度 4/5 3〜5日 初心者へのやさしさ 20/100
rescript-lang/rescript#9215 ·
メンテナーはふだん 1 日以内に返信
-
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
rescript-lang/rescript#9212 ·
メンテナーはふだん 1 日以内に返信
-
難易度 4/5 3〜5日 初心者へのやさしさ 55/100
rescript-lang/rescript#9197 ·
メンテナーはふだん 1 日以内に返信
rescript-lang/rescript の issue をすべて見る
似ている issue
-
Issue: ready for confirmation Reported on 2.4.9 Triage: Dev.Experience
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
magento/magento2#41773 · コメント 1 件 ·
メンテナーはふだん 5 日以内に返信
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 67/100
NousResearch/hermes-agent#148799 ·
メンテナーはふだん 1 日以内に返信
-
normalizePath removes the Windows device namespace prefix対応中かも このイシューにリンクされたプルリクエストがオープン中、またはマージ済みです。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
メンテナーはふだん 1 日以内に返信
-
bug mcp small
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
ai-driven-dev/framework#1147 ·
メンテナーはふだん 1 日以内に返信