Search results

Failure to instantiate type variable

Status: Open.

#2710 In ucsd-progsys/liquidhaskell;

· facundominguez opened on Jun 19, 2026

PLE does not discover equality with partial application

Status: Open.

#2707 In ucsd-progsys/liquidhaskell;

· facundominguez opened on Jun 11, 2026

Binders are picked only from the first equation of a definition

Status: Open.

#2704 In ucsd-progsys/liquidhaskell;

· ninioArtillero opened on Jun 10, 2026

Check failures in Functor and Monad methods

Status: Open.

#2703 In ucsd-progsys/liquidhaskell;

· facundominguez opened on Jun 10, 2026

Another liquid type mismatch caused by type literals

Status: Open.

#2702 In ucsd-progsys/liquidhaskell;

· kleinreact opened on Jun 9, 2026

"LH can't be run with Haddock" with LH plugin in VS Codium

Status: Open.

#2697 In ucsd-progsys/liquidhaskell;

· jespercockx opened on Jun 5, 2026

splitc unexpected when working with NonEmpty

Status: Open.

#2692 In ucsd-progsys/liquidhaskell;

· thielema opened on May 31, 2026

Seemly different functions proved as equal

Status: Open.

#2653 In ucsd-progsys/liquidhaskell;

· facundominguez opened on Apr 16, 2026

Document limitations of liquid haskell

Status: Open.

#2647 In ucsd-progsys/liquidhaskell;

· facundominguez opened on Mar 23, 2026

Ugly error message signals optimization opportunities for abstract predicates

Status: Open.

#2638 In ucsd-progsys/liquidhaskell;

· facundominguez opened on Mar 16, 2026

Use droplet icon with this repo?

Status: Open.

#2635 In ucsd-progsys/liquidhaskell;

· philderbeast opened on Mar 14, 2026

"--reflection" crashes with OverloadedRecordDot

classesPertaining to checking signatures for classes or instancesPertaining to checking signatures for classes or instances

Status: Open.

#2630 In ucsd-progsys/liquidhaskell;

· ruifengx opened on Mar 12, 2026