Skip to content

Conversation

@JBenda
Copy link
Owner

@JBenda JBenda commented Jul 5, 2022

fixes #44

@JBenda JBenda added the bug Something isn't working label Jul 5, 2022
@JBenda JBenda self-assigned this Jul 5, 2022
@JBenda JBenda requested a review from brwarner July 5, 2022 06:39
@JBenda JBenda merged commit 4247ddc into JBenda:master Jul 12, 2022
@JBenda JBenda deleted the fix/NewLines#44 branch July 12, 2022 10:13
JBenda added a commit that referenced this pull request Jul 30, 2022
* add tests from #45
* Fixed new lines in functions based on #48
* no_changes should return result in an unchanged stack state
(pointed out in #48)
* but we need to save again if we encounter a second newline, in the
  case of multiple glues, and for correct visit counts
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Runner doesn't break on newlines between knots/stitches

1 participant