Greg Pfeil

Thanks, @cmm, that looks like it works for me. I extracted it into a function: ```elisp (defun persp-frame-title () (when-let ((persp (frame-parameter nil 'persp--curr))) (let ((open (nth 0 persp-modestring-dividers)) (close...

> @sellout: Have you tried using `(persp-current-name)` in place of `(frame-parameter nil 'persp--curr)`? I hadn’t. It looks like ```elisp (defun persp-frame-title () (let ((open (nth 0 persp-modestring-dividers)) (close (nth 1...

The benchmark target (and the test-suite) still have a dependency on criterion, so if you use those you're still restricted to GHC 8.2. But downstream code can depend on the...

I realized my last comment might not be clear – this doesn’t break anything that has an actual dependency on criterion. The dependency is still in the cabal file for...

@martyall Can you try this with the branch from #102? I’m having trouble getting your fork of straw to build. You’ll need to add the extra flags, etc. mentioned in...

I’m not too surprised. If you look at the error, you see `naturalEq#`, not `naturalEq`. The former has the type `Natural# -> Natural# -> Bool` – those `#` means the...

Sorry, this was _not_ fixed by #102 (as discussed above). I just forgot to fix the description of that PR before merging.

I don’t think `Integer` will be any better. Both it and `Natural` changed the same way with GHC 9.0. GHC 8.10 shouldn’t have this issue, if your code would work...

> Are you saying that this should JustWork™ (with the `Natural` based `galois-fields` implementation) if I switch to 8.10 ? Well, I think at least this particular problem should go...

Sorry, this was an issue I’ve had for a while, but had forgotten some of the context. I had set up `elisp-lint-indent-specs`, but I had forgotten to have it `eval-after-load`,...