Issue di ucsd-progsys/liquidhaskell

Star: (1306 star)
Fork: (157 fork)
Issue indicizzate: (20 issue indicizzate)
issue per principianti aperte: (20 issue per principianti aperte)
Ultima indicizzazione: 4 lug 2026
Ultimo push GitHub: 15 mag 2026
Licenza: BSD 3-Clause "New" or "Revised" License
Guida contributori: Nessuna guida contributori
Codice di condotta: Nessun codice di condotta
Linguaggio principale: Haskell
Metriche merge PR: (Merge medio 2g 18h) (12 PR mergiate in 30 g)
Label per principianti: good first issue

Issue

20 issue indicizzate aperte

RSS Atom

Aperta

Liquid Haskell should accept `UnicodeSyntax`

good first issue

ucsd-progsys/liquidhaskell #2551 aperta 8 giu 2025 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

4 commenti0 reazioni0 assegnatari

Aperta

Document that specs can depend on arguments of enclosing functions

documentationgood first issue

ucsd-progsys/liquidhaskell #2442 aperta 19 nov 2024 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

2 commenti0 reazioni0 assegnatari

Aperta

Annotations are not checked for reflected functions that are marked as non-terminating

good first issue

ucsd-progsys/liquidhaskell #2301 aperta 17 giu 2024 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento0 reazioni0 assegnatari

Aperta

"Re-sugar" GHC.Types.: x GHC.Types.: GHC.Types.[] back into [x]?

good first issue

ucsd-progsys/liquidhaskell #2229 aperta 30 set 2023 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento1 reazione0 assegnatari

Aperta

Different behaviour when working across different modules

good first issue

ucsd-progsys/liquidhaskell #2217 aperta 10 set 2023 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

4 commenti0 reazioni0 assegnatari

Aperta

Cannot parse `GHC.Types.:`

good first issue

ucsd-progsys/liquidhaskell #2193 aperta 7 lug 2023 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

13 commenti0 reazioni0 assegnatari

Aperta

Specs not exported from preprocessed source code

good first issue

ucsd-progsys/liquidhaskell #2132 aperta 1 gen 2023 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

3 commenti0 reazioni0 assegnatari

Aperta

Collect bfq files in CI

good first issue

ucsd-progsys/liquidhaskell #2020 aperta 29 giu 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

4 commenti0 reazioni0 assegnatari

Aperta

Recover some tests of parsing errors

good first issue

ucsd-progsys/liquidhaskell #2009 aperta 16 giu 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti0 reazioni0 assegnatari

Aperta

LIQUIDHASKELL_OPTS can hold only one argument

good first issue

ucsd-progsys/liquidhaskell #1990 aperta 30 mag 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti0 reazioni0 assegnatari

Aperta

Termination error messages do not follow standard GHC format

good first issue

ucsd-progsys/liquidhaskell #1961 aperta 4 apr 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento0 reazioni0 assegnatari

Aperta

Plugin prints certain messages as non-json when `-ddump-json` is enabled

good first issue

ucsd-progsys/liquidhaskell #1957 aperta 30 mar 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento0 reazioni0 assegnatari

Aperta

Plugin always colors the `**** LIQUID: ` header, regardless of compiler settings

good first issue

ucsd-progsys/liquidhaskell #1956 aperta 30 mar 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento1 reazione0 assegnatari

Aperta

drop autosize (was: autosize causes LH to forget field refinements)

good first issue

ucsd-progsys/liquidhaskell #1942 aperta 17 feb 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

4 commenti0 reazioni0 assegnatari

Aperta

"Incomplete patterns" error with GHC <9.0.1

good first issue

ucsd-progsys/liquidhaskell #1918 aperta 1 dic 2021 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento0 reazioni0 assegnatari

Aperta

Cannot parse specification

good first issue

ucsd-progsys/liquidhaskell #1781 aperta 22 ott 2020 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti0 reazioni0 assegnatari

Aperta

Improve robustness of negative (and positive) tests

enhancementgood first issue

ucsd-progsys/liquidhaskell #1661 aperta 6 mag 2020 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

2 commenti1 reazione0 assegnatari

Aperta

Question about Dependent Sums

errormsggood first issue

ucsd-progsys/liquidhaskell #1615 aperta 14 feb 2020 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

9 commenti0 reazioni0 assegnatari

Aperta

The sort GHC.Natural.Natural is not numeric

good first issue

ucsd-progsys/liquidhaskell #1500 aperta 28 mag 2019 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

2 commenti0 reazioni0 assegnatari

Aperta

Cannot parse the unit value in refinement bounds

easygood first issueparser

ucsd-progsys/liquidhaskell #1300 aperta 17 apr 2018 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento0 reazioni0 assegnatari

