Search results

Generated code attempts to pattern match on function application

Status: Open.

#322 In buzden/deptycheck;

· UARTman opened on Mar 24, 2026

INTERNAL ERROR: length of the return type does not equal to the type's arguments count

derive: least-effortRelates to the `LeastEffort` derivation algorithmRelates to the `LeastEffort` derivation algorithm

issue: compilation errorWhen compilation error raises because of the libraryWhen compilation error raises because of the library

part: derivationRelated to automated derivation of generatorsRelated to automated derivation of generators

status: confirmed bugSomething isn't workingSomething isn't working

status: upstreamUpstream issueUpstream issue

Status: Open.

#314 In buzden/deptycheck;

· L3odr0id opened on Mar 2, 2026

DepTyCheck derives fuel-consuming generators for provably (mutually) decreasing types.

derive: coreSomething in between single type generator and its constructorsSomething in between single type generator and its constructors

issue: performanceWhen work takes too much resourcesWhen work takes too much resources

part: derivationRelated to automated derivation of generatorsRelated to automated derivation of generators

status: feature requestRequest for new functionality or improvementRequest for new functionality or improvement

Status: Open.

#305 In buzden/deptycheck;

· GlebChili opened on Dec 16, 2025

Treat some arguments to a special function call, e.g. in So, to be a request to SMT-solver

code: enhancementNew feature or improvementNew feature or improvement

derive: least-effortRelates to the `LeastEffort` derivation algorithmRelates to the `LeastEffort` derivation algorithm

issue: performanceWhen work takes too much resourcesWhen work takes too much resources

part: derivationRelated to automated derivation of generatorsRelated to automated derivation of generators

part: infra libsRelated to supporting data types and other definitionsRelated to supporting data types and other definitions

status: feature requestRequest for new functionality or improvementRequest for new functionality or improvement

Status: Open.

#301 In buzden/deptycheck;

· buzden opened on Dec 9, 2025

Extend support for generators that don’t consume Fuel

derive: least-effortRelates to the `LeastEffort` derivation algorithmRelates to the `LeastEffort` derivation algorithm

part: derivationRelated to automated derivation of generatorsRelated to automated derivation of generators

status: feature requestRequest for new functionality or improvementRequest for new functionality or improvement

Status: Open.

#279 In buzden/deptycheck;

· L3odr0id opened on Aug 25, 2025

Add a support for runtime analysis and ability to guide oneof-decisions

code: enhancementNew feature or improvementNew feature or improvement

issue: distributionWhen distribution of generation is wrongWhen distribution of generation is wrong

part: generatorsRelated to generatorsRelated to generators

part: labelsRelated to the labelling mechanismRelated to the labelling mechanism

part: model coverageRelated to model coverage of generatorsRelated to model coverage of generators

status: feature requestRequest for new functionality or improvementRequest for new functionality or improvement

Status: Open.

#276 In buzden/deptycheck;

· buzden opened on Aug 7, 2025

Check name visibility before attempting derivation

derive: entryIssue on the derivation function facing to the end-userIssue on the derivation function facing to the end-user

derive: infrastructureIssue around derivation, but not directly inIssue around derivation, but not directly in

part: derivationRelated to automated derivation of generatorsRelated to automated derivation of generators

status: feature requestRequest for new functionality or improvementRequest for new functionality or improvement

Status: Open.

#267 In buzden/deptycheck;

· lavrentievms opened on May 12, 2025

Support erased given arguments when applicable

derive: coreSomething in between single type generator and its constructorsSomething in between single type generator and its constructors

derive: entryIssue on the derivation function facing to the end-userIssue on the derivation function facing to the end-user

derive: least-effortRelates to the `LeastEffort` derivation algorithmRelates to the `LeastEffort` derivation algorithm

part: derivationRelated to automated derivation of generatorsRelated to automated derivation of generators

status: feature requestRequest for new functionality or improvementRequest for new functionality or improvement

Status: Open.

#266 In buzden/deptycheck;

· DanMax03 opened on May 5, 2025

Show warning when erased argument is passed as omega

derive: entryIssue on the derivation function facing to the end-userIssue on the derivation function facing to the end-user

issue: bad messageWhen library reports some problem badlyWhen library reports some problem badly

issue: compilation errorWhen compilation error raises because of the libraryWhen compilation error raises because of the library

part: derivationRelated to automated derivation of generatorsRelated to automated derivation of generators

Status: Open.

#265 In buzden/deptycheck;

· DanMax03 opened on May 5, 2025

Not optimal derivation order for AllLTE

derive: least-effortRelates to the `LeastEffort` derivation algorithmRelates to the `LeastEffort` derivation algorithm

issue: performanceWhen work takes too much resourcesWhen work takes too much resources

part: derivationRelated to automated derivation of generatorsRelated to automated derivation of generators

status: confirmed bugSomething isn't workingSomething isn't working

Status: Open.

#258 In buzden/deptycheck;

· DanMax03 opened on Apr 9, 2025

AtIndex with destructed parameterised type

derive: coreSomething in between single type generator and its constructorsSomething in between single type generator and its constructors

issue: bad messageWhen library reports some problem badlyWhen library reports some problem badly

part: derivationRelated to automated derivation of generatorsRelated to automated derivation of generators

status: confirmed bugSomething isn't workingSomething isn't working

Status: Open.

#255 In buzden/deptycheck;

· 1BAH opened on Mar 27, 2025

Do not treat free variables passed to a single constructor as determining

derive: coreSomething in between single type generator and its constructorsSomething in between single type generator and its constructors

issue: performanceWhen work takes too much resourcesWhen work takes too much resources

part: derivationRelated to automated derivation of generatorsRelated to automated derivation of generators

status: feature requestRequest for new functionality or improvementRequest for new functionality or improvement

Status: Open.

#239 In buzden/deptycheck;

· buzden opened on Feb 24, 2025