@fraczak/k 6.2.1 → 6.2.3

package/CHANGELOG.md

@@ -7,6 +7,16 @@ This project uses [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
 ---
 
+## [6.2.3] — 2026-06-03 — Unified k compiler output
+
+### Toolchain
+
+- Unified `k-compile` so it can emit `.ko`, `.klib`, and `.kvm` output.
+- Removed the separate `k-compile-lib` binary; use `k-compile ... .klib`.
+- Added inline source snippet input to `k-compile`, matching the `k` CLI style.
+
+---
+
 ## [6.1.0] — 2026-05-20 — CLI aliases and help
 
 ### Toolchain
@@ -61,5 +71,6 @@ This project uses [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
 ---
 
+[6.2.3]: https://github.com/fraczak/k/releases/tag/v6.2.3
 [6.1.0]: https://github.com/fraczak/k/releases/tag/v6.1.0
 [6.0.0]: https://github.com/fraczak/k/releases/tag/v6.0.0

package/DOCS/OBJECT_FILE_AND_PATTERN.md

@@ -144,14 +144,17 @@ Standalone helpers live in `objects/`:
 
 ```sh
 k-compile path/to/program.k path/to/program.ko
-k-compile-lib path/to/library.k path/to/library.klib
+k-compile path/to/library.k path/to/library.klib
+k-compile path/to/program.k path/to/program.kvm
 k-decompile path/to/program.ko path/to/program.decompiled.k
 k-extract-aliases path/to/library.klib path/to/aliases.k
 ```
 
-With no arguments, the helpers read from stdin and write to stdout:
+`k-compile` also accepts inline source snippets. With no arguments, the helpers
+read from stdin and write to stdout:
 
 ```sh
+k-compile 'x = |x; x x' > path/to/program.ko
 cat path/to/program.k | k-compile > path/to/program.ko
 cat path/to/program.ko | k-decompile > path/to/program.decompiled.k
 ```
@@ -259,7 +262,7 @@ succ = |succ;
 compile it with:
 
 ```sh
-k-compile-lib defs.k defs.klib
+k-compile defs.k defs.klib
 ```
 
 The output file is plain JSON and starts with `{`, not a binary prefix. Its

package/README.md

@@ -151,9 +151,11 @@ k programs can be compiled into:
 
 - `.klib`: plain JSON library objects
 - `.ko`: executable binary object containers
+- `.kvm`: JSON kVM programs
 
-These keep canonical code/relation definitions, aliases, metadata, and
-type-derivation status.
+Object and library files keep canonical code/relation definitions, aliases,
+metadata, and type-derivation status. The `.kvm` output is a lowered JSON
+program for backend inspection and execution experiments.
 
 ## CLI Tour
 
@@ -186,8 +188,7 @@ type-derivation status.
 
 | Command | Purpose |
 | --- | --- |
-| `k-compile` | Compile `.k` source to an executable `.ko` object |
-| `k-compile-lib` | Compile `.k` source to a `.klib` library |
+| `k-compile` | Compile `.k` source to `.ko`, `.klib`, or `.kvm` output |
 | `k-decompile` | Decompile `.ko` or `.klib` back to k source |
 | `k-extract-aliases` | Recover metadata aliases as k source |