Facundo Domínguez

Produce an intelligible error message when the z3 version is not the expected one

1

Our CI is using z3 as SMT solver, and new users usually try that when first installing LH. However, LF doesn't work with any z3 version, leading to errors like...

https://travis-ci.org/github/haskell-distributed/network-transport-tcp/jobs/282719342

https://travis-ci.org/github/haskell-distributed/network-transport-tcp/jobs/733967919

Handle interrupted messages gracefully

1

It seem interrupting send calls of the TCP transport can sometimes produce the receiver side to append incomplete messages with unrelated messages and deliver that to upper layers. Either interrupted...

At a minimum, the TCP transport has a few threads on a couple of nodes which all need to be coordinated to work as expected. n-t-tcp currently lacks the ability...

A bug in d-p tests [1] arises because there is no way to break connections in n-t-tcp. d-p has a patch that workarounds the problem: haskell-distributed/distributed-process#246. The best solution is...

This is an experiment to remove the type argument of SEXPs using Liquid Haskell as explained in #389. Build with ``` stack build --flag inline-r:liquidhaskell inline-r ``` It relies on...

`inline-r` currently uses the Haskell type system to catch some programming mistakes at compile time. Because producing these compile time errors has a cost in complexity of the API presented...

Link to the inline-r tests in the documentation.

1

The documentation does not show examples of calling Haskell functions from R, but there are some examples [in the tests](https://github.com/tweag/HaskellR/blob/master/inline-r/tests/test-qq.hs). Maybe the tests could be linked for this and other...

Test H and inline-r on windows in CI

2

Currently, we don't test H in CI. This ticket is about producing some simple test for H and running it in CI together with the tests for inline-r on Windows.