ucsd-progsys/liquidhaskell

The sort GHC.Natural.Natural is not numeric

Open

#1,500 建立於 2019年5月28日

在 GitHub 查看
 (2 留言) (0 反應) (0 負責人)Haskell (1,306 star) (157 fork)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
議題類型
bug
難度面向新貢獻者的預計實作難度，1 表示很小改動，5 表示專家級工作。
3
預計時間有經驗貢獻者完成調查、實作、測試並準備 pull request 的粗略時間範圍。
under 1 hour
活動狀態議題目前的可參與程度：新鮮、活躍、陳舊、阻塞或等待維護者輸入。
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.