cannot delete `=` when let type annotation trails with a hole

hazelgrove / hazel

Hazel, a live functional programming environment with typed holes

http://hazel.org/

MIT License

748 stars 50 forks source link

Open cyrus- opened 5 months ago

cyrus- commented 5 months ago

disconcision commented 5 months ago

I don't believe there is any situation in which one can delete the = while the letand in are both down; see #1088