Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

For stubs clearly indicate that the source code contains no implementation #1034

Closed
lars-reimann opened this issue Apr 12, 2024 · 1 comment · Fixed by #1037
Closed

For stubs clearly indicate that the source code contains no implementation #1034

lars-reimann opened this issue Apr 12, 2024 · 1 comment · Fixed by #1037
Assignees
@lars-reimann
Labels
documentation 📖 Improvements or additions to documentation released Included in a release
Milestone
v0.12.0

Comments

@lars-reimann
Copy link
Member

Call it "Stub code" instead of source code in the summary.
@lars-reimann lars-reimann added the documentation 📖 Improvements or additions to documentation label Apr 12, 2024
@lars-reimann lars-reimann added this to the v0.12.0 milestone Apr 12, 2024
@lars-reimann lars-reimann self-assigned this Apr 12, 2024
@lars-reimann lars-reimann added this to DSL Apr 12, 2024
@github-project-automation github-project-automation bot moved this to Backlog in DSL Apr 12, 2024
@lars-reimann lars-reimann moved this from Backlog to Todo in DSL Apr 12, 2024
@lars-reimann lars-reimann linked a pull request Apr 12, 2024 that will close this issue
docs: clearly differentiate implementation code and stub code #1037
Merged
@lars-reimann lars-reimann mentioned this issue Apr 12, 2024
Merged
lars-reimann added a commit that referenced this issue Apr 12, 2024
@lars-reimann
docs: clearly differentiate implementation code and stub code (#1037)
dbe96e3 
Closes #1034

### Summary of Changes

In the library docs, replace the words "source code" with either "stub
code" or "implementation code" depending on whether a declaration has an
implementation in Safe-DS (pipeline/segment).
@github-project-automation github-project-automation bot moved this from Todo to ✔️ Done in DSL Apr 12, 2024
@lars-reimann
Copy link
Member Author

🎉 This issue has been resolved in version 0.12.0 🎉

The release is available on:

Your semantic-release bot 📦🚀

@lars-reimann lars-reimann added the released Included in a release label Apr 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lars-reimann lars-reimann

Labels
documentation 📖 Improvements or additions to documentation released Included in a release
Projects
DSL
Archived in project
Milestone
v0.12.0
Development

Successfully merging a pull request may close this issue.

docs: clearly differentiate implementation code and stub code Safe-DS/DSL
1 participant
@lars-reimann