kittester(1)

📦
version 4.7.23 · 2 versions
, in nixpkgs unstable

💅 kittester(1) — the MLKit test tool, bestie edition 🎀

Okay so real quick: this is the kittester manual page, and it's literally the test tool for use with the MLKit Standard ML compiler. Strap in, we're gonna run some tests ✨

✨ SYNOPSIS ✨

kittester mlkit file.tst [OPTION]

That's the whole vibe. Three things: the mlkit executable, a file.tst, and optionally some [OPTION]s. Slay. 💅

🦋 DESCRIPTION 🦋

So here's what happens when you invoke it: kittester reads the file file.tst and runs the MLKit (that's the executable you handed over as the mlkit argument, iykyk) for each test program listed in file.tst — and all of that gets reported in a report, report.pdf. Periodt. 📄

Now, the various flags listed for each test program in file.tst are what you use to control the compilation and execution of that test program. So if you've got a test program test.sml, there are flags for comparing the generated compiler log with the content of the file test.sml.log.ok. Iconic behaviour.

Similarly (and this is the second half of the glow-up), there are flags for comparing the output of execution with the content of the file test.sml.out.ok. 🫶

In details — let's get into it — the file file.tst may mention a set of Standard ML sources and projects. Entries in a test file consist of a file name path (with extension sml, sig, or mlb) followed by a list of tokens. The following tokens are supported:

  • nobasislib — do not import basis library 🙈
  • nooptimiser — disable lambda optimiser 💀
  • ccl — compare compiler logs 👑
  • tx — time executable ⏱️
  • tc — time compiler ⏱️
  • ecte — expect compile time error 😭
  • ue — expect uncaught exception 😭

Test files may contain Standard ML style comments. Cute of them, honestly. 🌸

🌈 OPTIONS 🌈

Okay, and here's the tea on options: options given to kittester are sent along to the mlkit executable for each compilation. That's it, that's the whole rule. Lowkey elegant. ✨

💖 SEE ALSO 💖

ngl bestie, go read mlkit(1) too — it's giving main character energy of its own 🧚

MLKit v4.7.23, dated 2026-10-19T-00:42:06 — and that's the whole page, love u, bye! 🍓💜

📦 where this page comes from