Eyal Lotem

Results 16 issues of Eyal Lotem

Use list comprehension with guards

![image](https://user-images.githubusercontent.com/48899/154909992-1ccb0a57-8cf5-4ccc-a263-da22378f20db.png)

Example type error: ![image](https://user-images.githubusercontent.com/48899/154908059-77a7e033-a7e0-46bd-bc33-6ced23d08cfe.png) It's not very clear... Perhaps the escaping variable should be highlighted somehow with some information tooltip popping with a web link to an explanation (like Rust...

If we try to use `,` for it there'll be an ambiguity in a nested record like: `{ subRecord x ,` Should the `,` apply on the `x` to extend...

Currently we show a visual box around the function and the 2nd + verbose args (e.g: ".fold ") but this seemingly distinct syntactic entity cannot be selected (e.g: via shift+left)....

When an unused definition exists somewhere (typically after Ctrl-X as in #159), it would be really nice to be able to type its name ANYWHERE in the work area, and...

After #159 is implemented, if we remember the latest "Cut" definition, we can allow "Ctrl-v" to paste it - allowing for a conventional UX of Ctrl-X + Ctrl-V to move...

"Ctrl+C" can behave like Ctrl-X does now. "Ctrl+X" can behave similarly, but leave a hole in the original place rather than a named reference, so the extracted definition is unused....

(esp. since we no longer necessarily show parens around fragments)

So we think the correct solution would be to add a "logical prev widget enter" and "logical next widget enter" to the event context available to event map handelrs. This...