jwaldmann

Perhaps I don't unterstand `bite` enough. I wrote above that patterns agree, but that only holds for `Arc 0 1`, and they are different later: ``` ghci> flip queryArc (Arc...

the events are coming in a strange order here ``` flip queryArc (Arc 0 3) ("0 _ 1" :: Pattern Int) [(0>⅔)|0,(1>1⅔)|0,(2>2⅔)|0,(⅔>1)|1,(1⅔>2)|1,(2⅔>3)|1] ``` and perhaps this confuses some combining functions...

the implementation given there ``` strp n p = do rs segment 1 $ pure d Pattern b -> Pattern b stripe :: Pattern Int -> Pattern a -> Pattern...

Yes, "remove failing packages from cabal.project" does work. I then arrive at ``` Installing library in /home/waldmann/.cabal/store/ghc-9.6.3/incoming/new-78487/home/waldmann/.cabal/store/ghc-9.6.3/liquidhaskell-0.9.4.7.0-c9731030f7c476ad2cc653dcb0da2f2c218b6420ed55088e534841af45a76acb/lib Error: setup: '/opt/ghc/latest/bin/ghc-9.6.3' exited with an error: : Could not find module ‘LiquidHaskellBoot’...

> It looks like a bug in cabal. I found by trial-and-error that `else` must be indented .. ``` diff --git a/tests/tests.cabal b/tests/tests.cabal index f6c1acd8a..cc47ff570 100644 --- a/tests/tests.cabal +++ b/tests/tests.cabal...

> ... making things more awkward in order to be less scary. I (coming from Haskell, mostly) am genuinely interested in examples of such "things" so I can recognize them,...

ah, that works. So, I add the second command: ``` $ cabal run -w /opt/ghc/ghc-9.4.7/bin/ghc sprite -- 1 test/L1/pos/inc00.re $ fixpoint test/L1/pos/.liquid/inc00.re.smt2 --save -- start of file that was produced:...

> binary has to be in the working dir: Thanks. I see. I can change that line to `Command::new("bloqqer")` then it uses `$PATH` and it works. But with `caqe --qdo`...

(I am also seeing this error on Debian 12.5) I can build like this (and tests pass) ``` $ cabal test --ghc-options="-optc=-Wno-deprecated-declarations" --ghc-options="-optc=-Wno-incompatible-pointer-types" ``` This will still print lots of...

I have no knowledge of internals, but I was looking at the error message and types: ``` In file included from /tmp/ghc1577599_0/ghc_26.c:21:0: error: cbits/HsOpenSSL.h:108:39: error: note: expected ‘const BIGNUM **’...