ucsd-progsys/liquidhaskell
GitHub で見るThe sort GHC.Natural.Natural is not numeric
Open
#1,500 opened on 2019年5月28日
good first issue
Repository metrics
- Stars
- (1,306 stars)
- PR merge metrics
- (平均マージ 2d 18h) (30d で 12 merged PRs)
説明
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)