Search results

Make LMonoTy.resolveAliases and LMonoTys.resolveAliases pure

Status: Open.

#1304 In strata-org/Strata;

· MikaelMayer opened on May 29, 2026

Unify callSiteTypeSubst and LFunc.computeTypeSubst into a single parameterised helper

enhancementNew feature or requestNew feature or request

Status: Open.

#1298 In strata-org/Strata;

· PROgram52bc opened on May 29, 2026

Boole: seq_of_* literals use untyped seqEmptyOp, should pass element type

Status: Open.

#1297 In strata-org/Strata;

· MikaelMayer opened on May 29, 2026

Change "unreachable" assertion message to "unreachable in this context"

Status: Open.

#1295 In strata-org/Strata;

· MikaelMayer opened on May 29, 2026

Refactor ArgF.fromIon to eliminate copy-paste errors in checkArgCount

Status: Open.

#1294 In strata-org/Strata;

· MikaelMayer opened on May 29, 2026

Function typing does not check for unbound type variables in body

bugSomething isn't workingSomething isn't working

Core

Status: Open.

#1289 In strata-org/Strata;

· joscoh opened on May 28, 2026

Free type variables in function declarations can be captured

bugSomething isn't workingSomething isn't working

Core

Status: Open.

#1287 In strata-org/Strata;

· joscoh opened on May 28, 2026

Refactoring compilation of type hierarchy and modifies clauses

development-speed

Laurel

Status: Open.

#1274 In strata-org/Strata;

· keyboardDrummer opened on May 28, 2026

Tracking: bugs identified by @aaronjeline

Status: Open.

#1247 In strata-org/Strata;

· MikaelMayer opened on May 27, 2026

DDM parser: checkLeftRec panics if leading argument is NewlineSepBy

Status: Open.

#1245 In strata-org/Strata;

· MikaelMayer opened on May 27, 2026

DDM Elab: error message in parseStrataProgramFromDialect is a plain string, not interpolated

Status: Open.

#1244 In strata-org/Strata;

· MikaelMayer opened on May 27, 2026

SMT Solver.spawn: stderr pipe is opened but reader handle is dropped; solver may SIGPIPE on fatal-error output

Status: Open.

#1241 In strata-org/Strata;

· MikaelMayer opened on May 27, 2026