ucsd-progsys/liquidhaskell

The sort GHC.Natural.Natural is not numeric

Open

#1.500 geöffnet am 28. Mai 2019

Auf GitHub ansehen
 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Haskell (157 Forks)batch import
good first issue

Repository-Metriken

Stars
 (1.306 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 2T 18h) (12 gemergte PRs in 30 T)

Beschreibung

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)

Contributor Guide

Research-Richtung
Fügen Sie das Einbetten von GHC.Natural.Natural als int zu den LiquidHaskell Spezifikationen in include/GHC hinzu.
Tech Stack
Keine
Domain
developer experience
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
HaskellLiquidHaskell
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
75