Patrick Thomson

Results 81 issues of Patrick Thomson

Might as well fix the indentation while we're at it.

help wanted

I managed to add a little simplicity in d8a7e67, at the cost of turning on UndecidableInstances. It would be cool if we could avoid undecidable instances. Another idea I had:...

parsing

As per our discussion, once Colin's tasty-hspec replacement gets off the ground.

testing

This would be really nice to have by default.

Using `cabal-cache` appears to yield superior results in Cabal-using projects that would otherwise have to simulate a cache by preserving the Cabal store and the dist-newstyle build results. We should...

When building projects with haskell-process-cabal-build, emacs refuses to accept any keyboard input while the compilation process is running. I noticed this regression around two weeks ago; I was unable to...

Newer Emacsen warn when calling `easy-mmode-define-minor-mode` without keyword arguments, which is apparently a calling convention stemming from Emacs

GitHub’s syntax highlighting service is, for build/tooling performance reasons, switching away from using Git submodules and to pulling releases from crates.io. We need a Crates release for this to work.

Here’s a function with more than one constraint, that typechecks fine: ```racket (defn show-equal : (forall [s] (Show s) (Eq s) => {s -> s -> Bool}) [[a b] {...

bug

`pathtype` was not a great success for us: - it did not catch any bugs other than exposing some odd behavior in `readProjectFromPaths`; - it baffled everyone who hadn't spent...