search

djalbat / occam-ide

Occam/s IDE
Other
1 stars 0 forks source link

Deleting a space in nonsense does not show in the pretty printer #205

Closed djalbat closed 1 month ago

djalbat commented 1 month ago

https://github.com/user-attachments/assets/2193ad3b-870a-4855-a4a1-8c36fada72f1

djalbat commented 1 month ago

This is likely the same bug.

https://github.com/user-attachments/assets/f6c59c3b-d5e1-4159-91a6-ba483a1ccf4c

Fix the nonsense case first, then check this one perhaps.