ucsd-progsys/liquidhaskell

The sort GHC.Natural.Natural is not numeric

Open

#1,500 opened on 2019年5月28日

GitHub で見る
 (2 comments) (0 reactions) (0 assignees)Haskell (1,306 stars) (157 forks)batch import
good first issue

説明

in Control.Concurrent.STM.TBQueue

function newTBQueue :: Natural -> STM (TBQueue a) requires a "Natural" argument.

LH complains that this cannot be compared (==) to an int.

Adding {-@ embed GHC.Natural.Natural as int @-} solved the problem. But, could this be added to the specs in "include/GHC" ?

liquid: LiquidHaskell Version 0.8.6.0 (compiled from develop)

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

技術スタック
なし
領域
tooling
Issue 種別
bug
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
3
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
under 1 hour
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
stale
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
clear
前提条件
Familiarity with LiquidHaskell specificationsBasic Haskell knowledge
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
50
調査方針
The issue suggests adding `{ @ embed GHC.Natural.Natural as int @ }` to the specifications in `include/GHC`. First, locate the directory `include/GHC` in the repository and find relevant spec files. Check if there are existing embed directives for other types. Then add the directive for `GHC.Natural.Natural`. Ensure the change is consistent with the style of the surrounding code. No open PRs or recent comments.