jwaldmann
jwaldmann
cross reference to https://github.com/haskell-unordered-containers/hashable/issues/269
just making a note that such a function (with N = length of second argument) could be useful, since an implementation can use N to determine the shape of the...
originally brought up here: https://gitlab.haskell.org/ghc/ghc/-/issues/18392 (not by me but I support the proposal. I would have deleted "in Debian" from the second sentence.) Haddock produces documents using fonts from the...
re: https://github.com/ucsd-progsys/liquidhaskell/issues/2259#issuecomment-1910336174 I am doing ``` $ cabal run -w /opt/ghc/ghc-9.4.7/bin/ghc sprite -- 1 test/L1/pos/inc02.re ``` the file that gets written, has extension `.smt2` but the contents is not? ```...
in my PATH I had some z3 compiled from source, and got ``` $ cabal run -w /opt/ghc/ghc-9.4.7/bin/ghc sprite -- 1 test/L1/pos/inc00.re Resolving dependencies... ELet (Decl (Bind "inc" ()) (EAnn...
Hi. I am reading https://www.qbflib.org/qbfeval2022_results.php and I conclude that I want `caqe-bloqqer-qdo` (see https://github.com/ekmett/ersatz/pull/90#issuecomment-1973822608) I build the code in this repo here, and I guess that I should ``` (echo...
I do not see how to read a document that is in a (lazy) ByteString. From the looks of Text.XML.HXT.IO.GetFILE, ByteStrings are used internally, but I don't see them in...
When I open a module in emacs that has `{-# OPTIONS --allow-unsolved-metas #-}` at the top, and that indeed contains some holes, emacs still claims that that there are "no...
How do I enable just the warnings/suggestions provided by the rules from one file? (https://github.com/NorfairKing/haskell-dangerous-functions/issues/18) I tried ``` hlint --hint=hlint.yaml src/ ``` but this will use hlint's built-in rules as...