Andrew Martin

Filter by header

1

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...

Incorrect highlighting of type annotated monadic bound variable

1

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...

Tweaking internal representation

2

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...

Questions About the Paper (Practical Static Memory Management)

1

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...

Scrutinizing with Let and Case are different

3

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...