Skip to content

add bob#17

Open
TheRealOwenRees wants to merge 4 commits intoexercism:mainfrom
TheRealOwenRees:bob
Open

add bob#17
TheRealOwenRees wants to merge 4 commits intoexercism:mainfrom
TheRealOwenRees:bob

Conversation

@TheRealOwenRees
Copy link
Contributor

No description provided.

@TheRealOwenRees TheRealOwenRees mentioned this pull request Mar 13, 2026
26 tasks
@TheRealOwenRees TheRealOwenRees added x:rep/large Large amount of reputation x:module/practice-exercise Work on Practice Exercises labels Mar 13, 2026
".meta/Bob.resi"
],
"editor": [
"src/Bob.resi"
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

"src/Bob.resi" should be under solution, not editor so it's editable by the student.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should the interface file be editable? Or are we flexible with them changing these things if they want to?

Happy to change, will do this in the morning and submit another PR fixing the older exercises

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It should be editable if a student wishes to take advantage of the interface file and possibly expand it. I'll have to double-check what the Exercism CLI does for submitting read-only editor files. I believe it's just the solution files and any files you explicitly specify so a student who wants to share a locally edited interface file may have to do that.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

x:module/practice-exercise Work on Practice Exercises x:rep/large Large amount of reputation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants