Joseph Morag

Resolves #13

Does the CI workflow try to install LLVM 12 currently? I skimmed the workflow file but I didn't find anything to indicate that it does. Could you try removing the...

Regarding the rts options failing, it's probably because the tests call `clang` for linking and that doesn't play well with tasty's built in test parallelization. I'll take a look later.

Oh. I meant llvm 12 the actual clang compiler. Not the haskell bindings. > On May 10, 2021, at 5:03 PM, jrp2014 ***@***.***> wrote: > >  > No, the...

Second this. It would be very nice, for example, to have playerctl integrate with Spotiweb.

Fixed the rest of the CI failures. Please let me know if you'd like me to squash everything from 4e01c51 on.

For better inference, you can augment `lookp` with an extra constraint ```haskell lookp' :: (IsMember v t m, Just t ~ Lookup m v) => Var v -> Map m...

I think if we're changing code, a better solution is to add a functional dependency to `IsMember` ```haskell class IsMember v t m | m v -> t where lookp...

There are some cases where you can use `unsafeCoerce` as a "trust me I know what I'm doing" escape hatch. See https://blog.josephmorag.com/posts/databass1/#headline-10 for an example.

Is there a way to get linear performance out of `Filter`? The examples in https://blog.josephmorag.com/posts/databass3/ take a really really long time to compile as well. I haven't worked out the...