Facundo Domínguez
Facundo Domínguez
Currently, [_compilation_defaults](https://github.com/tweag/rules_haskell/blob/84941a0225354c5a62512299825907bc8e72e820/haskell/private/actions/compile.bzl#L107) has near 280 lines. It could be easier to read and describe if it were broken into a few functions with narrower scope. This ticket is about exploring...
When testing an unreleased version of GHC with a haskell project, usually the haskell dependencies have upper bounds that prevent the newer bootstrap libraries from being used. With stack and...
There are linking failures when trying to use haskell_cabal_binary with template haskell. Follow instructions in https://github.com/facundominguez/cabal_binary_th to reproduce. GHC creates a shared library containing QQ.dyn_o, in preparation to run the...
When adding dependencies created with `maven_install` to a `haskell_binary`, the jars are missing from the runfiles. Here's a minimal reproducer ``` git clone https://github.com/facundominguez/bug-reports -b fd/bazel-maven-haskell cd bug-reports nix-shell --pure...
Currently, if we have a tool running at build time and if it depends on a toolchain, the toolchain is configured to build artifacts for the build platform. When cross-compiling,...
The work in #1493 hit some bugs in bazel related to environment variables for runfiles. We worked them around with https://github.com/tweag/rules_haskell/pull/1493/commits/26b6f9bbd1d4e2f18165a89f9ef8b80638804383 and https://github.com/tweag/rules_haskell/pull/1493/commits/3306f536d033ea0859688fa085eba298065ab82a We would need to create a minimal...
I'm trying to verify an example that looks as follows ``` {-@ reflect insertAt @-} {-@ insertAt :: n:Int -> a -> [a] -> [a] @-} insertAt :: Int ->...
We found recently a [failing job](https://app.circleci.com/pipelines/github/ucsd-progsys/liquidhaskell/1353/workflows/69ecdfe8-de27-48ec-b5cc-63e79bc198f6/jobs/7954) in CI which isn't reproducible if the job is retried. If we could collect the `.bfq` files of tests which fail in CI, we...
`benchmark-text` was disabled in `tests.cabal` when reworking the testing framework. We need to investigate the test failures and reenable it.
Some tests were disabled when implementing the expected errors flag. In general, these tests check the presence of certain parse errors. * BadAnnotation * BadAnnotation1 * ErrLocation * ErrLocation2 *...