Andrew Martin
Andrew Martin
It would be useful to, in a consuming context, be able to filter by message headers. I imagine the syntax being something like this: kafkacat -C -b example.com:9092 -G myexamplegroup...
If you have a program that looks like this: ``` myFunc :: IO () myFunc = do x :: Int
On the server, nothing needs to be run. You just have to make sure that `ttycast` is installed and on the path. On the client, run this: mkfifo /tmp/ttycast ttyplay...
The internal representation of `Scientific` is currently: ``` data Scientific = Scientific { coefficient :: !Integer , base10Exponent :: {-# UNPACK #-} !Int } ``` It's been [pointed out on...
Liquid Haskell rejects measures that instantiates any type variables: ``` {-@ measure hasEvenLen @-} hasEvenLen :: [Int] -> Bool hasEvenLen [] = True hasEvenLen (_ : xs) = not (hasEvenLen...
liquid-fixpoint-0.8.10.7 expects for `rest-rewrite` to expose a module named `Language.REST.AbstractOC`, but `rest-rewrite` versions 0.2 and higher don't have that module. Adding an upper bound with a hackage metadata revision will...
It took me the better part of an hour to figure this out, so I'm putting it here mostly so that someone else could avoid this struggle. If you are...
First, thanks for doing all of this. I'm not sure that I would have been able to understand the original ASAP paper without your thesis, and I think it's a...
I'm not sure if this is a documentation issue or an actual bug. Let and case are treated differently by LH. I ran into a problem where I had written:...
In a module signatures (`hsig` files), annotating types and functions with haddocks doesn't seem to work. The haddock application doesn't crash, but it just ignores all the documentation that should...