Can't apply control operators to values that the rfc considers valid
まだ誰も着手していません。
評価
調査の方向性
issue に示されている CtlOp.Lt ブランチから始め、その PTUInt-only の処理を列挙されている有効な形式と比較してください。動作のリファレンスとして cddl ツールを使用してください。5 つの例と、言及されている類似の制御演算子のケースが、拒否されるのではなく受け入れられれば完了です。
索引モデルが issue の本文から書いたものです。
説明
Because of this code:
(CtlOp.Lt, CTree.Literal (VUInt n)) -> case tt of
CTree.Postlude PTUInt -> S . TInteger <$> genUniformRM (0, fromIntegral n - 1)
_ -> error "Cannot apply lt operator to target"
We can only apply rules like uint .lt 2. It forbids the following cases:
rule1 = nint .lt 2
rule2 = int .lt 2
rule3 = 1..5 .lt 2
rule4 = 1 .lt 2
rule5 = ((1..3) / (1..5)) .lt 2
All these cases are accepted by the cddl tool. The same seems to happen with most of the other control operators.
- 主要言語
- Haskell
- スター
- 8
- フォーク
- 5
- 平均マージ
- 3日 12時間
- マージ済み PR（30日）
- 4
環境構築
このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
IntersectMBO/cuddle のほかの issue
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
IntersectMBO/cuddle#168 ·
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
IntersectMBO/cuddle#167 ·
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
IntersectMBO/cuddle#166 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 43/100
IntersectMBO/cuddle#223 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
IntersectMBO/cuddle#217 ·
IntersectMBO/cuddle の issue をすべて見る
似ている issue
-
agent-ready area:skills
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
jmbarzee/temporal-architect#603 ·
メンテナーはふだん 1 日以内に返信
-
bug dependencies
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
alunduil/network-arbitrary#251 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
メンテナーはふだん 1 日以内に返信
-
`logProbability` returns `NaN` for the Poisson distribution with `λ = 0`対応中かも @youqad が 1 日前に担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
haskell/statistics#235 ·
-
Bug
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100