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.
The sort GHC.Natural.Natural is not numeric · ucsd-progsys/liquidhaskell#1500 | Good First Issue