Andrea Bedini
Andrea Bedini
The problem I am working on is similar to the company control problem: ``` .decl owns(x:symbol, y:symbol, n:float) .input owns .decl owns_via(x:symbol, y:symbol, z:symbol, n:float) .decl total_owns_via(x:symbol, y:symbol, n:float) .decl...
HLS uses hie-bios to set up a GHC API session appropriate for the project. From hie-bios, hls inherits the `hie.yaml` which is a way to explicitly describe what kind of...
Hi there, as per the [CONTRIBUTING.md](https://github.com/gitpod-io/workspace-images/blob/main/CONTRIBUTING.md#before-you-start) guide, I would like to contribute support for the Haskell language. In the Haskell ecosystem things have been changing quite a lot and I...
From https://github.com/haskell/cabal/pull/7952#issuecomment-1038742571 The following tests fail on GHC 9.0.2 (but not GHC 9.0.1) on both Linux and Mac - PackageTests/Backpack/Includes2/setup-external.test.hs - PackageTests/Backpack/Includes3/setup-external-ok.test.hs - PackageTests/Backpack/Includes2/setup-per-component.test.hs A failed run is https://github.com/haskell/cabal/runs/5178990935?check_suite_focus=true#step:10:1374 In...
This adds the setup required to run doc-testing using cabal-docspec, developed by @phadej. This is the same setup that the the "kmettverse" uses (e.g. the [comonad](https://github.com/ekmett/comonad/blob/main/.github/workflows/haskell-ci.yml) package). It also starts...
Hi there, thank you for this project. I am working with a `cabal.project` that has a line like ``` packages: https://oleg.fi/gentle-introduction-2021.2.tar.gz ``` with a simple derivation like ``` let sources...
These two types need to be exported for users to be able to define their own FieldGrammar. --- Please include the following checklist in your PR: * [ ] Patches...
This moves the repository to use cardano-haskell-packages (CHaP) repository. This is currently blocked by https://github.com/input-output-hk/io-sim/pull/37. CHaP had been pre-populated with the dependencies of the lastest release of cardano-node, but ouroboros-network...
Thanks for this project, I have just started using it so I hope I am not just holding it wrong :) **Describe the bug** Adding a commit to one of...
cabal-doctest is no longer unsupported or needed. The author of the `doctest` package recommends[^1] to run doctests with cabal repl --with-ghc=doctest This change removes the custom-setup and adjusts the test-suite...