Repository navigation
fix: name each host module with its interface's full id - #244
Open
robfischer1 wants to merge 4 commits into
Open
robfischer1 wants to merge 4 commits into
robfischer1 wants to merge 4 commits into
Conversation
WIT scopes a case name to its enum; gravity emitted every case as an
unqualified package constant. Two enums sharing a case name, or a case
sharing a type's name, then redeclared an identifier and the bindings
failed go vet:
enum_collisions.go:41:2: PeerSvid redeclared in this block
The identity lift had to spell its `via` cases `via-peer-svid`, ... to
dodge `credential-kind`'s `peer-svid`. Every case constant is now the
enum's Go name followed by the case's (ViaPeerSvid,
CredentialKindPeerSvid, ShapePoint beside the record Point), as Go
spells an enumerated constant (http.MethodGet). The enum's qualified
name is already unique (arcjet#197), so its constants are too.
BREAKING: every enum constant is renamed (Red becomes ColorRed). The
upstream examples' tests are updated, and the regressions WIT drops the
comment that called constant qualification out of scope. Qualifying
only colliding names, as arcjet#197 does for types, was rejected: a new enum
would then rename an existing enum's constants.
Tests: imports::tests::test_enum_case_constants_are_named_for_their_enum
(fails without the fix) and the new enum-collisions example
(TestSharedCaseNamesStayDistinct, TestCaseNamedLikeAType; without the
fix go vet fails with the error above).
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Gravity lowered only result<T, string> and result<_, string>; any other
err type panicked at generation:
not yet implemented: TODO(arcjet#4): implement remaining result conversion
so the identity lift had to return a `decision { ok: option<resolved>,
refused: option<refusal> }` record instead of result<resolved, refusal>.
The Go shape stays (T, error) / error. The err case comes back as a
*ResultError[E], a generic error type emitted once per file when any
function needs it; errors.As recovers the E, and a trap, a host failure
or any other error is never one. On the host side a function returns
&ResultError[E]{Value: e} for the err case; an error that is not a
*ResultError[E] has no WIT representation and traps the guest, as a
panic in a host function does. Enums, records and variants (including a
record dispatched directly as a variant case) work as E, with or
without an ok type.
ResultError.Error formats its value with %v, so each enum's private
type gains a String that answers the WIT case name ("untyped-peer"), and
the error text reads as WIT wrote it.
Tests: exports::tests::test_export_result_with_enum_err,
imports::tests::test_import_result_with_record_err (both fail without
the fix with the panic above),
imports::tests::test_enum_string_answers_the_wit_case,
factory::tests::test_result_error_only_when_needed, and the new
result-errors example: TestEnumErr, TestRecordErr, TestVariantErr,
TestErrWithoutOk, TestHostReturnsTypedErrs, TestHostPlainErrorTraps
(without the fix the bindings do not generate).
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
A world that imports an interface only for its types — through
`use types.{...}`, or as the dependency of an exported interface — imports
no function from it. Gravity still emitted an empty Go interface
(`type IIdentityCoreTypes interface {}`), a factory parameter of that
type and an empty host module, so every caller passed a placeholder
(the identity lift's `struct{}{}`, the spike's leading nil). Such an
interface now gets none of the three; its types are still generated.
BREAKING: New<World>Factory loses the parameter for each types-only
interface.
Tests: imports::tests::test_types_only_interface_needs_no_host (fails
without the fix: a host module chain and ITestWorldTypes are emitted);
the enum-collisions and result-errors examples call their factories
without the placeholder (without the fix they do not compile: not
enough arguments).
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
A host module was named `<namespace>:<package>/<interface>`, without
the package version. A guest built from a versioned package imports
`<namespace>:<package>/<interface>@<version>`, so instantiation failed:
module[gravity:interface-exports/log@0.1.0] not instantiated
The module is now named by Resolve::id_of, the interface's full id,
which carries the version when the package has one. A package declared as
`package example:pkg@0.1.0` names its imports with that version, so any
import it gains needs this.
Tests: imports::tests::test_host_module_name_carries_the_package_version
(fails without the fix: "test:fixture/host" for "test:fixture/host@1.2.3");
the interface-exports example (next commit) imports from a versioned
package at runtime.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Host modules were named
ns:pkg/ifacewithout the package version. A guest built from a versioned package importsns:pkg/iface@ver, so instantiation failed:Modules are now named by
Resolve::id_of.Test:
imports::tests::test_host_module_name_carries_the_package_version🤖 Generated with Claude Code
https://claude.ai/code/session_01K99bnsYaj3w4MMWSF5hTMu