Issues de ucsd-progsys/liquidhaskell

Stars: (1.306 stars)
Forks: (157 forks)
Issues indexadas: (20 indexado issues)
issues iniciantes abertas: (20 issues iniciantes abertas)
Última indexação: 4 de jul. de 2026
Último push no GitHub: 15 de mai. de 2026
Licença: BSD 3-Clause "New" or "Revised" License
Guia de contribuição: Nenhum guia de contribuição
Código de conduta: Nenhum código de conduta
Linguagem principal: Haskell
Métricas de merge de PR: (Mesclagem média 2d 18h) (12 fundiu PRs em 30d)
Labels para iniciantes: good first issue

Issues

20 aberto indexado issues

RSS Atom

Aberta

Liquid Haskell should accept `UnicodeSyntax`

good first issue

ucsd-progsys/liquidhaskell #2.551 aberta 8 de jun. de 2025 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

4 comentários0 reações0 responsáveis

Aberta

Document that specs can depend on arguments of enclosing functions

documentationgood first issue

ucsd-progsys/liquidhaskell #2.442 aberta 19 de nov. de 2024 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

2 comentários0 reações0 responsáveis

Aberta

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

good first issue

ucsd-progsys/liquidhaskell #2.301 aberta 17 de jun. de 2024 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário0 reações0 responsáveis

Aberta

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

good first issue

ucsd-progsys/liquidhaskell #2.229 aberta 30 de set. de 2023 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário1 reação0 responsáveis

Aberta

Different behaviour when working across different modules

good first issue

ucsd-progsys/liquidhaskell #2.217 aberta 10 de set. de 2023 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

4 comentários0 reações0 responsáveis

Aberta

Cannot parse `GHC.Types.:`

good first issue

ucsd-progsys/liquidhaskell #2.193 aberta 7 de jul. de 2023 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

13 comentários0 reações0 responsáveis

Aberta

Specs not exported from preprocessed source code

good first issue

ucsd-progsys/liquidhaskell #2.132 aberta 1 de jan. de 2023 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

3 comentários0 reações0 responsáveis

Aberta

Collect bfq files in CI

good first issue

ucsd-progsys/liquidhaskell #2.020 aberta 29 de jun. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

4 comentários0 reações0 responsáveis

Aberta

Recover some tests of parsing errors

good first issue

ucsd-progsys/liquidhaskell #2.009 aberta 16 de jun. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Ainda sem comentários

Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantes

0 comentários0 reações0 responsáveis

Aberta

LIQUIDHASKELL_OPTS can hold only one argument

good first issue

ucsd-progsys/liquidhaskell #1.990 aberta 30 de mai. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Ainda sem comentários

Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantes

0 comentários0 reações0 responsáveis

Aberta

Termination error messages do not follow standard GHC format

good first issue

ucsd-progsys/liquidhaskell #1.961 aberta 4 de abr. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário0 reações0 responsáveis

Aberta

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

good first issue

ucsd-progsys/liquidhaskell #1.957 aberta 30 de mar. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário0 reações0 responsáveis

Aberta

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

good first issue

ucsd-progsys/liquidhaskell #1.956 aberta 30 de mar. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário1 reação0 responsáveis

Aberta

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

good first issue

ucsd-progsys/liquidhaskell #1.942 aberta 17 de fev. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

4 comentários0 reações0 responsáveis

Aberta

"Incomplete patterns" error with GHC <9.0.1

good first issue

ucsd-progsys/liquidhaskell #1.918 aberta 1 de dez. de 2021 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário0 reações0 responsáveis

Aberta

Cannot parse specification

good first issue

ucsd-progsys/liquidhaskell #1.781 aberta 22 de out. de 2020 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Ainda sem comentários

Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantes

0 comentários0 reações0 responsáveis

Aberta

Improve robustness of negative (and positive) tests

enhancementgood first issue

ucsd-progsys/liquidhaskell #1.661 aberta 6 de mai. de 2020 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

2 comentários1 reação0 responsáveis

Aberta

Question about Dependent Sums

errormsggood first issue

ucsd-progsys/liquidhaskell #1.615 aberta 14 de fev. de 2020 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

9 comentários0 reações0 responsáveis

Aberta

The sort GHC.Natural.Natural is not numeric

good first issue

ucsd-progsys/liquidhaskell #1.500 aberta 28 de mai. de 2019 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

2 comentários0 reações0 responsáveis

Aberta

Cannot parse the unit value in refinement bounds

easygood first issueparser

ucsd-progsys/liquidhaskell #1.300 aberta 17 de abr. de 2018 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário0 reações0 responsáveis

