Search results

Program does not terminate when compiled with <code>-ssa-passes minimal</code>

Status: Open.

#630 In MLton/mlton;

· nanikamado opened on Dec 11, 2025

MLtonWorld.load fails unless the binary was invoked with a full path

Status: Open.

#628 In MLton/mlton;

· jmaessen opened on Nov 22, 2025

SML/NJ 110.99.6.1 library upgrade causes Ur/Web miscompilation

Status: Open.

#618 In MLton/mlton;

· bbarenblat opened on Jul 12, 2025

Real.toString ignores the sign of zero

Basis Library

Status: Open.

#604 In MLton/mlton;

· p-ouellette opened on Feb 15, 2025

Alternative defunctionalisation technique

Status: Open.

#581 In MLton/mlton;

· hummy123 opened on Sep 8, 2024

Nested <code>withtype</code> not translated correctly?

Status: Open.

#548 In MLton/mlton;

· andreasabel opened on Feb 10, 2024

Equivalent programs show different behaviour

Status: Open.

#508 In MLton/mlton;

· pclayton opened on Aug 17, 2023

Improve elimination for locally known cases

Compiler

Status: Open.

#332 In MLton/mlton;

· jasoncarr0 opened on Aug 15, 2019

Add induction / termination checking infrastructure

Compiler

Status: Open.

#331 In MLton/mlton;

· jasoncarr0 opened on Aug 15, 2019

Peform extra datatype optimizations for SSA(2)

Compiler

Status: Open.

#330 In MLton/mlton;

· jasoncarr0 opened on Aug 15, 2019

Eliminate tuples from IR and use datatypes instead

Compiler

Status: Open.

#329 In MLton/mlton;

· jasoncarr0 opened on Aug 15, 2019

Reuse constructor tags of the same shape for different types

Compiler

Status: Open.

#302 In MLton/mlton;

· jasoncarr0 opened on May 15, 2019