Star: (1306 star)
Fork: (157 fork)
Issue indicizzate: (20 issue indicizzate)
issue per principianti aperte: (20 issue per principianti aperte)
Ultima indicizzazione: 4 lug 2026
Ultimo push GitHub: 15 mag 2026
Licenza: BSD 3-Clause "New" or "Revised" License
Guida contributori: Nessuna guida contributori
Codice di condotta: Nessun codice di condotta
Linguaggio principale: Haskell
Metriche merge PR: (Merge medio 2g 18h) (12 PR mergiate in 30 g)
Label per principianti: good first issue

Issue

20 issue indicizzate aperte

RSS Atom

Aperta

Liquid Haskell should accept `UnicodeSyntax`

good first issue

ucsd-progsys/liquidhaskell #2551 aperta 8 giu 2025 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

4 commenti0 reazioni0 assegnatari

Aperta

Document that specs can depend on arguments of enclosing functions

documentationgood first issue

ucsd-progsys/liquidhaskell #2442 aperta 19 nov 2024 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

2 commenti0 reazioni0 assegnatari

Aperta

Annotations are not checked for reflected functions that are marked as non-terminating

good first issue

ucsd-progsys/liquidhaskell #2301 aperta 17 giu 2024 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento0 reazioni0 assegnatari

Aperta

"Re-sugar" GHC.Types.: x GHC.Types.: GHC.Types.[] back into [x]?

good first issue

ucsd-progsys/liquidhaskell #2229 aperta 30 set 2023 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento1 reazione0 assegnatari

Aperta

Different behaviour when working across different modules

good first issue

ucsd-progsys/liquidhaskell #2217 aperta 10 set 2023 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

4 commenti0 reazioni0 assegnatari

Aperta

Cannot parse `GHC.Types.:`

good first issue

ucsd-progsys/liquidhaskell #2193 aperta 7 lug 2023 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

13 commenti0 reazioni0 assegnatari

Aperta

Specs not exported from preprocessed source code

good first issue

ucsd-progsys/liquidhaskell #2132 aperta 1 gen 2023 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

3 commenti0 reazioni0 assegnatari

Aperta

Collect bfq files in CI

good first issue

ucsd-progsys/liquidhaskell #2020 aperta 29 giu 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

4 commenti0 reazioni0 assegnatari

Aperta

Recover some tests of parsing errors

good first issue

ucsd-progsys/liquidhaskell #2009 aperta 16 giu 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti0 reazioni0 assegnatari

Aperta

LIQUIDHASKELL_OPTS can hold only one argument

good first issue

ucsd-progsys/liquidhaskell #1990 aperta 30 mag 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti0 reazioni0 assegnatari

Aperta

Termination error messages do not follow standard GHC format

good first issue

ucsd-progsys/liquidhaskell #1961 aperta 4 apr 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento0 reazioni0 assegnatari

Aperta

Plugin prints certain messages as non-json when `-ddump-json` is enabled

good first issue

ucsd-progsys/liquidhaskell #1957 aperta 30 mar 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento0 reazioni0 assegnatari

Aperta

Plugin always colors the `**** LIQUID: ` header, regardless of compiler settings

good first issue

ucsd-progsys/liquidhaskell #1956 aperta 30 mar 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento1 reazione0 assegnatari

Aperta

drop autosize (was: autosize causes LH to forget field refinements)

good first issue

ucsd-progsys/liquidhaskell #1942 aperta 17 feb 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

4 commenti0 reazioni0 assegnatari

Aperta

"Incomplete patterns" error with GHC <9.0.1

good first issue

ucsd-progsys/liquidhaskell #1918 aperta 1 dic 2021 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento0 reazioni0 assegnatari

Aperta

Cannot parse specification

good first issue

ucsd-progsys/liquidhaskell #1781 aperta 22 ott 2020 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti0 reazioni0 assegnatari

Aperta

Improve robustness of negative (and positive) tests

enhancementgood first issue

ucsd-progsys/liquidhaskell #1661 aperta 6 mag 2020 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

2 commenti1 reazione0 assegnatari

Aperta

Question about Dependent Sums

errormsggood first issue

ucsd-progsys/liquidhaskell #1615 aperta 14 feb 2020 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

9 commenti0 reazioni0 assegnatari

Aperta

The sort GHC.Natural.Natural is not numeric

good first issue

ucsd-progsys/liquidhaskell #1500 aperta 28 mag 2019 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

2 commenti0 reazioni0 assegnatari

Aperta

Cannot parse the unit value in refinement bounds

easygood first issueparser

ucsd-progsys/liquidhaskell #1300 aperta 17 apr 2018 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento0 reazioni0 assegnatari