Stars: (1.306 stars)
Forks: (157 forks)
Issues indexadas: (20 indexado issues)
issues iniciantes abertas: (20 issues iniciantes abertas)
Última indexação: 4 de jul. de 2026
Último push no GitHub: 15 de mai. de 2026
Licença: BSD 3-Clause "New" or "Revised" License
Guia de contribuição: Nenhum guia de contribuição
Código de conduta: Nenhum código de conduta
Linguagem principal: Haskell
Métricas de merge de PR: (Mesclagem média 2d 18h) (12 fundiu PRs em 30d)
Labels para iniciantes: good first issue

Issues

20 aberto indexado issues

RSS Atom

Aberta

Liquid Haskell should accept `UnicodeSyntax`

good first issue

ucsd-progsys/liquidhaskell #2.551 aberta 8 de jun. de 2025 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

4 comentários0 reações0 responsáveis

Aberta

Document that specs can depend on arguments of enclosing functions

documentationgood first issue

ucsd-progsys/liquidhaskell #2.442 aberta 19 de nov. de 2024 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

2 comentários0 reações0 responsáveis

Aberta

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

good first issue

ucsd-progsys/liquidhaskell #2.301 aberta 17 de jun. de 2024 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário0 reações0 responsáveis

Aberta

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

good first issue

ucsd-progsys/liquidhaskell #2.229 aberta 30 de set. de 2023 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário1 reação0 responsáveis

Aberta

Different behaviour when working across different modules

good first issue

ucsd-progsys/liquidhaskell #2.217 aberta 10 de set. de 2023 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

4 comentários0 reações0 responsáveis

Aberta

Cannot parse `GHC.Types.:`

good first issue

ucsd-progsys/liquidhaskell #2.193 aberta 7 de jul. de 2023 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

13 comentários0 reações0 responsáveis

Aberta

Specs not exported from preprocessed source code

good first issue

ucsd-progsys/liquidhaskell #2.132 aberta 1 de jan. de 2023 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

3 comentários0 reações0 responsáveis

Aberta

Collect bfq files in CI

good first issue

ucsd-progsys/liquidhaskell #2.020 aberta 29 de jun. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

4 comentários0 reações0 responsáveis

Aberta

Recover some tests of parsing errors

good first issue

ucsd-progsys/liquidhaskell #2.009 aberta 16 de jun. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Ainda sem comentários

Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantes

0 comentários0 reações0 responsáveis

Aberta

LIQUIDHASKELL_OPTS can hold only one argument

good first issue

ucsd-progsys/liquidhaskell #1.990 aberta 30 de mai. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Ainda sem comentários

Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantes

0 comentários0 reações0 responsáveis

Aberta

Termination error messages do not follow standard GHC format

good first issue

ucsd-progsys/liquidhaskell #1.961 aberta 4 de abr. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário0 reações0 responsáveis

Aberta

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

good first issue

ucsd-progsys/liquidhaskell #1.957 aberta 30 de mar. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário0 reações0 responsáveis

Aberta

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

good first issue

ucsd-progsys/liquidhaskell #1.956 aberta 30 de mar. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário1 reação0 responsáveis

Aberta

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

good first issue

ucsd-progsys/liquidhaskell #1.942 aberta 17 de fev. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

4 comentários0 reações0 responsáveis

Aberta

"Incomplete patterns" error with GHC <9.0.1

good first issue

ucsd-progsys/liquidhaskell #1.918 aberta 1 de dez. de 2021 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário0 reações0 responsáveis

Aberta

Cannot parse specification

good first issue

ucsd-progsys/liquidhaskell #1.781 aberta 22 de out. de 2020 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Ainda sem comentários

Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantes

0 comentários0 reações0 responsáveis

Aberta

Improve robustness of negative (and positive) tests

enhancementgood first issue

ucsd-progsys/liquidhaskell #1.661 aberta 6 de mai. de 2020 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

2 comentários1 reação0 responsáveis

Aberta

Question about Dependent Sums

errormsggood first issue

ucsd-progsys/liquidhaskell #1.615 aberta 14 de fev. de 2020 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

9 comentários0 reações0 responsáveis

Aberta

The sort GHC.Natural.Natural is not numeric

good first issue

ucsd-progsys/liquidhaskell #1.500 aberta 28 de mai. de 2019 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

2 comentários0 reações0 responsáveis

Aberta

Cannot parse the unit value in refinement bounds

easygood first issueparser

ucsd-progsys/liquidhaskell #1.300 aberta 17 de abr. de 2018 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário0 reações0 responsáveis

