daniel/danos
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects 1 Releases Wiki Activity

library: client modules end in -client, like protocols end in -protocol

Browse Source 
display-client and input-client (files and module names), so a service,
its wire contract, and its client never share a name: `display` the
service, `display-protocol` the contract, `display-client` a program's
view of it. The nine consumers' imports and their packages' declared
lists follow (regenerated from the source scan); build-support's
module_homes table carries the new names.
This commit is contained in:
Daniel Samson
2026-07-30 06:56:12 +01:00
parent 4476208361
commit e53d6ebafb
22 changed files with 36 additions and 32 deletions
Download Patch File Download Diff File Expand all files Collapse all files