ucsd-progsys/liquidhaskell Issues

Haskell (1,306 star) (157 fork) (20 个已索引议题) (PR 指标待抓取)最近提交 2026年5月15日

议题

20 个开放索引议题

RSS Atom

开放

Liquid Haskell should accept `UnicodeSyntax`

good first issue

ucsd-progsys/liquidhaskell #2,551 创建于去年 · Haskell · 1,306 stars

4 条评论0 个反应0 负责人

开放

Document that specs can depend on arguments of enclosing functions

documentationgood first issue

ucsd-progsys/liquidhaskell #2,442 创建于去年 · Haskell · 1,306 stars

2 条评论0 个反应0 负责人

开放

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

good first issue

ucsd-progsys/liquidhaskell #2,301 创建于 2年前 · Haskell · 1,306 stars

1 条评论0 个反应0 负责人

开放

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

good first issue

ucsd-progsys/liquidhaskell #2,229 创建于 3年前 · Haskell · 1,306 stars

1 条评论1 个反应0 负责人

开放

Different behaviour when working across different modules

good first issue

ucsd-progsys/liquidhaskell #2,217 创建于 3年前 · Haskell · 1,306 stars

4 条评论0 个反应0 负责人

开放

Cannot parse `GHC.Types.:`

good first issue

ucsd-progsys/liquidhaskell #2,193 创建于 3年前 · Haskell · 1,306 stars

13 条评论0 个反应0 负责人

开放

Specs not exported from preprocessed source code

good first issue

ucsd-progsys/liquidhaskell #2,132 创建于 3年前 · Haskell · 1,306 stars

3 条评论0 个反应0 负责人

开放

Collect bfq files in CI

good first issue

ucsd-progsys/liquidhaskell #2,020 创建于 4年前 · Haskell · 1,306 stars

4 条评论0 个反应0 负责人

开放

Recover some tests of parsing errors

good first issue

ucsd-progsys/liquidhaskell #2,009 创建于 4年前 · Haskell · 1,306 stars

0 条评论0 个反应0 负责人

开放

LIQUIDHASKELL_OPTS can hold only one argument

good first issue

ucsd-progsys/liquidhaskell #1,990 创建于 4年前 · Haskell · 1,306 stars

0 条评论0 个反应0 负责人

开放

Termination error messages do not follow standard GHC format

good first issue

ucsd-progsys/liquidhaskell #1,961 创建于 4年前 · Haskell · 1,306 stars

1 条评论0 个反应0 负责人

开放

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

good first issue

ucsd-progsys/liquidhaskell #1,957 创建于 4年前 · Haskell · 1,306 stars

1 条评论0 个反应0 负责人

开放

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

good first issue

ucsd-progsys/liquidhaskell #1,956 创建于 4年前 · Haskell · 1,306 stars

1 条评论1 个反应0 负责人

开放

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

good first issue

ucsd-progsys/liquidhaskell #1,942 创建于 4年前 · Haskell · 1,306 stars

4 条评论0 个反应0 负责人

开放

"Incomplete patterns" error with GHC <9.0.1

good first issue

ucsd-progsys/liquidhaskell #1,918 创建于 5年前 · Haskell · 1,306 stars

1 条评论0 个反应0 负责人

开放

Cannot parse specification

good first issue

ucsd-progsys/liquidhaskell #1,781 创建于 6年前 · Haskell · 1,306 stars

0 条评论0 个反应0 负责人

开放

Improve robustness of negative (and positive) tests

enhancementgood first issue

ucsd-progsys/liquidhaskell #1,661 创建于 6年前 · Haskell · 1,306 stars

2 条评论1 个反应0 负责人

开放

Question about Dependent Sums

errormsggood first issue

ucsd-progsys/liquidhaskell #1,615 创建于 6年前 · Haskell · 1,306 stars

9 条评论0 个反应0 负责人

开放

The sort GHC.Natural.Natural is not numeric

good first issue

ucsd-progsys/liquidhaskell #1,500 创建于 7年前 · Haskell · 1,306 stars

2 条评论0 个反应0 负责人

开放

Cannot parse the unit value in refinement bounds

easygood first issueparser

ucsd-progsys/liquidhaskell #1,300 创建于 8年前 · Haskell · 1,306 stars

1 条评论0 个反应0 负责人