Search results

False positive error 5028

bugSomething isn't workingSomething isn't working

Status: Open.

#69 In azdavis/millet;

· p-ouellette opened on Jun 2, 2025

Millet VSCode extension broken for Ubuntu 22 (probably because outdated glibc)

bugSomething isn't workingSomething isn't working

Status: Open.

#68 In azdavis/millet;

· wade-cheng opened on Mar 19, 2025

Add parameter hints

enhancementNew feature or requestNew feature or request

Status: Open.

#67 In azdavis/millet;

· wade-cheng opened on Mar 19, 2025

Signature / structure type mismatch location

enhancementNew feature or requestNew feature or request

Status: Open.

#57 In azdavis/millet;

· vqns opened on May 2, 2024

Add hints to diagnostics

enhancementNew feature or requestNew feature or request

Status: Open.

#43 In azdavis/millet;

· azdavis opened on Jul 16, 2023

Reporting generated ty var names does not consider nesting

bugSomething isn't workingSomething isn't working

Status: Open.

#42 In azdavis/millet;

· azdavis opened on Jul 1, 2023

Exception copy is buggy

bugSomething isn't workingSomething isn't working

Status: Open.

#41 In azdavis/millet;

· azdavis opened on Jul 1, 2023

Complete inside structures

enhancementNew feature or requestNew feature or request

Status: Open.

#39 In azdavis/millet;

· azdavis opened on Jun 28, 2023

Implement lazy generalization

enhancementNew feature or requestNew feature or request

Status: Open.

#30 In azdavis/millet;

· azdavis opened on Apr 2, 2023

Permit disallowing certain types

enhancementNew feature or requestNew feature or request

Status: Open.

#27 In azdavis/millet;

· azdavis opened on Mar 28, 2023

Support <code>lazy</code> keyword

enhancementNew feature or requestNew feature or request

Status: Open.

#23 In azdavis/millet;

· RobertHarper opened on Mar 20, 2023

Allow specifying or deducing basis configuration

enhancementNew feature or requestNew feature or request

Status: Open.

#20 In azdavis/millet;

· shwestrick opened on Jan 16, 2023