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.

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

experience log: trying to do case wrapping task #89

Open
disconcision opened this issue Nov 12, 2024 · 0 comments
Open

experience log: trying to do case wrapping task #89

disconcision opened this issue Nov 12, 2024 · 0 comments

Comments

@disconcision
Copy link
Member

(making some logs to (a) get a reference for what needs to be fixed to get a happy path for these exercises, and (b) to help me guide the study back towards a working path after bugs)

starting with:

Screenshot 2024-11-12 112059

trying to press enter to create a new line runs into #88. Pressing enter again and then up arrow works though.

from:

Screenshot 2024-11-12 112219

entering "c" to write case triggers distracting indentation change:

Screenshot 2024-11-12 112205

finishing off the case and scrutinee results in a state that appears fine:

Screenshot 2024-11-12 112332

but is actually highly bugged. in this state, any attempt to delete or edit the "let" delimiter results in an exception. Similarly when you try to edit the pattern. trying to move though the pattern with right arrow also throws (so i can't select the pattern to cut/paste):

Screenshot 2024-11-12 112540

completing the rule bar ghost leaves the above issues unchanged:

Screenshot 2024-11-12 112618

but completing that => ghost fixes them; i can now edit/delete the let and move through the pattern.

deleting the let:

Screenshot 2024-11-12 112742

works but results in the let equals becoming a half-ghost equality infix op (not sure if bug or not, but confusing), and also results in the in for that let becoming associated with the containing let, and the in for the containing let becoming unmolded (similarly confusing):

Screenshot 2024-11-12 112840

i then cut and inserted the pattern (worked fine), and then cut the boolean expression and attempted to paste it in front of the end. state before paste:

Screenshot 2024-11-12 113204

after paste, a ton of linebreaks appear unexpectedly:

Screenshot 2024-11-12 113349

this happens regardless of whether i put a space or linebreak separating the paste site from the end.

cleaning up the detritus at the bottom, backspacing in this state:

Screenshot 2024-11-12 113606

yields:

Screenshot 2024-11-12 113638

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

No branches or pull requests

1 participant