improve type inference#3172

Merged

turadg merged 19 commits intomasterfrom

ta/remotable

Apr 15, 2026

Commits on Apr 15, 2026

feat(types): ModuleSource global
turadg
committed
fix(types): improve type inference across patterns/exo/pass-style

turadg
and
claude
committed
fix(exo): also remove `& Methods` from defineExoClass and makeExo

turadg
and
claude
committed
fix(patterns): TFRestArgs unwraps array patterns

turadg
and
claude
committed
feat(patterns): add CastedPattern<T> for unchecked type assertions

turadg
and
claude
committed
fix(patterns): TFRemotable returns any (not Payload) for non-InterfaceGuard

turadg
and
claude
committed
fix(exo): preserve facet inference in defineExoClassKit when no guard

turadg
and
claude
committed
fix(patterns): TypeFromArgGuard discriminates by toStringTag, not shape

turadg
and
claude
committed
fix(patterns): preserve MatcherOf payload through interface guards

turadg
and
claude
committed
fix(eventual-send): short-circuit any in RemoteFunctions, PickCallable, ECallableOrMethods

turadg
and
claude
committed
chore(eventual-send): publicly export EMethods/EGetters and friends

turadg
and
claude
committed
fix(patterns): TFOptionalTuple emits truly optional elements; M.promise() → PromiseLike

turadg
and
claude
committed
fix(exo): make Guarded<M, G> structurally compatible across G; widen kit F constraint

turadg
and
claude
committed
fix(patterns): TFOr handles array-of-patterns; M.undefined() → void; array fallback in TFOr/TFAnd

turadg
and
claude
committed
feat(common,patterns): objectExtendEach helper + empty-rest TFSplitRecord fix

turadg
and
claude
committed
chore(types): ocapn conformance
turadg
committed
feat(types): parameterizes CapTP slots
turadg
committed
chore(types): misc cleanup
turadg
committed
refactor(types): AnyMethodGuards helper
turadg
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

improve type inference#3172

improve type inference#3172
turadg merged 19 commits intomasterfrom
ta/remotable

Commits on Apr 15, 2026

feat(types): ModuleSource global

fix(types): improve type inference across patterns/exo/pass-style

fix(exo): also remove `& Methods` from defineExoClass and makeExo

fix(patterns): TFRestArgs unwraps array patterns

feat(patterns): add CastedPattern<T> for unchecked type assertions

fix(patterns): TFRemotable returns any (not Payload) for non-InterfaceGuard

fix(exo): preserve facet inference in defineExoClassKit when no guard

fix(patterns): TypeFromArgGuard discriminates by toStringTag, not shape

fix(patterns): preserve MatcherOf payload through interface guards

fix(eventual-send): short-circuit any in RemoteFunctions, PickCallable, ECallableOrMethods

chore(eventual-send): publicly export EMethods/EGetters and friends

fix(patterns): TFOptionalTuple emits truly optional elements; M.promise() → PromiseLike

fix(exo): make Guarded<M, G> structurally compatible across G; widen kit F constraint

fix(patterns): TFOr handles array-of-patterns; M.undefined() → void; array fallback in TFOr/TFAnd

feat(common,patterns): objectExtendEach helper + empty-rest TFSplitRecord fix

chore(types): ocapn conformance

feat(types): parameterizes CapTP slots

chore(types): misc cleanup

refactor(types): AnyMethodGuards helper