Eric Seidel

Results 19 comments of Eric Seidel

@vincenthz Do you have any specifics on the better primitives? One thing I've noticed is that the encoder is probably doing a bunch of unnecessary allocations by constructing intermediate bytestrings...

https://github.com/camfort/fortran-src/pull/58 addresses this in the `Fortran77Legacy` mode, though it throws the comments away. I know GHC has done some work on preserving comments that can appear anywhere in the source...

@ranjitjhala given that we also support checking specific binders with `-b`, we could extend the emacs mode with a command to check the function the point is in.

@ranjitjhala most major-modes (including haskell-mode) provide functions to determine the function-at-point :)

This wouldn't directly solve the issue of only editing a spec, but we could extend hsakell-mode's function to notice when it's inside a liquid-spec. I'll look into it next week.

That being said, it might be nicer to just fix the issue at the level of diffcheck. E.g. do an actual **diff** of the new and saved files and check...

Hmm, I've never actually tried to switch to god-state from visual-state, but it certainly does not work right.. It looks to me that the culprit is actually evil's `evil-visual-activate-hook`, which...

@darkfeline `(not (use-region-p))` is required to make evil exit visual-state if you run a command that deactivates the region (e.g. `kill-region`). `use-region-p` tells us if the region is active. `evil-visual-expand-region`...

Any chance we can merge this? It would be very helpful for a workflow I have that involves swapping between sets of clinerules. (The new enable/disable toggle is nice, but...