Skip to content

Delete headSent.#4779

Open
balacij wants to merge 3 commits intomainfrom
headSentRM3
Open

Delete headSent.#4779
balacij wants to merge 3 commits intomainfrom
headSentRM3

Conversation

@balacij
Copy link
Copy Markdown
Collaborator

@balacij balacij commented Mar 2, 2026

Closes #4775

Builds on #4778

As of #4778, headSent is unused and hence can be deleted, as this does.

Closes #4775

As of #4778, `headSent` is unused and hence can be deleted, as this does.
@balacij
Copy link
Copy Markdown
Collaborator Author

balacij commented Mar 27, 2026

This is ready for review :)


reviewContent :: [Contents]
reviewContent = [reviewHead, reviewContextP1, LlC E.lcrectVel, LlC E.lcrectPos, LlC E.lcrectNoTime, reviewEqns, reviewContextP2]
reviewContent = []
Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

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

If reviewContent is now empty, why is it even needed?

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

This was technically code that is already in main. It was shown in this PR review because the HEAD was not updated. It's updated now.

However, this comment stands regardless, so I filed #4853.

"source": [
"## Rectilinear Kinematics: Continuous Motion\n", "\n"
"## Rectilinear Kinematics: Continuous Motion\n",
"<a id=\"Sec:RectKin\"></a>\n", "\n"
Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

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

So I'm not keen on this change:

  1. why is it out-dented?
  2. why is it empty?

This is a symptom that something in this fix is a bit too much of a hack, and shows up in this way.

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

Unfortunately, all of the formatting in the .ipynb file is bad. It can use a review.

As per my previous comment, this is code already in main. So, this is out of scope for this PR. I believe this is in scope for the greater review of the .ipynb file generator: #3877.

@balacij
Copy link
Copy Markdown
Collaborator Author

balacij commented Mar 29, 2026

I've updated the HEAD so the real diff is shown now. Ready for review.

Sorry for the troubles, @JacquesCarette !

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.

drasil-lang/../Sentence.hs contains headSent, a Markdown header sentence constructor

2 participants