Xia Li-yao

I don't think this is going to be a bottleneck for anyone, but the task could be an interesting exercise for someone to get some practice with how GHC rewrites...

Better error messages

5

.

Interrupting `cabal test` may leave test executable running

1

Using the following test that loops infinitely, starting `cabal test` then Ctrl+C it leaves the test executable running because the interrupt sent by cabal doesn't kill it. ``` module Main...

CAS fails with newly created ticket

8

Here I create a new `IORef`, get a ticket and immediately compare-and-swap. I expect that to succeed and thus the resulting boolean to be `True`, but it is actually `False`,...

Unboxed is not a good default unboxed vector

34

Currently the documentation (or lack of it) suggests to use `Unboxed` if you want unboxed, low-overhead vectors. In fact [the wiki linked in the description](https://wiki.haskell.org/Numeric_Haskell:_A_Vector_Tutorial#Array_Types) says: > End users should...

Unification function

2

Does unbound have a unification function? If not, does that seem like a good addition? To be precise, I'm looking for a function such that, given two terms `t0`, `t1`,...

Monad instance for Codec'

3

This builds on top of PR #4 to use `Codec'` as a `Monad`. This allows to parse formats that are prefixed with some metadata that determines the rest of the...

Types of f_1 and f_2 cannot be inferred

1

Trying to type ``` :t (,) $>> f_1 >-< pure () >>> f_2 >-< pure 'a' :: (Applicative fr, Applicative fw) => Codec fr fw ((), Char) ``` results in...

I would like to use codec (a very nice package), but have already made the transition to GHC 8 which this library is currently not compatible with. The fix is...

More Constructible instances

6

- Types from base and QuickCheck - Generic types