Skip to content

πŸ› fix(platform): export module APIs#6

Merged
zrr1999 merged 1 commit into
mainfrom
fix/platform-module-exports
Apr 12, 2026
Merged

πŸ› fix(platform): export module APIs#6
zrr1999 merged 1 commit into
mainfrom
fix/platform-module-exports

Conversation

@zrr1999

@zrr1999 zrr1999 commented Apr 12, 2026

Copy link
Copy Markdown
Member

Summary

  • make the platform-owned basic_cli.* foreign functions public so applications can import them
  • align their signatures with current Spore core spellings (Str, (), List[Str], Option[Str])
  • match print / eprint / read_line with the host's IoError failure surface

Validation

  • cargo test --manifest-path host/Cargo.toml
  • find examples src/basic_cli -name "*.sp" -type f | sort | xargs spore format
  • find examples src/basic_cli -name "*.sp" -type f | sort | xargs -n 1 spore check
  • find examples src/basic_cli -name "*.sp" -type f | sort | xargs -n 1 spore build
  • temporary package build importing basic_cli.stdout

Notes

  • this unblocks package-owned platform modules from being imported by project-mode applications after spore #85

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@zrr1999
zrr1999 merged commit 25bf163 into main Apr 12, 2026
6 of 7 checks passed
@zrr1999
zrr1999 deleted the fix/platform-module-exports branch April 12, 2026 17:44
zrr1999 added a commit that referenced this pull request Apr 24, 2026
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant