jwaldmann

collect functions that produce/consume a type

2

proposal, see https://mail.haskell.org/pipermail/haskell-cafe/2018-November/130191.html

status of: "type search doesn't work" ?

2

The landing page https://hoogle.haskell.org/ says "Warning: Alpha version, type search doesn't work!" Indeed, e.g., `Bool -> Bool` gives different results (`&&` and `id` are missing) (https://hoogle.haskell.org/?hoogle=Bool+-%3E+Bool vs https://www.haskell.org/hoogle/?hoogle=Bool+-%3E+Bool ) So...

how to tell --reload to ignore emacs lock files?

1

Hi. I am using ``` ghcid --reload=test-data/ -W -Tt1 -- -freverse-errors -isrc Main.hs ``` since evalution of `t1` will read some files from `test-data`. It's great that this works (and...

I'm shocked to discover that this package contains a library for C++ AST and pretty-printing (... to String) https://hackage.haskell.org/package/monadiccp-0.7.7/docs/src/Language.CPP.Syntax.AST.html#CPPFile ("based on https://github.com/visq/language-c") Well if it works, it works ..

Cannot process EGMod

1

`cabal test monadiccp-vuza` for 9da3818ea2354eb51328cb8f39c4c24d391ccb92 gives ``` Test suite monadiccp-vuza: RUNNING... monadiccp-vuza: Cannot process EGMod CallStack (from HasCallStack): error, called at src/Control/CP/FD/FD.hs:978:28 in monadiccp-0.7.7-inplace:Control.CP.FD.FD ``` indeed the Mod operation is...

build with ghc-8.10.2

3

for 0.7.7 branch, with ghc-8.10.2 and stackage nightly-2020-10-31 ``` monadiccp > [ 7 of 63] Compiling Control.CP.SearchTree monadiccp > monadiccp > /tmp/stack-3aa44fdabb3e7b1a/monadiccp-0.7.7/src/Control/CP/SearchTree.hs:203:10: error: monadiccp > • Illegal nested constraint ‘Solver...

refutable patterns require MonadFail

1

(with ghc-9.0.1-alpha1) when compiling ``` model :: ExampleModel () model _ = exists $ \col -> do [x1,x2,x3,x4,x5,x6,x7,x8,x9,x10]

Both as documentation for newcomers (= my students), and for quality assurance, I'd want more automated tests (mentionend in the cabal file, so they will be run under CI). I...

The example is from #87. I am not quite sure whether to following analysis is correct. Ersatz will fuse `And [And [x,y], z]` into `And [x,y,z]`. This reduces the number...

missing simplification/propagation for assert $ (x + y :: Bits) <=? 1

3

I am asserting that the sum of two (long) numbers (represented by `Ersatz.Bits`) is small (zero, one). This uses operator `(