Facundo Domínguez

Thanks @djsamperi for the report. What is the R version that is used in your setup?

Hello @hamishmack and @djsamperi. Thanks for the reports. I'm looking to have this investigated eventually.

@djsamperi, you may have more luck with the newly released `inline-r-1.0.2`. If this still fails, we will have to wait until someone can debug the issue with your configuration.

It's is possible to build this repo with the latest LH by ``` git clone https://github.com/wenkokke/lazuli.gitgit clone -b issue-1601 cabal exec ghc -- -ilazuli/src -package liquidhaskell lazuli/src/Leadbeater/Network.hs -fplugin=LiquidHaskell ``` I'm...

First stop: figuring out what the error message means :see_no_evil: I'm attaching the [full error output](https://github.com/ucsd-progsys/liquidhaskell/files/15395830/err.txt).

Thanks for the update @tahina-pro. I'm leaving a larger crashing example for the testing here. ``` block = [ header , transaction_bodies : [* transaction_body] , transaction_witness_sets : [* transaction_witness_set]...

Hello! IIUC the problem, this is a bug in Cabal the library. We cannot do much other than working around it until the fix is released. And the work around...

Indeed, [the cabal issue](https://github.com/haskell/cabal/issues/9375) seems to have been addressed. However, it remains now to check that it is included on a release of Cabal and that this version of Cabal...

`build-depends` controls which Cabal version is linked with your artifacts but it doesn't control which Cabal version is used to build them. `Cabal-3.10.2.0` is a boot library of `ghc-9.8.2`. I...

`div` comes from `GHC.Real`. ``` ghci> :i div type Integral :: * -> Constraint class (Real a, Enum a) => Integral a where ... div :: a -> a ->...