Stars: (1.306 stars)
Forks: (157 forks)
Issues indexadas: (20 indexado issues)
issues iniciantes abertas: (20 issues iniciantes abertas)
Última indexação: 4 de jul. de 2026
Último push no GitHub: 15 de mai. de 2026
Licença: BSD 3-Clause "New" or "Revised" License
Guia de contribuição: Nenhum guia de contribuição
Código de conduta: Nenhum código de conduta
Linguagem principal: Haskell
Métricas de merge de PR: (Mesclagem média 2d 18h) (12 fundiu PRs em 30d)
Labels para iniciantes: good first issue

Issues

20 aberto indexado issues

RSS Atom

Aberta

Liquid Haskell should accept `UnicodeSyntax`

good first issue

ucsd-progsys/liquidhaskell #2.551 aberta 8 de jun. de 2025 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

4 comentários0 reações0 responsáveis

Aberta

Document that specs can depend on arguments of enclosing functions

documentationgood first issue

ucsd-progsys/liquidhaskell #2.442 aberta 19 de nov. de 2024 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

2 comentários0 reações0 responsáveis

Aberta

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

good first issue

ucsd-progsys/liquidhaskell #2.301 aberta 17 de jun. de 2024 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário0 reações0 responsáveis

Aberta

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

good first issue

ucsd-progsys/liquidhaskell #2.229 aberta 30 de set. de 2023 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário1 reação0 responsáveis

Aberta

Different behaviour when working across different modules

good first issue

ucsd-progsys/liquidhaskell #2.217 aberta 10 de set. de 2023 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

4 comentários0 reações0 responsáveis

Aberta

Cannot parse `GHC.Types.:`

good first issue

ucsd-progsys/liquidhaskell #2.193 aberta 7 de jul. de 2023 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

13 comentários0 reações0 responsáveis

Aberta

Specs not exported from preprocessed source code

good first issue

ucsd-progsys/liquidhaskell #2.132 aberta 1 de jan. de 2023 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

3 comentários0 reações0 responsáveis

Aberta

Collect bfq files in CI

good first issue

ucsd-progsys/liquidhaskell #2.020 aberta 29 de jun. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

4 comentários0 reações0 responsáveis

Aberta

Recover some tests of parsing errors

good first issue

ucsd-progsys/liquidhaskell #2.009 aberta 16 de jun. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Ainda sem comentários

Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantes

0 comentários0 reações0 responsáveis

Aberta

LIQUIDHASKELL_OPTS can hold only one argument

good first issue

ucsd-progsys/liquidhaskell #1.990 aberta 30 de mai. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Ainda sem comentários

Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantes

0 comentários0 reações0 responsáveis

Aberta

Termination error messages do not follow standard GHC format

good first issue

ucsd-progsys/liquidhaskell #1.961 aberta 4 de abr. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário0 reações0 responsáveis

Aberta

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

good first issue

ucsd-progsys/liquidhaskell #1.957 aberta 30 de mar. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário0 reações0 responsáveis

Aberta

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

good first issue

ucsd-progsys/liquidhaskell #1.956 aberta 30 de mar. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário1 reação0 responsáveis

Aberta

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

good first issue

ucsd-progsys/liquidhaskell #1.942 aberta 17 de fev. de 2022 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

4 comentários0 reações0 responsáveis

Aberta

"Incomplete patterns" error with GHC <9.0.1

good first issue

ucsd-progsys/liquidhaskell #1.918 aberta 1 de dez. de 2021 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário0 reações0 responsáveis

Aberta

Cannot parse specification

good first issue

ucsd-progsys/liquidhaskell #1.781 aberta 22 de out. de 2020 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Ainda sem comentários

Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantes

0 comentários0 reações0 responsáveis

Aberta

Improve robustness of negative (and positive) tests

enhancementgood first issue

ucsd-progsys/liquidhaskell #1.661 aberta 6 de mai. de 2020 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

2 comentários1 reação0 responsáveis

Aberta

Question about Dependent Sums

errormsggood first issue

ucsd-progsys/liquidhaskell #1.615 aberta 14 de fev. de 2020 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

9 comentários0 reações0 responsáveis

Aberta

The sort GHC.Natural.Natural is not numeric

good first issue

ucsd-progsys/liquidhaskell #1.500 aberta 28 de mai. de 2019 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

2 comentários0 reações0 responsáveis

Aberta

Cannot parse the unit value in refinement bounds

easygood first issueparser

ucsd-progsys/liquidhaskell #1.300 aberta 17 de abr. de 2018 · Haskell · 1.306 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes

Ainda sem responsávelTem label amigável para iniciantes

1 comentário0 reações0 responsáveis

ucsd-progsys/liquidhaskell

Issues

ucsd-progsys/liquidhaskell

Issues

Receba issues Easy novas por email.

ucsd-progsys/liquidhaskell

Issues