Skip to content

Add cog.include to "include" another file#48

Open
thejcannon wants to merge 4 commits into
nedbat:mainfrom
thejcannon:main
Open

Add cog.include to "include" another file#48
thejcannon wants to merge 4 commits into
nedbat:mainfrom
thejcannon:main

Conversation

@thejcannon
Copy link
Copy Markdown

@thejcannon thejcannon commented Jul 9, 2025

Justification

See the changes to the GitHub workflow (which I'm happy to revert if you think it's too much, but are demonstrative of the kind of thing I want to do with this feature)

Implementation

(Pretty straightforward)

Testing

  • Added a test for both filename and stdin
  • GitHub workflow also counts as a test!

@thejcannon
Copy link
Copy Markdown
Author

Ok so something funny I just found is that if your included file has a cog directive, subsequent coggings fail. Will have to think on that one...

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