Search results

Spilling in macro gives parsing error

Status: Open.

#419 In LPCIC/elpi;

· FissoreD opened on Jun 24, 2026

Typechecking error not detected with prop and list prop?

Status: Open.

#418 In LPCIC/elpi;

· FissoreD opened on Jun 23, 2026

Macro are not accumulated and yet they are

Status: Open.

#416 In LPCIC/elpi;

· MysaaJava opened on Jun 22, 2026

wish: partially applied macro should give an error upfront

Status: Open.

#412 In LPCIC/elpi;

· gares opened on Jun 5, 2026

Unclear how to use constants defined via declare_global_symbol

Status: Open.

#407 In LPCIC/elpi;

· abakst opened on May 8, 2026

[wish] variadic predicates

Status: Open.

#402 In LPCIC/elpi;

· gares opened on Apr 9, 2026

Annoying typechecker error on polymorphic symbol :-

Status: Open.

#398 In LPCIC/elpi;

· FissoreD opened on Mar 13, 2026

Too many overloaded symbols error

Status: Open.

#393 In LPCIC/elpi;

· FissoreD opened on Feb 25, 2026

Cannot redefine bool and tt

Status: Open.

#392 In LPCIC/elpi;

· FissoreD opened on Feb 25, 2026

Weird inference error message

Status: Open.

#389 In LPCIC/elpi;

· ThomasPortet opened on Jan 29, 2026

Double check trail and triggers

Status: Open.

#388 In LPCIC/elpi;

· gares opened on Dec 21, 2025

Feature Request: Allow i: and o: on func and ->

Status: Open.

#365 In LPCIC/elpi;

· Janno opened on Sep 15, 2025