0.2.0: the package exports no module

Version 0.1 provided openkal.stream, openkal.memory and openkal.abort, each
re-exporting a declaration module from the specification package. That placed
the names a consumer imports under this package's control, which is not an
implementation's role.

The package now contributes definitions and nothing else. It imports the same
interface a consumer imports, because it needs the declarations it is defining.

Requires openkal 0.2.0.

Author: speak-agent

.github/workflows/ci.yml

@@ -45,7 +45,7 @@ jobs:
 
       - name: The exported surface matches the specification
         env:
-          OPENKAL_VERSION: 0.1.0
+          OPENKAL_VERSION: 0.2.0
         run: |
           # Clause 9.3. The list is fetched from the specification repository at
           # the version this implementation is written against, so that the

README.md

@@ -12,27 +12,28 @@ that other implementations follow.
 | `openkal.stream` | descriptors 0, 1 and 2; writes are completed or reported |
 | `openkal.memory` | built upon the C library allocator, as clause 7.3 requires |
 
-Vectored writes are not provided. The absence is expressed by declaring nothing,
-and `kal::has_write_vectored<kal::stream>` is correspondingly false.
+The package declares no module. The interface belongs to the specification
+package, which this package imports in order to define what it declares.
 
 ## Use
 
 ```toml
 [dependencies]
-openkal = "0.1.0"
+openkal = "0.2.0"
 
 [target.'cfg(os = "linux")'.dependencies]
-openkal-linux = "0.1.0"
+openkal-linux = "0.2.0"
 ```
 
 ## Points of interest for other implementations
 
 The implementation is short, and the following aspects of it are the ones the
 specification expects to be reproduced.
 
-**The interface module adds nothing.** `src/stream.cppm` consists of an export
-and a re-export. An implementation may add only the overloads the specification
-lists as optional capabilities of the interface, and this one adds none.
+**The package exports no module.** An implementation contributes definitions.
+The interface is the specification's, and an implementation that exported one
+would place a name the consumer relies upon outside the specification's
+control.
 
 **Interruption is retried, not reported.** A caller cannot distinguish an
 interrupted call from a genuine failure without knowledge of the platform. An

examples/hello/mcpp.toml

@@ -5,5 +5,5 @@ name    = "hello"
 version = "0.1.0"
 
 [dependencies]
-openkal       = "0.1.0"
+openkal       = { path = "../../../openkal" }
 openkal-linux = { path = "../.." }

examples/hello/src/main.cpp

@@ -12,14 +12,9 @@ int main() {
     kal::write(kal::out(), report, n);
     kal::free(region, 64, 8);
 
-    // A capability the implementation does not provide is detected at compile
-    // time, so the program selects an alternative without a run-time test.
-    if constexpr (kal::has_write_vectored<kal::stream>) {
-        const char v[] = "openkal: vectored writes available\n";
-        kal::write(kal::out(), v, sizeof(v) - 1);
-    } else {
-        const char v[] = "openkal: vectored writes unavailable\n";
-        kal::write(kal::out(), v, sizeof(v) - 1);
-    }
+    // The program imports openkal and names no implementation. Which
+    // implementation supplies the definitions is decided in the manifest.
+    const char done[] = "openkal: the program named no implementation\n";
+    kal::write(kal::out(), done, sizeof(done) - 1);
     return 0;
 }

mcpp.toml

@@ -1,11 +1,18 @@
 [package]
 namespace   = "mcpplibs"
 name        = "openkal-linux"
-version     = "0.1.0"
+version     = "0.2.0"
 description = "The reference implementation of openkal for Linux. It is both a usable backend and the worked example other implementations follow."
 license     = "Apache-2.0"
 authors     = ["mcpplibs"]
 repo        = "https://github.com/mcpplibs/openkal-linux"
 
 [dependencies]
-openkal = "0.1.0"
+openkal = "0.2.0"
+
+# The package contributes definitions and no modules. The interface it
+# implements is declared by the specification package, which this package
+# imports and does not re-export.
+[targets.openkal-linux]
+kind    = "lib"
+sources = ["src/**/*.cpp"]

src/abort.cpp

@@ -1,7 +1,6 @@
 #include <unistd.h>
 #include <stdlib.h>
-import openkal.decl.abort;
-import openkal.decl.types;
+import openkal.abort;
 
 extern "C" {
 

src/abort.cppm

@@ -1,7 +1,6 @@
 #include <stdlib.h>
 #include <stddef.h>
-import openkal.decl.memory;
-import openkal.decl.types;
+import openkal.memory;
 
 extern "C" {
 

src/memory.cpp

@@ -1,7 +1,6 @@
 #include <unistd.h>
 #include <errno.h>
-import openkal.decl.stream;
-import openkal.decl.types;
+import openkal.stream;
 
 namespace {