Star: (1306 star)
Fork: (157 fork)
Issue indicizzate: (20 issue indicizzate)
issue per principianti aperte: (20 issue per principianti aperte)
Ultima indicizzazione: 4 lug 2026
Ultimo push GitHub: 15 mag 2026
Licenza: BSD 3-Clause "New" or "Revised" License
Guida contributori: Nessuna guida contributori
Codice di condotta: Nessun codice di condotta
Linguaggio principale: Haskell
Metriche merge PR: (Merge medio 2g 18h) (12 PR mergiate in 30 g)
Label per principianti: good first issue

Issue

20 issue indicizzate aperte

RSS Atom

Aperta

Liquid Haskell should accept `UnicodeSyntax`

good first issue

ucsd-progsys/liquidhaskell #2551 aperta 8 giu 2025 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

4 commenti0 reazioni0 assegnatari

Aperta

Document that specs can depend on arguments of enclosing functions

documentationgood first issue

ucsd-progsys/liquidhaskell #2442 aperta 19 nov 2024 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

2 commenti0 reazioni0 assegnatari

Aperta

Annotations are not checked for reflected functions that are marked as non-terminating

good first issue

ucsd-progsys/liquidhaskell #2301 aperta 17 giu 2024 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento0 reazioni0 assegnatari

Aperta

"Re-sugar" GHC.Types.: x GHC.Types.: GHC.Types.[] back into [x]?

good first issue

ucsd-progsys/liquidhaskell #2229 aperta 30 set 2023 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento1 reazione0 assegnatari

Aperta

Different behaviour when working across different modules

good first issue

ucsd-progsys/liquidhaskell #2217 aperta 10 set 2023 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

4 commenti0 reazioni0 assegnatari

Aperta

Cannot parse `GHC.Types.:`

good first issue

ucsd-progsys/liquidhaskell #2193 aperta 7 lug 2023 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

13 commenti0 reazioni0 assegnatari

Aperta

Specs not exported from preprocessed source code

good first issue

ucsd-progsys/liquidhaskell #2132 aperta 1 gen 2023 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

3 commenti0 reazioni0 assegnatari

Aperta

Collect bfq files in CI

good first issue

ucsd-progsys/liquidhaskell #2020 aperta 29 giu 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

4 commenti0 reazioni0 assegnatari

Aperta

Recover some tests of parsing errors

good first issue

ucsd-progsys/liquidhaskell #2009 aperta 16 giu 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti0 reazioni0 assegnatari

Aperta

LIQUIDHASKELL_OPTS can hold only one argument

good first issue

ucsd-progsys/liquidhaskell #1990 aperta 30 mag 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti0 reazioni0 assegnatari

Aperta

Termination error messages do not follow standard GHC format

good first issue

ucsd-progsys/liquidhaskell #1961 aperta 4 apr 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento0 reazioni0 assegnatari

Aperta

Plugin prints certain messages as non-json when `-ddump-json` is enabled

good first issue

ucsd-progsys/liquidhaskell #1957 aperta 30 mar 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento0 reazioni0 assegnatari

Aperta

Plugin always colors the `**** LIQUID: ` header, regardless of compiler settings

good first issue

ucsd-progsys/liquidhaskell #1956 aperta 30 mar 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento1 reazione0 assegnatari

Aperta

drop autosize (was: autosize causes LH to forget field refinements)

good first issue

ucsd-progsys/liquidhaskell #1942 aperta 17 feb 2022 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

4 commenti0 reazioni0 assegnatari

Aperta

"Incomplete patterns" error with GHC <9.0.1

good first issue

ucsd-progsys/liquidhaskell #1918 aperta 1 dic 2021 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento0 reazioni0 assegnatari

Aperta

Cannot parse specification

good first issue

ucsd-progsys/liquidhaskell #1781 aperta 22 ott 2020 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti0 reazioni0 assegnatari

Aperta

Improve robustness of negative (and positive) tests

enhancementgood first issue

ucsd-progsys/liquidhaskell #1661 aperta 6 mag 2020 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

2 commenti1 reazione0 assegnatari

Aperta

Question about Dependent Sums

errormsggood first issue

ucsd-progsys/liquidhaskell #1615 aperta 14 feb 2020 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

9 commenti0 reazioni0 assegnatari

Aperta

The sort GHC.Natural.Natural is not numeric

good first issue

ucsd-progsys/liquidhaskell #1500 aperta 28 mag 2019 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

2 commenti0 reazioni0 assegnatari

Aperta

Cannot parse the unit value in refinement bounds

easygood first issueparser

ucsd-progsys/liquidhaskell #1300 aperta 17 apr 2018 · Haskell · 1306 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti

Nessun assegnatarioHa una label adatta ai principianti

1 commento0 reazioni0 assegnatari

ucsd-progsys/liquidhaskell

Issue

ucsd-progsys/liquidhaskell

Issue

Ricevi issue Easy fresche nella tua inbox.

ucsd-progsys/liquidhaskell

Issue