Search results

Bigger stack limits

Status: Open.

#81 In kfl/mosml;

· ordinarymath opened on Feb 9, 2026

Missing Standard Basis structures and signatures

Status: Open.

#79 In kfl/mosml;

· pqnelson opened on Jul 4, 2025

New release

Status: Open.

#78 In kfl/mosml;

· athas opened on Jan 1, 2025

Dynamic IntInf should declare its int type as eqtype

Status: Open.

#76 In kfl/mosml;

· mn200 opened on Oct 27, 2024

Build freezes on macOS 15: Your compiler chokes on the "volatile" modifier

Status: Open.

#75 In kfl/mosml;

· barracuda156 opened on Oct 8, 2024

Build error with clang: mgd.c: error: call to undeclared function 'failwith', etc.

Status: Open.

#71 In kfl/mosml;

· barracuda156 opened on Jul 26, 2023

Valgrind report use of uninitialized memory

Status: Open.

#70 In kfl/mosml;

· mingodad opened on Mar 28, 2022

Grammar railroad diagram

Status: Open.

#69 In kfl/mosml;

· mingodad opened on Mar 28, 2022

mmysql.c fails to compile

Status: Open.

#68 In kfl/mosml;

· cwfoo opened on Nov 12, 2021

Man pages not installed

Status: Open.

#67 In kfl/mosml;

· cwfoo opened on Nov 11, 2021

Broken links in library documentation

Status: Open.

#66 In kfl/mosml;

· cwfoo opened on Nov 11, 2021

mosml should find $DESTDIR/usr/local/bin/camlrunm?

Status: Open.

#65 In kfl/mosml;

· zacque0 opened on Oct 19, 2021