GitHub · Where software is built

8000 GitHub · Where software is built

Labels Milestones New issue

Website down

#633

· ii8 opened

on Dec 19, 2025

Test Failures on macOS Silicon with MLton 20241230

#631

· ratsclub opened

on Dec 15, 2025

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

#630

· nanikamado opened

on Dec 11, 2025

Fold.step2 not clearly defined

#629

· Forthoney opened

on Nov 22, 2025

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

#628

· jmaessen opened

on Nov 22, 2025

SML/NJ 110.99.6.1 library upgrade causes Ur/Web miscompilation

#618

· bbarenblat opened

on Jul 12, 2025

Real.toString ignores the sign of zero

#604

· p-ouellette opened

on Feb 15, 2025

Alternative defunctionalisation technique

#581

· hummy123 opened

on Sep 8, 2024

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

#548

· andreasabel opened

on Feb 10, 2024

Equivalent programs show different behaviour

#508

· pclayton opened

on Aug 17, 2023

Improve elimination for locally known cases

#332

· jasoncarr0 opened

on Aug 15, 2019

Add induction / termination checking infrastructure

#331

· jasoncarr0 opened

on Aug 15, 2019

0