Issues

• RFC: Support for Coinductive Reasoning and Corecursive Data Structures

  ucsd-progsys/liquidhaskell#2773 · Filter by author vishwaksen-1 opened on Oct 25, 2026
  6

• {-@ data ... @-} refinements on a Haskell newtype are accepted and used, but are unchecked at construction

  ucsd-progsys/liquidhaskell#2766 · Filter by author michaelborkowski opened on Sep 17, 2026
  1

• LH requires redundant evidence in scope of type-nat indexed data types

  ucsd-progsys/liquidhaskell#2751 · Filter by author kleinreact opened on Aug 28, 2026

• Missing support for type-nat constants in refinement types

  ucsd-progsys/liquidhaskell#2750 · Filter by author kleinreact opened on Aug 28, 2026

• --typeclass panics on type-nat indexed data types

  ucsd-progsys/liquidhaskell#2749 · Filter by author kleinreact opened on Aug 28, 2026

• Missing constraints in specs should be reported like GHC's "No instance" errors

  ucsd-progsys/liquidhaskell#2745 · Filter by author jpyamamoto opened on Aug 20, 2026

• Typeclasses are only lifted to the logic if at least one method has a spec

  ucsd-progsys/liquidhaskell#2744 · Filter by author jpyamamoto opened on Aug 20, 2026

• Instances of embedded classes are assumed canonical and cannot be verified

  ucsd-progsys/liquidhaskell#2743 · Filter by author jpyamamoto opened on Aug 20, 2026

• Rename infix mod and /

  ucsd-progsys/liquidhaskell#2735 · Filter by author facundominguez opened on Aug 9, 2026

• Using $ without --etabeta flag may break otherwise correct terms

  ucsd-progsys/liquidhaskell#2730 · Filter by author jpyamamoto opened on Jul 30, 2026

• Proof combinators fail under type-level constrained data types

  ucsd-progsys/liquidhaskell#2729 · Filter by author kleinreact opened on Jul 30, 2026

• Higher-kinded class parameters are elaborated with wrong kind

  ucsd-progsys/liquidhaskell#2727 · Filter by author jpyamamoto opened on Jul 29, 2026

• Unsoundness bug: Refinements on lambdas over GADT-existential type variables are checked under an inconsistent environment; SAFE program crashes

  ucsd-progsys/liquidhaskell#2725 · Filter by author michaelborkowski opened on Jul 26, 2026
  4

• aeson-derived instances (deriving anyclass FromJSON/ToJSON) make the whole module's environment inconsistent — every spec verifies vacuously ("Found false")

  ucsd-progsys/liquidhaskell#2718 · Filter by author mageshb opened on Jul 18, 2026
  1

• Liquid Haskell ignores let definitions with no name binding

  ucsd-progsys/liquidhaskell#2714 · Filter by author facundominguez opened on Jul 3, 2026

• Failure to instantiate type variable

  ucsd-progsys/liquidhaskell#2710 · Filter by author facundominguez opened on Jun 19, 2026
  4

• PLE does not discover equality with partial application

  ucsd-progsys/liquidhaskell#2707 · Filter by author facundominguez opened on Jun 11, 2026
  1

• Binders are picked only from the first equation of a definition

  ucsd-progsys/liquidhaskell#2704 · Filter by author ninioArtillero opened on Jun 10, 2026
  1

• Check failures in Functor and Monad methods

  ucsd-progsys/liquidhaskell#2703 · Filter by author facundominguez opened on Jun 10, 2026

• splitc unexpected when working with NonEmpty

  ucsd-progsys/liquidhaskell#2692 · Filter by author thielema opened on May 31, 2026
  13

• Seemly different functions proved as equal

  ucsd-progsys/liquidhaskell#2653 · Filter by author facundominguez opened on Apr 16, 2026
  14

• Document limitations of liquid haskell

  ucsd-progsys/liquidhaskell#2647 · Filter by author facundominguez opened on Mar 23, 2026
  1

• Ugly error message signals optimization opportunities for abstract predicates

  ucsd-progsys/liquidhaskell#2638 · Filter by author facundominguez opened on Mar 16, 2026

• Use droplet icon with this repo?

  ucsd-progsys/liquidhaskell#2635 · Filter by author philderbeast opened on Mar 14, 2026
  1

• "--reflection" crashes with OverloadedRecordDot

  classes
  ucsd-progsys/liquidhaskell#2630 · Filter by author ruifengx opened on Mar 12, 2026
  2